Update to v0.14.0-rc3 (#106)

* fix: Fix `Foldable1 (Coyoneda f)` instance

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

* Temporarily disable benchmarks

`purescript-benchotron` is not a core repo. By including it here, this 
repo will never pass CI because benchotron will pull in non-master 
dependencies.

This should be re-added later.

Co-authored-by: Serhii Khoma <[email protected]>

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
@@ -15,7 +16,7 @@ script:
   - bower install --production
   - npm run -s build
   - bower install
-  - npm run -s build:benchmark
+  # - npm run -s build:benchmark
   - npm -s test
 after_success:
 - >-

bower.json

@@ -23,24 +23,23 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-catenable-lists": "^5.0.0",
-    "purescript-control": "^4.0.0",
-    "purescript-distributive": "^4.0.0",
-    "purescript-either": "^4.0.0",
-    "purescript-exists": "^4.0.0",
-    "purescript-foldable-traversable": "^4.0.0",
-    "purescript-invariant": "^4.0.0",
-    "purescript-lazy": "^4.0.0",
-    "purescript-maybe": "^4.0.0",
-    "purescript-prelude": "^4.0.0",
-    "purescript-tailrec": "^4.0.0",
-    "purescript-transformers": "^4.0.0",
-    "purescript-tuples": "^5.0.0",
-    "purescript-unsafe-coerce": "^4.0.0"
+    "purescript-catenable-lists": "master",
+    "purescript-control": "master",
+    "purescript-distributive": "master",
+    "purescript-either": "master",
+    "purescript-exists": "master",
+    "purescript-foldable-traversable": "master",
+    "purescript-invariant": "master",
+    "purescript-lazy": "master",
+    "purescript-maybe": "master",
+    "purescript-prelude": "master",
+    "purescript-tailrec": "master",
+    "purescript-transformers": "master",
+    "purescript-tuples": "master",
+    "purescript-unsafe-coerce": "master"
   },
   "devDependencies": {
-    "purescript-console": "^4.0.0",
-    "purescript-functors": "^3.0.0",
-    "purescript-benchotron": "^7.0.1"
+    "purescript-console": "master",
+    "purescript-functors": "master"
   }
 }

src/Data/Coyoneda.purs

@@ -22,7 +22,7 @@ import Data.Exists (Exists, runExists, mkExists)
 import Data.Foldable (class Foldable, foldMap, foldl, foldr)
 import Data.Functor.Invariant (class Invariant, imapF)
 import Data.Ord (class Ord1, compare1)
-import Data.Semigroup.Foldable (class Foldable1, foldMap1)
+import Data.Semigroup.Foldable (class Foldable1, foldMap1, foldr1Default, foldl1Default)
 import Data.Semigroup.Traversable (class Traversable1, sequence1, traverse1)
 import Data.Traversable (class Traversable, traverse)
 
@@ -126,6 +126,8 @@ instance traversableCoyoneda :: Traversable f => Traversable (Coyoneda f) where
 instance foldable1Coyoneda :: Foldable1 f => Foldable1 (Coyoneda f) where
   foldMap1 f = unCoyoneda \k -> foldMap1 (f <<< k)
   fold1 = unCoyoneda \k -> foldMap1 k
+  foldr1 = foldr1Default
+  foldl1 = foldl1Default
 
 instance traversable1Coyoneda :: Traversable1 f => Traversable1 (Coyoneda f) where
   traverse1 f = unCoyoneda \k -> map liftCoyoneda <<< traverse1 (f <<< k)