HList-0.2: Heterogeneous lists

Safe HaskellNone

Data.HList.Label2

Documentation

data Label x ns desc

Instances

(HNat x, HNat2Integral x, Show ns) => Show (Label x ns desc) 
(HNat x, Show desc) => ShowLabel (Label x ns desc) 
HEq x x' b => HEq (Label x ns desc1) (Label x' ns desc2) b 

firstLabel :: ns -> desc -> Label HZero ns desc

nextLabel :: Label x ns desc -> desc' -> Label (HSucc x) ns desc'