Merge pull request #4 from purescript/ps-0.11

Update for PureScript 0.11

Author: garyb

.gitignore

@@ -1,7 +1,5 @@
 /.*
 !/.gitignore
-!/.jscsrc
-!/.jshintrc
 !/.travis.yml
 /bower_components/
 /node_modules/

.jscsrc

@@ -1,7 +1,7 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
 env:
   - PATH=$HOME/purescript:$PATH
 install:

.jshintrc

@@ -17,9 +17,9 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-unsafe-coerce": "^2.0.0"
+    "purescript-unsafe-coerce": "^3.0.0"
   },
   "devDependencies": {
-    "purescript-console": "^2.0.0"
+    "purescript-console": "^3.0.0"
   }
 }

.travis.yml

@@ -2,14 +2,12 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "jshint src && jscs src && psa \"src/**/*.purs\" \"bower_components/purescript-*/src/**/*.purs\" --censor-lib --strict",
-    "test": "psc \"src/**/*.purs\" \"bower_components/purescript-*/src/**/*.purs\" \"test/**/*.purs\" && psc-bundle \"output/**/*.js\" --module Test.Main --main Test.Main | node"
+    "build": "pulp build -- --censor-lib --strict",
+    "test": "pulp test"
   },
   "devDependencies": {
-    "jscs": "^2.8.0",
-    "jshint": "^2.9.1",
-    "pulp": "^8.2.0",
-    "purescript-psa": "^0.3.8",
-    "rimraf": "^2.5.0"
+    "pulp": "^10.0.4",
+    "purescript-psa": "^0.5.0-rc.1",
+    "rimraf": "^2.6.1"
   }
 }

bower.json

@@ -2,7 +2,7 @@ module Data.Exists where
 
 import Unsafe.Coerce (unsafeCoerce)
 
--- | This type constructor can be used to existentially quantify over a type of kind `*`.
+-- | This type constructor can be used to existentially quantify over a type of kind `Type`.
 -- |
 -- | Specifically, the type `Exists f` is isomorphic to the existential type `exists a. f a`.
 -- |
@@ -24,7 +24,7 @@ import Unsafe.Coerce (unsafeCoerce)
 -- | ```purescript
 -- | type Stream a = Exists (StreamF a)
 -- | ```
-foreign import data Exists :: (* -> *) -> *
+foreign import data Exists :: (Type -> Type) -> Type
 
 -- | The `mkExists` function is used to introduce a value of type `Exists f`, by providing a value of
 -- | type `f a`, for some type `a` which will be hidden in the existentially-quantified type.