Update to v0.14.0-rc3 (#120)

* Update travis, dependencies and purescript-psa

* Fix missing kind declaration error

Author: JordanMartinez

.travis.yml

@@ -5,7 +5,8 @@ node_js: stable
 env:
   - PATH=$HOME/purescript:$PATH
 install:
-  - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
+  # - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
+  - TAG=v0.14.0-rc3
   - curl --location --output $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
   - tar -xvf $HOME/purescript.tar.gz -C $HOME/
   - chmod a+x $HOME/purescript

bower.json

@@ -17,18 +17,18 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-bifunctors": "^4.0.0",
-    "purescript-control": "^4.0.0",
-    "purescript-maybe": "^4.0.0",
-    "purescript-newtype": "^3.0.0",
-    "purescript-orders": "^4.0.0",
-    "purescript-prelude": "^4.0.0"
+    "purescript-bifunctors": "master",
+    "purescript-control": "master",
+    "purescript-maybe": "master",
+    "purescript-newtype": "master",
+    "purescript-orders": "master",
+    "purescript-prelude": "master"
   },
   "devDependencies": {
-    "purescript-assert": "^4.0.0",
-    "purescript-console": "^4.0.0",
-    "purescript-integers": "^4.0.0",
-    "purescript-math": "^2.1.1",
-    "purescript-unsafe-coerce": "^4.0.0"
+    "purescript-assert": "master",
+    "purescript-console": "master",
+    "purescript-integers": "master",
+    "purescript-math": "master",
+    "purescript-unsafe-coerce": "master"
   }
 }

package.json

@@ -8,7 +8,7 @@
   "devDependencies": {
     "eslint": "^4.19.1",
     "pulp": "^15.0.0",
-    "purescript-psa": "^0.6.0",
+    "purescript-psa": "^0.8.0",
     "rimraf": "^2.6.2"
   }
 }

src/Data/Semigroup/Foldable.purs

@@ -55,6 +55,7 @@ instance foldableMultiplicative :: Foldable1 Multiplicative where
   foldMap1 f (Multiplicative x) = f x
   fold1 = fold1Default
 
+newtype Act :: forall k. (k -> Type) -> k -> Type
 newtype Act f a = Act (f a)
 
 getAct :: forall f a. Act f a -> f a