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'

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

data ProxyFound x

class HasNoProxies l

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

Methods

narrowM :: Record a -> Record b -> res

Instances

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

Methods

narrowM' :: rin -> rout -> b -> res

Instances

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

Methods

narrowM'' :: f -> r -> r'

Instances

NarrowM'' f HNothing HNothing

NarrowM'' f (HJust (Record r)) (HJust (Record (HCons f r)))

class Narrow a b where

Methods

narrow :: Record a -> Record b

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

Methods

lubNarrow :: a -> b -> (c, c)

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

Instances

ConsLub e NilLub [e]

nilLub :: NilLub

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

Methods

consLub :: h -> t -> l

Instances

ConsLub e NilLub [e]

LubNarrow e0 e1 e2 => ConsLub e0 [e1] [e2]

class HLub l e | l -> e where

Methods

hLub :: l -> [e]

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

Methods

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

Instances

(NarrowM r1 r2 r12, NarrowM r2 r1 r21, RecordEquiv' (Record r1 -> r12) (Record r2 -> r21) res) => RecordEquiv r1 r2 res

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

Methods

equivR' :: pj1 -> pj2 -> res

Instances

RecordEquiv' (r1 -> HNothing) pj2 HNothing

RecordEquiv' (r1 -> HJust r2) (r2 -> HNothing) HNothing

RecordEquiv' (r1 -> HJust r2) (r2 -> HJust r1) (HJust (r1 -> r2, r2 -> r1))

hNilTcName :: TyCon

hConsTcName :: TyCon

recordTcName :: TyCon

hFieldTcName :: TyCon

proxyTcName :: TyCon