diff options
Diffstat (limited to 'stdlib/source/poly/lux/data/format/json.lux')
-rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index a1c82c509..75f042b58 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -2,43 +2,43 @@ {#.doc "Codecs for values in the JSON format."} [library [lux "*" - ["." debug] + ["[0]" debug] [abstract [monad {"+" [do]}] - ["." codec]] + ["[0]" codec]] [control - ["." try] + ["[0]" try] ["<>" parser ["</>" json] - ["<.>" type] - ["<.>" code]]] + ["<[0]>" type] + ["<[0]>" code]]] [data - ["." text + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." list ("#\." monad)] - ["." row {"+" [row]}] - ["." dictionary]]] + ["[0]" list ("[1]\[0]" monad)] + ["[0]" row {"+" [row]}] + ["[0]" dictionary]]] [macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math [number - ["n" nat ("#\." decimal)] - ["." i64] - ["." int] - ["." frac]]] + ["n" nat ("[1]\[0]" decimal)] + ["[0]" i64] + ["[0]" int] + ["[0]" frac]]] [time - ... ["." instant] - ... ["." duration] - ["." date] - ["." day] - ["." month]] - ["." type - ["." unit] - ["." poly {"+" [poly:]}]]]] + ... ["[0]" instant] + ... ["[0]" duration] + ["[0]" date] + ["[0]" day] + ["[0]" month]] + ["[0]" type + ["[0]" unit] + ["[0]" poly {"+" [poly:]}]]]] [\\library - ["." / {"+" [JSON]}]]) + ["[0]" / {"+" [JSON]}]]) (def: tag (-> Nat Frac) |