HList-0.2: Heterogeneous listsSource codeContentsIndex
Data.HList.Variant
Documentation
newtype Variant mr Source
Constructors
Variant mr
show/hide Instances
class HMaybied r r' | r -> r' whereSource
Methods
hMaybied :: r -> r'Source
show/hide Instances
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 ySource
Produced by Haddock version 2.4.2