HList-0.1.1: Heterogeneous lists
Source code
Contents
Index
Data.HList.Label1
Documentation
newtype
Label
x
Source
Constructors
Label
x
Instances
Show
x =>
Show
(
Label
x)
Show
n =>
ShowLabel
(
Label
n)
HEq
n n' b =>
HEq
(
Label
n) (
Label
n') b
label
::
HNat
n => n ->
Label
n
Source
firstLabel
::
Label
HZero
Source
nextLabel
::
HNat
t =>
Label
t ->
Label
(
HSucc
t)
Source
Produced by
Haddock
version 2.4.2