Update to PureScript v0.15.0 (#59)

* Add CI test: verify 'bower.json' file works via pulp

* Ignore spago-based tests (temporarily)

* Update Bower dependencies to master or main

* Update packages.dhall to 'prepare-0.15' package set

* Drop MonadZero instances and law check

* Replace Proxy2/Proxy3 with Proxy

* Added changelog entry

* Add monadzero entry to changelog

* Add Proxy2/Proxy3 change to changelog

* Fix import warning

* Update CI to use unstable purescript

Author: JordanMartinez

.github/workflows/ci.yml

@@ -14,6 +14,8 @@ jobs:
 
       - name: Set up a PureScript toolchain
         uses: purescript-contrib/setup-purescript@main
+        with:
+          purescript: "unstable"
 
       - name: Cache PureScript dependencies
         uses: actions/cache@v2
@@ -29,5 +31,14 @@ jobs:
       - name: Build source
         run: spago build --no-install --purs-args '--censor-lib --strict'
 
-      - name: Run tests
-        run: spago test --no-install
+#      - name: Run tests
+#        run: spago test --no-install
+
+      - name: Verify Bower & Pulp
+        run: |
+          npm install bower [email protected]
+          npx bower install
+          npx pulp build -- --censor-lib --strict
+          if [ -d "test" ]; then
+            npx pulp test
+          fi

CHANGELOG.md

@@ -5,6 +5,9 @@ Notable changes to this project are documented in this file. The format is based
 ## [Unreleased]
 
 Breaking changes:
+- Update project and deps to PureScript v0.15.0 (#59 by @JordanMartinez)
+- Drop deprecated `MonadZero` instance (#59 by @JordanMartinez)
+- Drop `Proxy2`/`Proxy3` usage in favor of just `Proxy` (#59 by @JordanMartinez)
 
 New features:
 - Provide `Arbitrary`-less law checks (#36 by @matthewleon, #57 by @JordanMartinez)

bower.json

@@ -20,8 +20,8 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-prelude": "^5.0.0",
-    "purescript-enums": "^5.0.0",
-    "purescript-quickcheck": "^7.0.0"
+    "purescript-prelude": "master",
+    "purescript-enums": "master",
+    "purescript-quickcheck": "master"
   }
 }

packages.dhall

@@ -1,4 +1,4 @@
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.14.0/packages.dhall sha256:710b53c085a18aa1263474659daa0ae15b7a4f453158c4f60ab448a6b3ed494e
+      https://raw.githubusercontent.com/purescript/package-sets/prepare-0.15/src/packages.dhall
 
 in  upstream

src/Test/QuickCheck/Laws/Control.purs

@@ -10,6 +10,5 @@ import Test.QuickCheck.Laws.Control.Comonad (checkComonad, checkComonadGen) as E
 import Test.QuickCheck.Laws.Control.Extend (checkExtend, checkExtendGen) as Exports
 import Test.QuickCheck.Laws.Control.Monad (checkMonad, checkMonadGen) as Exports
 import Test.QuickCheck.Laws.Control.MonadPlus (checkMonadPlus, checkMonadPlusGen) as Exports
-import Test.QuickCheck.Laws.Control.MonadZero (checkMonadZero, checkMonadZeroGen) as Exports
 import Test.QuickCheck.Laws.Control.Plus (checkPlus, checkPlusGen) as Exports
 import Test.QuickCheck.Laws.Control.Semigroupoid (checkSemigroupoid, checkSemigroupoidGen) as Exports

src/Test/QuickCheck/Laws/Control/Alt.purs

@@ -10,7 +10,7 @@ import Test.QuickCheck (quickCheck')
 import Test.QuickCheck.Arbitrary (class Arbitrary, arbitrary)
 import Test.QuickCheck.Gen (Gen)
 import Test.QuickCheck.Laws (A, B)
-import Type.Proxy (Proxy2)
+import Type.Proxy (Proxy)
 
 -- | - Associativity: `(x <|> y) <|> z == x <|> (y <|> z)`
 -- | - Distributivity: `f <$> (x <|> y) == (f <$> x) <|> (f <$> y)`
@@ -20,7 +20,7 @@ checkAlt
   ⇒ Arbitrary (f A)
   ⇒ Eq (f A)
   ⇒ Eq (f B)
-  ⇒ Proxy2 f
+  ⇒ Proxy f
   → Effect Unit
 checkAlt _ = checkAltGen (arbitrary :: Gen (f A))
 

src/Test/QuickCheck/Laws/Control/Alternative.purs

@@ -12,7 +12,7 @@ import Test.QuickCheck (quickCheck')
 import Test.QuickCheck.Arbitrary (class Arbitrary, arbitrary)
 import Test.QuickCheck.Gen (Gen)
 import Test.QuickCheck.Laws (A, B)
-import Type.Proxy (Proxy2)
+import Type.Proxy (Proxy)
 
 -- | - Distributivity: `(f <|> g) <*> x == (f <*> x) <|> (g <*> x)`
 -- | - Annihilation: `empty <*> x = empty`
@@ -23,7 +23,7 @@ checkAlternative
   ⇒ Arbitrary (f A)
   ⇒ Eq (f A)
   ⇒ Eq (f B)
-  ⇒ Proxy2 f
+  ⇒ Proxy f
   → Effect Unit
 checkAlternative =
   checkAlternativeGen (arbitrary :: Gen (f A)) (arbitrary :: Gen (f (A → B)))
@@ -35,7 +35,7 @@ checkAlternativeGen
   ⇒ Eq (f B)
   ⇒ Gen (f A)
   → Gen (f (A → B))
-  → Proxy2 f
+  → Proxy f
   → Effect Unit
 checkAlternativeGen gen genf _ = do
   log "Checking 'Left identity' law for Alternative"

src/Test/QuickCheck/Laws/Control/Applicative.purs

@@ -10,7 +10,7 @@ import Test.QuickCheck (quickCheck')
 import Test.QuickCheck.Arbitrary (class Arbitrary, arbitrary)
 import Test.QuickCheck.Gen (Gen)
 import Test.QuickCheck.Laws (A, B, C)
-import Type.Proxy (Proxy2)
+import Type.Proxy (Proxy)
 
 -- | - Identity: `(pure identity) <*> v = v`
 -- | - Composition: `(pure (<<<)) <*> f <*> g <*> h = f <*> (g <*> h)`
@@ -25,7 +25,7 @@ checkApplicative
   ⇒ Eq (f A)
   ⇒ Eq (f B)
   ⇒ Eq (f C)
-  ⇒ Proxy2 f
+  ⇒ Proxy f
   → Effect Unit
 checkApplicative _ =
   checkApplicativeGen

src/Test/QuickCheck/Laws/Control/Apply.purs

@@ -9,7 +9,7 @@ import Test.QuickCheck (quickCheck')
 import Test.QuickCheck.Arbitrary (class Arbitrary, arbitrary)
 import Test.QuickCheck.Gen (Gen)
 import Test.QuickCheck.Laws (A, B, C)
-import Type.Proxy (Proxy2)
+import Type.Proxy (Proxy)
 
 -- | - Associative composition: `(<<<) <$> f <*> g <*> h = f <*> (g <*> h)`
 checkApply
@@ -19,7 +19,7 @@ checkApply
   ⇒ Arbitrary (f (A → B))
   ⇒ Arbitrary (f (B → C))
   ⇒ Eq (f C)
-  ⇒ Proxy2 f
+  ⇒ Proxy f
   → Effect Unit
 checkApply _ =
   checkApplyGen

src/Test/QuickCheck/Laws/Control/Bind.purs

@@ -9,15 +9,15 @@ import Test.QuickCheck (quickCheck')
 import Test.QuickCheck.Arbitrary (class Arbitrary, arbitrary)
 import Test.QuickCheck.Gen (Gen)
 import Test.QuickCheck.Laws (A)
-import Type.Proxy (Proxy2)
+import Type.Proxy (Proxy)
 
 -- | - Associativity: `(x >>= f) >>= g = x >>= (\k → f k >>= g)`
 checkBind
   ∷ ∀ m
   . Bind m
   ⇒ Arbitrary (m A)
   ⇒ Eq (m A)
-  ⇒ Proxy2 m
+  ⇒ Proxy m
   → Effect Unit
 checkBind _ = checkBindGen (arbitrary :: Gen (m A)) (arbitrary :: Gen (A → m A))