Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Language.Haskell.Tools.Refactor.Utils.Maybe
Documentation
module Data.Maybe
newtype MaybeT (m :: * -> *) a :: (* -> *) -> * -> * #
The parameterizable maybe monad, obtained by composing an arbitrary
monad with the Maybe
monad.
Computations are actions that may produce a value or exit.
The return
function yields a computation that produces that
value, while >>=
sequences two subcomputations, exiting if either
computation does.
Instances
MonadTrans MaybeT | |
MonadWriter w m => MonadWriter w (MaybeT m) | |
MonadState s m => MonadState s (MaybeT m) | |
MonadReader r m => MonadReader r (MaybeT m) | |
Monad m => MorphControl m (MaybeT m) | |
Monad m => Monad (MaybeT m) | |
Functor m => Functor (MaybeT m) | |
MonadFix m => MonadFix (MaybeT m) | |
Monad m => MonadFail (MaybeT m) | |
(Functor m, Monad m) => Applicative (MaybeT m) | |
Foldable f => Foldable (MaybeT f) | |
Traversable f => Traversable (MaybeT f) | |
Monad m => MonadPlus (MaybeT m) | |
(Functor m, Monad m) => Alternative (MaybeT m) | |
Eq1 m => Eq1 (MaybeT m) | |
Ord1 m => Ord1 (MaybeT m) | |
Read1 m => Read1 (MaybeT m) | |
Show1 m => Show1 (MaybeT m) | |
MonadZip m => MonadZip (MaybeT m) | |
MonadIO m => MonadIO (MaybeT m) | |
(Monad m, HasDynFlags m) => HasDynFlags (MaybeT m) | |
PrimMonad m => PrimMonad (MaybeT m) | |
(Eq1 m, Eq a) => Eq (MaybeT m a) | |
(Ord1 m, Ord a) => Ord (MaybeT m a) | |
(Read1 m, Read a) => Read (MaybeT m a) | |
(Show1 m, Show a) => Show (MaybeT m a) | |
data MSt m (MaybeT m) | |
type PrimState (MaybeT m) | |