HList-0.2: Heterogeneous lists

Safe Haskell	None

Data.HList.Label1

Documentation

newtype Label x

Constructors

Instances

Show x => Show (Label x)
Show n => ShowLabel (Label n)
HEq n n' b => HEq (Label n) (Label n') b

label :: HNat n => n -> Label n

firstLabel :: Label HZero

nextLabel :: HNat t => Label t -> Label (HSucc t)