Update to v0.14.0-rc3 (#35)

* Update TAG to v0.14.0-rc3; dependencies to master; psa to v0.8.0

* Add kind signatures

Author: paluh

.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

@@ -21,14 +21,14 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-contravariant": "^4.0.0",
-    "purescript-control": "^4.0.0",
-    "purescript-distributive": "^4.0.0",
-    "purescript-either": "^4.0.0",
-    "purescript-exists": "^4.0.0",
-    "purescript-invariant": "^4.0.0",
-    "purescript-newtype": "^3.0.0",
-    "purescript-prelude": "^4.0.0",
-    "purescript-tuples": "^5.0.0"
+    "purescript-contravariant": "master",
+    "purescript-control": "master",
+    "purescript-distributive": "master",
+    "purescript-either": "master",
+    "purescript-exists": "master",
+    "purescript-invariant": "master",
+    "purescript-newtype": "master",
+    "purescript-prelude": "master",
+    "purescript-tuples": "master"
   }
 }

package.json

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

src/Data/Profunctor/Clown.purs

@@ -7,6 +7,7 @@ import Data.Newtype (class Newtype)
 import Data.Functor.Contravariant (class Contravariant, cmap)
 
 -- | Makes a trivial `Profunctor` for a `Contravariant` functor.
+newtype Clown :: forall k1 k2. (k1 -> Type) -> k1 -> k2 -> Type
 newtype Clown f a b = Clown (f a)
 
 derive instance newtypeClown :: Newtype (Clown f a b) _

src/Data/Profunctor/Costar.purs

@@ -19,6 +19,7 @@ import Data.Tuple (Tuple(..), fst, snd)
 -- | `Costar` turns a `Functor` into a `Profunctor` "backwards".
 -- |
 -- | `Costar f` is also the co-Kleisli category for `f`.
+newtype Costar :: forall k. (k -> Type) -> k -> Type -> Type
 newtype Costar f b a = Costar (f b -> a)
 
 derive instance newtypeCostar :: Newtype (Costar f a b) _

src/Data/Profunctor/Cowrap.purs

@@ -7,6 +7,7 @@ import Data.Functor.Contravariant (class Contravariant)
 import Data.Profunctor (class Profunctor, lcmap)
 
 -- | Provides a `Contravariant` over the first argument of a `Profunctor`.
+newtype Cowrap :: forall k1 k2. (k1 -> k2 -> Type) -> k2 -> k1 -> Type
 newtype Cowrap p b a = Cowrap (p a b)
 
 derive instance newtypeCowrap :: Newtype (Cowrap p b a) _

src/Data/Profunctor/Join.purs

@@ -8,6 +8,7 @@ import Data.Profunctor (class Profunctor, dimap)
 
 -- | Turns a `Profunctor` into a `Invariant` functor by equating the two type
 -- | arguments.
+newtype Join :: forall k. (k -> k -> Type) -> k -> Type
 newtype Join p a = Join (p a a)
 
 derive instance newtypeJoin :: Newtype (Join p a) _

src/Data/Profunctor/Joker.purs

@@ -8,6 +8,7 @@ import Data.Profunctor (class Profunctor)
 import Data.Profunctor.Choice (class Choice)
 
 -- | Makes a trivial `Profunctor` for a covariant `Functor`.
+newtype Joker :: forall k1 k2. (k1 -> Type) -> k2 -> k1 -> Type
 newtype Joker f a b = Joker (f b)
 
 derive instance newtypeJoker :: Newtype (Joker f a b) _

src/Data/Profunctor/Star.purs

@@ -21,6 +21,7 @@ import Data.Tuple (Tuple(..))
 -- | `Star` turns a `Functor` into a `Profunctor`.
 -- |
 -- | `Star f` is also the Kleisli category for `f`
+newtype Star :: forall k. (k -> Type) -> Type -> k -> Type
 newtype Star f a b = Star (a -> f b)
 
 derive instance newtypeStar :: Newtype (Star f a b) _

src/Data/Profunctor/Wrap.purs

@@ -6,6 +6,7 @@ import Data.Newtype (class Newtype)
 import Data.Profunctor (class Profunctor, rmap)
 
 -- | Provides a `Functor` over the second argument of a `Profunctor`.
+newtype Wrap :: forall k1 k2. (k1 -> k2 -> Type) -> k1 -> k2 -> Type
 newtype Wrap p a b = Wrap (p a b)
 
 derive instance newtypeWrap :: Newtype (Wrap p a b) _