aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/compositor/common.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux8
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux6
6 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 9b3f398f4..6045d8db1 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -40,7 +40,7 @@
(do phase.monad
[_ runtime]
(phase expressionS)))]
- (at host evaluate! evaluation_name expressionG))))
+ (of host evaluate! evaluation_name expressionG))))
(def (definer (open "[0]") state)
(Instancer Definer)
@@ -54,7 +54,7 @@
[host_name host_value host_declaration] (translation.define! lux_name expressionG)
_ (translation.learn lux_name host_name)]
(phase (synthesis.constant lux_name))))]
- (at host evaluate! "definer" definitionG))))
+ (of host evaluate! "definer" definitionG))))
(def .public (executors target expander platform
analysis_bundle translation_bundle declaration_bundle
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 8043bd2e0..5b36db339 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -34,7 +34,7 @@
(def size
(Random Nat)
- (|> r.nat (at r.monad each (|>> (n.% ..limit) (n.max 2)))))
+ (|> r.nat (of r.monad each (|>> (n.% ..limit) (n.max 2)))))
(def (tail? size idx)
(-> Nat Nat Bit)
@@ -69,7 +69,7 @@
[(r.unicode 5) synthesis.text synthesis.path/text]))
(do [! r.monad]
[size ..size
- idx (|> r.nat (at ! each (n.% size)))
+ idx (|> r.nat (of ! each (n.% size)))
[subS subP] when
.let [unitS (synthesis.text synthesis.unit)
whenS (synthesis.tuple
@@ -84,7 +84,7 @@
(in [whenS whenP]))
(do [! r.monad]
[size ..size
- idx (|> r.nat (at ! each (n.% size)))
+ idx (|> r.nat (of ! each (n.% size)))
[subS subP] when
.let [right? (tail? size idx)
whenS (synthesis.variant
@@ -248,7 +248,7 @@
(_.test "==="
(and (text#= (synthesis.%path special_path)
(synthesis.%path special_pattern_path))
- (at synthesis.path_equivalence = special_path special_pattern_path)))
+ (of synthesis.path_equivalence = special_path special_pattern_path)))
(_.test "CODE"
(|> special_input
(run "special_input")
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index a0d202a2e..acb782c1f 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -126,7 +126,7 @@
(def simple_frac
(Random Frac)
- (|> r.nat (at r.monad each (|>> (n.% 1000) .int i.frac))))
+ (|> r.nat (of r.monad each (|>> (n.% 1000) .int i.frac))))
(def (f64 run)
(-> Runner Test)
@@ -174,12 +174,12 @@
(def (text run)
(-> Runner Test)
(do [! r.monad]
- [sample_size (|> r.nat (at ! each (|>> (n.% 10) (n.max 1))))
+ [sample_size (|> r.nat (of ! each (|>> (n.% 10) (n.max 1))))
sample_lower (r.lower_case_alpha sample_size)
sample_upper (r.upper_case_alpha sample_size)
sample_alpha (|> (r.alphabetic sample_size)
(r.only (|>> (text#= sample_upper) not)))
- char_idx (|> r.nat (at ! each (n.% sample_size)))
+ char_idx (|> r.nat (of ! each (n.% sample_size)))
.let [sample_lowerS (synthesis.text sample_lower)
sample_upperS (synthesis.text sample_upper)
sample_alphaS (synthesis.text sample_alpha)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 92d0bdaa2..63b025065 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -52,7 +52,7 @@
(-> Runner Test)
(do [! r.monad]
[[arity local functionS] ..function
- partial_arity (|> r.nat (at ! each (|>> (n.% arity) (n.max 1))))
+ partial_arity (|> r.nat (of ! each (|>> (n.% arity) (n.max 1))))
inputs (r.list arity r.safe_frac)
.let [expectation (maybe.trusted (list.item (-- local) inputs))
inputsS (list#each (|>> synthesis.f64) inputs)]]
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index ce0d00d1a..74c556d80 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -43,7 +43,7 @@
(def (variable run)
(-> Runner Test)
(do [! r.monad]
- [register (|> r.nat (at ! each (n.% 100)))
+ [register (|> r.nat (of ! each (n.% 100)))
expected r.safe_frac]
(_.test "Local variables."
(|> (synthesis.branch/let [(synthesis.f64 expected)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index acf9888e8..b28648520 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -33,8 +33,8 @@
(def (variant run)
(-> Runner Test)
(do [! r.monad]
- [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
- tag_in (|> r.nat (at ! each (n.% num_tags)))
+ [num_tags (|> r.nat (of ! each (|>> (n.% 10) (n.max 2))))
+ tag_in (|> r.nat (of ! each (n.% num_tags)))
.let [last?_in (|> num_tags -- (n.= tag_in))]
value_in r.i64]
(_.test (%.symbol (symbol synthesis.variant))
@@ -69,7 +69,7 @@
(def (tuple run)
(-> Runner Test)
(do [! r.monad]
- [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
+ [size (|> r.nat (of ! each (|>> (n.% 10) (n.max 2))))
tuple_in (r.list size r.i64)]
(_.test (%.symbol (symbol synthesis.tuple))
(|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))