Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
MkTurn p (q -> a) |
type CoroutineT p q = StepT (Turn p q) Source #
runCoroutine :: Monad m => CoroutineT p p m a -> m a Source #
yieldCoroutine :: Monad m => p -> CoroutineT p q m q Source #
joinCoroutines :: Monad m => CoroutineT q r m a -> (q -> CoroutineT p q m a) -> CoroutineT p r m a Source #