Modulepolysemy-1.9.2.0

Polysemy.Internal.Strategy

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))

valuerunStrategy

type

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

datadata Strategy (m :: Type -> Type) (f :: Type -> Type) (n :: Type -> Type) (z :: k) a where

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