Add more flexible variety of fromNonEmpty

Author: garyb

docs/Data/NonEmpty.md

@@ -53,7 +53,7 @@ Fold a non-empty structure, collecting results using a binary operation.
 foldMap1 :: forall f a s. (Semigroup s, Foldable f) => (a -> s) -> NonEmpty f a -> s
 ```
 
-Fold a non-empty structure, collecting results in a `Semigroup`. 
+Fold a non-empty structure, collecting results in a `Semigroup`.
 
 #### `fold1`
 
@@ -63,4 +63,16 @@ fold1 :: forall f s. (Semigroup s, Foldable f) => NonEmpty f s -> s
 
 Fold a non-empty structure.
 
+#### `fromNonEmpty`
+
+``` purescript
+fromNonEmpty :: forall f a r. (a -> f a -> r) -> NonEmpty f a -> r
+```
+
+#### `fromNonEmpty'`
+
+``` purescript
+fromNonEmpty' :: forall f a. (Applicative f, Semigroup (f a)) => NonEmpty f a -> f a
+```
+
 

src/Data/NonEmpty.purs

@@ -8,6 +8,7 @@ module Data.NonEmpty
   , foldMap1
   , fold1
   , fromNonEmpty
+  , fromNonEmpty'
   ) where
 
 import Prelude
@@ -43,8 +44,11 @@ foldMap1 f (NonEmpty a fa) = foldl (\s a1 -> s <> f a1) (f a) fa
 fold1 :: forall f s. (Semigroup s, Foldable f) => NonEmpty f s -> s
 fold1 = foldMap1 id
 
-fromNonEmpty :: forall f a. (Applicative f, Semigroup (f a)) => NonEmpty f a -> f a
-fromNonEmpty (NonEmpty a fa) = pure a <> fa
+fromNonEmpty :: forall f a r. (a -> f a -> r) -> NonEmpty f a -> r
+fromNonEmpty f (NonEmpty a fa) = a `f` fa
+
+fromNonEmpty' :: forall f a. (Applicative f, Semigroup (f a)) => NonEmpty f a -> f a
+fromNonEmpty' (NonEmpty a fa) = pure a <> fa
 
 instance showNonEmpty :: (Show a, Show (f a)) => Show (NonEmpty f a) where
   show (NonEmpty a fa) = "(NonEmpty " ++ show a ++ " " ++ show fa ++ ")"