Merge pull request #17 from purescript/ps-0.11

Update for PureScript 0.11

.eslintrc.json

@@ -0,0 +1,28 @@
+{
+  "parserOptions": {
+    "ecmaVersion": 5
+  },
+  "extends": "eslint:recommended",
+  "env": {
+    "commonjs": true
+  },
+  "rules": {
+    "strict": [2, "global"],
+    "block-scoped-var": 2,
+    "consistent-return": 2,
+    "eqeqeq": [2, "smart"],
+    "guard-for-in": 2,
+    "no-caller": 2,
+    "no-extend-native": 2,
+    "no-loop-func": 2,
+    "no-new": 2,
+    "no-param-reassign": 2,
+    "no-return-assign": 2,
+    "no-unused-expressions": 2,
+    "no-use-before-define": 2,
+    "radix": [2, "always"],
+    "indent": [2, 2, { "SwitchCase": 1 }],
+    "quotes": [2, "double"],
+    "semi": [2, "always"]
+  }
+}

.gitignore

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

.travis.yml

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

bower.json

@@ -17,6 +17,6 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-prelude": "^2.1.0"
+    "purescript-prelude": "^3.0.0"
   }
 }

package.json

@@ -2,13 +2,12 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "jshint src && jscs src && pulp build --censor-lib --strict"
+    "build": "eslint src && pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
-    "jscs": "^2.8.0",
-    "jshint": "^2.9.1",
-    "pulp": "^9.0.1",
-    "purescript-psa": "^0.3.9",
-    "rimraf": "^2.5.0"
+    "eslint": "^3.17.1",
+    "pulp": "^10.0.4",
+    "purescript-psa": "^0.5.0-rc.1",
+    "rimraf": "^2.6.1"
   }
 }

src/Control/Monad/Eff.purs

@@ -1,5 +1,6 @@
 module Control.Monad.Eff
-  ( Eff
+  ( kind Effect
+  , Eff
   , Pure
   , runPure
   , untilE, whileE, forE, foreachE
@@ -13,6 +14,17 @@ import Control.Monad (class Monad, ap)
 import Data.Functor (class Functor)
 import Data.Unit (Unit)
 
+-- | The kind of all effect types.
+-- |
+-- | Declare new effect types using `foreign data` declarations, as follows:
+-- |
+-- | ```purescript
+-- | import Control.Monad.Eff (kind Effect)
+-- |
+-- | foreign import data MyEffect :: Effect
+-- | ```
+foreign import kind Effect
+
 -- | The `Eff` type constructor is used to represent _native_ effects.
 -- |
 -- | See [Handling Native Effects with the Eff Monad](http://www.purescript.org/learn/eff/)
@@ -21,7 +33,7 @@ import Data.Unit (Unit)
 -- | The first type parameter is a row of effects which represents the contexts
 -- | in which a computation can be run, and the second type parameter is the
 -- | return type.
-foreign import data Eff :: # ! -> * -> *
+foreign import data Eff :: # Effect -> Type -> Type
 
 instance functorEff :: Functor (Eff e) where
   map = liftA1