Control.Monad.Ology.General.Inner

Documentation

class (Traversable m, MonadException m) => MonadInner m where

Monads that can compose as the inner monad with any outer monad to make a monad. See ComposeInner. Instances of this type are isomorphic to Either P (Q,a) for some types P and Q (with Monoid Q).

Must satisfy:

• retrieveInner (fmap f w) = fmap f (retrieveInner w)

• case retrieveInner w of {Left w' -> fmap absurd w'; Right a -> fmap (\_ -> a) w;} = w

Methods

retrieveInner :: forall a. m a -> Result (Exc m) a

Instances

MonadInner Identity

Defined in Control.Monad.Ology.General.Inner

Methods

retrieveInner :: Identity a -> Result (Exc Identity) a

MonadInner Maybe

Defined in Control.Monad.Ology.General.Inner

Methods

retrieveInner :: Maybe a -> Result (Exc Maybe) a

TransConstraint MonadInner MaybeT

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (MaybeT 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 (Either p)

Defined in Control.Monad.Ology.General.Inner

Methods

retrieveInner :: Either p a -> Result (Exc (Either p)) a

MonadInner (Result e)

Defined in Control.Monad.Ology.General.Inner

Methods

retrieveInner :: Result e a -> Result (Exc (Result e)) a

MonadInner m => MonadInner (MaybeT m)

Defined in Control.Monad.Ology.Specific.MaybeT

Methods

retrieveInner :: MaybeT m a -> Result (Exc (MaybeT m)) a

Monoid p => MonadInner ((,) p)

Defined in Control.Monad.Ology.General.Inner

Methods

retrieveInner :: (p, a) -> Result (Exc ((,) p)) a

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

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

retrieveInner :: ComposeInner inner outer a -> Result (Exc (ComposeInner inner outer)) a

MonadInner m => MonadInner (ExceptT e m)

Defined in Control.Monad.Ology.Specific.ExceptT

Methods

retrieveInner :: ExceptT e m a -> Result (Exc (ExceptT e m)) a

MonadInner m => MonadInner (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

retrieveInner :: IdentityT m a -> Result (Exc (IdentityT m)) a

(MonadInner m, Monoid w) => MonadInner (WriterT w m)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

retrieveInner :: WriterT w m a -> Result (Exc (WriterT w m)) a

mToMaybe :: forall m a. MonadInner m => m a -> Maybe a

commuteInner :: forall m f a. (MonadInner m, Applicative f) => m (f a) -> f (m a)