Safe Haskell | Safe |
---|---|
Language | Haskell98 |
This module provides the proxy transformer equivalent of IdentityT
.
- newtype IdentityP p a' a b' b m r = IdentityP {
- runIdentityP :: p a' a b' b m r
- identityK :: (q -> p a' a b' b m r) -> q -> IdentityP p a' a b' b m r
- runIdentityK :: (q -> IdentityP p a' a b' b m r) -> q -> p a' a b' b m r
Identity Proxy Transformer
newtype IdentityP p a' a b' b m r Source #
The Identity
proxy transformer
IdentityP | |
|
ProxyTrans IdentityP Source # | |
PFunctor IdentityP Source # | |
MonadIOP p => MonadIOP (IdentityP p) Source # | |
MonadPlusP p => MonadPlusP (IdentityP p) Source # | |
Interact p => Interact (IdentityP p) Source # | |
Proxy p => Proxy (IdentityP p) Source # | |
Proxy p => MonadTrans (IdentityP p a' a b' b) Source # | |
Proxy p => MFunctor (IdentityP p a' a b' b) Source # | |
(Proxy p, Monad m) => Monad (IdentityP p a' a b' b m) Source # | |
(Proxy p, Monad m) => Functor (IdentityP p a' a b' b m) Source # | |
(Proxy p, Monad m) => Applicative (IdentityP p a' a b' b m) Source # | |
(MonadIOP p, MonadIO m) => MonadIO (IdentityP p a' a b' b m) Source # | |
(MonadPlusP p, Monad m) => Alternative (IdentityP p a' a b' b m) Source # | |
(MonadPlusP p, Monad m) => MonadPlus (IdentityP p a' a b' b m) Source # | |
identityK :: (q -> p a' a b' b m r) -> q -> IdentityP p a' a b' b m r Source #
Wrap a 'K
'leisli arrow in IdentityP
runIdentityK :: (q -> IdentityP p a' a b' b m r) -> q -> p a' a b' b m r Source #
Run an P
'K
'leisli arrow