| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Effect.Coroutine
- class MemberEffect Coroutine (Coroutine i o) l => EffectCoroutine i o l
- data Coroutine i o a
- runCoroutine :: Effect (Coroutine i o :+ l) a -> Effect l (Iterator i o l a)
- suspend :: EffectCoroutine i o l => i -> Effect l o
- data Iterator i o l a
- evalIterator :: Iterator i o l a -> [o] -> Effect l (Iterator i o l a, [i])
Documentation
class MemberEffect Coroutine (Coroutine i o) l => EffectCoroutine i o l Source #
Instances
| MemberEffect (* -> * -> * -> *) Coroutine (Coroutine i o) l => EffectCoroutine i o l Source # | |
An effect describing a suspendable computation.
suspend :: EffectCoroutine i o l => i -> Effect l o Source #
Suspends the current computation by providing a value
of type i and then waiting for a value of type o.