diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/math/modular.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/math/modular.lux b/stdlib/source/lux/math/modular.lux index 882162d5d..c00fceb0c 100644 --- a/stdlib/source/lux/math/modular.lux +++ b/stdlib/source/lux/math/modular.lux @@ -22,10 +22,10 @@ (exception: #export zero-cannot-be-a-modulus) (abstract: #export (Modulus m) + Int + {#.doc (doc "A number used as a modulus in modular arithmetic." "It cannot be 0.")} - - Int (def: #export (from-int value) (Ex [m] (-> Int (Try (Modulus m)))) @@ -69,11 +69,11 @@ (l.and (l.one-of "-+") (l.many l.decimal)))) (abstract: #export (Mod m) - {#.doc "A number under a modulus."} - {#remainder Int #modulus (Modulus m)} + {#.doc "A number under a modulus."} + (def: #export (mod modulus) (All [m] (-> (Modulus m) (-> Int (Mod m)))) (function (_ value) |