HList-0.2: Heterogeneous listsSource codeContentsIndex
Data.HList.Label3
Documentation
data HNat x => Label x ns desc Source
show/hide 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 descSource
nextLabel :: Label x ns desc -> desc' -> Label (HSucc x) ns desc'Source
Produced by Haddock version 2.4.2