HList-0.2: Heterogeneous lists
Source code
Contents
Index
Data.HList.TIP
Documentation
newtype
TIP
l
Source
Constructors
TIP
l
Instances
HOccursNot
e l =>
HOccursNot
e (
TIP
l)
HOccursOpt
e l =>
HOccursOpt
e (
TIP
l)
HOccurs
e (
HCons
x (
HCons
y l)) =>
HOccurs
e (
TIP
(
HCons
x (
HCons
y l)))
TypeCast
e' e =>
HOccurs
e (
TIP
(
HCons
e'
HNil
))
HOccursFst
e l =>
HOccursFst
e (
TIP
l)
HOccursMany1
e l =>
HOccursMany1
e (
TIP
l)
HOccursMany
e l =>
HOccursMany
e (
TIP
l)
(
HOccursNot
e l,
HTypeIndexed
l) =>
HExtend
e (
TIP
l) (
TIP
(
HCons
e l))
Read
l =>
Read
(
TIP
l)
Show
l =>
Show
(
TIP
l)
(
HOccurs
e l,
SubType
(
TIP
l) (
TIP
l')) =>
SubType
(
TIP
l) (
TIP
(
HCons
e l'))
SubType
(
TIP
l) (
TIP
HNil
)
(
HAppend
l l' l'',
HTypeIndexed
l'') =>
HAppend
(
TIP
l) (
TIP
l') (
TIP
l'')
mkTIP
::
HTypeIndexed
l => l ->
TIP
l
Source
unTIP
::
TIP
l -> l
Source
emptyTIP
::
TIP
HNil
Source
class
HList
l =>
HTypeIndexed
l
Source
Instances
HTypeIndexed
HNil
(
HOccursNot
e l,
HTypeIndexed
l) =>
HTypeIndexed
(
HCons
e l)
tuple
:: (
HOccurs
e1 (
TIP
l),
HType2HNat
e1 l n,
HDeleteAtHNat
n l l',
HOccurs
e2 (
TIP
l'),
HOccurs
e2 (
TIP
l),
HType2HNat
e2 l n',
HDeleteAtHNat
n' l l'',
HOccurs
e1 (
TIP
l'')) =>
TIP
l -> (e1, e2)
Source
oneTrue
::
TIP
(
HCons
Int
(
HCons
Bool
HNil
))
Source
Produced by
Haddock
version 2.4.2