Control.Proxy.Trans.Identity

This module provides the proxy transformer equivalent of IdentityT.

Identity Proxy Transformer

newtype IdentityP p a' a b' b m r

The Identity proxy transformer

Constructors

IdentityP

Fields

runIdentityP :: p a' a b' b m r

Instances

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 r

Run an IdentityP 'K'leisli arrow

Deprecated

To be removed in version 4.0.0

identityK :: (q -> p a' a b' b m r) -> q -> IdentityP p a' a b' b m r

Deprecated: Use '(IdentityP .)' instead