pipes-2.5.0: Compositional pipelines

Safe HaskellSafe-Inferred

Control.MFunctor

Contents

Description

This module temporarily holds this class until it can find a better home.

Synopsis

Monads over functors

class MFunctor t whereSource

A functor in the category of monads

Methods

mapT :: (Monad m, Monad n) => (forall a. m a -> n a) -> t m b -> t n bSource

Lift a monad morphism from m to n into a monad morphism from (t m) to (t n)

Instances

MFunctor (Proxy a' a b' b) 
MFunctor (p a' a b' b) => MFunctor (IdentityP p a' a b' b) 
MFunctor (p a' a b' b) => MFunctor (MaybeP p a' a b' b) 
MFunctor (p a' a b' b) => MFunctor (EitherP e p a' a b' b) 
MFunctor (p a' a b' b) => MFunctor (ReaderP i p a' a b' b) 
MFunctor (p a' a b' b) => MFunctor (StateP s p a' a b' b) 
MFunctor (p a' a b' b) => MFunctor (WriterP w p a' a b' b)