Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype PageId = PageId {
- fromPageId :: Word64
- type OverflowId = (TxId, Word32)
- newtype PageCount = PageCount {}
- newtype PageSize = PageSize {}
- newtype NodeId height key val = NodeId {
- fromNodeId :: Word64
- nodeIdToPageId :: NodeId height key val -> PageId
- pageIdToNodeId :: PageId -> NodeId height key val
- newtype TxId = TxId {}
Documentation
Reference to a stored page.
type OverflowId = (TxId, Word32) Source #
Reference to a stored overflow page.
An overflow id is the combination of the transaction id that generated it, and a counter.
Type used to indicate the size of storage pools.
Type used to indicate the size of a single physical page in bytes.
newtype NodeId height key val Source #
Reference to a stored Node
.
NodeId
has phantom type arguments for the parameters of Node
to be able
to enforce consistency. In a setting with a single storage pool this Id
will essentially be a PageId
with just the extra typing. In a multi
storage pool setting NodeId
s will additionally have to be resolved to
PageId
s by the node allocator.