HList-0.2: Heterogeneous lists
Source code
Contents
Index
Data.HList.Label2
Documentation
data
HNat
x =>
Label
x ns desc
Source
Instances
(
HNat
x,
HNat2Integral
x,
Show
ns) =>
Show
(
Label
x ns desc)
(
HNat
x,
Show
desc) =>
ShowLabel
(
Label
x ns desc)
HEq
x x' b =>
HEq
(
Label
x ns desc1) (
Label
x' ns desc2) b
firstLabel
:: ns -> desc ->
Label
HZero
ns desc
Source
nextLabel
::
Label
x ns desc -> desc' ->
Label
(
HSucc
x) ns desc'
Source
Produced by
Haddock
version 2.4.2