aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/math/number
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/math/number')
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux8
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux8
-rw-r--r--stdlib/source/test/lux/math/number/i16.lux2
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux2
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux12
-rw-r--r--stdlib/source/test/lux/math/number/i8.lux2
-rw-r--r--stdlib/source/test/lux/math/number/int.lux8
-rw-r--r--stdlib/source/test/lux/math/number/nat.lux6
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux8
9 files changed, 28 insertions, 28 deletions
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index c2b28e5ee..94a903f79 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -27,7 +27,7 @@
(def: dimension
(Random Frac)
- (do {! random.monad}
+ (do [! random.monad]
[factor (|> random.nat (\ ! each (|>> (n.% 1000) (n.max 1))))
measure (|> random.safe_frac (random.only (f.> +0.0)))]
(in (f.* (|> factor .int int.frac)
@@ -214,7 +214,7 @@
(def: trigonometry
Test
- (do {! random.monad}
+ (do [! random.monad]
[angle ..angle]
($_ _.and
(_.cover [/.sin /.asin]
@@ -226,7 +226,7 @@
(def: hyperbolic
Test
- (do {! random.monad}
+ (do [! random.monad]
[angle ..angle]
($_ _.and
(_.cover [/.sinh]
@@ -258,7 +258,7 @@
(def: root
Test
- (do {! random.monad}
+ (do [! random.monad]
[sample ..random
degree (|> random.nat (\ ! each (|>> (n.max 1) (n.% 5))))]
(_.cover [/.roots]
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index 6a6e6eb4f..baedf891a 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -50,7 +50,7 @@
(def: predicate
Test
- (do {! random.monad}
+ (do [! random.monad]
[sample ..random
shift (\ ! each /.abs ..random)]
($_ _.and
@@ -76,15 +76,15 @@
(def: conversion
Test
($_ _.and
- (do {! random.monad}
+ (do [! random.monad]
[expected (\ ! each (n.% 1,000,000) random.nat)]
(_.cover [/.nat]
(|> expected n.frac /.nat (n.= expected))))
- (do {! random.monad}
+ (do [! random.monad]
[expected (\ ! each (i.% +1,000,000) random.int)]
(_.cover [/.int]
(|> expected i.frac /.int (i.= expected))))
- (do {! random.monad}
+ (do [! random.monad]
[expected (\ ! each (|>> (i64.left_shifted 52) .rev)
random.nat)]
(_.cover [/.rev]
diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux
index 83e09233d..6f35f015c 100644
--- a/stdlib/source/test/lux/math/number/i16.lux
+++ b/stdlib/source/test/lux/math/number/i16.lux
@@ -22,7 +22,7 @@
Test
(<| (_.covering /._)
(_.for [/.I16])
- (do {! random.monad}
+ (do [! random.monad]
[.let [limit (|> (-- /.width)
//i64.mask
.int
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index cfb0e3993..0548c3c86 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -22,7 +22,7 @@
Test
(<| (_.covering /._)
(_.for [/.I32])
- (do {! random.monad}
+ (do [! random.monad]
[.let [limit (|> (-- /.width)
//i64.mask
.int
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index 959cd7930..3a32cdd3b 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -20,7 +20,7 @@
(def: bit
Test
- (do {! random.monad}
+ (do [! random.monad]
[pattern random.nat
idx (\ ! each (n.% /.width) random.nat)]
($_ _.and
@@ -44,7 +44,7 @@
(def: shift
Test
- (do {! random.monad}
+ (do [! random.monad]
[pattern random.nat]
($_ _.and
(do !
@@ -72,7 +72,7 @@
(def: mask
Test
(<| (_.for [/.Mask])
- (do {! random.monad}
+ (do [! random.monad]
[pattern random.nat
idx (\ ! each (n.% /.width) random.nat)
signed random.int]
@@ -121,7 +121,7 @@
(def: sub
Test
(_.for [/.Sub]
- (do {! random.monad}
+ (do [! random.monad]
[size (\ ! each (n.% /.width) random.nat)]
(case (/.sub size)
#.None
@@ -129,7 +129,7 @@
(n.= 0 size))
(#.Some sub)
- (do {! random.monad}
+ (do [! random.monad]
[.let [limit (|> (-- (\ sub width))
/.mask
.int
@@ -163,7 +163,7 @@
Test
(<| (_.covering /._)
(_.for [.I64])
- (do {! random.monad}
+ (do [! random.monad]
[pattern random.nat
idx (\ ! each (n.% /.width) random.nat)]
($_ _.and
diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux
index fc2562dd2..8eb7517f1 100644
--- a/stdlib/source/test/lux/math/number/i8.lux
+++ b/stdlib/source/test/lux/math/number/i8.lux
@@ -22,7 +22,7 @@
Test
(<| (_.covering /._)
(_.for [/.I8])
- (do {! random.monad}
+ (do [! random.monad]
[.let [limit (|> (-- /.width)
//i64.mask
.int
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index b2200f456..3313c5c0a 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -56,7 +56,7 @@
(def: predicate
Test
- (do {! random.monad}
+ (do [! random.monad]
[sample random.int]
($_ _.and
(_.cover [/.negative?]
@@ -134,7 +134,7 @@
(/.= (/.+ left (/.% left right))
(/.mod left right))))))
))
- (do {! random.monad}
+ (do [! random.monad]
[.let [random (|> random.int
(\ ! each (/.% +1,000))
(random.only (|>> (/.= +0) not)))]
@@ -176,13 +176,13 @@
(|> expected /.opposite /.opposite (/.= expected))]
(and subtraction!
inverse!))))
- (do {! random.monad}
+ (do [! random.monad]
[expected (\ ! each (/.% +1,000,000) random.int)
sample random.int]
(_.cover [/.frac]
(and (|> expected /.frac f.int (/.= expected))
(f.number? (/.frac sample)))))
- (do {! random.monad}
+ (do [! random.monad]
[pattern random.int
idx (\ ! each (n.% i64.width) random.nat)]
(_.cover [/.right_shifted]
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 912b16bd4..2084821f7 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -54,7 +54,7 @@
(def: predicate
Test
- (do {! random.monad}
+ (do [! random.monad]
[sample random.nat]
($_ _.and
(_.cover [/.even? /.odd?]
@@ -103,7 +103,7 @@
(and (/.= div (/./ left right))
(/.= rem (/.% left right)))))
))
- (do {! random.monad}
+ (do [! random.monad]
[.let [random (\ ! each (|>> (/.% 1,000) ++) random.nat)]
left random
right random]
@@ -120,7 +120,7 @@
(and (/.= 0 (/.% left lcm))
(/.= 0 (/.% right lcm)))))
))
- (do {! random.monad}
+ (do [! random.monad]
[expected (\ ! each (/.% 1,000,000) random.nat)
sample random.nat]
(_.cover [/.frac]
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index 0398a55a2..bb379d597 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -82,13 +82,13 @@
(_.cover [/.-]
(and (/.= .0 (/.- sample sample))
(/.= sample (/.- .0 sample)))))
- (do {! random.monad}
+ (do [! random.monad]
[left random.rev
right random.rev]
(_.cover [/.*]
(and (/.< left (/.* left right))
(/.< right (/.* left right)))))
- (do {! random.monad}
+ (do [! random.monad]
[.let [dividend (\ ! each (i64.and (hex "FFFF"))
random.rev)
divisor (\ ! each (|>> (i64.and (hex "F"))
@@ -131,7 +131,7 @@
(/.ratio dividend)
(n.= scale)))
))
- (do {! random.monad}
+ (do [! random.monad]
[dividend random.rev
divisor (random.only (|>> (/.= .0) not)
random.rev)]
@@ -155,7 +155,7 @@
(_.cover [/.reciprocal]
(/.= (/.reciprocal sample)
(|> sample /.reciprocal .nat /.reciprocal .nat /.reciprocal))))
- (do {! random.monad}
+ (do [! random.monad]
[expected (\ ! each (|>> f.abs (f.% +1.0))
random.safe_frac)
sample random.rev]
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 01:35:14 +0000