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

Safe HaskellNone
LanguageHaskell2010

Data.BTree.Primitives.Height

Documentation

data Nat Source #

Constructors

Z 
S Nat 

newtype Height h Source #

Constructors

Height 

Fields

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) 

viewHeight :: Height height -> UHeight height Source #