Data.BTree.Primitives.Height

Documentation

data Nat

Constructors

Z

S Nat

newtype Height (h :: Nat)

Constructors

Height

Fields

• fromHeight :: Word8

Instances

Eq (Height h)

Defined in Data.BTree.Primitives.Height

Methods

(==) :: Height h -> Height h -> Bool

(/=) :: Height h -> Height h -> Bool

Ord (Height h)

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)

Defined in Data.BTree.Primitives.Height

Methods

showsPrec :: Int -> Height h -> ShowS

show :: Height h -> String

showList :: [Height h] -> ShowS

Binary (Height h)

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