From c2e920ed51842c14060edac121b37dc86ad4bf1a Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Mon, 28 Dec 2020 16:36:16 -0800 Subject: [PATCH 1/2] Remove `fold1` implementation from Foldable1 instance `fold1` is no longer a member of the Foldable1 class --- src/Data/Identity.purs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Data/Identity.purs b/src/Data/Identity.purs index 36fd766..fd98d65 100644 --- a/src/Data/Identity.purs +++ b/src/Data/Identity.purs @@ -87,7 +87,6 @@ instance foldableIdentity :: Foldable Identity where foldMap f (Identity x) = f x instance foldable1Identity :: Foldable1 Identity where - fold1 (Identity x) = x foldMap1 f (Identity x) = f x foldl1 _ (Identity x) = x foldr1 _ (Identity x) = x From 1e0403a27a61f8fa000d3eea0793e3c4085162e9 Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Mon, 28 Dec 2020 16:40:16 -0800 Subject: [PATCH 2/2] Update CI to v0.14.0-rc5 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 55efa3d..f4f44e5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,7 +14,7 @@ jobs: - uses: purescript-contrib/setup-purescript@main with: - purescript: "0.14.0-rc3" + purescript: "0.14.0-rc5" - uses: actions/setup-node@v1 with: