Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulepolysemy-1.9.2.0

Polysemy.Final

4 types
13 values

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]