diff options
author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/test/lux/math/modular.lux | |
parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) |
De-sigil-ification: #
Diffstat (limited to 'stdlib/source/test/lux/math/modular.lux')
-rw-r--r-- | stdlib/source/test/lux/math/modular.lux | 38 |
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) |