diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/math/modular.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index ce10c6ca2..8d4e69ab7 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -30,7 +30,7 @@ (def: .public (random modulus) (All [%] (-> (//.Modulus %) (Random (/.Mod %)))) - (\ random.monad map + (\ random.monad each (/.modular modulus) random.int)) @@ -52,8 +52,8 @@ ($equivalence.spec /.equivalence (..random subject\\%))) (_.for [/.order /.<] ($order.spec /.order (..random subject\\%))) - (~~ (template [<compose> <monoid>] - [(_.for [<monoid> <compose>] + (~~ (template [<composite> <monoid>] + [(_.for [<monoid> <composite>] ($monoid.spec /.equivalence (<monoid> subject\\%) (..random subject\\%)))] [/.+ /.addition] |