diff options
| author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
| commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
| tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/poly/lux/data/format/json.lux | |
| parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) | |
De-sigil-ification: #
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 2bf11cdc7..a10f632d8 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -73,9 +73,9 @@ (codec.Codec JSON Int) (def: encoded - (|>> .nat (# nat_codec encoded))) + (|>> .nat (at nat_codec encoded))) (def: decoded - (|>> (# nat_codec decoded) (# try.functor each (|>> .int))))) + (|>> (at nat_codec decoded) (at try.functor each (|>> .int))))) ... Builds a JSON generator for potentially inexistent values. (def: (nullable writer) @@ -91,10 +91,10 @@ (def: encoded (|>> ((debug.private unit.out')) - (# ..int_codec encoded))) + (at ..int_codec encoded))) (def: decoded - (|>> (# ..int_codec decoded) - (# try.functor each (debug.private unit.in'))))) + (|>> (at ..int_codec decoded) + (at try.functor each (debug.private unit.in'))))) (poly: encoded (with_expansions @@ -107,15 +107,15 @@ [(<type>.exactly Any) (function ((~ g!_) (~ (code.symbol ["" "0"]))) {/.#Null})] [(<type>.sub Bit) (|>> {/.#Boolean})] - [(<type>.sub Nat) (# (~! ..nat_codec) (~' encoded))] - [(<type>.sub Int) (# (~! ..int_codec) (~' encoded))] + [(<type>.sub Nat) (at (~! ..nat_codec) (~' encoded))] + [(<type>.sub Int) (at (~! ..int_codec) (~' encoded))] [(<type>.sub Frac) (|>> {/.#Number})] [(<type>.sub Text) (|>> {/.#String})]) <time> (template [<type> <codec>] [(do ! [_ (<type>.exactly <type>)] (in (` (is (~ (@JSON#encoded inputT)) - (|>> (# (~! <codec>) (~' encoded)) {/.#String})))))] + (|>> (at (~! <codec>) (~' encoded)) {/.#String})))))] ... [duration.Duration duration.codec] ... [instant.Instant instant.codec] @@ -136,7 +136,7 @@ [unitT (<type>.applied (<>.after (<type>.exactly unit.Qty) <type>.any))] (in (` (is (~ (@JSON#encoded inputT)) - (# (~! qty_codec) (~' encoded)))))) + (at (~! qty_codec) (~' encoded)))))) (do ! [.let [g!_ (code.local "_______") g!key (code.local "_______key") |