aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/polytypic
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/polytypic')
-rw-r--r--stdlib/source/polytypic/lux/abstract/equivalence.lux4
-rw-r--r--stdlib/source/polytypic/lux/data/format/json.lux22
2 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux
index a79fd9c2a..1b845ae8e 100644
--- a/stdlib/source/polytypic/lux/abstract/equivalence.lux
+++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux
@@ -164,6 +164,6 @@
<type>.recursive_call
... If all else fails...
(|> <type>.any
- (at ! each (|>> %.type (format "Cannot create Equivalence for: ") <>.failure))
- (at ! conjoint))
+ (of ! each (|>> %.type (format "Cannot create Equivalence for: ") <>.failure))
+ (of ! conjoint))
)))))
diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux
index 333f0c323..9d2639e25 100644
--- a/stdlib/source/polytypic/lux/data/format/json.lux
+++ b/stdlib/source/polytypic/lux/data/format/json.lux
@@ -77,9 +77,9 @@
(codec.Codec JSON Int)
(implementation
(def encoded
- (|>> .nat (at nat_codec encoded)))
+ (|>> .nat (of nat_codec encoded)))
(def decoded
- (|>> (at nat_codec decoded) (at try.functor each (|>> .int))))))
+ (|>> (of nat_codec decoded) (of try.functor each (|>> .int))))))
... Builds a JSON generator for potentially inexistent values.
(def .public (nullable format)
@@ -95,10 +95,10 @@
(implementation
(def encoded
(|>> unit.number
- (at ..int_codec encoded)))
+ (of ..int_codec encoded)))
(def decoded
- (|>> (at ..int_codec decoded)
- (at try.functor each unit.measure)))))
+ (|>> (of ..int_codec decoded)
+ (of try.functor each unit.measure)))))
(def encoded
(polytypic encoded
@@ -112,15 +112,15 @@
[(<type>.exactly Any) (function ((, g!_) (, (code.symbol ["" "0"]))) {/.#Null})]
[(<type>.sub Bit) (|>> {/.#Boolean})]
- [(<type>.sub Nat) (at ..nat_codec (,' encoded))]
- [(<type>.sub Int) (at ..int_codec (,' encoded))]
+ [(<type>.sub Nat) (of ..nat_codec (,' encoded))]
+ [(<type>.sub Int) (of ..int_codec (,' encoded))]
[(<type>.sub Frac) (|>> {/.#Number})]
[(<type>.sub Text) (|>> {/.#String})])
<time> (with_template [<type> <codec>]
[(do !
[_ (<type>.exactly <type>)]
(in (` (is (, (@JSON#encoded inputT))
- (|>> (at <codec> (,' encoded)) {/.#String})))))]
+ (|>> (of <codec> (,' encoded)) {/.#String})))))]
... [duration.Duration duration.codec]
... [instant.Instant instant.codec]
@@ -141,7 +141,7 @@
[unitT (<type>.applied (<>.after (<type>.exactly unit.Measure)
<type>.any))]
(in (` (is (, (@JSON#encoded inputT))
- (at measure_codec (,' encoded))))))
+ (of measure_codec (,' encoded))))))
(do !
[.let [g!_ (code.local "_______")
g!key (code.local "_______key")
@@ -152,7 +152,7 @@
encoded))]
(in (` (is (, (@JSON#encoded inputT))
(|>> (dictionary.entries)
- (at list.functor (,' each) (function ((, g!_) [(, g!key) (, g!val)])
+ (of list.functor (,' each) (function ((, g!_) [(, g!key) (, g!val)])
[(, g!key) ((, =val=) (, g!val))]))
(dictionary.of_list text.hash)
{/.#Object})))))
@@ -167,7 +167,7 @@
(<type>.exactly .List)
encoded))]
(in (` (is (, (@JSON#encoded inputT))
- (|>> (at list.functor (,' each) (, =sub=)) sequence.of_list {/.#Array})))))
+ (|>> (of list.functor (,' each) (, =sub=)) sequence.of_list {/.#Array})))))
(do !
[.let [g!_ (code.local "_______")
g!input (code.local "_______input")]