diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 52 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 16 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 46 |
3 files changed, 57 insertions, 57 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 73249fe27..c6bdaf517 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -4,42 +4,42 @@ [abstract [monad {"+" [Monad do]}]] [control - ["." maybe] + ["[0]" maybe] ["<>" parser - ["<.>" type]]] + ["<[0]>" type]]] [data - ["." product] - ["." bit] - ["." text ("#\." monoid) + ["[0]" product] + ["[0]" bit] + ["[0]" text ("[1]\[0]" monoid) ["%" format {"+" [format]}]] [collection - ["." list ("#\." monad)] - ["." row] - ["." array] - ["." queue] - ["." set] - ["." dictionary {"+" [Dictionary]}] - ["." tree]]] + ["[0]" list ("[1]\[0]" monad)] + ["[0]" row] + ["[0]" array] + ["[0]" queue] + ["[0]" set] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" tree]]] [macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math [number - ["." nat ("#\." decimal)] - ["." int] - ["." rev] - ["." frac]]] + ["[0]" nat ("[1]\[0]" decimal)] + ["[0]" int] + ["[0]" rev] + ["[0]" frac]]] [time - ["." duration] - ["." date] - ["." instant] - ["." day] - ["." month]] - ["." type - ["." poly {"+" [poly:]}] - ["." unit]]]] + ["[0]" duration] + ["[0]" date] + ["[0]" instant] + ["[0]" day] + ["[0]" month]] + ["[0]" type + ["[0]" poly {"+" [poly:]}] + ["[0]" unit]]]] [\\library - ["." /]]) + ["[0]" /]]) (poly: .public equivalence (`` (do [! <>.monad] diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 151ea600c..9537f3d38 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -5,24 +5,24 @@ [monad {"+" [Monad do]}]] [control ["p" parser - ["<.>" type] + ["<[0]>" type] ["s" code {"+" [Parser]}]]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." list ("#\." monad monoid)]]] + ["[0]" list ("[1]\[0]" monad monoid)]]] [macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math [number ["n" nat]]] - ["." type - ["." poly {"+" [poly:]}]]]] + ["[0]" type + ["[0]" poly {"+" [poly:]}]]]] [\\library - ["." /]]) + ["[0]" /]]) (poly: .public functor (do [! p.monad] 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) |