Modulepolysemy-1.9.2.0

Polysemy.Internal.Union

Synopsis

valueabsurdU :: Union '[] m a -> b

valuedecomp :: Union (e ': r) m a -> Either (Union r m a) (Weaving e m a)

valuedecompCoerce

valueextendMembershipLeft :: SList l -> ElemOf e r -> ElemOf e (Append l r)

valueextendMembershipRight :: ElemOf e l -> ElemOf e (Append l r)

valueextract :: Union '[e] m a -> Weaving e m a

valuehoist :: (forall x. m x -> n x) -> Union r m a -> Union r n a

valueinj :: Member e r => e (Sem rInitial) a -> Union r (Sem rInitial) a

valueinjUsing :: ElemOf e r -> e (Sem rInitial) a -> Union r (Sem rInitial) a

valueinjWeaving :: Member e r => Weaving e m a -> Union r m a

valueinjectMembership

valuemembership :: Member e r => ElemOf e r

valueprj :: Member e r => Union r m a -> Maybe (Weaving e m a)

valueprjUsing :: ElemOf e r -> Union r m a -> Maybe (Weaving e m a)

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

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

valueweaken :: Union r m a -> Union (e ': r) m a

valueweakenList :: SList l -> Union r m a -> Union (Append l r) m a

valueweakenMid

valueweave

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

classclass Member (t :: Effect) (r :: EffectRow) where

Instances2Member

Member t (t ': z)Defined in polysemy-1.9.2.0 · Polysemy.Internal.Union
Member t z => Member t (_1 ': z)Defined in polysemy-1.9.2.0 · Polysemy.Internal.Union

datadata Union (r :: EffectRow) (mWoven :: Type -> Type) a where

Instances1Functor

datadata Weaving (e :: (Type -> Type) -> Type -> Type) (mAfter :: Type -> Type) resultType where

Instances1Functor