Database.Haskey.Alloc.Concurrent.FreePages.Tree

Module describing the tree structure of the free page database.

Documentation

type FreeTree = Tree TxId FreeSubtree

The main tree structure of the free page database.

The main free page database tree maps a TxId to a FreeSubtree.

type FreeSubtree = NonEmptyTree PageId ()

the subtree structure of the free page database.

Just a collection of free PageIds.

replaceSubtree :: AllocM m => TxId -> NonEmpty PageId -> FreeTree -> m FreeTree

Replace the subtree of a certain TxId.

deleteSubtree :: AllocM m => TxId -> FreeTree -> m FreeTree

Delete the subtree of a certain TxId.

The TxId will not be present anymore in the free tree after this call.

insertSubtree :: AllocM m => TxId -> NonEmpty PageId -> FreeTree -> m FreeTree

Insert a subtree for a certain TxId.