diff options
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 | 18 |
2 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 63a88058e..207e94fc0 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 - (# ! each (|>> %.type (format "Cannot create Equivalence for: ") <>.failure)) - (# ! conjoint)) + (at ! each (|>> %.type (format "Cannot create Equivalence for: ") <>.failure)) + (at ! conjoint)) )))) 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") |