Safe Haskell | Safe |
---|---|
Language | Haskell98 |
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 # | |
PFunctor MaybeP Source # | |
MonadIOP p => MonadIOP (MaybeP p) Source # | |
Proxy p => MonadPlusP (MaybeP p) Source # | |
Proxy p => Proxy (MaybeP p) Source # | |
Proxy p => MonadTrans (MaybeP p a' a b' b) Source # | |
Proxy p => MFunctor (MaybeP p a' a b' b) Source # | |
(Proxy p, Monad m) => Monad (MaybeP p a' a b' b m) Source # | |
(Proxy p, Monad m) => Functor (MaybeP p a' a b' b m) Source # | |
(Proxy p, Monad m) => Applicative (MaybeP p a' a b' b m) Source # | |
(MonadIOP p, MonadIO m) => MonadIO (MaybeP p a' a b' b m) Source # | |
(Proxy p, Monad m) => Alternative (MaybeP p a' a b' b m) Source # | |
(Proxy p, Monad m) => MonadPlus (MaybeP p a' a b' b m) Source # | |