pipes-3.1.0: Compositional pipelines

Safe HaskellSafe-Inferred

Control.Proxy.Trans.Maybe

Contents

Description

This module provides the proxy transformer equivalent of MaybeT.

Synopsis

MaybeP

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

The Maybe proxy transformer

Constructors

MaybeP 

Fields

runMaybeP :: p a' a b' b m (Maybe r)
 

Instances

ProxyTrans MaybeP 
PFunctor MaybeP 
(Proxy (MaybeP p), MonadIOP p) => MonadIOP (MaybeP p) 
(Proxy (MaybeP p), Proxy p) => MonadPlusP (MaybeP p) 
Proxy p => Proxy (MaybeP p) 
Proxy p => MonadTrans (MaybeP p a' a b' b) 
Proxy p => MFunctor (MaybeP p a' a b' b) 
(Proxy p, Monad m) => Monad (MaybeP p a' a b' b m) 
(Proxy p, Monad m) => Functor (MaybeP p a' a b' b m) 
(Monad (MaybeP p a' a b' b m), Proxy p, Monad m) => MonadPlus (MaybeP p a' a b' b m) 
(Functor (MaybeP p a' a b' b m), Proxy p, Monad m) => Applicative (MaybeP p a' a b' b m) 
(Applicative (MaybeP p a' a b' b m), Proxy p, Monad m) => Alternative (MaybeP p a' a b' b m) 
(Monad (MaybeP p a' a b' b m), MonadIOP p, MonadIO m) => MonadIO (MaybeP p a' a b' b m) 

runMaybeK :: (q -> MaybeP p a' a b' b m r) -> q -> p a' a b' b m (Maybe r)Source

Run a MaybeP 'K'leisli arrow, returning the result or Nothing

Maybe operations

nothing :: (Monad m, Proxy p) => MaybeP p a' a b' b m rSource

A synonym for mzero

just :: (Monad m, Proxy p) => r -> MaybeP p a' a b' b m rSource

A synonym for return