Control.Monad.All.Class

The MonadAll type class, which represents monads which are powerful enough to interpret any monadic action.

Documentation

class Monad m => MonadAll m where

The MonadAll class represents those monads which support every monadic action.

Instances are provided for AllT and the standard monad transformers, so that you can use arbitrary actions in other monad transformer stacks.

Methods

action :: a -> m b

Instances

MonadAll m => MonadAll (MaybeT m)

MonadAll m => MonadAll (ListT m)

MonadAll m => MonadAll (IdentityT m)

MonadAll (AllT m)

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

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

MonadAll m => MonadAll (ExceptT e m)

MonadAll m => MonadAll (StateT s m)

MonadAll m => MonadAll (StateT s m)

MonadAll m => MonadAll (ReaderT r m)

(MonadAll m, Monoid w) => MonadAll (RWST r w s m)

(MonadAll m, Monoid w) => MonadAll (RWST r w s m)

action_ :: MonadAll m => a -> m ()

Perform an action, discarding the result.