MonadTrans MaybeT | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
MMonad MaybeT | |
Instance detailsDefined in Control.Monad.Morph |
MonadReader r m => MonadReader r (MaybeT m) | |
Instance detailsDefined in Control.Monad.Reader.Class |
MonadState s m => MonadState s (MaybeT m) | |
Instance detailsDefined in Control.Monad.State.Class |
(Functor f, MonadFree f m) => MonadFree f (MaybeT m) | |
Instance detailsDefined in Control.Monad.Free.Class |
MonadError e m => MonadError e (MaybeT m) | |
Instance detailsDefined in Control.Monad.Error.Class |
MonadWriter w m => MonadWriter w (MaybeT m) | |
Instance detailsDefined in Control.Monad.Writer.Class |
MonadBase b m => MonadBase b (MaybeT m) | |
Instance detailsDefined in Control.Monad.Base |
Monad m => Monad (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Functor m => Functor (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
MonadFix m => MonadFix (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Monad m => MonadFail (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
(Functor m, Monad m) => Applicative (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Foldable f => Foldable (MaybeT f) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Traversable f => Traversable (MaybeT f) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
(Functor m, Monad m) => Alternative (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Contravariant m => Contravariant (MaybeT m) | |
Instance detailsDefined in Data.Functor.Contravariant |
Monad m => MonadPlus (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Eq1 m => Eq1 (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Ord1 m => Ord1 (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Read1 m => Read1 (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Show1 m => Show1 (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
MonadZip m => MonadZip (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
MonadIO m => MonadIO (MaybeT m) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Divisible m => Divisible (MaybeT m) | |
Instance detailsDefined in Data.Functor.Contravariant.Divisible |
Divisible m => Decidable (MaybeT m) | |
Instance detailsDefined in Data.Functor.Contravariant.Divisible |
MonadThrow m => MonadThrow (MaybeT m) | Throws exceptions into the base monad. |
Instance detailsDefined in Control.Monad.Catch |
MonadCatch m => MonadCatch (MaybeT m) | Catches exceptions from the base monad. |
Instance detailsDefined in Control.Monad.Catch |
MonadMask m => MonadMask (MaybeT m) | Since: exceptions-0.10.0 |
Instance detailsDefined in Control.Monad.Catch |
PrimMonad m => PrimMonad (MaybeT m) | |
Instance detailsDefined in Control.Monad.Primitive |
(Functor m, Monad m) => Apply (MaybeT m) | |
Instance detailsDefined in Data.Functor.Bind.Class |
MonadManaged m => MonadManaged (MaybeT m) | |
Instance detailsDefined in Control.Monad.Managed |
MonadCont m => MonadCont (MaybeT m) | |
Instance detailsDefined in Control.Monad.Cont.Class |
Pointed m => Pointed (MaybeT m) | |
Instance detailsDefined in Data.Pointed |
(Bind f, Monad f) => Plus (MaybeT f) | |
Instance detailsDefined in Data.Functor.Plus |
(Bind f, Monad f) => Alt (MaybeT f) | |
Instance detailsDefined in Data.Functor.Alt |
(Functor m, Monad m) => Bind (MaybeT m) | |
Instance detailsDefined in Data.Functor.Bind.Class |
MFunctor MaybeT | |
Instance detailsDefined in Control.Monad.Morph |
Zoom m n s t => Zoom (MaybeT m) (MaybeT n) s t | |
Instance detailsDefined in Control.Lens.Zoom |
(Eq1 m, Eq a) => Eq (MaybeT m a) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
(Ord1 m, Ord a) => Ord (MaybeT m a) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
(Read1 m, Read a) => Read (MaybeT m a) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
(Show1 m, Show a) => Show (MaybeT m a) | |
Instance detailsDefined in Control.Monad.Trans.Maybe |
Wrapped (MaybeT m a) | |
Instance detailsDefined in Control.Lens.Wrapped |
t ~ MaybeT n b => Rewrapped (MaybeT m a) t | |
Instance detailsDefined in Control.Lens.Wrapped |
type Zoomed (MaybeT m) | |
Instance detailsDefined in Control.Lens.Zoom |
type PrimState (MaybeT m) | |
Instance detailsDefined in Control.Monad.Primitive |
type Unwrapped (MaybeT m a) | |
Instance detailsDefined in Control.Lens.Wrapped |