Merge pull request #43 from purescript/nonempty

Update `-arrays` and add NonEmpty instance

Author: garyb

bower.json

@@ -20,7 +20,7 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-arrays": "^2.0.0",
+    "purescript-arrays": "^3.0.0",
     "purescript-either": "^2.0.0",
     "purescript-proxy": "^1.0.0",
     "purescript-strings": "^2.0.0"

src/Data/Generic.purs

@@ -20,9 +20,11 @@ import Data.Array (null, length, sortBy, zipWith)
 import Data.Either (Either(..))
 import Data.Foldable (all, and, find, fold, intercalate)
 import Data.Maybe (Maybe(..))
+import Data.NonEmpty (NonEmpty(..))
 import Data.String (joinWith)
 import Data.Traversable (traverse)
 import Data.Tuple (Tuple(..))
+
 import Type.Proxy (Proxy(..))
 
 -- | The Generic typeclass provides methods for sending data to/from spine
@@ -164,6 +166,28 @@ instance genericOrdering :: Generic Ordering where
     SProd "Data.Ordering.GT" [] -> Just GT
     _ -> Nothing
 
+instance genericNonEmpty :: (Generic (f a), Generic a) => Generic (NonEmpty f a) where
+  toSpine (NonEmpty x xs) =
+    SProd "Data.NonEmpty.NonEmpty" [\_ -> toSpine x, \_ -> toSpine xs]
+  toSignature x =
+    SigProd
+      "Data.NonEmpty.NonEmpty"
+      [ { sigConstructor: "Data.NonEmpty.NonEmpty"
+        , sigValues:
+            [ \_ -> toSignature (headProxy x)
+            , \_ -> toSignature (tailProxy x)
+            ]
+        }
+      ]
+    where
+    headProxy :: Proxy (NonEmpty f a) -> Proxy a
+    headProxy _ = Proxy
+    tailProxy :: Proxy (NonEmpty f a) -> Proxy (f a)
+    tailProxy _ = Proxy
+  fromSpine (SProd "Data.NonEmpty.NonEmpty" [x, xs]) =
+    NonEmpty <$> fromSpine (force x) <*> fromSpine (force xs)
+  fromSpine _ = Nothing
+
 -- | A GenericSpine is a universal representation of an arbitrary data
 -- | structure (that does not contain function arrows).
 data GenericSpine