Safe Haskell	None
Language	Haskell2010

Data.BTree.Primitives.Ids

Synopsis

newtype PageId = PageId {
- fromPageId :: Word64
}
type OverflowId = (TxId, Word32)
newtype PageCount = PageCount {
- fromPageCount :: Word64
}
newtype PageSize = PageSize {
- fromPageSize :: Word32
}
newtype NodeId (height :: Nat) key val = NodeId {
- fromNodeId :: Word64
}
nodeIdToPageId :: NodeId height key val -> PageId
pageIdToNodeId :: PageId -> NodeId height key val
newtype TxId = TxId {
- fromTxId :: Word64
}

Documentation

newtype PageId #

Reference to a stored page.

Constructors

PageId
Fields fromPageId :: Word64

Instances

Eq PageId #
Instance details Defined in Data.BTree.Primitives.Ids Methods (==) :: PageId -> PageId -> Bool # (/=) :: PageId -> PageId -> Bool #
Num PageId #
Instance details Defined in Data.BTree.Primitives.Ids Methods (+) :: PageId -> PageId -> PageId # (-) :: PageId -> PageId -> PageId # (*) :: PageId -> PageId -> PageId # negate :: PageId -> PageId # abs :: PageId -> PageId # signum :: PageId -> PageId # fromInteger :: Integer -> PageId #
Ord PageId #
Instance details Defined in Data.BTree.Primitives.Ids Methods compare :: PageId -> PageId -> Ordering # (<) :: PageId -> PageId -> Bool # (<=) :: PageId -> PageId -> Bool # (>) :: PageId -> PageId -> Bool # (>=) :: PageId -> PageId -> Bool # max :: PageId -> PageId -> PageId # min :: PageId -> PageId -> PageId #
Show PageId #
Instance details Defined in Data.BTree.Primitives.Ids Methods showsPrec :: Int -> PageId -> ShowS # show :: PageId -> String # showList :: [PageId] -> ShowS #
Binary PageId #
Instance details Defined in Data.BTree.Primitives.Ids Methods put :: PageId -> Put # get :: Get PageId # putList :: [PageId] -> Put #
Value PageId #
Instance details Defined in Data.BTree.Primitives.Ids Methods fixedSize :: Proxy PageId -> Maybe Int #
Key PageId #
Instance details Defined in Data.BTree.Primitives.Ids Methods narrow :: PageId -> PageId -> (PageId, PageId) #

type OverflowId = (TxId, Word32) #

Reference to a stored overflow page.

An overflow id is the combination of the transaction id that generated it, and a counter.

newtype PageCount #

Type used to indicate the size of storage pools.

Constructors

PageCount
Fields fromPageCount :: Word64

Instances

Enum PageCount #
Instance details Defined in Data.BTree.Primitives.Ids Methods succ :: PageCount -> PageCount # pred :: PageCount -> PageCount # toEnum :: Int -> PageCount # fromEnum :: PageCount -> Int # enumFrom :: PageCount -> [PageCount] # enumFromThen :: PageCount -> PageCount -> [PageCount] # enumFromTo :: PageCount -> PageCount -> [PageCount] # enumFromThenTo :: PageCount -> PageCount -> PageCount -> [PageCount] #
Eq PageCount #
Instance details Defined in Data.BTree.Primitives.Ids Methods (==) :: PageCount -> PageCount -> Bool # (/=) :: PageCount -> PageCount -> Bool #
Num PageCount #
Instance details Defined in Data.BTree.Primitives.Ids Methods (+) :: PageCount -> PageCount -> PageCount # (-) :: PageCount -> PageCount -> PageCount # (*) :: PageCount -> PageCount -> PageCount # negate :: PageCount -> PageCount # abs :: PageCount -> PageCount # signum :: PageCount -> PageCount # fromInteger :: Integer -> PageCount #
Ord PageCount #
Instance details Defined in Data.BTree.Primitives.Ids Methods compare :: PageCount -> PageCount -> Ordering # (<) :: PageCount -> PageCount -> Bool # (<=) :: PageCount -> PageCount -> Bool # (>) :: PageCount -> PageCount -> Bool # (>=) :: PageCount -> PageCount -> Bool # max :: PageCount -> PageCount -> PageCount # min :: PageCount -> PageCount -> PageCount #
Show PageCount #
Instance details Defined in Data.BTree.Primitives.Ids Methods showsPrec :: Int -> PageCount -> ShowS # show :: PageCount -> String # showList :: [PageCount] -> ShowS #
Binary PageCount #
Instance details Defined in Data.BTree.Primitives.Ids Methods put :: PageCount -> Put # get :: Get PageCount # putList :: [PageCount] -> Put #

newtype PageSize #

Type used to indicate the size of a single physical page in bytes.

Constructors

PageSize
Fields fromPageSize :: Word32

Instances

Enum PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods succ :: PageSize -> PageSize # pred :: PageSize -> PageSize # toEnum :: Int -> PageSize # fromEnum :: PageSize -> Int # enumFrom :: PageSize -> [PageSize] # enumFromThen :: PageSize -> PageSize -> [PageSize] # enumFromTo :: PageSize -> PageSize -> [PageSize] # enumFromThenTo :: PageSize -> PageSize -> PageSize -> [PageSize] #
Eq PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods (==) :: PageSize -> PageSize -> Bool # (/=) :: PageSize -> PageSize -> Bool #
Integral PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods quot :: PageSize -> PageSize -> PageSize # rem :: PageSize -> PageSize -> PageSize # div :: PageSize -> PageSize -> PageSize # mod :: PageSize -> PageSize -> PageSize # quotRem :: PageSize -> PageSize -> (PageSize, PageSize) # divMod :: PageSize -> PageSize -> (PageSize, PageSize) # toInteger :: PageSize -> Integer #
Num PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods (+) :: PageSize -> PageSize -> PageSize # (-) :: PageSize -> PageSize -> PageSize # (*) :: PageSize -> PageSize -> PageSize # negate :: PageSize -> PageSize # abs :: PageSize -> PageSize # signum :: PageSize -> PageSize # fromInteger :: Integer -> PageSize #
Ord PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods compare :: PageSize -> PageSize -> Ordering # (<) :: PageSize -> PageSize -> Bool # (<=) :: PageSize -> PageSize -> Bool # (>) :: PageSize -> PageSize -> Bool # (>=) :: PageSize -> PageSize -> Bool # max :: PageSize -> PageSize -> PageSize # min :: PageSize -> PageSize -> PageSize #
Real PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods toRational :: PageSize -> Rational #
Show PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods showsPrec :: Int -> PageSize -> ShowS # show :: PageSize -> String # showList :: [PageSize] -> ShowS #
Binary PageSize #
Instance details Defined in Data.BTree.Primitives.Ids Methods put :: PageSize -> Put # get :: Get PageSize # putList :: [PageSize] -> Put #

newtype NodeId (height :: Nat) key val #

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 NodeIds will additionally have to be resolved to PageIds by the node allocator.

Constructors

NodeId
Fields fromNodeId :: Word64

Instances

Eq (NodeId height key val) #
Instance details Defined in Data.BTree.Primitives.Ids Methods (==) :: NodeId height key val -> NodeId height key val -> Bool # (/=) :: NodeId height key val -> NodeId height key val -> Bool #
Num (NodeId height key val) #
Instance details Defined in Data.BTree.Primitives.Ids Methods (+) :: NodeId height key val -> NodeId height key val -> NodeId height key val # (-) :: NodeId height key val -> NodeId height key val -> NodeId height key val # (*) :: NodeId height key val -> NodeId height key val -> NodeId height key val # negate :: NodeId height key val -> NodeId height key val # abs :: NodeId height key val -> NodeId height key val # signum :: NodeId height key val -> NodeId height key val # fromInteger :: Integer -> NodeId height key val #
Ord (NodeId height key val) #
Instance details Defined in Data.BTree.Primitives.Ids Methods compare :: NodeId height key val -> NodeId height key val -> Ordering # (<) :: NodeId height key val -> NodeId height key val -> Bool # (<=) :: NodeId height key val -> NodeId height key val -> Bool # (>) :: NodeId height key val -> NodeId height key val -> Bool # (>=) :: NodeId height key val -> NodeId height key val -> Bool # max :: NodeId height key val -> NodeId height key val -> NodeId height key val # min :: NodeId height key val -> NodeId height key val -> NodeId height key val #
Show (NodeId height key val) #
Instance details Defined in Data.BTree.Primitives.Ids Methods showsPrec :: Int -> NodeId height key val -> ShowS # show :: NodeId height key val -> String # showList :: [NodeId height key val] -> ShowS #
Binary (NodeId height key val) #
Instance details Defined in Data.BTree.Primitives.Ids Methods put :: NodeId height key val -> Put # get :: Get (NodeId height key val) # putList :: [NodeId height key val] -> Put #

nodeIdToPageId :: NodeId height key val -> PageId #

Convert a NodeId to a PageId

pageIdToNodeId :: PageId -> NodeId height key val #

Convert a PageId to a NodeId

newtype TxId #

Transaction ids that are used as revision numbers.

Constructors

TxId
Fields fromTxId :: Word64

Instances

Eq TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods (==) :: TxId -> TxId -> Bool # (/=) :: TxId -> TxId -> Bool #
Num TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods (+) :: TxId -> TxId -> TxId # (-) :: TxId -> TxId -> TxId # (*) :: TxId -> TxId -> TxId # negate :: TxId -> TxId # abs :: TxId -> TxId # signum :: TxId -> TxId # fromInteger :: Integer -> TxId #
Ord TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods compare :: TxId -> TxId -> Ordering # (<) :: TxId -> TxId -> Bool # (<=) :: TxId -> TxId -> Bool # (>) :: TxId -> TxId -> Bool # (>=) :: TxId -> TxId -> Bool # max :: TxId -> TxId -> TxId # min :: TxId -> TxId -> TxId #
Show TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods showsPrec :: Int -> TxId -> ShowS # show :: TxId -> String # showList :: [TxId] -> ShowS #
Binary TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods put :: TxId -> Put # get :: Get TxId # putList :: [TxId] -> Put #
Hashable TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods hashWithSalt :: Int -> TxId -> Int # hash :: TxId -> Int #
Value TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods fixedSize :: Proxy TxId -> Maybe Int #
Key TxId #
Instance details Defined in Data.BTree.Primitives.Ids Methods narrow :: TxId -> TxId -> (TxId, TxId) #