Modulepolysemy-1.9.2.0

Polysemy.Internal

Synopsis

value embed
value hoistSem
value insertAt
value liftSem
value raise
value raise2Under
value raise3Under
value raiseUnder
value raiseUnder2
value raiseUnder3
value raise_
value restack
value run
value runM
value send
value sendUsing
value subsume
value subsumeUsing
value subsume_
value usingSem
newtype Embed
type InterpreterFor
type InterpretersFor
family Members
class Raise
newtype Sem
class Subsume
family Append
class Member

Packagepolysemy-1.9.2.0
Exports29
LicenceBSD-3-Clause

valueembed :: Member (Embed m) r => m a -> Sem r a

valuehoistSem

:: forall x. Union r (Sem r) x -> Union r' (Sem r') x
-> Sem r a
-> Sem r' a

valueinsertAt

:: (ListOfLength index head, WhenStuck index InsertAtUnprovidedIndex, old ~ Append head oldTail, tail ~ Append inserted oldTail, full ~ Append head tail, InsertAtIndex index head tail oldTail full inserted)
=> Sem old a
-> Sem full a

valueliftSem :: Union r (Sem r) a -> Sem r a

valueraise :: Sem r a -> Sem (e ': r) a

valueraise2Under :: Sem (e1 ': e2 ': r) a -> Sem (e1 ': e2 ': e3 ': r) a

valueraise3Under

:: Sem (e1 ': e2 ': e3 ': r) a
-> Sem (e1 ': e2 ': e3 ': e4 ': r) a

valueraiseUnder :: Sem (e1 ': r) a -> Sem (e1 ': e2 ': r) a

valueraiseUnder2 :: Sem (e1 ': r) a -> Sem (e1 ': e2 ': e3 ': r) a

valueraiseUnder3 :: Sem (e1 ': r) a -> Sem (e1 ': e2 ': e3 ': e4 ': r) a

valueraise_ :: Raise r r' => Sem r a -> Sem r' a

valuerestack

:: forall (e :: Effect). ElemOf e r -> ElemOf e r'
-> Sem r a
-> Sem r' a

valuerun :: Sem '[] a -> a

valuerunM :: Monad m => Sem '[Embed m] a -> m a

valuesend :: Member e r => e (Sem r) a -> Sem r a

valuesendUsing :: ElemOf e r -> e (Sem r) a -> Sem r a

valuesubsume :: Member e r => Sem (e ': r) a -> Sem r a

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

valuesubsume_ :: Subsume r r' => Sem r a -> Sem r' a

valueusingSem

:: Monad m
=> forall x. Union r (Sem r) x -> m x
-> Sem r a
-> m a

newtypenewtype Embed (m :: Type -> Type) (z :: Type -> Type) a where

Constructors

Embed :: m a -> Embed m z a
- unEmbed :: m a

typetype InterpreterFor (e :: Effect) (r :: [Effect]) = forall a. Sem (e ': r) a -> Sem r a

typetype InterpretersFor (es :: [Effect]) (r :: [Effect]) = forall a. Sem (Append es r) a -> Sem r a

familytype family Members (es :: [Effect]) (r :: EffectRow) :: Constraint where

Equations

Members '[] r = ()
Members (e ': es) r = (Member e r, Members es r)

classclass Raise (r :: EffectRow) (r' :: EffectRow) where

Methods

raiseUnion :: Union r m a -> Union r' m a

Instances2Raise

Raise r rDefined in polysemy-1.9.2.0 · Polysemy.Internal
(r' ~ (_0 ': r''), Raise r r'') => Raise r r'Defined in polysemy-1.9.2.0 · Polysemy.Internal

newtypenewtype Sem (r :: EffectRow) a

Constructors

Sem
- runSem :: forall (m :: Type -> Type). Monad m => (forall x. Union r (Sem r) x -> m x) -> m a

Instances10Monad, Functor, MonadFix, MonadFail, Applicative, Alternative, …

Monad (Sem f)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Functor (Sem f)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Member Fixpoint r => MonadFix (Sem r)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Member Fail r => MonadFail (Sem r)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Applicative (Sem f)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Member NonDet r => Alternative (Sem r)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Member NonDet r => MonadPlus (Sem r)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Member (Embed IO) r => MonadIO (Sem r)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Semigroup a => Semigroup (Sem f a)Defined in polysemy-1.9.2.0 · Polysemy.Internal
Monoid a => Monoid (Sem f a)Defined in polysemy-1.9.2.0 · Polysemy.Internal

classclass Subsume (r :: EffectRow) (r' :: EffectRow) where

Methods

subsumeUnion :: Union r m a -> Union r' m a

Instances3Subsume

Raise r r' => Subsume r r'Defined in polysemy-1.9.2.0 · Polysemy.Internal
Subsume '[] rDefined in polysemy-1.9.2.0 · Polysemy.Internal
(Member e r', Subsume r r') => Subsume (e ': r) r'Defined in polysemy-1.9.2.0 · Polysemy.Internal

familytype family Append (l :: [a]) (r :: [a]) :: [a] where

Equations

Append (a2 ': l) r = a2 ': Append l r
Append '[] r = r

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

Orphan instances

1 instance

PluginLookup Plugin