HList-0.2: Heterogeneous lists Source code Contents Index

Data.HList.Label2

Documentation

data HNat x => Label x ns desc Source

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 Source

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

Produced by Haddock version 2.4.2