Skip to content

Commit 18a4a73

Browse files
Fix Foldable1 instance; update CI to v0.14.0-rc5 (#110)
* Update CI to v0.14.0-rc5 * Remove fold1 from Foldable1 instance
1 parent 6ade0df commit 18a4a73

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

.github/workflows/ci.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ jobs:
1414

1515
- uses: purescript-contrib/setup-purescript@main
1616
with:
17-
purescript: "0.14.0-rc3"
17+
purescript: "0.14.0-rc5"
1818

1919
- uses: actions/setup-node@v1
2020
with:

src/Data/Coyoneda.purs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -125,7 +125,6 @@ instance traversableCoyoneda :: Traversable f => Traversable (Coyoneda f) where
125125

126126
instance foldable1Coyoneda :: Foldable1 f => Foldable1 (Coyoneda f) where
127127
foldMap1 f = unCoyoneda \k -> foldMap1 (f <<< k)
128-
fold1 = unCoyoneda \k -> foldMap1 k
129128
foldr1 = foldr1Default
130129
foldl1 = foldl1Default
131130

0 commit comments

Comments
 (0)