diff options
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 80d8e37e7..53bdcd06c 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -59,8 +59,8 @@ (def: (encoded input) (let [high (|> input (i64.and high_mask) (i64.right_shifted 32)) low (i64.and low_mask input)] - {#/.Array (row (|> high .int int.frac #/.Number) - (|> low .int int.frac #/.Number))})) + {/.#Array (row (|> high .int int.frac {/.#Number}) + (|> low .int int.frac {/.#Number}))})) (def: decoded (</>.result (</>.array (do <>.monad @@ -82,19 +82,19 @@ (All (_ a) (-> (-> a JSON) (-> (Maybe a) JSON))) (function (_ elem) (case elem - #.None #/.Null - {#.Some value} (writer value)))) + {.#None} {/.#Null} + {.#Some value} (writer value)))) (implementation: qty_codec (All (_ unit) (codec.Codec JSON (unit.Qty unit))) (def: encoded - (|>> ((debug.private unit.out)) + (|>> ((debug.private unit.out')) (\ ..int_codec encoded))) (def: decoded (|>> (\ ..int_codec decoded) - (\ try.functor each (debug.private unit.in))))) + (\ try.functor each (debug.private unit.in'))))) (poly: encoded (with_expansions @@ -105,17 +105,17 @@ (in (` (: (~ (@JSON\encoded inputT)) <encoder>))))] - [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) #/.Null)] - [(<type>.sub Bit) (|>> {#/.Boolean})] + [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) {/.#Null})] + [(<type>.sub Bit) (|>> {/.#Boolean})] [(<type>.sub Nat) (\ (~! ..nat_codec) (~' encoded))] [(<type>.sub Int) (\ (~! ..int_codec) (~' encoded))] - [(<type>.sub Frac) (|>> {#/.Number})] - [(<type>.sub Text) (|>> {#/.String})]) + [(<type>.sub Frac) (|>> {/.#Number})] + [(<type>.sub Text) (|>> {/.#String})]) <time> (template [<type> <codec>] [(do ! [_ (<type>.exactly <type>)] (in (` (: (~ (@JSON\encoded inputT)) - (|>> (\ (~! <codec>) (~' encoded)) {#/.String})))))] + (|>> (\ (~! <codec>) (~' encoded)) {/.#String})))))] ... [duration.Duration duration.codec] ... [instant.Instant instant.codec] @@ -150,7 +150,7 @@ ((~! list\each) (function ((~ g!_) [(~ g!key) (~ g!val)]) [(~ g!key) ((~ =val=) (~ g!val))])) ((~! dictionary.of_list) (~! text.hash)) - {#/.Object}))))) + {/.#Object}))))) (do ! [[_ =sub=] (<type>.applied ($_ <>.and (<type>.exactly .Maybe) @@ -162,7 +162,7 @@ (<type>.exactly .List) encoded))] (in (` (: (~ (@JSON\encoded inputT)) - (|>> ((~! list\each) (~ =sub=)) ((~! row.of_list)) {#/.Array}))))) + (|>> ((~! list\each) (~ =sub=)) ((~! row.of_list)) {/.#Array}))))) (do ! [.let [g!_ (code.local_identifier "_______") g!input (code.local_identifier "_______input")] |