Move STArray functions into Data.Array.ST

Author: paf31

Gruntfile.js

@@ -13,7 +13,7 @@ module.exports = function(grunt) {
 
     pscMake: ["<%=libFiles%>"],
     dotPsci: ["<%=libFiles%>"],
-    docgen: {
+    pscDocs: {
         readme: {
             src: "src/**/*.purs",
             dest: "README.md"
@@ -25,6 +25,6 @@ module.exports = function(grunt) {
   grunt.loadNpmTasks("grunt-contrib-clean");
   grunt.loadNpmTasks("grunt-purescript");
 
-  grunt.registerTask("make", ["pscMake", "dotPsci", "docgen"]);
+  grunt.registerTask("make", ["pscMake", "dotPsci", "pscDocs"]);
   grunt.registerTask("default", ["make"]);
 };

README.md

@@ -112,6 +112,16 @@
     zipWith :: forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
 
 
+## Module Data.Array.ST
+
+### Types
+
+    data STArray :: * -> * -> *
+
+
+### Values
+
+
 ## Module Data.Array.Unsafe
 
 ### Values

package.json

@@ -3,6 +3,6 @@
   "dependencies": {
     "grunt": "~0.4.4",
     "grunt-purescript": "~0.5.1",
-    "grunt-contrib-clean": "~0.5.0"
+    "grunt-contrib-clean": "~0.6.0"
   }
 }

src/Data/Array/ST.purs

@@ -0,0 +1,40 @@
+module Data.Array.ST 
+  ( STArray(..)
+    
+  ) where
+
+import Control.Monad.Eff
+import Control.Monad.ST (ST())
+
+foreign import data STArray :: * -> * -> *
+
+foreign import runSTArray """
+  function runSTArray(f) {
+    return f;
+  }""" :: forall a r. (forall h. Eff (st :: ST h | r) (STArray h a)) -> Eff r [a]
+
+foreign import emptySTArray """
+  function emptySTArray() {
+    return [];
+  }""" :: forall a h r. Number -> a -> Eff (st :: ST h | r) (STArray h a)
+  
+foreign import peekSTArray """
+  function peekSTArray(arr) {
+    return function(i) {
+      return function() {
+        return arr[i];
+      };
+    };
+  }""" :: forall a h r. STArray h a -> Number -> Eff (st :: ST h | r) a
+  
+foreign import pokeSTArray """
+  function pokeSTArray(arr) {
+    return function(i) {
+      return function(a) {
+        return function() {
+          arr[i] = a;
+          return {};
+        };
+      };
+    };
+  }""" :: forall a h r. STArray h a -> Number -> a -> Eff (st :: ST h | r) Unit