aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux6
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux18
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux12
-rw-r--r--stdlib/source/specification/lux/world/file.lux16
4 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 2424aa330..81e6f5988 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -111,7 +111,7 @@
(-> Runner Test)
(do r.monad
[on-true r.safe-frac
- on-false (|> r.safe-frac (r.filter (|>> (f.= on-true) not)))
+ on-false (|> r.safe-frac (r.only (|>> (f.= on-true) not)))
verdict r.bit]
(_.test (%.name (name-of synthesis.branch/if))
(|> (synthesis.branch/if [(synthesis.bit verdict)
@@ -125,7 +125,7 @@
(do r.monad
[[inputS pathS] ..case
on-success r.safe-frac
- on-failure (|> r.safe-frac (r.filter (|>> (f.= on-success) not)))]
+ on-failure (|> r.safe-frac (r.only (|>> (f.= on-success) not)))]
(_.test (%.name (name-of synthesis.branch/case))
(|> (synthesis.branch/case
[inputS
@@ -231,7 +231,7 @@
(def: special-pattern-path
Path
($_ synthesis.path/alt
- (<| try.assume
+ (<| try.assumed
(phase.run [extension/synthesis.bundle
synthesis.init])
(case.path phase/synthesis.phase
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 3d377b7ca..e14aa8e52 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -75,7 +75,7 @@
(def: (i64 run)
(-> Runner Test)
(do r.monad
- [param (|> r.i64 (r.filter (|>> ("lux i64 =" 0) not)))
+ [param (|> r.i64 (r.only (|>> ("lux i64 =" 0) not)))
subject r.i64]
(`` ($_ _.and
(~~ (template [<extension> <type> <prepare> <comp> <subject-expr>]
@@ -123,7 +123,7 @@
(def: (f64 run)
(-> Runner Test)
(do r.monad
- [param (|> ..simple-frac (r.filter (|>> (f.= +0.0) not)))
+ [param (|> ..simple-frac (r.only (|>> (f.= +0.0) not)))
subject ..simple-frac]
(`` ($_ _.and
(~~ (template [<extension> <reference> <comp>]
@@ -179,7 +179,7 @@
sample-lower (r.ascii/lower-alpha sample-size)
sample-upper (r.ascii/upper-alpha sample-size)
sample-alpha (|> (r.ascii/alpha sample-size)
- (r.filter (|>> (text\= sample-upper) not)))
+ (r.only (|>> (text\= sample-upper) not)))
char-idx (|> r.nat (\ ! map (n.% sample-size)))
#let [sample-lowerS (synthesis.text sample-lower)
sample-upperS (synthesis.text sample-upper)
@@ -235,7 +235,7 @@
(synthesis.i64 +0)))
(run (..sanitize "lux text index"))
(case> (^multi (#try.Success valueV)
- [(:as (Maybe Nat) valueV) (#.Some valueV)])
+ {(:as (Maybe Nat) valueV) (#.Some valueV)})
(n.= 0 valueV)
_
@@ -245,7 +245,7 @@
(synthesis.i64 +0)))
(run (..sanitize "lux text index"))
(case> (^multi (#try.Success valueV)
- [(:as (Maybe Nat) valueV) (#.Some valueV)])
+ {(:as (Maybe Nat) valueV) (#.Some valueV)})
(n.= sample-size valueV)
_
@@ -258,7 +258,7 @@
(synthesis.i64 length)))
(run (..sanitize "lux text clip"))
(case> (^multi (#try.Success valueV)
- [(:as (Maybe Text) valueV) (#.Some valueV)])
+ {(:as (Maybe Text) valueV) (#.Some valueV)})
(text\= expected valueV)
_
@@ -272,7 +272,7 @@
(synthesis.i64 char-idx)))
(run (..sanitize "lux text char"))
(case> (^multi (#try.Success valueV)
- [(:as (Maybe Int) valueV) (#.Some valueV)])
+ {(:as (Maybe Int) valueV) (#.Some valueV)})
(text.contains? ("lux i64 char" valueV)
sample-lower)
@@ -303,7 +303,7 @@
(list (synthesis.text message)))})))
(run (..sanitize "lux try"))
(case> (^multi (#try.Success valueV)
- [(:as (Try Text) valueV) (#try.Failure error)])
+ {(:as (Try Text) valueV) (#try.Failure error)})
(text.contains? message error)
_
@@ -315,7 +315,7 @@
#synthesis.body (synthesis.text message)})))
(run (..sanitize "lux try"))
(case> (^multi (#try.Success valueV)
- [(:as (Try Text) valueV) (#try.Success valueV)])
+ {(:as (Try Text) valueV) (#try.Success valueV)})
(text\= message valueV)
_
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 61fc22611..e620fd520 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -28,12 +28,12 @@
(@//= parameter subject))))
(do random.monad
[parameter generator
- subject (random.filter (|>> (@//= parameter) not)
- generator)
- extra (random.filter (function (_ value)
- (not (or (@//= parameter value)
- (@//= subject value))))
- generator)]
+ subject (random.only (|>> (@//= parameter) not)
+ generator)
+ extra (random.only (function (_ value)
+ (not (or (@//= parameter value)
+ (@//= subject value))))
+ generator)]
(_.test "Transitive property."
(if (@//< parameter subject)
(let [greater? (and (@//< subject extra)
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 7bdefb173..c70e23441 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -178,12 +178,12 @@
(<| (do {! random.monad}
[parent (random.ascii/numeric 2)
child (random.ascii/numeric 2)
- sub_dir (random.filter (|>> (text\= child) not)
- (random.ascii/numeric 2))
- alternate_child (random.filter (predicate.intersect
- (|>> (text\= child) not)
- (|>> (text\= sub_dir) not))
- (random.ascii/numeric 2))
+ sub_dir (random.only (|>> (text\= child) not)
+ (random.ascii/numeric 2))
+ alternate_child (random.only (predicate.intersect
+ (|>> (text\= child) not)
+ (|>> (text\= sub_dir) not))
+ (random.ascii/numeric 2))
expected_file_size (\ ! map (|>> (n.% 10) inc) random.nat)
content ($binary.random expected_file_size)
appendix ($binary.random expected_file_size)
@@ -305,8 +305,8 @@
(-> (IO (/.System Promise)) Test)
(<| (do {! random.monad}
[file (random.ascii/numeric 2)
- dir (random.filter (|>> (text\= file) not)
- (random.ascii/numeric 2))])
+ dir (random.only (|>> (text\= file) not)
+ (random.ascii/numeric 2))])
wrap
(do {! promise.monad}
[fs (promise.future fs)