TransConstraint MonadFail MaybeT Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.MaybeT |
TransConstraint MonadFix MaybeT Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.MaybeT |
TransConstraint MonadIO MaybeT Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.MaybeT |
TransConstraint Functor MaybeT Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.MaybeT |
TransConstraint Monad MaybeT Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.MaybeT |
TransConstraint MonadPlus MaybeT Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.MaybeT |
TransConstraint MonadInner MaybeT Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.MaybeT |
MonadTransAskUnlift t => TransConstraint MonadAskUnliftIO t Source # | |
Instance detailsDefined in Control.Monad.Ology.General.Trans.AskUnlift |
(MonadTransHoist t, TransConstraint MonadIO t) => TransConstraint MonadHoistIO t Source # | |
Instance detailsDefined in Control.Monad.Ology.General.Trans.Hoist |
(MonadTransTunnel t, MonadInner (Tunnel t), TransConstraint MonadIO t) => TransConstraint MonadTunnelIO t Source # | |
Instance detailsDefined in Control.Monad.Ology.General.Trans.Tunnel |
(MonadTransTunnel t, MonadInner (Tunnel t), TransConstraint MonadIO t) => TransConstraint MonadTunnelIOInner t Source # | |
Instance detailsDefined in Control.Monad.Ology.General.Trans.Tunnel |
MonadTransUnlift t => TransConstraint MonadUnliftIO t Source # | |
Instance detailsDefined in Control.Monad.Ology.General.Trans.Unlift |
MonadInner inner => TransConstraint MonadFail (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
MonadOuter outer => TransConstraint MonadFail (ComposeOuter outer) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeOuter |
TransConstraint MonadFail (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadFail) tt, IsStack MonadTrans tt) => TransConstraint MonadFail (StackT tt) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StackT |
TransConstraint MonadFail (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint MonadFail (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint MonadFail (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint MonadFail (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint MonadFail (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
MonadInner inner => TransConstraint MonadFix (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
MonadOuter outer => TransConstraint MonadFix (ComposeOuter outer) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeOuter |
TransConstraint MonadFix (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadFix) tt) => TransConstraint MonadFix (StackT tt) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StackT |
TransConstraint MonadFix (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint MonadFix (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint MonadFix (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint MonadFix (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint MonadFix (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
MonadInner inner => TransConstraint MonadIO (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
MonadOuter outer => TransConstraint MonadIO (ComposeOuter outer) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeOuter |
TransConstraint MonadIO (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadIO) tt) => TransConstraint MonadIO (StackT tt) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StackT |
Functor f => TransConstraint MonadIO (StepT f) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StepT |
TransConstraint MonadIO (TransformT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.TransformT |
TransConstraint MonadIO (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint MonadIO (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint MonadIO (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint MonadIO (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint MonadIO (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
Traversable inner => TransConstraint Traversable (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
Traversable outer => TransConstraint Traversable (ComposeOuter outer) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeOuter |
Applicative outer => TransConstraint Applicative (ComposeOuter outer) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeOuter |
TransConstraint Applicative (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
TransConstraint Applicative (TransformT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.TransformT |
TransConstraint Applicative (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint Applicative (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
Monoid w => TransConstraint Applicative (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
Functor inner => TransConstraint Functor (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
Functor outer => TransConstraint Functor (ComposeOuter outer) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeOuter |
TransConstraint Functor (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
Functor f => TransConstraint Functor (StepT f) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StepT |
TransConstraint Functor (TransformT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.TransformT |
TransConstraint Functor (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint Functor (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint Functor (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint Functor (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint Functor (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
MonadInner inner => TransConstraint Monad (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
MonadOuter outer => TransConstraint Monad (ComposeOuter outer) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeOuter |
TransConstraint Monad (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
IsStack (TransConstraint Monad) tt => TransConstraint Monad (StackT tt) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StackT |
Functor f => TransConstraint Monad (StepT f) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StepT |
TransConstraint Monad (TransformT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.TransformT |
TransConstraint Monad (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint Monad (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint Monad (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint Monad (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint Monad (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadPlus) tt) => TransConstraint MonadPlus (StackT tt) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StackT |
Monoid e => TransConstraint MonadPlus (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint MonadPlus (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint MonadPlus (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint MonadPlus (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint MonadPlus (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
(MonadInner inner, MonadException inner) => TransConstraint MonadException (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
TransConstraint MonadException (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
TransConstraint MonadException (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint MonadException (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint MonadException (ReaderT r) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint MonadException (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint MonadException (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
MonadExtract inner => TransConstraint MonadExtract (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
TransConstraint MonadExtract (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
Monoid w => TransConstraint MonadExtract (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
MonadIdentity inner => TransConstraint MonadIdentity (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
TransConstraint MonadIdentity (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
MonadInner inner => TransConstraint MonadInner (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
TransConstraint MonadInner (ExceptT e) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ExceptT |
TransConstraint MonadInner (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
Monoid w => TransConstraint MonadInner (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
(MonadInner inner, MonadOuter inner) => TransConstraint MonadOuter (ComposeInner inner) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeInner |
TransConstraint MonadOuter (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint MonadOuter (ReaderT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
(TransConstraint MonadFail outerT, TransConstraint Monad innerT, TransConstraint MonadFail innerT) => TransConstraint MonadFail (ComposeT outerT innerT) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeT |
TransConstraint MonadFail (ContT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ContT |
(TransConstraint MonadFix outerT, TransConstraint Monad innerT, TransConstraint MonadFix innerT) => TransConstraint MonadFix (ComposeT outerT innerT) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeT |
(TransConstraint MonadIO outerT, TransConstraint Monad innerT, TransConstraint MonadIO innerT) => TransConstraint MonadIO (ComposeT outerT innerT) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeT |
TransConstraint MonadIO (ContT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ContT |
(TransConstraint Applicative outerT, TransConstraint Applicative innerT) => TransConstraint Applicative (ComposeT outerT innerT) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeT |
TransConstraint Applicative (ContT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ContT |
(TransConstraint Functor outerT, TransConstraint Functor innerT) => TransConstraint Functor (ComposeT outerT innerT) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeT |
TransConstraint Functor (ContT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ContT |
(TransConstraint Monad outerT, TransConstraint Monad innerT) => TransConstraint Monad (ComposeT outerT innerT) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeT |
TransConstraint Monad (ContT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ContT |
(TransConstraint MonadPlus outerT, TransConstraint Monad innerT, TransConstraint MonadPlus innerT) => TransConstraint MonadPlus (ComposeT outerT innerT) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ComposeT |
TransConstraint (MonadCatch e) (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
TransConstraint (MonadCatch e) (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint (MonadCatch e) (ReaderT r) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint (MonadCatch e) (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint (MonadCatch e) (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |
TransConstraint (MonadThrow e) (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.LifecycleT |
TransConstraint (MonadThrow e) (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.IdentityT |
TransConstraint (MonadThrow e) (ReaderT r) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.ReaderT |
TransConstraint (MonadThrow e) (StateT s) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.StateT |
Monoid w => TransConstraint (MonadThrow e) (WriterT w) Source # | |
Instance detailsDefined in Control.Monad.Ology.Specific.WriterT |