Control.Monad.Ology.General.Trans.Constraint

Documentation

class TransConstraint c t where

Transitivity of some constraint c from m to t m.

Methods

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

Instances

TransConstraint MonadFail MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (MaybeT m))

TransConstraint MonadFix MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (MaybeT m))

TransConstraint MonadIO MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (MaybeT m))

TransConstraint Functor MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (MaybeT m))

TransConstraint Monad MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (MaybeT m))

TransConstraint MonadPlus MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (MaybeT m))

TransConstraint MonadInner MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (MaybeT m))

MonadTransAskUnlift t => TransConstraint MonadAskUnliftIO t

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

Methods

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

(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))

(MonadTransTunnel t, MonadInner (Tunnel t), TransConstraint MonadIO t) => TransConstraint MonadTunnelIO t

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

Methods

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

(MonadTransTunnel t, MonadInner (Tunnel t), TransConstraint MonadIO t) => TransConstraint MonadTunnelIOInner t

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

Methods

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

MonadTransUnlift t => TransConstraint MonadUnliftIO t

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

Methods

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

MonadInner inner => TransConstraint MonadFail (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (ComposeInner inner m))

MonadOuter outer => TransConstraint MonadFail (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (ComposeOuter outer m))

TransConstraint MonadFail (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (LifecycleT m))

(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadFail) tt, IsStack MonadTrans tt) => TransConstraint MonadFail (StackT tt)

Defined in Control.Monad.Ology.Specific.StackT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (StackT tt m))

TransConstraint MonadFail (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (ExceptT e m))

TransConstraint MonadFail (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (IdentityT m))

TransConstraint MonadFail (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (ReaderT s m))

TransConstraint MonadFail (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (StateT s m))

Monoid w => TransConstraint MonadFail (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (WriterT w m))

MonadInner inner => TransConstraint MonadFix (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (ComposeInner inner m))

MonadOuter outer => TransConstraint MonadFix (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (ComposeOuter outer m))

TransConstraint MonadFix (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (LifecycleT m))

(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadFix) tt) => TransConstraint MonadFix (StackT tt)

Defined in Control.Monad.Ology.Specific.StackT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (StackT tt m))

TransConstraint MonadFix (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (ExceptT e m))

TransConstraint MonadFix (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (IdentityT m))

TransConstraint MonadFix (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (ReaderT s m))

TransConstraint MonadFix (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (StateT s m))

Monoid w => TransConstraint MonadFix (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (WriterT w m))

MonadInner inner => TransConstraint MonadIO (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (ComposeInner inner m))

MonadOuter outer => TransConstraint MonadIO (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (ComposeOuter outer m))

TransConstraint MonadIO (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (LifecycleT m))

(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadIO) tt) => TransConstraint MonadIO (StackT tt)

Defined in Control.Monad.Ology.Specific.StackT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (StackT tt m))

Functor f => TransConstraint MonadIO (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (StepT f m))

TransConstraint MonadIO (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (TransformT m))

TransConstraint MonadIO (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (ExceptT e m))

TransConstraint MonadIO (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (IdentityT m))

TransConstraint MonadIO (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (ReaderT s m))

TransConstraint MonadIO (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (StateT s m))

Monoid w => TransConstraint MonadIO (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (WriterT w m))

Traversable inner => TransConstraint Traversable (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). Traversable m => Dict (Traversable (ComposeInner inner m))

Traversable outer => TransConstraint Traversable (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hasTransConstraint :: forall (m :: Type -> Type). Traversable m => Dict (Traversable (ComposeOuter outer m))

Applicative outer => TransConstraint Applicative (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (ComposeOuter outer m))

TransConstraint Applicative (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (LifecycleT m))

TransConstraint Applicative (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (TransformT m))

TransConstraint Applicative (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (IdentityT m))

TransConstraint Applicative (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (ReaderT s m))

Monoid w => TransConstraint Applicative (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (WriterT w m))

Functor inner => TransConstraint Functor (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (ComposeInner inner m))

Functor outer => TransConstraint Functor (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (ComposeOuter outer m))

TransConstraint Functor (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (LifecycleT m))

Functor f => TransConstraint Functor (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (StepT f m))

TransConstraint Functor (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (TransformT m))

TransConstraint Functor (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (ExceptT e m))

TransConstraint Functor (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (IdentityT m))

TransConstraint Functor (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (ReaderT s m))

TransConstraint Functor (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (StateT s m))

Monoid w => TransConstraint Functor (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (WriterT w m))

MonadInner inner => TransConstraint Monad (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (ComposeInner inner m))

MonadOuter outer => TransConstraint Monad (ComposeOuter outer)

Defined in Control.Monad.Ology.Specific.ComposeOuter

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (ComposeOuter outer m))

TransConstraint Monad (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (LifecycleT m))

IsStack (TransConstraint Monad) tt => TransConstraint Monad (StackT tt)

Defined in Control.Monad.Ology.Specific.StackT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (StackT tt m))

Functor f => TransConstraint Monad (StepT f)

Defined in Control.Monad.Ology.Specific.StepT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (StepT f m))

TransConstraint Monad (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (TransformT m))

TransConstraint Monad (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (ExceptT e m))

TransConstraint Monad (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (IdentityT m))

TransConstraint Monad (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (ReaderT s m))

TransConstraint Monad (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (StateT s m))

Monoid w => TransConstraint Monad (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (WriterT w m))

(IsStack (TransConstraint Monad) tt, IsStack (TransConstraint MonadPlus) tt) => TransConstraint MonadPlus (StackT tt)

Defined in Control.Monad.Ology.Specific.StackT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (StackT tt m))

Monoid e => TransConstraint MonadPlus (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (ExceptT e m))

TransConstraint MonadPlus (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (IdentityT m))

TransConstraint MonadPlus (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (ReaderT s m))

TransConstraint MonadPlus (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (StateT s m))

Monoid w => TransConstraint MonadPlus (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (WriterT w m))

(MonadInner inner, MonadException inner) => TransConstraint MonadException (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (ComposeInner inner m))

TransConstraint MonadException (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (LifecycleT m))

TransConstraint MonadException (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (ExceptT e m))

TransConstraint MonadException (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (IdentityT m))

TransConstraint MonadException (ReaderT r)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (ReaderT r m))

TransConstraint MonadException (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (StateT s m))

Monoid w => TransConstraint MonadException (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (WriterT w m))

MonadExtract inner => TransConstraint MonadExtract (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadExtract m => Dict (MonadExtract (ComposeInner inner m))

TransConstraint MonadExtract (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadExtract m => Dict (MonadExtract (IdentityT m))

Monoid w => TransConstraint MonadExtract (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadExtract m => Dict (MonadExtract (WriterT w m))

MonadIdentity inner => TransConstraint MonadIdentity (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (ComposeInner inner m))

TransConstraint MonadIdentity (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (IdentityT m))

MonadInner inner => TransConstraint MonadInner (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (ComposeInner inner m))

TransConstraint MonadInner (ExceptT e)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (ExceptT e m))

TransConstraint MonadInner (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (IdentityT m))

Monoid w => TransConstraint MonadInner (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (WriterT w m))

(MonadInner inner, MonadOuter inner) => TransConstraint MonadOuter (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadOuter m => Dict (MonadOuter (ComposeInner inner m))

TransConstraint MonadOuter (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadOuter m => Dict (MonadOuter (IdentityT m))

TransConstraint MonadOuter (ReaderT s)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadOuter m => Dict (MonadOuter (ReaderT s m))

(TransConstraint MonadFail outerT, TransConstraint Monad innerT, TransConstraint MonadFail innerT) => TransConstraint MonadFail (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (ComposeT outerT innerT m))

TransConstraint MonadFail (ContT s)

Defined in Control.Monad.Ology.Specific.ContT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (ContT s m))

(TransConstraint MonadFix outerT, TransConstraint Monad innerT, TransConstraint MonadFix innerT) => TransConstraint MonadFix (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (ComposeT outerT innerT m))

(TransConstraint MonadIO outerT, TransConstraint Monad innerT, TransConstraint MonadIO innerT) => TransConstraint MonadIO (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (ComposeT outerT innerT m))

TransConstraint MonadIO (ContT s)

Defined in Control.Monad.Ology.Specific.ContT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (ContT s m))

(TransConstraint Applicative outerT, TransConstraint Applicative innerT) => TransConstraint Applicative (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (ComposeT outerT innerT m))

TransConstraint Applicative (ContT s)

Defined in Control.Monad.Ology.Specific.ContT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (ContT s m))

(TransConstraint Functor outerT, TransConstraint Functor innerT) => TransConstraint Functor (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (ComposeT outerT innerT m))

TransConstraint Functor (ContT s)

Defined in Control.Monad.Ology.Specific.ContT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (ContT s m))

(TransConstraint Monad outerT, TransConstraint Monad innerT) => TransConstraint Monad (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (ComposeT outerT innerT m))

TransConstraint Monad (ContT s)

Defined in Control.Monad.Ology.Specific.ContT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (ContT s m))

(TransConstraint MonadPlus outerT, TransConstraint Monad innerT, TransConstraint MonadPlus innerT) => TransConstraint MonadPlus (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (ComposeT outerT innerT m))

TransConstraint (MonadCatch e) (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (LifecycleT m))

TransConstraint (MonadCatch e) (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (IdentityT m))

TransConstraint (MonadCatch e) (ReaderT r)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (ReaderT r m))

TransConstraint (MonadCatch e) (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (StateT s m))

Monoid w => TransConstraint (MonadCatch e) (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (WriterT w m))

TransConstraint (MonadThrow e) (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (LifecycleT m))

TransConstraint (MonadThrow e) (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (IdentityT m))

TransConstraint (MonadThrow e) (ReaderT r)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (ReaderT r m))

TransConstraint (MonadThrow e) (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (StateT s m))

Monoid w => TransConstraint (MonadThrow e) (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (WriterT w m))

transConstraintDict :: forall c t m. TransConstraint c t => Dict (c m) -> Dict (c (t m))

withTransConstraintTM :: forall c t m a. (TransConstraint c t, c m) => (c (t m) => t m a) -> t m a

withTransConstraintTM' :: forall c t' t m a. (TransConstraint c t, c m) => (c (t m) => t' (t m) a) -> t' (t m) a

withTransConstraintDict :: forall c t m c'. (TransConstraint c t, c m) => (c (t m) => Dict (c' (t m))) -> Dict (c' (t m))