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
- runIdentityK :: (q -> IdentityP p a' a b' b m r) -> q -> p a' a b' b m r
IdentityP
newtype IdentityP p a' a b' b m r Source #
The Identity
proxy transformer
IdentityP | |
|
ProxyTrans IdentityP Source # | |
Interact p => Interact (IdentityP p) Source # | |
Channel p => Channel (IdentityP p) Source # | |
MonadTrans (p a' a b' b) => MonadTrans (IdentityP p a' a b' b) Source # | |
MFunctor (p a' a b' b) => MFunctor (IdentityP p a' a b' b) Source # | |
Monad (p a' a b' b m) => Monad (IdentityP p a' a b' b m) Source # | |
Monad (p a' a b' b m) => Functor (IdentityP p a' a b' b m) Source # | |
Monad (p a' a b' b m) => Applicative (IdentityP p a' a b' b m) Source # | |
MonadIO (p a' a b' b m) => MonadIO (IdentityP p a' a b' b m) Source # | |
MonadPlus (p a' a b' b m) => Alternative (IdentityP p a' a b' b m) Source # | |
MonadPlus (p a' a b' b m) => MonadPlus (IdentityP p a' a b' b m) Source # | |
runIdentityK :: (q -> IdentityP p a' a b' b m r) -> q -> p a' a b' b m r Source #
Run an IdentityP
'K
'leisli arrow