diff options
| author | Eduardo Julian | 2022-03-17 04:29:59 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-17 04:29:59 -0400 |
| commit | 220c804f9136c73058802575ee49f3f769d5599f (patch) | |
| tree | 238ffc7163635103ffca835a082902a4f8fda943 /stdlib/source/poly/lux/data | |
| parent | 49387dbbf08a9b06b815a662d117c7aa37120482 (diff) | |
De-sigil-ification: !
Diffstat (limited to 'stdlib/source/poly/lux/data')
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 67f6fb464..e7b0bd1fe 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -100,7 +100,7 @@ (with_expansions [<basic> (template [<matcher> <encoder>] [(do ! - [.let [g!_ (code.local_symbol "_______")] + [.let [g!_ (code.local "_______")] _ <matcher>] (in (` (is (~ (@JSON#encoded inputT)) <encoder>))))] @@ -124,7 +124,7 @@ [month.Month month.codec])] (do [! <>.monad] [*env* <type>.env - .let [g!_ (code.local_symbol "_______") + .let [g!_ (code.local "_______") @JSON#encoded (is (-> Type Code) (function (_ type) (` (-> (~ (poly.code *env* type)) /.JSON))))] @@ -138,9 +138,9 @@ (in (` (is (~ (@JSON#encoded inputT)) (# (~! qty_codec) (~' encoded)))))) (do ! - [.let [g!_ (code.local_symbol "_______") - g!key (code.local_symbol "_______key") - g!val (code.local_symbol "_______val")] + [.let [g!_ (code.local "_______") + g!key (code.local "_______key") + g!val (code.local "_______val")] [_ _ =val=] (<type>.applied ($_ <>.and (<type>.exactly dictionary.Dictionary) (<type>.exactly .Text) @@ -164,8 +164,8 @@ (in (` (is (~ (@JSON#encoded inputT)) (|>> ((~! list#each) (~ =sub=)) ((~! sequence.of_list)) {/.#Array}))))) (do ! - [.let [g!_ (code.local_symbol "_______") - g!input (code.local_symbol "_______input")] + [.let [g!_ (code.local "_______") + g!input (code.local "_______input")] members (<type>.variant (<>.many encoded)) .let [last (-- (list.size members))]] (in (` (is (~ (@JSON#encoded inputT)) @@ -184,10 +184,10 @@ (list.enumeration members)))))))))) (do ! [g!encoders (<type>.tuple (<>.many encoded)) - .let [g!_ (code.local_symbol "_______") + .let [g!_ (code.local "_______") g!members (|> (list.size g!encoders) list.indices - (list#each (|>> n#encoded code.local_symbol)))]] + (list#each (|>> n#encoded code.local)))]] (in (` (is (~ (@JSON#encoded inputT)) (function ((~ g!_) [(~+ g!members)]) ((~! /.json) [(~+ (list#each (function (_ [g!member g!encoded]) @@ -196,7 +196,7 @@ ... Type recursion (do ! [[selfC non_recC] (<type>.recursive encoded) - .let [g! (code.local_symbol "____________")]] + .let [g! (code.local "____________")]] (in (` (is (~ (@JSON#encoded inputT)) ((~! ..rec_encoded) (.function ((~ g!) (~ selfC)) (~ non_recC))))))) @@ -248,7 +248,7 @@ [month.Month month.codec])] (do [! <>.monad] [*env* <type>.env - .let [g!_ (code.local_symbol "_______") + .let [g!_ (code.local "_______") @JSON#decoded (is (-> Type Code) (function (_ type) (` (</>.Parser (~ (poly.code *env* type))))))] @@ -286,12 +286,12 @@ (~+ (list#each (function (_ [tag memberC]) (if (n.= last tag) (` (|> (~ memberC) - ((~! <>.after) ((~! </>.boolean!) (~ (code.bit #1)))) - ((~! <>.after) ((~! </>.number!) (~ (code.frac (..tag (-- tag)))))) + ((~! <>.after) ((~! </>.this_boolean) (~ (code.bit #1)))) + ((~! <>.after) ((~! </>.this_number) (~ (code.frac (..tag (-- tag)))))) ((~! </>.array)))) (` (|> (~ memberC) - ((~! <>.after) ((~! </>.boolean!) (~ (code.bit #0)))) - ((~! <>.after) ((~! </>.number!) (~ (code.frac (..tag tag))))) + ((~! <>.after) ((~! </>.this_boolean) (~ (code.bit #0)))) + ((~! <>.after) ((~! </>.this_number) (~ (code.frac (..tag tag))))) ((~! </>.array)))))) (list.enumeration members)))))))) (do ! @@ -301,7 +301,7 @@ ... Type recursion (do ! [[selfC bodyC] (<type>.recursive decoded) - .let [g! (code.local_symbol "____________")]] + .let [g! (code.local "____________")]] (in (` (is (~ (@JSON#decoded inputT)) ((~! <>.rec) (.function ((~ g!) (~ selfC)) (~ bodyC))))))) |