We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents a49621c + 34e83ce commit 66be7a2Copy full SHA for 66be7a2
src/Data/List/Types.purs
@@ -211,11 +211,7 @@ derive newtype instance foldableNonEmptyList :: Foldable NonEmptyList
211
212
derive newtype instance traversableNonEmptyList :: Traversable NonEmptyList
213
214
-instance foldable1NonEmptyList :: Foldable1 NonEmptyList where
215
- fold1 (NonEmptyList (a :| as)) =
216
- foldl append a as
217
- foldMap1 f (NonEmptyList (a :| as)) =
218
- foldl (\acc -> append acc <<< f) (f a) as
+derive newtype instance foldable1NonEmptyList :: Foldable1 NonEmptyList
219
220
instance traversable1NonEmptyList :: Traversable1 NonEmptyList where
221
traverse1 f (NonEmptyList (a :| as)) =
0 commit comments