Control.Monad.Fibre

This package defines Monadic functions which provide Choice and Parallelism - (<||&rt;) and (<&&&rt;) - that work on Monads that provide a (MonadBi m IO) instance.

Depends on the monadbi library for extracting the IO actions from m. Also provides a good example of how to use the library.

Documentation

module Control.Monad.Bi

(<||>) :: (Monad m, MonadBi m IO) => m o -> m o -> m o

(<&&>) :: (Monad m, MonadBi m IO) => m o1 -> m o2 -> m (o1, o2)