Migrate to Spago and update CI (#138)

Author: thomashoneyman

.eslintrc.json

@@ -6,30 +6,30 @@ on:
   pull_request:
     branches: [master]
 
+permissions:
+  contents: read
+
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
-
-      - uses: purescript-contrib/setup-purescript@main
-        with:
-          purescript: "unstable"
+      - uses: actions/checkout@v6
 
-      - uses: actions/setup-node@v2
+      - uses: actions/setup-node@v6
         with:
-          node-version: "14.x"
+          node-version: "24"
 
       - name: Install dependencies
-        run: |
-          npm install -g bower
-          npm install
-          bower install --production
+        run: npm install
 
       - name: Build source
-        run: npm run-script build
+        run: npm run build
 
       - name: Run tests
-        run: |
-          bower install
-          npm run-script test --if-present
+        run: npm test
+
+      - name: Lint
+        run: npm run lint
+
+      - name: Check formatting
+        run: npm run format:check

.github/workflows/ci.yml

@@ -1,8 +1,10 @@
 /.*
 !/.gitignore
-!/.eslintrc.json
+!/.tidyrc.json
+!/.oxfmtrc.json
 !/.github/
 /bower_components/
 /node_modules/
 /output/
-package-lock.json
+/package-lock.json
+/spago.lock

.gitignore

@@ -0,0 +1,3 @@
+{
+  "trailingComma": "es5"
+}

.oxfmtrc.json

@@ -0,0 +1,10 @@
+{
+  "importSort": "ide",
+  "importWrap": "source",
+  "indent": 2,
+  "operatorsFile": null,
+  "ribbon": 1,
+  "typeArrowPlacement": "first",
+  "unicode": "never",
+  "width": null
+}

.tidyrc.json

@@ -2,7 +2,7 @@
 
 Notable changes to this project are documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/) and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [Unreleased]
+## [Unreleased](https://github.com/purescript/purescript-quickcheck/compare/v8.0.2...HEAD)
 
 Breaking changes:
 
@@ -12,14 +12,22 @@ Bugfixes:
 
 Other improvements:
 
+## [v8.0.2](https://github.com/purescript/purescript-quickcheck/releases/tag/v8.0.2) - 2026-10-17
+
+Other improvements:
+
+- Migrate from Bower/Pulp to Spago and update CI, linting, and formatting (#138 by @thomashoneyman).
+
 ## [v8.0.1](https://github.com/purescript/purescript-quickcheck/releases/tag/v8.0.1) - 2022-04-27
 
 Bugfixes:
+
 - Remove duplicate `numbers` import from the bower.json file to support publishing to Pursuit (#128 by @thomashoneyman)
 
 ## [v8.0.0](https://github.com/purescript/purescript-quickcheck/releases/tag/v8.0.0) - 2022-04-27
 
 Breaking changes:
+
 - Migrate FFI to ES modules (#130 by @kl0tl and @JordanMartinez)
 - Replaced polymorphic proxies with monomorphic `Proxy` (#132 by @JordanMartinez)
 - Make `frequency` use `NonEmptyArray` (#131 by @JordanMartinez)
@@ -29,34 +37,42 @@ Breaking changes:
 New features:
 
 Bugfixes:
+
 - `quickCheckPure` and `quickCheckPure'` stack safety (#127)
 
 Other improvements:
+
 - Drop `math` dependency; update imports (#133 by @JordanMartinez)
 
 ## [v7.1.0](https://github.com/purescript/purescript-quickcheck/releases/tag/v7.1.0) - 2021-04-27
 
 New features:
+
 - Export `enum` and `randomSampleOne` (#125 by @JordanMartinez)
 
 Other improvements:
+
 - Fix warning revealed by v0.14.1 PS release (#125 by @JordanMartinez)
 
 ## [v7.0.0](https://github.com/purescript/purescript-quickcheck/releases/tag/v7.0.0) - 2021-02-26
 
 Breaking changes:
+
 - Added support for PureScript 0.14 and dropped support for all previous versions (#115)
 - Fixed `genericCoarbitrary` so it no longer explicitly relates to the generated data (#99)
 - Replaced `NonEmpty Array` and `NonEmpty List` with `NonEmptyArray` and `NonEmptyList` (#118)
-- Replaced `globals` dependency with `numbers` (#120) 
+- Replaced `globals` dependency with `numbers` (#120)
 
 New features:
-- Added `randomSampleOne` (#114) 
+
+- Added `randomSampleOne` (#114)
 
 Bugfixes:
-- Allowed full `Number` range for chooseFloat (#97) 
+
+- Allowed full `Number` range for chooseFloat (#97)
 
 Other improvements:
+
 - Dropped `generics-rep` dependency as its now included in `prelude` (#121)
 - Replaced monomorphic proxies with `Type.Proxy.Proxy` and polymorphic variables (#116)
 - Migrated CI to GitHub Actions and updated installation instructions to use Spago (#117)
@@ -118,7 +134,7 @@ Other improvements:
 - Updated for PureScript 0.11
 - Use `NonEmpty` for `Gen`s where called for (@matthewleon)
 - Improved behaviour of `chooseInt` (@matthewleon)
-- Added `Arbitrary` and `Coarbitrary` instances for `NonEmpty` and `NonEmptyList`  (@matthewleon)
+- Added `Arbitrary` and `Coarbitrary` instances for `NonEmpty` and `NonEmptyList` (@matthewleon)
 - Added `enum` `Gen` for `BoundedEnum` values (@matthewleon)
 
 ## [v3.1.1](https://github.com/purescript/purescript-quickcheck/releases/tag/v3.1.1) - 2016-11-22
@@ -202,6 +218,7 @@ This release works with versions 0.7.\* of the PureScript compiler. It will not
 ## [v0.5.0](https://github.com/purescript/purescript-quickcheck/releases/tag/v0.5.0) - 2015-02-21
 
 **This release requires PureScript v0.6.8 or later**
+
 - Updated dependencies
 
 ## [v0.4.0](https://github.com/purescript/purescript-quickcheck/releases/tag/v0.4.0) - 2015-01-10

CHANGELOG.md

@@ -16,12 +16,12 @@ QuickCheck works by generating random data with which to test your properties. T
 
 QuickCheck defines the `quickCheck` function, which will print test results to the console, or fail with an exception in the event of a test failure.
 
-Create a new project using Pulp, install `purescript-quickcheck`, and open PSCi:
+Create a new project using Spago, install `quickcheck`, and open PSCi:
 
 ```text
-pulp init
-bower install purescript-quickcheck
-pulp repl
+spago init
+spago install quickcheck
+spago repl
 ```
 
 Start by importing the QuickCheck library:

GUIDE.md

@@ -1,14 +1,17 @@
 {
   "private": true,
   "scripts": {
-    "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "eslint src && pulp build -- --censor-lib --strict",
-    "test": "pulp test"
+    "build": "spago build",
+    "test": "spago test",
+    "lint": "oxlint --deny-warnings src test",
+    "format": "purs-tidy format-in-place src test && oxfmt --write .",
+    "format:check": "purs-tidy check src test && oxfmt --check ."
   },
   "devDependencies": {
-    "eslint": "^7.15.0",
-    "pulp": "16.0.0-0",
-    "purescript-psa": "^0.8.2",
-    "rimraf": "^3.0.2"
+    "oxfmt": "^0.73.0",
+    "oxlint": "^1.88.0",
+    "purescript": "^0.15.16",
+    "purs-tidy": "^0.11.1",
+    "spago": "^1.0.5"
   }
 }

bower.json

@@ -0,0 +1,46 @@
+package:
+  name: quickcheck
+  description: An implementation of QuickCheck in PureScript.
+  build:
+    strict: true
+    pedanticPackages: true
+  publish:
+    version: 8.0.2
+    license: BSD-3-Clause
+    location:
+      githubOwner: purescript
+      githubRepo: purescript-quickcheck
+  dependencies:
+    - arrays: ">=7.0.0 <8.0.0"
+    - console: ">=6.0.0 <7.0.0"
+    - control: ">=6.0.0 <7.0.0"
+    - effect: ">=4.0.0 <5.0.0"
+    - either: ">=6.0.0 <7.0.0"
+    - enums: ">=6.0.0 <7.0.0"
+    - exceptions: ">=6.0.0 <7.0.0"
+    - foldable-traversable: ">=6.0.0 <7.0.0"
+    - gen: ">=4.0.0 <5.0.0"
+    - identity: ">=6.0.0 <7.0.0"
+    - integers: ">=6.0.0 <7.0.0"
+    - lazy: ">=6.0.0 <7.0.0"
+    - lcg: ">=4.0.0 <5.0.0"
+    - lists: ">=7.0.0 <8.0.0"
+    - maybe: ">=6.0.0 <7.0.0"
+    - newtype: ">=5.0.0 <6.0.0"
+    - nonempty: ">=7.0.0 <8.0.0"
+    - numbers: ">=9.0.0 <10.0.0"
+    - partial: ">=4.0.0 <5.0.0"
+    - prelude: ">=6.0.0 <7.0.0"
+    - record: ">=4.0.0 <5.0.0"
+    - st: ">=6.0.0 <7.0.0"
+    - strings: ">=6.0.0 <7.0.0"
+    - tailrec: ">=6.0.0 <7.0.0"
+    - transformers: ">=6.0.0 <7.0.0"
+    - tuples: ">=7.0.0 <8.0.0"
+  test:
+    main: Test.Main
+    strict: true
+    pedanticPackages: true
+    dependencies:
+      - assert: ">=6.0.0 <7.0.0"
+workspace: {}