pipes-2.4.0: Compositional pipelines

Safe HaskellSafe-Inferred

Control.Proxy.Trans.Identity

Contents

Description

This module provides the proxy transformer equivalent of IdentityT.

Synopsis

IdentityP

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 
Interact p => Interact (IdentityP p) 
Channel p => Channel (IdentityP p) 
MonadTrans (p a' a b' b) => MonadTrans (IdentityP p a' a b' b) 
MFunctor (p a' a b' b) => MFunctor (IdentityP p a' a b' b) 
Monad (p a' a b' b m) => Monad (IdentityP p a' a b' b m) 
Monad (p a' a b' b m) => Functor (IdentityP p a' a b' b m) 
(Monad (IdentityP p a' a b' b m), MonadPlus (p a' a b' b m)) => MonadPlus (IdentityP p a' a b' b m) 
(Functor (IdentityP p a' a b' b m), Monad (p a' a b' b m)) => Applicative (IdentityP p a' a b' b m) 
(Applicative (IdentityP p a' a b' b m), MonadPlus (p a' a b' b m)) => Alternative (IdentityP p a' a b' b m) 
(Monad (IdentityP p a' a b' b m), MonadIO (p a' a b' b m)) => 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