diff options
author | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
commit | 36303d6cb2ce3ab9e36d045b9516c997bd461862 (patch) | |
tree | b9d2f1495143054d61d9af129f36833624db9dac /stdlib/source/library/lux/math/modular.lux | |
parent | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (diff) |
Outsourced the syntax for labelled type definitions to macros.
Diffstat (limited to 'stdlib/source/library/lux/math/modular.lux')
-rw-r--r-- | stdlib/source/library/lux/math/modular.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux index 9a94151c4..acfdbab2d 100644 --- a/stdlib/source/library/lux/math/modular.lux +++ b/stdlib/source/library/lux/math/modular.lux @@ -30,8 +30,9 @@ (abstract: .public (Mod m) {} - {#modulus (Modulus m) - #value Int} + (Record + {#modulus (Modulus m) + #value Int}) (def: .public (modular modulus value) (All [%] (-> (Modulus %) Int (Mod %))) @@ -66,7 +67,7 @@ (def: (encoded modular) (let [[_ value] (:representation modular)] - ($_ text\compose + ($_ text\composite (i\encoded value) ..separator (i\encoded (//.divisor expected))))) @@ -125,7 +126,7 @@ (def: identity (..modular modulus <identity>)) - (def: compose + (def: composite <composition>))] [..+ +0 addition] |