BTree

Documentation

data BTree s k v

newtype Context s

Constructors

Context (Context s)

lookup :: forall s k v. (Ord k, Prim k, Prim v) => BTree s k v -> k -> ST s (Maybe v)

insert :: (Ord k, Prim k, Prim v) => BTree s k v -> k -> v -> ST s ()

modifyWithM :: forall s k v. (Ord k, Prim k, Prim v) => BTree s k v -> k -> (Maybe v -> ST s v) -> ST s v

new

Arguments

:: (Prim k, Prim v)

=> Context s

Max number of children per node

-> ST s (BTree s k v)

foldrWithKey :: forall s k v b. (Ord k, Prim k, Prim v) => (k -> v -> b -> ST s b) -> b -> BTree s k v -> ST s b

toAscList :: forall s k v. (Ord k, Prim k, Prim v) => BTree s k v -> ST s [(k, v)]

This is provided for completeness but is not something typically useful in producetion code.

fromList :: (Ord k, Prim k, Prim v) => Context s -> [(k, v)] -> ST s (BTree s k v)

debugMap :: forall s k v. (Prim k, Prim v, Show k, Show v) => BTree s k v -> ST s String