diff options
| author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
| commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
| tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/library/lux/math/modulus.lux | |
| parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) | |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/library/lux/math/modulus.lux')
| -rw-r--r-- | stdlib/source/library/lux/math/modulus.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/math/modulus.lux b/stdlib/source/library/lux/math/modulus.lux index 7071c834a..3f976476a 100644 --- a/stdlib/source/library/lux/math/modulus.lux +++ b/stdlib/source/library/lux/math/modulus.lux @@ -23,22 +23,22 @@ (primitive .public (Modulus %) Int - (def: .public (modulus value) + (def .public (modulus value) (Ex (_ %) (-> Int (Try (Modulus %)))) (if (i.= +0 value) (exception.except ..zero_cannot_be_a_modulus []) {try.#Success (abstraction value)})) - (def: .public divisor + (def .public divisor (All (_ %) (-> (Modulus %) Int)) (|>> representation)) - (def: .public (= reference subject) + (def .public (= reference subject) (All (_ %r %s) (-> (Modulus %r) (Modulus %s) Bit)) (i.= (representation reference) (representation subject))) - (def: .public (congruent? modulus reference subject) + (def .public (congruent? modulus reference subject) (All (_ %) (-> (Modulus %) Int Int Bit)) (|> subject (i.- reference) @@ -46,7 +46,7 @@ (i.= +0))) ) -(def: .public literal +(def .public literal (syntax (_ [divisor <code>.int]) (meta.lifted (do try.monad |