pipes-3.1.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 
PFunctor IdentityP 
(Proxy (IdentityP p), MonadIOP p) => MonadIOP (IdentityP p) 
(Proxy (IdentityP p), MonadPlusP p) => MonadPlusP (IdentityP p) 
Interact p => Interact (IdentityP p) 
Proxy p => Proxy (IdentityP p) 
Proxy p => MonadTrans (IdentityP p a' a b' b) 
Proxy p => MFunctor (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) 
(Monad (IdentityP p a' a b' b m), MonadPlusP p, Monad m) => MonadPlus (IdentityP p a' a b' b m) 
(Functor (IdentityP p a' a b' b m), Proxy p, Monad m) => Applicative (IdentityP p a' a b' b m) 
(Applicative (IdentityP p a' a b' b m), MonadPlusP p, Monad m) => Alternative (IdentityP p a' a b' b m) 
(Monad (IdentityP p a' a b' b m), MonadIOP 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 rSource

Wrap a 'K'leisli arrow in IdentityP

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

Run an P 'K'leisli arrow