pipes-3.3.0: Compositional pipelines

Safe HaskellSafe-Inferred

Control.Proxy.Trans.Identity

Contents

Description

This module provides the proxy transformer equivalent of IdentityT.

Synopsis

Identity Proxy Transformer

newtype IdentityP p a' a b' b m r Source

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 rSource

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 rSource

Deprecated: Use '(IdentityP .)' instead