HList-0.2: Heterogeneous lists
Source code
Contents
Index
Data.HList.Variant
Documentation
newtype
Variant
mr
Source
Constructors
Variant
mr
Instances
Show
(
Variant
v)
class
HMaybied
r r' | r -> r'
where
Source
Methods
hMaybied
:: r -> r'
Source
Instances
HMaybied
HNil
HNil
HMaybied
r r' =>
HMaybied
(
HCons
(
LVPair
l (
Proxy
v)) r) (
HCons
(
LVPair
l (
Maybe
v)) r')
mkVariant
:: (
RecordLabels
v ls,
HFind
x ls n,
HMaybied
v v',
HUpdateAtHNat
n (
LVPair
x (
Maybe
y)) v' v') => x -> y ->
Record
v ->
Variant
v'
Source
unVariant
:: (
RecordLabels
v ls,
HFind
x ls n,
HLookupByHNat
n v (
LVPair
x (
Maybe
y))) => x ->
Variant
v ->
Maybe
y
Source
Produced by
Haddock
version 2.4.2