Modulepolysemy-1.9.2.0

Polysemy

Synopsis

value embedFinal
value embedToFinal
value runFinal
value embed
value insertAt
value raise
value raise2Under
value raise3Under
value raiseUnder
value raiseUnder2
value raiseUnder3
value raise_
value run
value runM
value send
value subsume
value subsume_
value intercept
value interceptH
value interpret
value interpretH
value reinterpret
value reinterpret2
value reinterpret2H
value reinterpret3
value reinterpret3H
value reinterpretH
value rewrite
value transform
value makeSem
value makeSem_
value bindT
value bindTSimple
value getInitialStateT
value getInspectorT
value pureT
value runT
value runTSimple
newtype Embed
newtype Final
type InterpreterFor
type InterpretersFor
family Members
newtype Sem
type Effect
type EffectRow
newtype Inspector
type Tactical
type WithTactics
class Member

Packagepolysemy-1.9.2.0
Exports50
LicenceBSD-3-Clause

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