aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/math/modular.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/math/modular.lux')
-rw-r--r--stdlib/source/test/lux/math/modular.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index 3f313bd12..e8865d207 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -42,8 +42,8 @@
[param\\% ($//.random +1,000,000)
param (..random param\\%)
- subject\\% (random.only (predicate.intersect (|>> //.divisor (i.> +2))
- (|>> (//.= param\\%) not))
+ subject\\% (random.only (predicate.and (|>> //.divisor (i.> +2))
+ (|>> (//.= param\\%) not))
($//.random +1,000,000))
subject (..random subject\\%)
another (..random subject\\%)]
@@ -109,11 +109,11 @@
(do try.monad
[copy\\% (//.modulus (//.divisor subject\\%))
adapt (/.adapter subject\\% copy\\%)]
- (wrap (|> subject
- /.value
- (/.modular copy\\%)
- adapt
- (/.= subject))))))
+ (in (|> subject
+ /.value
+ (/.modular copy\\%)
+ adapt
+ (/.= subject))))))
(_.cover [/.moduli_are_not_equal]
(case (/.adapter subject\\% param\\%)
(#try.Failure error)