Changes between Version 3 and Version 4 of monad-parallel

Timestamp:

03/20/10 20:14:17 (3 years ago)

Author:

blamario (IP: 99.241.117.248)

Comment:

--

monad-parallel

@@ -20 +20 @@
 
 {{{
-task1 :: Monad Int
-task2 :: Monad Int
-task3 :: Monad Int
+task1 :: MonadFork m => m Int
+task2 :: MonadFork m => m Int
+task3 :: MonadFork m => m Int
 
 example = do handle1 <- forkExec task1
@@ -40 +40 @@
 }}}
 
+This method executes its `m a` and `m b` arguments in parallel. Once they're both finished, ''bindM2'' runs their results through its first argument and returns the final result. Note that 'bindM2' can be implemented using `forkExec`, but not vice versa.
+
+Based on this foundation, the library defines and exports other useful functions. These replicate the functionality of the [http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.2.0.0/Control-Monad.html Control.Monad] module, but they execute their monadic arguments in parallel.
+
+{{{
+ bindM3 :: MonadParallel m => (a -> b -> c -> m d) -> m a -> m b -> m c -> m d
+ liftM2 :: MonadParallel m => (a -> b -> c) -> m a -> m b -> m c
+ liftM3  :: (MonadParallel m) => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r
+ ap :: MonadParallel m => m (a -> b) -> m a -> m b
+ sequence :: MonadParallel m => [m a] -> m [a]
+ sequence_ :: MonadParallel m => [m a] -> m () 
+ mapM :: MonadParallel m => (a -> m b) -> [a] -> m [b]
+ replicateM :: MonadParallel m => Int -> m a -> m [a]
+ replicateM_ :: MonadParallel m => Int -> m a -> m ()
+}}}