Modulepolysemy-1.9.2.0

Polysemy.Internal.Tactics

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)

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

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

valuerunTactics

newtypenewtype Inspector (f :: Type -> Type)

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)

datadata Tactics (f :: Type -> Type) (n :: Type -> Type) (r :: EffectRow) (m :: k) a where

typetype WithTactics (e :: Effect) (f :: Type -> Type) (m :: Type -> Type) (r :: [Effect]) = Tactics f m (e ': r) ': r