Polysemy · polysemy-1.9.2.0 · horizon-javascript

valueembedFinal :: (Member (Final m) r, Functor m) => m a -> Sem r a

#

valueembedToFinal

:: (Member (Final m) r, Functor m)
=> Sem (Embed m ': r) a
-> Sem r a

#

valuerunFinal :: Monad m => Sem '[Final m] a -> m a

#

valueembed :: Member (Embed m) r => m 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

#

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

#

valuerun :: Sem '[] a -> a

#

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

#

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

#

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

#

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

#

valueintercept

:: (Member e r, FirstOrder e "intercept")
=> forall x (rInitial :: EffectRow). e (Sem rInitial) x -> Sem r x
-> Sem r a
-> Sem r a

#

valueinterceptH

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

#

valueinterpret

:: FirstOrder e "interpret"
=> forall (rInitial :: EffectRow) x. e (Sem rInitial) x -> Sem r x
-> Sem (e ': r) a
-> Sem r a

#

valueinterpretH

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

#

valuereinterpret

:: FirstOrder e1 "reinterpret"
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Sem (e2 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': r) a

#

valuereinterpret2

:: FirstOrder e1 "reinterpret2"
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Sem (e2 ': e3 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': r) a

#

valuereinterpret2H

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': e3 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': r) a

#

valuereinterpret3

:: FirstOrder e1 "reinterpret3"
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Sem (e2 ': e3 ': e4 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': e4 ': r) a

#

valuereinterpret3H

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': e3 ': e4 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': e3 ': e4 ': r) a

#

valuereinterpretH

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> Tactical e1 (Sem rInitial) (e2 ': r) x
-> Sem (e1 ': r) a
-> Sem (e2 ': r) a

#

valuerewrite

:: forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x
-> Sem (e1 ': r) a
-> Sem (e2 ': r) a

#

valuetransform

:: Member e2 r
=> forall (rInitial :: EffectRow) x. e1 (Sem rInitial) x -> e2 (Sem rInitial) x
-> Sem (e1 ': r) a
-> Sem r a

#

valuemakeSem :: Name -> Q [Dec]

#

valuemakeSem_ :: Name -> Q [Dec]

#

valuebindT :: (a -> m b) -> Sem (WithTactics e f m r) (f a -> Sem (e ': r) (f b))

#

valuebindTSimple :: (a -> m b) -> f a -> Sem (WithTactics e f m r) (f b)

#

valuegetInitialStateT :: Sem (WithTactics e f m r) (f ())

#

valuegetInspectorT :: Sem (WithTactics e f m r) (Inspector f)

#

valuepureT :: Functor f => a -> Sem (WithTactics e f m r) (f a)

#

valuerunT :: m a -> Sem (WithTactics e f m r) (Sem (e ': r) (f a))

#

valuerunTSimple :: m a -> Tactical e m r a

#

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

#

Constructors

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

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

#

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)

newtypenewtype Sem (r :: EffectRow) 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

typetype Effect = (Type -> Type) -> Type -> Type

#

typetype EffectRow = [Effect]

#

newtypenewtype Inspector (f :: Type -> Type)

#

Constructors

Inspector
- inspect :: forall x. f x -> Maybe x

type

type Tactical (e :: Effect) (m :: Type -> Type) (r :: [Effect]) x = forall (f :: Type -> Type). Functor f => Sem (WithTactics e f m r) (f x)

#

typetype WithTactics (e :: Effect) (f :: Type -> Type) (m :: Type -> Type) (r :: [Effect]) = Tactics f m (e ': 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