HList-0.2.1: Heterogeneous lists
Data.HList.Label2
data Label x ns desc Source
Instances
firstLabel :: ns -> desc -> Label HZero ns descSource
nextLabel :: Label x ns desc -> desc' -> Label (HSucc x) ns desc'Source