HList-0.2.1: Heterogeneous lists

Data.HList.Label1

Documentation

newtype Label x Source

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 nSource

firstLabel :: Label HZero Source

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