Safe Haskell	None
Language	Haskell2010

Data.BTree.Primitives.Height

Documentation

Constructors

Z
S Nat

Constructors

Height
Fields fromHeight :: Word8

Instances

Eq (Height h) Source #
Methods (==) :: Height h -> Height h -> Bool # (/=) :: Height h -> Height h -> Bool #
Ord (Height h) Source #
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) Source #
Methods showsPrec :: Int -> Height h -> ShowS # show :: Height h -> String # showList :: [Height h] -> ShowS #
Binary (Height h) Source #
Methods put :: Height h -> Put # get :: Get (Height h) # putList :: [Height h] -> Put #

data UHeight height :: * where Source #

Constructors

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