HList-0.2: Heterogeneous lists Source code Contents Index

Data.HList.GhcRecord

Documentation

hUnproxyLabel :: (HUpdateAtHNat n (LVPair l a) t l', HFind l ls n, RecordLabels t ls, HasField l t (Proxy a)) => l -> a -> Record t -> Record l' Source

hasNoProxies :: HasNoProxies r => Record r -> () Source

data ProxyFound x Source

class HasNoProxies l Source

Instances HasNoProxies HNil HasNoProxies l => HasNoProxies (HCons e l) Fail (ProxyFound x) => HasNoProxies (HCons (Proxy x) l) Fail (ProxyFound x) => HasNoProxies (HCons (LVPair lab (Proxy x)) l)

class NarrowM a b res | a b -> res where Source

Methods narrowM :: Record a -> Record b -> res Source Instances NarrowM a HNil (HJust (Record HNil)) NarrowM a HNil (HJust (Record HNil)) (H2ProjectByLabels (HCons l HNil) a rin rout, NarrowM' rin rout b res) => NarrowM a (HCons (LVPair l v) b) res

class NarrowM' rin rout b res | rin rout b -> res where Source

Methods narrowM' :: rin -> rout -> b -> res Source Instances NarrowM' HNil rout b HNothing NarrowM' HNil rout b HNothing (NarrowM rout b res', NarrowM'' f res' res) => NarrowM' (HCons f HNil) rout b res

class NarrowM'' f r r' | f r -> r' where Source

Methods narrowM'' :: f -> r -> r' Source Instances NarrowM'' f HNothing HNothing NarrowM'' f (HJust (Record r)) (HJust (Record (HCons f r)))

class Narrow a b where Source

Methods narrow :: Record a -> Record b Source Instances Narrow a HNil (Narrow rout r', H2ProjectByLabels (HCons l HNil) r (HCons (LVPair l v) HNil) rout) => Narrow r (HCons (LVPair l v) r')

class LubNarrow a b c | a b -> c where Source

Methods lubNarrow :: a -> b -> (c, c) Source Instances (RecordLabels a la, RecordLabels b lb, HTIntersect la lb lc, H2ProjectByLabels lc a c aout, H2ProjectByLabels lc b c bout, HRLabelSet c) => LubNarrow (Record a) (Record b) (Record c)

data NilLub Source

Instances ConsLub e NilLub ([] e)

nilLub :: NilLub Source

class ConsLub h t l | h t -> l where Source

Methods consLub :: h -> t -> l Source Instances ConsLub e NilLub ([] e) ConsLub e NilLub ([] e) LubNarrow e0 e1 e2 => ConsLub e0 ([] e1) ([] e2)

class HLub l e | l -> e where Source

Methods hLub :: l -> [e] Source Instances (HLub (HCons h (HCons h'' t)) e', HLub (HCons h' (HCons h'' t)) e'', LubNarrow e' e'' e, HLub (HCons e (HCons h'' t)) e) => HLub (HCons h (HCons h' (HCons h'' t))) e LubNarrow h h' e => HLub (HCons h (HCons h' HNil)) e

class RecordEquiv r1 r2 res | r1 r2 -> res where Source

Methods equivR :: Record r1 -> Record r2 -> res Source

class RecordEquiv' pj1 pj2 res | pj1 pj2 -> res where Source

Methods equivR' :: pj1 -> pj2 -> res Source Instances RecordEquiv' (r1 -> HNothing) pj2 HNothing RecordEquiv' (r1 -> HNothing) pj2 HNothing RecordEquiv' (r1 -> HJust r2) (r2 -> HNothing) HNothing RecordEquiv' (r1 -> HJust r2) (r2 -> HNothing) HNothing RecordEquiv' (r1 -> HJust r2) (r2 -> HJust r1) (HJust ((,) (r1 -> r2) (r2 -> r1))) RecordEquiv' (r1 -> HJust r2) (r2 -> HJust r1) (HJust ((,) (r1 -> r2) (r2 -> r1)))

hNilTcName :: TyCon Source

hConsTcName :: TyCon Source

recordTcName :: TyCon Source

hFieldTcName :: TyCon Source

proxyTcName :: TyCon Source

Produced by Haddock version 2.4.2