haskey-btree-0.3.0.0: B+-tree implementation in Haskell.

Safe Haskell	None
Language	Haskell2010

Data.BTree.Primitives.Height

Documentation

data Nat #

Constructors

Z
S Nat

newtype Height (h :: Nat) #

Constructors

Height
Fields fromHeight :: Word8

Instances

Eq (Height h) #
Instance details Defined in Data.BTree.Primitives.Height Methods (==) :: Height h -> Height h -> Bool # (/=) :: Height h -> Height h -> Bool #
Ord (Height h) #
Instance details Defined in Data.BTree.Primitives.Height Methods compare :: Height h -> Height h -> Ordering # (<) :: Height h -> Height h -> Bool # (<=) :: Height h -> Height h -> Bool # (>) :: Height h -> Height h -> Bool # (>=) :: Height h -> Height h -> Bool # max :: Height h -> Height h -> Height h # min :: Height h -> Height h -> Height h #
Show (Height h) #
Instance details Defined in Data.BTree.Primitives.Height Methods showsPrec :: Int -> Height h -> ShowS # show :: Height h -> String # showList :: [Height h] -> ShowS #
Binary (Height h) #
Instance details Defined in Data.BTree.Primitives.Height Methods put :: Height h -> Put # get :: Get (Height h) # putList :: [Height h] -> Put #

zeroHeight :: Height Z #

incrHeight :: Height h -> Height (S h) #

decrHeight :: Height (S h) -> Height h #

data UHeight (height :: Nat) :: * where #

Constructors

UZero :: UHeight Z
USucc :: Height height -> UHeight (S height)

viewHeight :: Height height -> UHeight height #