Database.Haskey.Alloc.Concurrent.Overflow

Data structures and functions related to handling overflow pages.

Documentation

getNewOverflowId :: (Functor m, MonadState (WriterEnv hnd) m) => m OverflowId

getOverflowHandle :: FilePath -> OverflowId -> FilePath

getOverflowDir :: FilePath -> TxId -> FilePath

readOverflowId :: FilePath -> Maybe OverflowId

showHex' :: (Integral a, Show a) => a -> String

readHex' :: (Eq a, Num a) => String -> Maybe (a, String)

type OverflowTree = Tree TxId OverflowSubtree

The main tree structure of the freed overflow page tree

type OverflowSubtree = NonEmptyTree OverflowId ()

The subtree structure of the freed overflow page tree

insertOverflowIds :: AllocM m => TxId -> NonEmpty OverflowId -> OverflowTree -> m OverflowTree

Save a set of overflow ids that were free'd in the transaction.

deleteOverflowIds :: AllocM m => TxId -> OverflowTree -> m OverflowTree

Delete the set of overflow ids that were free'd in the transaction.

deleteOutdatedOverflowIds :: (Functor m, AllocM m, MonadIO m, MonadState (WriterEnv hnd) m) => OverflowTree -> m (Maybe OverflowTree)