Changes between Version 3 and Version 4 of monad-coroutine

Timestamp:

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

Author:

blamario (IP: 99.241.117.248)

Comment:

--

monad-coroutine

@@ -5 +5 @@
 
 {{{
-newtype Coroutine s m r = Coroutine {resume :: m (Either (s (Coroutine s m r)) r)}
+ newtype Coroutine s m r = Coroutine {resume :: m (Either (s (Coroutine s m r)) r)}
 
-instance (Functor s, Monad m) => Monad (Coroutine s m) where
+ instance (Functor s, Monad m) => Monad (Coroutine s m) where
    return = Coroutine . return . Right
    t >>= f = Coroutine (resume t >>= either (return . Left . fmap (>>= f)) (resume . f))
 }}}
 
+== Suspension Functors ==
+
 The Coroutine transformer type is parameterized by a functor. The functor in question wraps the resumption of a suspended coroutine, and it can carry other information as well. Module `Control.Monad.Coroutine.SuspensionFunctors` exports some useful functors, one of which is `Yield`:
 
 {{{
-data Yield x y = Yield x y
-instance Functor (Yield x) where
+ data Yield x y = Yield x y
+ instance Functor (Yield x) where
    fmap f (Yield x y) = Yield x (f y)
 }}}
@@ -33 +35 @@
  printer = await >>= print >> printer           
 }}}
+
+== Running a coroutine ==
+