Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
MemberEffect (* -> * -> * -> *) Coroutine (Coroutine i o) l => EffectCoroutine i o l |
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
.
A suspended computation.
evalIterator :: Iterator i o l a -> [o] -> Effect l (Iterator i o l a, [i]) Source
Evaluates an iterator by providing it with an input stream.