Skip to content

Commit c0a013e

Browse files
authored
Remove unlawful ArrowChoice instance (#220)
1 parent 5dafbe1 commit c0a013e

File tree

2 files changed

+3
-5
lines changed

2 files changed

+3
-5
lines changed

CHANGELOG.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
- Remove [unlawful](https://github.com/Gabriella439/foldl/pull/96) `ArrowChoice` instance for `Fold1`
2+
13
1.4.18
24

35
- Add [`lifts`](https://github.com/Gabriella439/foldl/pull/214)

src/Control/Foldl/NonEmpty.hs

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ module Control.Foldl.NonEmpty (
6262
) where
6363

6464
import Control.Applicative (liftA2, Const(..))
65-
import Control.Arrow (Arrow (..), ArrowChoice (..))
65+
import Control.Arrow (Arrow (..))
6666
import Control.Category (Category ())
6767
import qualified Control.Category
6868
import Control.Comonad (Comonad(..))
@@ -206,10 +206,6 @@ instance Arrow Fold1 where
206206
first = first'
207207
{-# INLINE first #-}
208208

209-
instance ArrowChoice Fold1 where
210-
left = left'
211-
{-# INLINE left #-}
212-
213209
instance Num b => Num (Fold1 a b) where
214210
fromInteger = pure . fromInteger
215211
{-# INLINE fromInteger #-}

0 commit comments

Comments
 (0)