Control.Monad.Fibre

Represents computations with Choice and Parallelism.

Documentation

module Control.Monad.Bi

data Fibre m o where

Constructors

Ret :: Monad m => o -> Fibre m o

Lift :: Monad m => m o -> Fibre m o

:&&: :: Monad m => Fibre m o1 -> Fibre m o2 -> Fibre m (o1, o2)

:||: :: Monad m => Fibre m o -> Fibre m o -> Fibre m o

:>>: :: Monad m => Fibre m i -> (i -> Fibre m o) -> Fibre m o

Instances

MonadTrans Fibre

Monad m => Monad (Fibre m)

(Monad m, Functor m) => Functor (Fibre m)

MonadIO m => MonadIO (Fibre m)

ffmap :: Monad m => (forall i. m i -> m i) -> Fibre m o -> Fibre m o

runFibre :: MonadBi m IO => Fibre m o -> m o