Control.Monad.Ology.General.Outer

Documentation

class Monad m => MonadOuter m where

Monads that can compose as the outer monad with any inner monad to make a monad. See ComposeOuter. Instances of this type are isomorphic to P -> a for some type P.

Must satisfy:

• fmap (\ex -> unWExtract ex ma) getExtract = ma.

Methods

getExtract :: m (WExtract m)

Instances

MonadOuter Identity

Defined in Control.Monad.Ology.General.Outer

Methods

getExtract :: Identity (WExtract Identity)

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

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

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

getExtract :: ComposeInner inner outer (WExtract (ComposeInner inner outer))

MonadOuter m => MonadOuter (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

getExtract :: IdentityT m (WExtract (IdentityT m))

MonadOuter m => MonadOuter (ReaderT r m)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

getExtract :: ReaderT r m (WExtract (ReaderT r m))

MonadOuter ((->) r)

Defined in Control.Monad.Ology.General.Outer

Methods

getExtract :: r -> WExtract ((->) r)

commuteOuter :: forall m f a. (MonadOuter m, Functor f) => f (m a) -> m (f a)