aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/math/modular.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 19:34:42 -0400
committerEduardo Julian2022-06-04 19:34:42 -0400
commitf9e33ae96aec4741385a576719786092c9e68043 (patch)
tree140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/test/lux/math/modular.lux
parent56d2835d35093e2d92c5e8a4371aa322b55e037b (diff)
De-sigil-ification: #
Diffstat (limited to 'stdlib/source/test/lux/math/modular.lux')
-rw-r--r--stdlib/source/test/lux/math/modular.lux38
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index 0137ba9ae..aaf670ba2 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -30,42 +30,42 @@
(def: .public (random modulus)
(All (_ %) (-> (//.Modulus %) (Random (/.Mod %))))
- (# random.monad each
- (/.modular modulus)
- random.int))
+ (at random.monad each
+ (/.modular modulus)
+ random.int))
(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Mod])
(do random.monad
- [param##% ($//.random +1,000,000)
- param (..random param##%)
+ [param::% ($//.random +1,000,000)
+ param (..random param::%)
- subject##% (random.only (predicate.and (|>> //.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##%)]
+ subject (..random subject::%)
+ another (..random subject::%)]
(`` (all _.and
(_.for [/.equivalence /.=]
- ($equivalence.spec /.equivalence (..random subject##%)))
+ ($equivalence.spec /.equivalence (..random subject::%)))
(_.for [/.order /.<]
- ($order.spec /.order (..random subject##%)))
+ ($order.spec /.order (..random subject::%)))
(~~ (template [<composite> <monoid>]
[(_.for [<monoid> <composite>]
- ($monoid.spec /.equivalence (<monoid> subject##%) (..random subject##%)))]
+ ($monoid.spec /.equivalence (<monoid> subject::%) (..random subject::%)))]
[/.+ /.addition]
[/.* /.multiplication]
))
(_.for [/.codec]
- ($codec.spec /.equivalence (/.codec subject##%) (..random subject##%)))
+ ($codec.spec /.equivalence (/.codec subject::%) (..random subject::%)))
(_.coverage [/.incorrect_modulus]
(case (|> param
- (# (/.codec param##%) encoded)
- (# (/.codec subject##%) decoded))
+ (at (/.codec param::%) encoded)
+ (at (/.codec subject::%) decoded))
{try.#Failure error}
(exception.match? /.incorrect_modulus error)
@@ -107,15 +107,15 @@
(_.coverage [/.adapter]
(<| (try.else false)
(do try.monad
- [copy##% (//.modulus (//.divisor subject##%))
- adapt (/.adapter subject##% copy##%)]
+ [copy::% (//.modulus (//.divisor subject::%))
+ adapt (/.adapter subject::% copy::%)]
(in (|> subject
/.value
- (/.modular copy##%)
+ (/.modular copy::%)
adapt
(/.= subject))))))
(_.coverage [/.moduli_are_not_equal]
- (case (/.adapter subject##% param##%)
+ (case (/.adapter subject::% param::%)
{try.#Failure error}
(exception.match? /.moduli_are_not_equal error)