Compiler 0.12 updates (paf31#47)

* Updates for 0.12

* Upgrade node

* strmap -> object

Author: paf31

.travis.yml

@@ -1,7 +1,7 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
 install:
   - npm install -g bower
   - npm install

README.md

@@ -4,7 +4,7 @@
 
 Generic deriving for `purescript-foreign`.
 
-- [Module Documentation](generated-docs/Data/Foreign/Generic.md)
+- [Module Documentation](generated-docs/Foreign/Generic.md)
 - [Example](test/Main.purs)
 - [Further examples in this repo](https://github.com/justinwoo/purescript-howto-foreign-generic)
 
@@ -25,8 +25,8 @@ First, define some data type and derive `Generic`:
 To encode JSON, use `genericEncodeJSON`:
 
 ```purescript
-> import Data.Foreign.Class (class Encode, class Decode, encode, decode)
-> import Data.Foreign.Generic (defaultOptions, genericDecodeJSON, genericEncodeJSON)
+> import Foreign.Class (class Encode, class Decode, encode, decode)
+> import Foreign.Generic (defaultOptions, genericDecodeJSON, genericEncodeJSON)
 
 > opts = defaultOptions { unwrapSingleConstructors = true }
 

bower.json

@@ -15,18 +15,17 @@
     "url": "git://github.com/paf31/purescript-foreign-generic.git"
   },
   "dependencies": {
-    "purescript-console": "^3.0.0",
-    "purescript-eff": "^3.1.0",
-    "purescript-exceptions": "^3.0.0",
-    "purescript-foreign": "^4.0.1",
-    "purescript-generics-rep": "^5.1.0",
-    "purescript-globals": "^3.0.0",
-    "purescript-maps": "^3.3.1",
-    "purescript-nullable": "^3.0.0",
-    "purescript-proxy": "^2.1.0",
-    "purescript-symbols": "^3.0.0"
+    "purescript-effect": "^2.0.0",
+    "purescript-foreign": "^5.0.0",
+    "purescript-foreign-object": "^1.0.0",
+    "purescript-generics-rep": "^6.0.0",
+    "purescript-ordered-collections": "^1.0.0",
+    "purescript-proxy": "^3.0.0",
+    "purescript-exceptions": "^4.0.0",
+    "purescript-record": "^1.0.0"
   },
   "devDependencies": {
-    "purescript-assert": "^3.0.0"
+    "purescript-assert": "^4.0.0",
+    "purescript-psci-support": "^4.0.0"
   }
 }

generated-docs/Data/Foreign/Internal.md

@@ -1,4 +1,4 @@
-## Module Data.Foreign.Class
+## Module Foreign.Class
 
 #### `Decode`
 
@@ -34,8 +34,8 @@ Decode Boolean
 Decode Number
 Decode Int
 (Decode a) => Decode (Array a)
-(Decode v) => Decode (StrMap v)
-(Decode a) => Decode (NullOrUndefined a)
+(Decode a) => Decode (Maybe a)
+(Decode v) => Decode (Object v)
 ```
 
 #### `Encode`
@@ -72,8 +72,8 @@ Encode Boolean
 Encode Number
 Encode Int
 (Encode a) => Encode (Array a)
-(Encode a) => Encode (NullOrUndefined a)
-(Encode v) => Encode (StrMap v)
+(Encode a) => Encode (Maybe a)
+(Encode v) => Encode (Object v)
 ```
 
 

generated-docs/Data/Foreign/NullOrUndefined.md

@@ -1,4 +1,4 @@
-## Module Data.Foreign.Generic
+## Module Foreign.Generic
 
 #### `defaultOptions`
 
@@ -28,7 +28,7 @@ Read a value which has a `Generic` type.
 genericEncode :: forall a rep. Generic a rep => GenericEncode rep => Options -> a -> Foreign
 ```
 
-Generate a `Foreign` value compatible with the `readGeneric` function.
+Generate a `Foreign` value compatible with the `genericDecode` function.
 
 #### `decodeJSON`
 

generated-docs/Data/Foreign/Class.md renamed to generated-docs/Foreign/Class.md

@@ -1,4 +1,4 @@
-## Module Data.Foreign.Generic.Class
+## Module Foreign.Generic.Class
 
 #### `GenericDecode`
 
@@ -38,9 +38,8 @@ class GenericDecodeArgs a  where
 ##### Instances
 ``` purescript
 GenericDecodeArgs NoArguments
-(Decode a) => GenericDecodeArgs (Argument a)
+(Decode_ a) => GenericDecodeArgs (Argument a)
 (GenericDecodeArgs a, GenericDecodeArgs b) => GenericDecodeArgs (Product a b)
-(GenericDecodeFields fields) => GenericDecodeArgs (Rec fields)
 ```
 
 #### `GenericEncodeArgs`
@@ -53,50 +52,74 @@ class GenericEncodeArgs a  where
 ##### Instances
 ``` purescript
 GenericEncodeArgs NoArguments
-(Encode a) => GenericEncodeArgs (Argument a)
+(Encode_ a) => GenericEncodeArgs (Argument a)
 (GenericEncodeArgs a, GenericEncodeArgs b) => GenericEncodeArgs (Product a b)
-(GenericEncodeFields fields) => GenericEncodeArgs (Rec fields)
 ```
 
-#### `GenericDecodeFields`
+#### `GenericCountArgs`
 
 ``` purescript
-class GenericDecodeFields a  where
-  decodeFields :: Options -> Foreign -> F a
+class GenericCountArgs a  where
+  countArgs :: Proxy a -> Either a Int
 ```
 
 ##### Instances
 ``` purescript
-(IsSymbol name, Decode a) => GenericDecodeFields (Field name a)
-(GenericDecodeFields a, GenericDecodeFields b) => GenericDecodeFields (Product a b)
+GenericCountArgs NoArguments
+GenericCountArgs (Argument a)
+(GenericCountArgs a, GenericCountArgs b) => GenericCountArgs (Product a b)
 ```
 
-#### `GenericEncodeFields`
+#### `Decode_`
 
 ``` purescript
-class GenericEncodeFields a  where
-  encodeFields :: Options -> a -> StrMap Foreign
+class Decode_ a  where
+  decode_ :: Options -> Foreign -> F a
 ```
 
 ##### Instances
 ``` purescript
-(IsSymbol name, Encode a) => GenericEncodeFields (Field name a)
-(GenericEncodeFields a, GenericEncodeFields b) => GenericEncodeFields (Product a b)
+(RowToList r rl, DecodeRecord r rl) => Decode_ {  | r }
+(Decode a) => Decode_ a
 ```
 
-#### `GenericCountArgs`
+#### `Encode_`
 
 ``` purescript
-class GenericCountArgs a  where
-  countArgs :: Proxy a -> Either a Int
+class Encode_ a  where
+  encode_ :: Options -> a -> Foreign
 ```
 
 ##### Instances
 ``` purescript
-GenericCountArgs NoArguments
-GenericCountArgs (Argument a)
-(GenericCountArgs a, GenericCountArgs b) => GenericCountArgs (Product a b)
-GenericCountArgs (Rec fields)
+(RowToList r rl, EncodeRecord r rl) => Encode_ {  | r }
+(Encode a) => Encode_ a
+```
+
+#### `DecodeRecord`
+
+``` purescript
+class DecodeRecord r rl | rl -> r where
+  decodeRecord_ :: RLProxy rl -> Options -> Foreign -> F (Builder {  } ({  | r }))
+```
+
+##### Instances
+``` purescript
+DecodeRecord () Nil
+(Cons l a r_ r, DecodeRecord r_ rl_, IsSymbol l, Decode_ a, Lacks l r_) => DecodeRecord r (Cons l a rl_)
+```
+
+#### `EncodeRecord`
+
+``` purescript
+class EncodeRecord r rl | rl -> r where
+  encodeRecord_ :: RLProxy rl -> Options -> {  | r } -> Object Foreign
+```
+
+##### Instances
+``` purescript
+EncodeRecord () Nil
+(Cons l a r_ r, EncodeRecord r_ rl_, IsSymbol l, Encode_ a) => EncodeRecord r (Cons l a rl_)
 ```
 
 

generated-docs/Data/Foreign/Generic.md renamed to generated-docs/Foreign/Generic.md

@@ -1,4 +1,4 @@
-## Module Data.Foreign.Generic.EnumEncoding
+## Module Foreign.Generic.EnumEncoding
 
 #### `GenericEnumOptions`
 
@@ -58,9 +58,8 @@ instance dFruit :: Decode Fruit where
 ``` purescript
 (GenericDecodeEnum a, GenericDecodeEnum b) => GenericDecodeEnum (Sum a b)
 (IsSymbol name) => GenericDecodeEnum (Constructor name NoArguments)
-(Fail "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.") => GenericDecodeEnum (Constructor name (Argument a))
-(Fail "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.") => GenericDecodeEnum (Constructor name (Product a b))
-(Fail "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.") => GenericDecodeEnum (Constructor name (Rec a))
+(Fail (Text "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.")) => GenericDecodeEnum (Constructor name (Argument a))
+(Fail (Text "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.")) => GenericDecodeEnum (Constructor name (Product a b))
 ```
 
 #### `GenericEncodeEnum`
@@ -76,9 +75,8 @@ A type class for type representations that can be used for encoding from an Enum
 ``` purescript
 (GenericEncodeEnum a, GenericEncodeEnum b) => GenericEncodeEnum (Sum a b)
 (IsSymbol name) => GenericEncodeEnum (Constructor name NoArguments)
-(Fail "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.") => GenericEncodeEnum (Constructor name (Argument a))
-(Fail "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.") => GenericEncodeEnum (Constructor name (Product a b))
-(Fail "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.") => GenericEncodeEnum (Constructor name (Rec a))
+(Fail (Text "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.")) => GenericEncodeEnum (Constructor name (Argument a))
+(Fail (Text "genericEncode/DecodeEnum cannot be used on types that are not sums of constructors with no arguments.")) => GenericEncodeEnum (Constructor name (Product a b))
 ```
 
 

generated-docs/Data/Foreign/Generic/Class.md renamed to generated-docs/Foreign/Generic/Class.md

@@ -1,4 +1,4 @@
-## Module Data.Foreign.Generic.Types
+## Module Foreign.Generic.Types
 
 #### `Options`