Skip to content

Commit 62d9d32

Browse files
committed
Foldable1 support
1 parent 1d80a6f commit 62d9d32

File tree

2 files changed

+6
-1
lines changed

2 files changed

+6
-1
lines changed

bower.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616
"package.json"
1717
],
1818
"dependencies": {
19-
"purescript-foldable-traversable": "^3.0.0",
19+
"purescript-foldable-traversable": "^3.3.0",
2020
"purescript-nonempty": "^4.0.0",
2121
"purescript-partial": "^1.2.0",
2222
"purescript-st": "^3.0.0",

src/Data/Array/NonEmpty.purs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ module Data.Array.NonEmpty
66
, toNonEmpty
77

88
, fromFoldable
9+
, fromFoldable1
910
, toUnfoldable
1011
, singleton
1112
, (..), range
@@ -109,6 +110,7 @@ import Data.FunctorWithIndex (class FunctorWithIndex)
109110
import Data.Maybe (Maybe(..), fromJust)
110111
import Data.NonEmpty (NonEmpty, (:|))
111112
import Data.Ord (class Ord1)
113+
import Data.Semigroup.Foldable (class Foldable1)
112114
import Data.Traversable (class Traversable)
113115
import Data.TraversableWithIndex (class TraversableWithIndex)
114116
import Data.Tuple (Tuple)
@@ -209,6 +211,9 @@ toNonEmpty = uncons >>> \{head: x, tail: xs} -> x :| xs
209211
fromFoldable :: forall f a. Foldable f => f a -> Maybe (NonEmptyArray a)
210212
fromFoldable = fromArray <<< A.fromFoldable
211213

214+
fromFoldable1 :: forall f a. Foldable1 f => f a -> NonEmptyArray a
215+
fromFoldable1 = unsafeFromArray <<< A.fromFoldable
216+
212217
toUnfoldable :: forall f a. Unfoldable f => NonEmptyArray a -> f a
213218
toUnfoldable = adaptAny A.toUnfoldable
214219

0 commit comments

Comments
 (0)