Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
This module provides the proxy transformer equivalent of MaybeT
.
MaybeP
newtype MaybeP p a' a b' b m r Source #
The Maybe
proxy transformer
ProxyTrans MaybeP Source # | |
Channel p => Channel (MaybeP p) Source # | |
MonadTrans (p a' a b' b) => MonadTrans (MaybeP p a' a b' b) Source # | |
MFunctor (p a' a b' b) => MFunctor (MaybeP p a' a b' b) Source # | |
Monad (p a' a b' b m) => Monad (MaybeP p a' a b' b m) Source # | |
Monad (p a' a b' b m) => Functor (MaybeP p a' a b' b m) Source # | |
Monad (p a' a b' b m) => Applicative (MaybeP p a' a b' b m) Source # | |
MonadIO (p a' a b' b m) => MonadIO (MaybeP p a' a b' b m) Source # | |
Monad (p a' a b' b m) => Alternative (MaybeP p a' a b' b m) Source # | |
Monad (p a' a b' b m) => MonadPlus (MaybeP p a' a b' b m) Source # | |