diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/library/lux/math/modulus.lux | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/library/lux/math/modulus.lux')
-rw-r--r-- | stdlib/source/library/lux/math/modulus.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/math/modulus.lux b/stdlib/source/library/lux/math/modulus.lux index 05a0ef26d..72f5d583e 100644 --- a/stdlib/source/library/lux/math/modulus.lux +++ b/stdlib/source/library/lux/math/modulus.lux @@ -18,30 +18,30 @@ [type abstract]]]) -(exception: #export zero_cannot_be_a_modulus) - -(abstract: #export (Modulus %) - Int +(exception: .public zero_cannot_be_a_modulus) +(abstract: .public (Modulus %) {#.doc (doc "A number used as a modulus in modular arithmetic." "It cannot be 0.")} - (def: #export (modulus value) + Int + + (def: .public (modulus value) (Ex [%] (-> Int (Try (Modulus %)))) (if (i.= +0 value) (exception.except ..zero_cannot_be_a_modulus []) (#try.Success (:abstraction value)))) - (def: #export divisor + (def: .public divisor (All [%] (-> (Modulus %) Int)) (|>> :representation)) - (def: #export (= reference subject) + (def: .public (= reference subject) (All [%r %s] (-> (Modulus %r) (Modulus %s) Bit)) (i.= (:representation reference) (:representation subject))) - (def: #export (congruent? modulus reference subject) + (def: .public (congruent? modulus reference subject) (All [%] (-> (Modulus %) Int Int Bit)) (|> subject (i.- reference) @@ -49,7 +49,7 @@ (i.= +0))) ) -(syntax: #export (literal {divisor <code>.int}) +(syntax: .public (literal {divisor <code>.int}) {#.doc (doc "Success!" (literal 123) |