Modulepolysemy-1.9.2.0

Polysemy.Final

Synopsis

value embedFinal
value embedToFinal
value finalToFinal
value interpretFinal
value runFinal
value withStrategicToFinal
value withWeavingToFinal
value bindS
value getInitialStateS
value getInspectorS
value liftS
value pureS
value runS
newtype Final
type ThroughWeavingToFinal
type Strategic
type WithStrategy

Packagepolysemy-1.9.2.0
Exports17
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

valuefinalToFinal

:: Member (Final m2) r
=> forall x. m1 x -> m2 x
-> forall x. m2 x -> m1 x
-> Sem (Final m1 ': r) a
-> Sem r a

valueinterpretFinal

:: Member (Final m) r
=> forall x (rInitial :: EffectRow). e (Sem rInitial) x -> Strategic m (Sem rInitial) x
-> Sem (e ': r) a
-> Sem r a

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

valuewithStrategicToFinal

:: Member (Final m) r
=> Strategic m (Sem r) a
-> Sem r a

valuewithWeavingToFinal

:: Member (Final m) r
=> ThroughWeavingToFinal m (Sem r) a
-> Sem r a

valuebindS :: (a -> n b) -> Sem (WithStrategy m f n) (f a -> m (f b))

valuegetInitialStateS :: Sem (WithStrategy m f n) (f ())

valuegetInspectorS :: Sem (WithStrategy m f n) (Inspector f)

valueliftS :: Functor m => m a -> Strategic m n a

valuepureS :: Applicative m => a -> Strategic m n a

valuerunS :: n a -> Sem (WithStrategy m f n) (m (f a))

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

Constructors

WithWeavingToFinal :: ThroughWeavingToFinal m z a -> Final m z a

type

type ThroughWeavingToFinal (m :: Type -> Type) (z :: Type -> Type) a = forall (f :: Type -> Type). Functor f => f () -> (forall x. f (z x) -> m (f x)) -> (forall x. f x -> Maybe x) -> m (f a)

type

type Strategic (m :: Type -> Type) (n :: Type -> Type) a = forall (f :: Type -> Type). Functor f => Sem (WithStrategy m f n) (m (f a))

typetype WithStrategy (m :: Type -> Type) (f :: Type -> Type) (n :: Type -> Type) = '[Strategy m f n]