HList-0.2: Heterogeneous lists Source code Contents Index

Data.HList.Label1

Documentation

newtype Label x Source

Constructors Label x 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 Source

firstLabel :: Label HZero Source

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

Produced by Haddock version 2.4.2