aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 00:07:08 -0400
committerEduardo Julian2021-09-12 00:07:08 -0400
commitdda05bca0956af5e5b3875c4cc36e61aa04772e4 (patch)
tree0f8b27697d58ab5c8e41aba7c7c9f769d3800767 /stdlib/source/poly
parentd48270f43c404ba19ca04da2553455ecaaf2caba (diff)
Made the "#" character great again!
Diffstat (limited to 'stdlib/source/poly')
-rw-r--r--stdlib/source/poly/lux/data/format/json.lux26
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")]