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'