diff options
Diffstat (limited to 'stdlib/source/test/lux/math/arithmetic')
-rw-r--r-- | stdlib/source/test/lux/math/arithmetic/fixed_point.lux | 7 | ||||
-rw-r--r-- | stdlib/source/test/lux/math/arithmetic/modular.lux | 17 | ||||
-rw-r--r-- | stdlib/source/test/lux/math/arithmetic/saturation.lux | 6 |
3 files changed, 16 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/math/arithmetic/fixed_point.lux b/stdlib/source/test/lux/math/arithmetic/fixed_point.lux index bff8264f2..f02901c87 100644 --- a/stdlib/source/test/lux/math/arithmetic/fixed_point.lux +++ b/stdlib/source/test/lux/math/arithmetic/fixed_point.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["[0]S" equivalence] - ["[0]S" order]]] + ["[0]S" equivalence]] + ["[0]" order + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] @@ -65,7 +66,7 @@ (_.for [/.equivalence /.=] (equivalenceS.spec (/.equivalence @) (..random @))) (_.for [/.order /.<] - (orderS.spec (/.order @) (..random @))) + (orderT.spec (/.order @) (..random @))) (_.for [/.arithmetic] (arithmeticS.spec (/.equivalence @) (/.arithmetic @) (..random @))) diff --git a/stdlib/source/test/lux/math/arithmetic/modular.lux b/stdlib/source/test/lux/math/arithmetic/modular.lux index 4d05bacbe..0d0a85f46 100644 --- a/stdlib/source/test/lux/math/arithmetic/modular.lux +++ b/stdlib/source/test/lux/math/arithmetic/modular.lux @@ -4,10 +4,13 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] - ["$[0]" order] - ["$[0]" monoid] - ["$[0]" codec]]] + ["$[0]" equivalence]] + ["[0]" codec + ["[1]T" \\test]] + ["[0]" order + ["[1]T" \\test]] + ["[0]" monoid + ["[1]T" \\test]]] [control ["[0]" try] ["[0]" exception] @@ -56,16 +59,16 @@ (_.for [/.equivalence /.=] ($equivalence.spec /.equivalence (..random subject::%))) (_.for [/.order /.<] - ($order.spec /.order (..random subject::%))) + (orderT.spec /.order (..random subject::%))) (,, (with_template [<composite> <monoid>] [(_.for [<monoid> <composite>] - ($monoid.spec /.equivalence (<monoid> subject::%) (..random subject::%)))] + (monoidT.spec /.equivalence (<monoid> subject::%) (..random subject::%)))] [/.+ /.addition] [/.* /.multiplication] )) (_.for [/.codec] - ($codec.spec /.equivalence (/.codec subject::%) (..random subject::%))) + (codecT.spec /.equivalence (/.codec subject::%) (..random subject::%))) (_.coverage [/.incorrect_modulus] (when (|> param diff --git a/stdlib/source/test/lux/math/arithmetic/saturation.lux b/stdlib/source/test/lux/math/arithmetic/saturation.lux index 3ef3adb94..6b1e52a9b 100644 --- a/stdlib/source/test/lux/math/arithmetic/saturation.lux +++ b/stdlib/source/test/lux/math/arithmetic/saturation.lux @@ -36,16 +36,14 @@ (and (within_boundaries? [min max] (/#+ parameter subject)) (within_boundaries? [min max] (/#- parameter subject)) (within_boundaries? [min max] (/#* parameter subject)) - (within_boundaries? [min max] (/#/ parameter subject)) - (within_boundaries? [min max] (/#% parameter subject)))) + (within_boundaries? [min max] (/#/ parameter subject)))) the_order_of_the_boundaries_does_not_matter! (let [(open "/#[0]") (/.arithmetic n.order [max min] n.arithmetic)] (and (within_boundaries? [min max] (/#+ parameter subject)) (within_boundaries? [min max] (/#- parameter subject)) (within_boundaries? [min max] (/#* parameter subject)) - (within_boundaries? [min max] (/#/ parameter subject)) - (within_boundaries? [min max] (/#% parameter subject))))] + (within_boundaries? [min max] (/#/ parameter subject))))] (and boundaries_are_respected! the_order_of_the_boundaries_does_not_matter!))) ))) |