first commit

Author: paf31

.gitignore

@@ -0,0 +1,6 @@
+.*
+!/.gitignore
+/output/
+/node_modules/
+/bower_components/
+/tmp/

Gruntfile.js

@@ -0,0 +1,52 @@
+module.exports = function(grunt) {
+
+  "use strict";
+
+  grunt.initConfig({ 
+  
+    libFiles: [
+      "src/**/*.purs",
+      "bower_components/purescript-*/src/**/*.purs"
+    ],
+    
+    clean: ["tmp", "output"],
+  
+    pscMake: {
+      lib: {
+        src: ["<%=libFiles%>"]
+      },
+      tests: {
+        src: ["tests/Tests.purs", "<%=libFiles%>"]
+      }
+    },
+
+    dotPsci: ["<%=libFiles%>"],
+ 
+    copy: [
+      {
+        expand: true,
+        cwd: "output",
+        src: ["**"],
+        dest: "tmp/node_modules/"
+      }, {
+        src: ["js/index.js"],
+        dest: "tmp/index.js"
+      }
+    ],
+
+    execute: {
+      tests: {
+        src: "tmp/index.js"
+      }
+    }      
+  });
+
+  grunt.loadNpmTasks("grunt-contrib-copy");
+  grunt.loadNpmTasks("grunt-contrib-clean");
+  grunt.loadNpmTasks("grunt-execute")
+  grunt.loadNpmTasks("grunt-purescript");
+ 
+  grunt.registerTask("test", ["pscMake:tests", "copy", "execute:tests"]);
+  grunt.registerTask("make", ["pscMake:lib", "dotPsci"]);
+  grunt.registerTask("default", ["clean", "make", "test"]);
+};

LICENSE-MIT

@@ -0,0 +1,22 @@
+Copyright (c) 2014 Phil Freeman
+
+Permission is hereby granted, free of charge, to any person
+obtaining a copy of this software and associated documentation
+files (the "Software"), to deal in the Software without
+restriction, including without limitation the rights to use,
+copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the
+Software is furnished to do so, subject to the following
+conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+OTHER DEALINGS IN THE SOFTWARE.

README.md

@@ -0,0 +1,11 @@
+# purescript-exists
+
+Existential types as a library
+
+## Building
+
+```
+npm install
+bower update
+grunt
+```

bower.json

@@ -0,0 +1,22 @@
+{
+  "name": "purescript-exists",
+  "description": "Existential types as a library",
+  "keywords": ["purescript"],
+  "ignore": [
+    "**/.*",
+    "bower_components",
+    "node_modules",
+    "output",
+    "tests",
+    "output",
+    "js",
+    "tmp",
+    "bower.json",
+    "Gruntfile.js",
+    "package.json"
+  ],
+  "dependencies": {
+  },
+  "devDependencies": {
+  }
+}

js/index.js

@@ -0,0 +1 @@
+require("Main").main();

package.json

@@ -0,0 +1,16 @@
+{
+  "name": "purescript-exists",
+  "version": "0.1.0",
+  "description": "Existential types as a library",
+  "main": "",
+  "private": true,
+  "author": "Phil Freeman",
+  "license": "MIT",
+  "dependencies": {
+    "grunt": "~0.4.4",
+    "grunt-contrib-copy": "~0.5.0",
+    "grunt-contrib-clean": "~0.5.0",
+    "grunt-execute": "~0.1.5",
+    "grunt-purescript": "~0.5.0"
+  }
+}

src/Data/Exists.purs

@@ -0,0 +1,15 @@
+module Data.Exists where
+
+foreign import data Exists :: (* -> *) -> *
+ 
+foreign import mkExists
+  "function mkExists(fa) {\
+  \  return fa;\
+  \}" :: forall f a. f a -> Exists f
+  
+foreign import runExists
+  "function runExists(f) {\
+  \  return function(fa) {\
+  \    return f(fa);\
+  \  };\
+  \}" :: forall f r. (forall a. f a -> r) -> Exists f -> r

tests/Tests.purs

@@ -0,0 +1,13 @@
+module Main where
+
+import Debug.Trace
+import Data.Exists
+
+data Example a = Example a (a -> String)
+ 
+runExample :: Exists Example -> String
+runExample = runExists (\(Example a f) -> f a)
+ 
+test = runExample (mkExists (Example "Done" show))
+
+main = trace test