diff options
Diffstat (limited to 'stdlib/source/poly/lux/data/format/json.lux')
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index d538a7e92..512ca920c 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -45,9 +45,9 @@ (|>> .int int.frac)) (def: (rec_encoded non_rec) - (All [a] (-> (-> (-> a JSON) - (-> a JSON)) - (-> a JSON))) + (All (_ a) (-> (-> (-> a JSON) + (-> a JSON)) + (-> a JSON))) (function (_ input) (non_rec (rec_encoded non_rec) input))) @@ -80,14 +80,14 @@ (def: (nullable writer) {#.doc "Builds a JSON generator for potentially inexistent values."} - (All [a] (-> (-> a JSON) (-> (Maybe a) JSON))) + (All (_ a) (-> (-> a JSON) (-> (Maybe a) JSON))) (function (_ elem) (case elem #.None #/.Null (#.Some value) (writer value)))) (implementation: qty_codec - (All [unit] + (All (_ unit) (codec.Codec JSON (unit.Qty unit))) (def: encoded @@ -125,7 +125,8 @@ [month.Month month.codec])] (do {! <>.monad} [*env* <type>.env - .let [@JSON\encoded (: (-> Type Code) + .let [g!_ (code.local_identifier "_______") + @JSON\encoded (: (-> Type Code) (function (_ type) (` (-> (~ (poly.code *env* type)) /.JSON))))] inputT <type>.next] @@ -208,7 +209,7 @@ ... Polymorphism (do ! [[funcC varsC bodyC] (<type>.polymorphic encoded)] - (in (` (: (All [(~+ varsC)] + (in (` (: (All ((~ g!_) (~+ varsC)) (-> (~+ (list\each (function (_ varC) (` (-> (~ varC) /.JSON))) varsC)) (-> ((~ (poly.code *env* inputT)) (~+ varsC)) @@ -248,7 +249,8 @@ [month.Month month.codec])] (do {! <>.monad} [*env* <type>.env - .let [@JSON\decoded (: (-> Type Code) + .let [g!_ (code.local_identifier "_______") + @JSON\decoded (: (-> Type Code) (function (_ type) (` (</>.Parser (~ (poly.code *env* type))))))] inputT <type>.next] @@ -312,7 +314,7 @@ ... Polymorphism (do ! [[funcC varsC bodyC] (<type>.polymorphic decoded)] - (in (` (: (All [(~+ varsC)] + (in (` (: (All ((~ g!_) (~+ varsC)) (-> (~+ (list\each (|>> (~) </>.Parser (`)) varsC)) (</>.Parser ((~ (poly.code *env* inputT)) (~+ varsC))))) (function ((~ funcC) (~+ varsC)) |