Merge remote-tracking branch 'origin/master' into compiler/0.12

Author: kritzcreek

bower.json

@@ -17,7 +17,9 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-foldable-traversable": "#compiler/0.12"
+    "purescript-foldable-traversable": "#compiler/0.12",
+    "purescript-prelude": "#compiler/0.12",
+    "purescript-unfoldable": "#compiler/0.12"
   },
   "devDependencies": {
     "purescript-assert": "#compiler/0.12",

src/Data/NonEmpty.purs

@@ -25,6 +25,9 @@ import Data.Ord (class Ord1)
 import Data.Semigroup.Foldable (class Foldable1, foldMap1)
 import Data.Traversable (class Traversable, traverse, sequence)
 import Data.TraversableWithIndex (class TraversableWithIndex, traverseWithIndex)
+import Data.Tuple (uncurry)
+import Data.Unfoldable (class Unfoldable, unfoldr)
+import Data.Unfoldable1 (class Unfoldable1)
 
 -- | A non-empty container of elements of type a.
 -- |
@@ -104,3 +107,6 @@ instance traversableWithIndexNonEmpty
 instance foldable1NonEmpty :: Foldable f => Foldable1 (NonEmpty f) where
   fold1 = foldMap1 identity
   foldMap1 f (a :| fa) = foldl (\s a1 -> s <> f a1) (f a) fa
+
+instance unfoldable1NonEmpty :: Unfoldable f => Unfoldable1 (NonEmpty f) where
+  unfoldr1 f b = uncurry (:|) $ unfoldr (map f) <$> f b

test/Main.purs

@@ -6,6 +6,7 @@ import Data.Foldable (fold, foldl)
 import Data.Maybe (Maybe(..))
 import Data.NonEmpty (NonEmpty, (:|), foldl1, oneOf, head, tail, singleton)
 import Data.Semigroup.Foldable (fold1)
+import Data.Unfoldable1 as U1
 import Effect (Effect)
 import Test.Assert (assert)
 
@@ -24,3 +25,4 @@ main = do
   assert $ fold ("Hello" :| [" ", "World"]) == "Hello World"
   assert $ oneOf (0 :| Nothing) == oneOf (0 :| Just 1)
   assert $ second (1 :| 2 :| [3, 4]) == 2
+  assert $ U1.range 0 9 == (0 :| [1, 2, 3, 4, 5, 6, 7, 8, 9])