monadfibre-0.1.1: This package defines Monadic functions which provide Choice and Parallelism - (<||>) and (<&&>).

Portabilitynon-portable (uses ghc extensions)
Stabilityexperimental
Maintainerajnsit@gmail.com

Control.Monad.Bi

Description

Represents monads that can be transformed into each other (atleast partially)

Documentation

class (Monad m1, Monad m2) => MonadBi m1 m2 whereSource

Methods

raise :: m2 a -> m1 aSource

lower :: m1 a -> m1 (m2 a)Source

Instances

Monad m => MonadBi m m 
Monad m => MonadBi (ReaderT c m) m 
Monad m => MonadBi (StateT s (ReaderT c m)) m 
Monad m => MonadBi (StateT s m) m 

lazyIO :: MonadBi m IO => m a -> m aSource

collect :: MonadBi m IO => m a -> (a -> m b) -> m [b]Source

collectN :: MonadBi m IO => Int -> m a -> (a -> m b) -> m [b]Source