Control.Monad.Ology.Specific.CoroutineT

Documentation

data Turn p q a

Constructors

MkTurn p (q -> a)

Instances

Functor (Turn p q)

Defined in Control.Monad.Ology.Specific.CoroutineT

Methods

fmap :: (a -> b) -> Turn p q a -> Turn p q b

(<$) :: a -> Turn p q b -> Turn p q a

type CoroutineT p q = StepT (Turn p q)

runCoroutine :: Monad m => CoroutineT p p m a -> m a

yieldCoroutine :: Monad m => p -> CoroutineT p q m q

joinCoroutines :: Monad m => CoroutineT q r m a -> (q -> CoroutineT p q m a) -> CoroutineT p r m a