Safe Haskell | Safe-Inferred |
---|
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
- identityK :: (q -> p a' a b' b m r) -> q -> IdentityP 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 | |
PMonad IdentityP | |
PFunctor IdentityP | |
MonadPlusP p => MonadPlusP (IdentityP p) | |
Proxy p => ProxyInternal (IdentityP p) | |
Proxy p => Proxy (IdentityP p) | |
Proxy p => MFunctor (IdentityP p a' a b' b) | |
Proxy p => MonadTrans (IdentityP p a' a b' b) | |
(Monad m, Proxy p) => Monad (IdentityP p a' a b' b m) | |
(Monad m, Proxy p) => Functor (IdentityP p a' a b' b m) | |
(Monad m, MonadPlusP p) => MonadPlus (IdentityP p a' a b' b m) | |
(Monad m, Proxy p) => Applicative (IdentityP p a' a b' b m) | |
(Monad m, MonadPlusP p) => Alternative (IdentityP p a' a b' b m) | |
(MonadIO m, Proxy p) => MonadIO (IdentityP p a' a b' b m) |
runIdentityK :: (q -> IdentityP p a' a b' b m r) -> q -> p a' a b' b m rSource
Run an IdentityP
'K
'leisli arrow
Deprecated
To be removed in version 4.0.0