diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/math/modular.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index 76098ff66..bccbdc3e0 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -28,13 +28,13 @@ ["/[1]" // ["[1]" modulus]]]]) -(def: .public (random modulus) +(def .public (random modulus) (All (_ %) (-> (//.Modulus %) (Random (/.Mod %)))) (at random.monad each (/.modular modulus) random.int)) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Mod]) |