feat: migrate to spago@next

.github/workflows/ci.yml

@@ -9,41 +9,29 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
-
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
 
       - name: Set up a PureScript toolchain
         uses: purescript-contrib/setup-purescript@main
         with:
-          purescript: "unstable"
+          purescript: "latest"
           purs-tidy: "latest"
+          spago: "unstable"
 
       - name: Cache PureScript dependencies
-        uses: actions/cache@v2
+        uses: actions/cache@v4
         with:
-          key: ${{ runner.os }}-spago-${{ hashFiles('**/*.dhall') }}
+          key: ${{ runner.os }}-spago-${{ hashFiles('**/spago.lock') }}
           path: |
             .spago
             output
 
-      - name: Install dependencies
-        run: spago install
-
       - name: Build source
-        run: spago build --no-install --purs-args '--censor-lib --strict'
+        run: spago build --censor-stats --strict --ensure-ranges --pedantic-packages
 
       - name: Run tests
-        run: spago test --no-install
-
-      - name: Check formatting
-        run: purs-tidy check src test examples
+        run: spago test --offline --censor-stats --strict --pedantic-packages
 
-      - name: Verify Bower & Pulp
-        run: |
-          npm install bower [email protected]
-          npx bower install
-          npx pulp build
-          if [ -d "test" ]; then
-            npx pulp test
-          fi
+      - name: Verify formatting
+        run: purs-tidy check src test examples/src

examples/README.md

@@ -1,6 +1,6 @@
 ## Examples
 
-* [Using Prisms with Sum Types](src/PrismsForSumTypes.purs)
+- [Using Prisms with Sum Types](src/PrismsForSumTypes.purs)
 
 ## Conventions and the "why" behind them
 

examples/spago.yaml

@@ -0,0 +1,8 @@
+package:
+  name: profunctor-lenses-examples
+  dependencies:
+    - colors
+    - either
+    - maybe
+    - prelude
+    - profunctor-lenses

examples/src/PrismsForSumTypes.purs

@@ -33,8 +33,7 @@ import Color (Color)
 import Color as Color
 import Data.Either (Either(..))
 import Data.Generic.Rep (class Generic)
-import Data.Generic.Rep.Eq as GEq
-import Data.Generic.Rep.Show as GShow
+import Data.Show.Generic (genericShow)
 import Data.Lens (Prism', is, isn't, nearly, only, preview, prism, prism', review)
 import Data.Maybe (Maybe(..), maybe)
 
@@ -72,7 +71,7 @@ solidFocus = prism' constructor focus
   constructor = Solid
   focus fill = case fill of
     Solid color -> Just color
-    otherCases -> Nothing
+    _ -> Nothing
 
 -- In real life, you might abbreviate the above to this:
 
@@ -239,26 +238,19 @@ n5 = review brightSolidFocus unit
 
 -- ... although Eq is only required for `only`.
 
-derive instance genericPercent :: Generic Percent _
+derive instance Generic Percent _
+derive instance Eq Percent
 
-instance eqPercent :: Eq Percent where
-  eq = GEq.genericEq
-
-instance showPercent :: Show Percent where
+instance Show Percent where
   show (Percent f) = "(" <> show f <> "%)"
 
-derive instance genericPoint :: Generic Point _
-
-instance eqPoint :: Eq Point where
-  eq = GEq.genericEq
+derive instance Generic Point _
+derive instance Eq Point
 
-instance showPoint :: Show Point where
+instance Show Point where
   show (Point x y) = "(" <> show x <> ", " <> show y <> ")"
 
-derive instance genericFill :: Generic Fill _
-
-instance eqFill :: Eq Fill where
-  eq = GEq.genericEq
-
-instance showFill :: Show Fill where
-  show x = GShow.genericShow x
+derive instance Generic Fill _
+derive instance Eq Fill
+instance Show Fill where
+  show = genericShow