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)

ListT p => ListT (IdentityP p)

Proxy p => MFunctor (IdentityP p a' a b' b)

Proxy p => MonadTrans (IdentityP p a' a b' b)

(Proxy p, Monad m) => Monad (IdentityP p a' a b' b m)

(Proxy p, Monad m) => Functor (IdentityP p a' a b' b m)

(MonadPlusP p, Monad m) => MonadPlus (IdentityP p a' a b' b m)

(Proxy p, Monad m) => Applicative (IdentityP p a' a b' b m)

(MonadPlusP p, Monad m) => Alternative (IdentityP p a' a b' b m)

(Proxy p, MonadIO m) => MonadIO (IdentityP p a' a b' b m)

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

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

Run an P 'K'leisli arrow