Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class (MonadTrans t, TransConstraint Monad t) => MonadTransHoist t where
- hoistTransform :: (MonadTransHoist t, Monad m1, Monad m2) => (m1 --> m2) -> WRaised (t m2) --> WRaised (t m1)
- class MonadIO m => MonadHoistIO m where
Documentation
class (MonadTrans t, TransConstraint Monad t) => MonadTransHoist t where Source #
Monad transformers for which monads can be hoisted.
Instances
MonadTransHoist MaybeT Source # | |
MonadInner inner => MonadTransHoist (ComposeInner inner) Source # | |
Defined in Control.Monad.Ology.Specific.ComposeInner | |
MonadOuter outer => MonadTransHoist (ComposeOuter outer) Source # | |
Defined in Control.Monad.Ology.Specific.ComposeOuter | |
MonadTransHoist (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Defined in Control.Monad.Ology.Specific.LifecycleT | |
MonadTransStackTunnel tt => MonadTransHoist (StackT tt) Source # | |
Functor f => MonadTransHoist (StepT f) Source # | |
MonadTransHoist (ExceptT e) Source # | |
MonadTransHoist (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
MonadTransHoist (ReaderT r) Source # | |
MonadTransHoist (StateT s) Source # | |
Monoid w => MonadTransHoist (WriterT w) Source # | |
(MonadTransHoist outerT, MonadTransHoist innerT) => MonadTransHoist (ComposeT outerT innerT) Source # | |
hoistTransform :: (MonadTransHoist t, Monad m1, Monad m2) => (m1 --> m2) -> WRaised (t m2) --> WRaised (t m1) Source #
class MonadIO m => MonadHoistIO m where Source #
Instances
MonadHoistIO IO Source # | |
(MonadTransHoist t, TransConstraint MonadIO t) => TransConstraint MonadHoistIO t Source # | |
Defined in Control.Monad.Ology.General.Trans.Hoist hasTransConstraint :: forall (m :: Type -> Type). MonadHoistIO m => Dict (MonadHoistIO (t m)) Source # | |
(MonadTransHoist t, MonadHoistIO m, MonadIO (t m)) => MonadHoistIO (t m) Source # | |
(MonadHoistIO m, MonadCoroutine m) => MonadHoistIO (WithT m) Source # | |