make aff newtype so it's easier to define ffi, begin working on test suite

jdegoes · jdegoes · commit 100029ca9555 · 2015-03-06T11:26:05.000-07:00
diff --git a/Gruntfile.js b/Gruntfile.js
@@ -2,9 +2,19 @@ module.exports = function(grunt) {
   "use strict";
 
   grunt.initConfig({ 
-  
+    psc: {
+      options: {
+            main: "Examples",
+            modules: ["Examples"]
+        },
+        example: {
+            src: ["<%=libFiles%>", "examples/Prelude.purs"],
+            dest: "output/examples.js"
+      }
+    },
     libFiles: [
       "src/**/*.purs",
+      "examples/**/*.purs",
       "bower_components/purescript-*/src/**/*.purs",
     ],
     
@@ -37,5 +47,6 @@ module.exports = function(grunt) {
   grunt.loadNpmTasks('grunt-jsvalidate');
   
   grunt.registerTask("make", ["pscMake", "jsvalidate", "dotPsci", "pscDocs"]);
+  grunt.registerTask("test", ["jsvalidate", "psc"]);
   grunt.registerTask("default", ["make"]);
 };
diff --git a/README.md b/README.md
@@ -139,6 +139,17 @@ do resp <- (Ajax.get "http://foo.com") `catchError` (\e -> pure defaultResponse)
 
 Thrown exceptions are propagated on the error channel, and can be recovered from using `attempt` or `catchError`.
 
+## Forking
+
+Using the `forkAff`, you can "fork" an asynchronous computation, which means that its activities will not 
+block the current thread of execution:
+
+```purescript
+forkAff myAff
+```
+
+Because Javascript is single-threaded, forking does not actually cause the computation to be run in a separate thread, it merely means the subsequent chain of computations will be executed without first waiting for the forked computation to complete.
+
 ## Variables
 
 The `Control.Monad.Aff.Var` module contains asynchronous variables. These can 
diff --git a/examples/src/Examples.purs b/examples/src/Examples.purs
@@ -1,4 +1,34 @@
 module Examples where 
   import Control.Monad.Aff
+  import Control.Monad.Eff.Class(liftEff)
+  import Debug.Trace
 
-  -- TODO
+  foreign import data Time :: !
+
+  foreign import timeout """
+    function timeout(time) {
+      return function(error) {
+        return function(success) {
+          return function() {
+            setTimeout(function() {
+              try {
+                success({})();
+              } catch (e) {
+                error(e)();
+              }
+            }, time);
+          }
+        }
+      }
+    }
+  """ :: forall e. Number -> Aff (time :: Time | e) Unit
+
+  test_sequencing 0 = liftEff $ trace "Done"
+  test_sequencing n = do
+    timeout 1000
+    liftEff $ trace (show n ++ " seconds left")
+    test_sequencing (n - 1)
+
+  main = launchAff $ do
+    liftEff $ trace "Testing sequencing"
+    test_sequencing 10
diff --git a/output/examples.html b/output/examples.html
@@ -0,0 +1,8 @@
+<html>
+  <head>
+    <script type="text/javascript" src="./examples.js"></script>
+  </head>
+  <body>
+    <h1>Examples</h1>
+  </body>
+</html>
diff --git a/output/examples.js b/output/examples.js
diff --git a/src/Control/Monad/Aff.purs b/src/Control/Monad/Aff.purs

-Original file line number
+Diff line change
@@ @@ -0,0 +1,8 @@ @@
 +<html>
 +  <head>
 +    <script type="text/javascript" src="./examples.js"></script>
 +  </head>
 +  <body>
 +    <h1>Examples</h1>
 +  </body>
 +</html>