Modulepolysemy-1.9.2.0

Polysemy.Membership

valuesubsumeUsing :: ElemOf e r -> Sem (e ': r) a -> Sem r a

valueinterceptUsing

valueinterceptUsingH

:: ElemOf e r
-> forall x (rInitial :: EffectRow). e (Sem rInitial) x -> Tactical e (Sem rInitial) r x
-> Sem r a
-> Sem r a

valuemembership :: Member e r => ElemOf e r

valuesameMember :: ElemOf e r -> ElemOf e' r -> Maybe (e :~: e')

valuetryMembership :: (Typeable e, KnownRow r) => Maybe (ElemOf e r)

newtypenewtype ElemOf (e :: k) (r :: [k])

patternpattern Here :: () => r ~ (e ': r') => ElemOf e r

patternpattern There :: () => r' ~ (e' ': r) => ElemOf e r -> ElemOf e r'

classclass KnownRow (r :: [k]) where

Instances2KnownRow

KnownRow '[]Defined in polysemy-1.9.2.0 · Polysemy.Internal.Union
(Typeable e, KnownRow r) => KnownRow (e ': r)Defined in polysemy-1.9.2.0 · Polysemy.Internal.Union