Raaz.Core.Memory

The Memory subsystem.

Initialisation and Extraction.

class Memory m

data VoidMemory

copyMemory

class Initialisable m v

class Extractable m v

class InitialisableFromBuffer m

class ExtractableToBuffer m

A basic memory cell.

data MemoryCell a

withCellPointer

getCellPointer

Actions on memory elements.

data MT mem a

execute

getMemory

onSubMemory

liftSubMT

modify

Some low level MT actions.

liftPointerAction

Generic memory monads.

class MonadMemory m

data MemoryM a

runMT

Memory allocation

type Alloc mem

pointerAlloc