Data.HList.Label3

Documentation

data Label x ns desc

Instances

(HNat x, Show desc) => Show (Label x ns desc)

(HNat x, Show desc) => ShowLabel (Label x ns desc)

(HEq x x' b, TypeEq ns ns' b', HAnd b b' b'') => HEq (Label x ns desc) (Label x' ns' desc') b''

firstLabel :: ns -> desc -> Label HZero ns desc

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