Update for PureScript 0.15 (#20)

Author: thomashoneyman

.github/workflows/ci.yml

@@ -0,0 +1,34 @@
+name: CI
+
+on:
+  push:
+    branches: [master]
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - uses: purescript-contrib/setup-purescript@main
+        with:
+          purescript: "unstable"
+
+      - uses: actions/setup-node@v2
+        with:
+          node-version: "14"
+
+      - name: Install dependencies
+        run: |
+          npm install -g bower
+          npm install
+          bower install --production
+
+      - name: Build source
+        run: npm run-script build
+
+      - name: Run tests
+        run: |
+          bower install
+          npm run-script test --if-present

.travis.yml

@@ -1,25 +1,22 @@
 {
   "name": "purescript-freeap",
   "license": "MIT",
-  "ignore": [
-    "*",
-    "!src/**/*"
-  ],
+  "ignore": ["*", "!src/**/*"],
   "repository": {
     "type": "git",
     "url": "https://github.com/ethul/purescript-freeap.git"
   },
   "dependencies": {
-    "purescript-exists": "^5.0.0",
-    "purescript-const": "^5.0.0",
-    "purescript-lists": "^6.0.0",
-    "purescript-gen": "^3.0.0"
+    "purescript-exists": "^6.0.0",
+    "purescript-const": "^6.0.0",
+    "purescript-lists": "^7.0.0",
+    "purescript-gen": "^4.0.0"
   },
   "devDependencies": {
-    "purescript-either": "^5.0.0",
-    "purescript-integers": "^5.0.0",
-    "purescript-console": "^5.0.0",
-    "purescript-exceptions": "^5.0.0",
-    "purescript-quickcheck-laws": "^6.0.0"
+    "purescript-either": "^6.0.0",
+    "purescript-integers": "^6.0.0",
+    "purescript-console": "^6.0.0",
+    "purescript-exceptions": "^6.0.0",
+    "purescript-quickcheck-laws": "^7.0.0"
   }
 }

bower.json

@@ -6,7 +6,7 @@
     "build": "pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
-    "pulp": "^15.0.0",
+    "pulp": "^16.0.0-1",
     "purescript-psa": "^0.8.2",
     "rimraf": "^3.0.2"
   }

package.json

@@ -16,7 +16,7 @@ import Test.QuickCheck.Gen (Gen)
 import Test.QuickCheck.Laws (A, checkLaws)
 import Test.QuickCheck.Laws.Control as Control
 import Test.QuickCheck.Laws.Data as Data
-import Type.Proxy (Proxy(..), Proxy2(..))
+import Type.Proxy (Proxy(..))
 
 
 data M r = A r | B r
@@ -92,4 +92,4 @@ check = checkLaws "FreeAp" do
   Control.checkApplicative prx2Free
   where
   prxFree = Proxy ∷ Proxy (ArbFreeAp A)
-  prx2Free = Proxy2 ∷ Proxy2 ArbFreeAp
+  prx2Free = Proxy ∷ Proxy ArbFreeAp