fixup! Fix Foldable1 (NonEmpty f) instance

Author: rhendric

src/Data/NonEmpty.purs

@@ -4,11 +4,11 @@ module Data.NonEmpty
   ( NonEmpty(..)
   , singleton
   , (:|)
+  , foldl1
   , fromNonEmpty
   , oneOf
   , head
   , tail
-  , module Exports
   ) where
 
 import Prelude
@@ -23,7 +23,6 @@ import Data.FunctorWithIndex (class FunctorWithIndex, mapWithIndex)
 import Data.Maybe (Maybe(..), maybe)
 import Data.Ord (class Ord1)
 import Data.Semigroup.Foldable (class Foldable1, foldMap1)
-import Data.Semigroup.Foldable (foldl1) as Exports
 import Data.Traversable (class Traversable, traverse, sequence)
 import Data.TraversableWithIndex (class TraversableWithIndex, traverseWithIndex)
 import Data.Tuple (uncurry)
@@ -47,6 +46,10 @@ infixr 5 NonEmpty as :|
 singleton :: forall f a. Plus f => a -> NonEmpty f a
 singleton a = a :| empty
 
+-- | Fold a non-empty structure, collecting results using a binary operation.
+foldl1 :: forall f a. Foldable f => (a -> a -> a) -> NonEmpty f a -> a
+foldl1 f (a :| fa) = foldl f a fa
+
 fromNonEmpty :: forall f a r. (a -> f a -> r) -> NonEmpty f a -> r
 fromNonEmpty f (a :| fa) = a `f` fa
 
@@ -105,7 +108,7 @@ instance foldable1NonEmpty :: Foldable f => Foldable1 (NonEmpty f) where
   fold1 = foldMap1 identity
   foldMap1 f (a :| fa) = foldl (\s a1 -> s <> f a1) (f a) fa
   foldr1 f (a :| fa) = maybe a (f a) $ foldr (\a1 -> Just <<< maybe a1 (f a1)) Nothing fa
-  foldl1 f (a :| fa) = foldl f a fa
+  foldl1 = foldl1
 
 instance unfoldable1NonEmpty :: Unfoldable f => Unfoldable1 (NonEmpty f) where
   unfoldr1 f b = uncurry (:|) $ unfoldr (map f) <$> f b