HList-0.2: Heterogeneous lists
Source code
Contents
Index
Data.HList.Label3
Documentation
data
HNat
x =>
Label
x ns desc
Source
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
Source
nextLabel
::
Label
x ns desc -> desc' ->
Label
(
HSucc
x) ns desc'
Source
Produced by
Haddock
version 2.4.2