Migrate to Spago and update CI

.github/workflows/ci.yml

@@ -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

.gitignore

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

.tidyrc.json

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

CHANGELOG.md

@@ -12,19 +12,29 @@ Bugfixes:
 
 Other improvements:
 
+## [v6.1.1](https://github.com/purescript/purescript-transformers/releases/tag/v6.1.1) - 2026-10-17
+
+Other improvements:
+
+- Migrate from Bower/Pulp to Spago and update CI, linting, and formatting (#151 by @thomashoneyman).
+- Apply behavior-preserving source style changes and correct comonad documentation examples (#151 by @thomashoneyman).
+
 ## [v6.1.0](https://github.com/purescript/purescript-transformers/releases/tag/v6.1.0) - 2024-06-26
 
 New features:
+
 - Add `MonadST` instances for all monad transformers (#147 by @rhendric)
 - Add `ComonadAsk`, `ComonadEnv`, and `ComonadTraced` instances for `StoreT`, `EnvT`, and `TracedT` (#145 by @skeate)
 
 ## [v6.0.0](https://github.com/purescript/purescript-transformers/releases/tag/v6.0.0) - 2022-04-27
 
 Breaking changes:
+
 - Update project and deps to PureScript v0.15.0 (#142 by @JordanMartinez)
 - Drop deprecated `MonadZero` instance (#141 by @JordanMartinez)
 
 New features:
+
 - Add `Foldable`, `FoldableWithIndex`, and `Traversable` instances for `EnvT` (#113 by @abaco)
 
 Bugfixes:
@@ -34,30 +44,37 @@ Other improvements:
 ## [v5.2.0](https://github.com/purescript/purescript-transformers/releases/tag/v5.2.0) - 2021-07-13
 
 New features:
- - Add `liftMaybe` and `liftEither` to easily lift `Maybe` and `Either` values to a `MonadThrow` monad (#140 by @hexagonal-sun)
+
+- Add `liftMaybe` and `liftEither` to easily lift `Maybe` and `Either` values to a `MonadThrow` monad (#140 by @hexagonal-sun)
 
 ## [v5.1.0](https://github.com/purescript/purescript-transformers/releases/tag/v5.1.0) - 2021-04-27
 
 New features:
+
 - Export `mapCont` and `withCont` functions originally added in #70 by @parsonsmatt (#139 by @JordanMartinez)
 
 Other improvements:
+
 - Fix warnings revealed by v0.14.1 PS release (#139 by @JordanMartinez)
 
 ## [v5.0.0](https://github.com/purescript/purescript-transformers/releases/tag/v5.0.0) - 2021-02-26
 
 Breaking changes:
+
 - Added support for PureScript 0.14 and dropped support for all previous versions (#133)
 - Replaced `ComonadEnv` constraint with `ComonadAsk` in the `asks` function (#131)
 
 New features:
+
 - Added `Semigroup` and `Monoid` instances to `ContT`, `ExceptT`, `MaybeT`, `RWST`, `StateT`, `WriterT` (#115)
 - Added `IdentityT` (#121)
 
 Bugfixes:
+
 - Added `Semigroup` and `Monoid` superclasses to `MonadTell` and `MonadWriter`, respectively, to enforce the type class laws (#126)
 
 Other improvements:
+
 - Replaced `void $ modify` with `modify_` in example code (#119)
 - Fixed documentation to use `Effect` instead of `Eff` (#124)
 - Fixed documentation for `callCC` (#132)
@@ -132,6 +149,7 @@ Other improvements:
 ## [v2.0.0](https://github.com/purescript/purescript-transformers/releases/tag/v2.0.0) - 2016-10-10
 
 This release features a number of breaking changes:
+
 - The signature for `callCC` is now rank-2 to allow for any result to be discarded #74 (@jqyu)
 - Functional dependencies have been added to all classes
 - `Newtype` instances have been derived for all transformers
@@ -179,6 +197,7 @@ Relax constraints for `WriterT` instances (@xuwei-k)
 ## [v0.7.1](https://github.com/purescript/purescript-transformers/releases/tag/v0.7.1) - 2015-08-25
 
 This release requires the 0.7.4.0 release of the PureScript compiler. Previous versions of this library will _not_ work with `psc` versions <= 0.7.3.0.
+
 - Simplified instance constraints.
 - Module reexports of `Class` modules.
 - More instances for `ExceptT`
@@ -217,6 +236,7 @@ This release works with versions 0.7.\* of the PureScript compiler. It will not
 ## [v0.5.0](https://github.com/purescript/purescript-transformers/releases/tag/v0.5.0) - 2015-02-21
 
 **This release requires PureScript v0.6.8 or later**
+
 - Updated dependencies
 
 ## [v0.4.1](https://github.com/purescript/purescript-transformers/releases/tag/v0.4.1) - 2015-02-19
@@ -283,3 +303,5 @@ This release works with versions 0.7.\* of the PureScript compiler. It will not
 ## [v0.0.1](https://github.com/purescript/purescript-transformers/releases/tag/v0.0.1) - 2014-05-25
 
 - Initial release
+
+[Unreleased]: https://github.com/purescript/purescript-transformers/compare/v6.1.1...HEAD

package.json

@@ -1,13 +1,17 @@
 {
   "private": true,
   "scripts": {
-    "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "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": {
-    "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"
   }
 }

spago.yaml

@@ -0,0 +1,37 @@
+package:
+  name: transformers
+  description: Monad and comonad transformers based on mtl
+  build:
+    strict: true
+    pedanticPackages: true
+  publish:
+    version: 6.1.1
+    license: BSD-3-Clause
+    location:
+      githubOwner: purescript
+      githubRepo: purescript-transformers
+  dependencies:
+    - control: ">=6.0.0 <7.0.0"
+    - distributive: ">=6.0.0 <7.0.0"
+    - effect: ">=4.0.0 <5.0.0"
+    - either: ">=6.0.0 <7.0.0"
+    - exceptions: ">=6.0.0 <7.0.0"
+    - foldable-traversable: ">=6.0.0 <7.0.0"
+    - identity: ">=6.0.0 <7.0.0"
+    - lazy: ">=6.0.0 <7.0.0"
+    - maybe: ">=6.0.0 <7.0.0"
+    - newtype: ">=5.0.0 <6.0.0"
+    - prelude: ">=6.0.0 <7.0.0"
+    - st: ">=6.2.0 <7.0.0"
+    - tailrec: ">=6.0.0 <7.0.0"
+    - tuples: ">=7.0.0 <8.0.0"
+    - unfoldable: ">=6.0.0 <7.0.0"
+  test:
+    main: Test.Main
+    strict: true
+    pedanticPackages: true
+    dependencies:
+      - arrays: ">=7.0.0 <8.0.0"
+      - console: ">=6.0.0 <7.0.0"
+      - partial: ">=4.0.0 <5.0.0"
+workspace: {}

src/Control/Comonad/Env.purs

@@ -14,7 +14,6 @@ import Prelude
 
 import Control.Comonad.Env.Class (class ComonadEnv, ask, asks, local)
 import Control.Comonad.Env.Trans (EnvT(..), mapEnvT, runEnvT, withEnvT)
-
 import Data.Identity (Identity(..))
 import Data.Newtype (unwrap)
 import Data.Tuple (Tuple(..))

src/Control/Comonad/Env/Class.purs

@@ -59,4 +59,4 @@ instance comonadAskStoreT :: ComonadAsk e w => ComonadAsk e (StoreT s w) where
   ask = ask <<< lower
 
 instance comonadEnvStoreT :: ComonadEnv e w => ComonadEnv e (StoreT s w) where
-  local f (StoreT (Tuple w s)) = StoreT (Tuple (local f w) s) 
+  local f (StoreT (Tuple w s)) = StoreT (Tuple (local f w) s)

src/Control/Comonad/Env/Trans.purs

@@ -7,13 +7,12 @@ import Prelude
 import Control.Comonad (class Comonad, extract)
 import Control.Comonad.Trans.Class (class ComonadTrans)
 import Control.Extend (class Extend, (<<=))
-
-import Data.FoldableWithIndex (class FoldableWithIndex, foldrWithIndex, foldlWithIndex, foldMapWithIndex)
+import Data.FoldableWithIndex (class FoldableWithIndex, foldMapWithIndex, foldlWithIndex, foldrWithIndex)
 import Data.FunctorWithIndex (class FunctorWithIndex, mapWithIndex)
-import Data.Traversable (class Traversable, class Foldable, foldl, foldr, foldMap, traverse, sequence)
+import Data.Newtype (class Newtype)
+import Data.Traversable (class Foldable, class Traversable, foldMap, foldl, foldr, sequence, traverse)
 import Data.TraversableWithIndex (class TraversableWithIndex, traverseWithIndex)
 import Data.Tuple (Tuple(..))
-import Data.Newtype (class Newtype)
 
 -- | The environment comonad transformer.
 -- |

src/Control/Comonad/Store.purs

@@ -12,7 +12,6 @@ import Prelude
 
 import Control.Comonad.Store.Class (class ComonadStore, experiment, peek, peeks, pos, seek, seeks)
 import Control.Comonad.Store.Trans (StoreT(..), runStoreT)
-
 import Data.Identity (Identity(..))
 import Data.Newtype (unwrap)
 import Data.Tuple (Tuple(..), swap)

src/Control/Comonad/Store/Class.purs

@@ -28,8 +28,8 @@ import Data.Tuple (Tuple(..))
 -- | For example:
 -- |
 -- | ```purescript
--- | blur :: forall w. (ComonadStore Number w) -> w Number -> w Number
--- | blur = extend \r -> (peeks (\n -> n - 1) r + peeks (\n -> n + 1) r) / 2)
+-- | blur :: forall w. ComonadStore Number w => w Number -> w Number
+-- | blur = extend \r -> (peeks (\n -> n - 1.0) r + peeks (\n -> n + 1.0) r) / 2.0
 -- | ```
 class Comonad w <= ComonadStore s w | w -> s where
   pos :: forall a. w a -> s

src/Control/Comonad/Store/Trans.purs

@@ -7,9 +7,8 @@ import Prelude
 import Control.Comonad (class Comonad, extract)
 import Control.Comonad.Trans.Class (class ComonadTrans)
 import Control.Extend (class Extend, (<<=))
-
-import Data.Tuple (Tuple(..))
 import Data.Newtype (class Newtype)
+import Data.Tuple (Tuple(..))
 
 -- | The store comonad transformer.
 -- |

src/Control/Comonad/Traced.purs

@@ -12,7 +12,6 @@ import Prelude
 
 import Control.Comonad.Traced.Class (class ComonadTraced, censor, listen, listens, track, tracks)
 import Control.Comonad.Traced.Trans (TracedT(..), runTracedT)
-
 import Data.Identity (Identity(..))
 import Data.Newtype (unwrap)
 

src/Control/Comonad/Traced/Class.purs

@@ -34,8 +34,8 @@ import Data.Tuple (Tuple(..))
 -- | For example:
 -- |
 -- | ```purescript
--- | blur :: forall w. (ComonadTraced (Additive Number) w) -> w Number -> w Number
--- | blur = extend \r -> (track (Additive (-1)) r + track (Additive 1) r) / 2
+-- | blur :: forall w. ComonadTraced (Additive Number) w => w Number -> w Number
+-- | blur = extend \r -> (track (Additive (-1.0)) r + track (Additive 1.0) r) / 2.0
 -- | ```
 class Comonad w <= ComonadTraced t w | w -> t where
   track :: forall a. t -> w a -> a

src/Control/Monad/Cont.purs

@@ -14,7 +14,6 @@ import Prelude
 
 import Control.Monad.Cont.Class (class MonadCont, callCC)
 import Control.Monad.Cont.Trans (class MonadTrans, ContT(..), lift, mapContT, runContT, withContT)
-
 import Data.Identity (Identity(..))
 import Data.Newtype (unwrap)
 

src/Control/Monad/Cont/Trans.purs

@@ -1,7 +1,10 @@
 -- | This module defines the CPS monad transformer.
 
 module Control.Monad.Cont.Trans
-  ( ContT(..), runContT, mapContT, withContT
+  ( ContT(..)
+  , runContT
+  , mapContT
+  , withContT
   , module Control.Monad.Trans.Class
   , module Control.Monad.Cont.Class
   ) where