Data.BTree.Alloc.Debug

An in memory allocator for debugging and testing purposes.

Documentation

data SomeNode

Constructors

SomeNode (Height h) (Node h k v)

getSomeNode :: SomeNode -> Node h k v

data SomeVal

Constructors

SomeVal v

getSomeVal :: SomeVal -> v

data Pages

Constructors

Pages

Fields

• pagesNodes :: Map PageId SomeNode
• pagesOverflow :: Map Word32 SomeVal

Instances

Monad m => MonadState Pages (DebugT m)

Methods

get :: DebugT m Pages

put :: Pages -> DebugT m ()

state :: (Pages -> (a, Pages)) -> DebugT m a

emptyPages :: Pages

newtype DebugT m a

Constructors

DebugT

Fields

• runDebugT :: StateT Pages m a

Instances

Monad m => MonadState Pages (DebugT m)

Methods

get :: DebugT m Pages

put :: Pages -> DebugT m ()

state :: (Pages -> (a, Pages)) -> DebugT m a

Monad m => Monad (DebugT m)

Methods

(>>=) :: DebugT m a -> (a -> DebugT m b) -> DebugT m b

(>>) :: DebugT m a -> DebugT m b -> DebugT m b

return :: a -> DebugT m a

fail :: String -> DebugT m a

Functor m => Functor (DebugT m)

Methods

fmap :: (a -> b) -> DebugT m a -> DebugT m b

(<$) :: a -> DebugT m b -> DebugT m a

Monad m => Applicative (DebugT m)

Methods

pure :: a -> DebugT m a

(<*>) :: DebugT m (a -> b) -> DebugT m a -> DebugT m b

(*>) :: DebugT m a -> DebugT m b -> DebugT m b

(<*) :: DebugT m a -> DebugT m b -> DebugT m a

MonadIO m => MonadIO (DebugT m)

Methods

liftIO :: IO a -> DebugT m a

(Functor m, Monad m) => AllocM (DebugT m)

Methods

nodePageSize :: (Key key, Value val) => DebugT m (Height height -> Node height key val -> PageSize)

maxPageSize :: DebugT m PageSize

maxKeySize :: DebugT m Word64

maxValueSize :: DebugT m Word64

allocNode :: (Key key, Value val) => Height height -> Node height key val -> DebugT m (NodeId height key val)

freeNode :: Height height -> NodeId height key val -> DebugT m ()

allocOverflow :: Value val => val -> DebugT m OverflowId

freeOverflow :: OverflowId -> DebugT m ()

(Functor m, Monad m) => AllocReaderM (DebugT m)

Methods

readNode :: (Key key, Value val) => Height height -> NodeId height key val -> DebugT m (Node height key val)

readOverflow :: Value val => OverflowId -> DebugT m val

runDebug :: Pages -> DebugT Identity a -> (a, Pages)

evalDebug :: Pages -> DebugT Identity a -> a