Control.Monad.Ology.General.Trans.Hoist

Documentation

class (MonadTrans t, TransConstraint Monad t) => MonadTransHoist t where

Monad transformers for which monads can be hoisted.

Methods

hoist :: forall m1 m2. (Monad m1, Monad m2) => (m1 --> m2) -> t m1 --> t m2

Instances

MonadTransHoist MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> MaybeT m1 --> MaybeT m2

MonadInner inner => MonadTransHoist (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> ComposeInner inner m1 --> ComposeInner inner m2

MonadOuter outer => MonadTransHoist (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> ComposeOuter outer m1 --> ComposeOuter outer m2

MonadTransHoist (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> LifecycleT m1 --> LifecycleT m2

MonadTransStackTunnel tt => MonadTransHoist (StackT tt)

Defined in Control.Monad.Ology.Specific.StackT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> StackT tt m1 --> StackT tt m2

Functor f => MonadTransHoist (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> StepT f m1 --> StepT f m2

MonadTransHoist (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> ExceptT e m1 --> ExceptT e m2

MonadTransHoist (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> IdentityT m1 --> IdentityT m2

MonadTransHoist (ReaderT r)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> ReaderT r m1 --> ReaderT r m2

MonadTransHoist (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> StateT s m1 --> StateT s m2

Monoid w => MonadTransHoist (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> WriterT w m1 --> WriterT w m2

(MonadTransHoist outerT, MonadTransHoist innerT) => MonadTransHoist (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> ComposeT outerT innerT m1 --> ComposeT outerT innerT m2

hoistTransform :: (MonadTransHoist t, Monad m1, Monad m2) => (m1 --> m2) -> WRaised (t m2) --> WRaised (t m1)

class MonadIO m => MonadHoistIO m where

Methods

hoistIO :: (IO --> IO) -> m --> m

Instances

MonadHoistIO IO

Defined in Control.Monad.Ology.General.Trans.Hoist

Methods

hoistIO :: (IO --> IO) -> IO --> IO

(MonadTransHoist t, TransConstraint MonadIO t) => TransConstraint MonadHoistIO t

Defined in Control.Monad.Ology.General.Trans.Hoist

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadHoistIO m => Dict (MonadHoistIO (t m))

(MonadTransHoist t, MonadHoistIO m, MonadIO (t m)) => MonadHoistIO (t m)

Defined in Control.Monad.Ology.General.Trans.Hoist

Methods

hoistIO :: (IO --> IO) -> t m --> t m