Changes between Version 2 and Version 3 of monad-coroutine

Timestamp:

03/21/10 04:34:36 (3 years ago)

Author:

blamario (IP: 99.241.117.248)

Comment:

--

monad-coroutine

@@ -19 +19 @@
    fmap f (Yield x y) = Yield x (f y)
 }}}
+
+A coroutine parameterized by this functor is a generator which yields a value every time it suspends. For example, the following function generates the program's command-line arguments:
+
+{{{
+ genArgs :: Coroutine (Yield String) IO ()
+ genArgs = getArgs >>= mapM_ yield
+}}}
+
+The `Await` functor is dual to `Yield`; a coroutine that suspends using this functor is a consumer coroutine that on every suspension expects to be given a value before it resumes. The following example is a consumer coroutine that prints every received value to standard output:
+
+{{{
+ printer :: Show x => Coroutine (Await x) IO ()
+ printer = await >>= print >> printer           
+}}}