Safe Haskell	None
Language	Haskell2010

Data.BTree.Alloc.Debug

Description

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) #
Instance details Defined in Data.BTree.Alloc.Debug 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) #
Instance details Defined in Data.BTree.Alloc.Debug Methods get :: DebugT m Pages # put :: Pages -> DebugT m () # state :: (Pages -> (a, Pages)) -> DebugT m a #
Monad m => Monad (DebugT m) #
Instance details Defined in Data.BTree.Alloc.Debug 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) #
Instance details Defined in Data.BTree.Alloc.Debug Methods fmap :: (a -> b) -> DebugT m a -> DebugT m b # (<$) :: a -> DebugT m b -> DebugT m a #
Monad m => Applicative (DebugT m) #
Instance details Defined in Data.BTree.Alloc.Debug Methods pure :: a -> DebugT m a # (<>) :: DebugT m (a -> b) -> DebugT m a -> DebugT m b # liftA2 :: (a -> b -> c) -> DebugT m a -> DebugT m b -> DebugT m c # (>) :: DebugT m a -> DebugT m b -> DebugT m b # (<*) :: DebugT m a -> DebugT m b -> DebugT m a #
MonadIO m => MonadIO (DebugT m) #
Instance details Defined in Data.BTree.Alloc.Debug Methods liftIO :: IO a -> DebugT m a #
(Functor m, Monad m) => AllocM (DebugT m) #
Instance details Defined in Data.BTree.Alloc.Debug 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 () # deleteOverflowData :: OverflowId -> DebugT m () #
(Functor m, Monad m) => AllocReaderM (DebugT m) #
Instance details Defined in Data.BTree.Alloc.Debug 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 #