diff options
| author | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
| commit | 34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch) | |
| tree | eb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/poly | |
| parent | 982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff) | |
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 16 |
2 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 0f5db0309..f8d8d1fa8 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -163,6 +163,6 @@ <type>.recursive-call ## If all else fails... (|> <type>.any - (:: ! map (|>> %.type (format "Cannot create Equivalence for: ") p.fail)) - (:: ! join)) + (\ ! map (|>> %.type (format "Cannot create Equivalence for: ") p.fail)) + (\ ! join)) )))) diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 719817b3b..3cba2eb3b 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -73,9 +73,9 @@ (structure: int-codec (codec.Codec JSON Int) - (def: encode (|>> .nat (:: nat-codec encode))) + (def: encode (|>> .nat (\ nat-codec encode))) (def: decode - (|>> (:: nat-codec decode) (:: try.functor map .int)))) + (|>> (\ nat-codec decode) (\ try.functor map .int)))) (def: (nullable writer) {#.doc "Builds a JSON generator for potentially inexistent values."} @@ -90,9 +90,9 @@ (codec.Codec JSON (unit.Qty unit))) (def: encode - (|>> unit.out (:: ..int-codec encode))) + (|>> unit.out (\ ..int-codec encode))) (def: decode - (|>> (:: ..int-codec decode) (:: try.functor map unit.in)))) + (|>> (\ ..int-codec decode) (\ try.functor map unit.in)))) (poly: encode (with-expansions @@ -105,15 +105,15 @@ [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) #/.Null)] [(<type>.sub Bit) (|>> #/.Boolean)] - [(<type>.sub Nat) (:: (~! ..nat-codec) (~' encode))] - [(<type>.sub Int) (:: (~! ..int-codec) (~' encode))] + [(<type>.sub Nat) (\ (~! ..nat-codec) (~' encode))] + [(<type>.sub Int) (\ (~! ..int-codec) (~' encode))] [(<type>.sub Frac) (|>> #/.Number)] [(<type>.sub Text) (|>> #/.String)]) <time> (template [<type> <codec>] [(do ! [_ (<type>.exactly <type>)] (wrap (` (: (~ (@JSON\encode inputT)) - (|>> (:: (~! <codec>) (~' encode)) #/.String)))))] + (|>> (\ (~! <codec>) (~' encode)) #/.String)))))] ## [duration.Duration duration.codec] ## [instant.Instant instant.codec] @@ -133,7 +133,7 @@ [unitT (<type>.apply (<>.after (<type>.exactly unit.Qty) <type>.any))] (wrap (` (: (~ (@JSON\encode inputT)) - (:: (~! qty-codec) (~' encode)))))) + (\ (~! qty-codec) (~' encode)))))) (do ! [#let [g!_ (code.local-identifier "_______") g!key (code.local-identifier "_______key") |