Control.Monad.Trans.Demarcate.Internal

Internals of the Demarcate monad transformer.

Documentation

data DemarcateF t m next

Demarcate functor.

Constructors

forall a . DemarcateMonad (m a) (a -> next)

Unlifted monadic computation.

forall a . DemarcateTrans (t m a) (a -> next)

Transformed monadic computation.

Instances

Functor (DemarcateF t m)

MonadFree (DemarcateF t m) (Demarcate t m)

newtype Demarcate t m a

Demarcate monad transformer.

Constructors

Demarcate

Fields

unDemarcate :: Free (DemarcateF t m) a

Instances

MonadTrans (Demarcate t)

Monad (Demarcate t m)

Functor (Demarcate t m)

MonadFree (DemarcateF t m) (Demarcate t m)

demarcateM :: m a -> Demarcate t m a

Lift pure monadic computation into Demarcate t m a

demarcateT :: t m a -> Demarcate t m a

Lift transformed monadic computation into Demarcate t m a

execDemarcate :: (Monad (t m), Monad m, MonadTrans t) => Demarcate t m a -> t m a

Execute demarcated computation.

hoistDemarcateT :: (forall b. t m b -> t' m b) -> Demarcate t m a -> Demarcate t' m a

Subsitute monad transformer.

transformDemarcateM :: (forall b. m b -> Demarcate t m b) -> Demarcate t m a -> Demarcate t m a

Substitute monad computations with demarcated.

transformDemarcateFree :: Functor f => (forall b. f (Demarcate t (Free f) b) -> Demarcate t (Free f) b) -> Demarcate t (Free f) a -> Demarcate t (Free f) a

Substitute free monad actions with demarcated monad computations.

wrapT :: (Functor f, MonadFree f m, MonadTrans t, Monad (t m)) => f (t m a) -> t m a

Helper function (useful with transformDemarcateFree). I believe it should be somewhere in Control.Monad.Free