diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/math/modular.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux index 1af638ee7..09e1b6a31 100644 --- a/stdlib/source/library/lux/math/modular.lux +++ b/stdlib/source/library/lux/math/modular.lux @@ -36,7 +36,7 @@ (abstraction [#modulus modulus #value (i.mod (//.divisor modulus) value)])) - (template [<name> <type> <side>] + (with_template [<name> <type> <side>] [(def: .public <name> (All (_ %) (-> (Mod %) <type>)) (|>> representation <side>))] @@ -77,7 +77,7 @@ (i.= (//.divisor expected) actual))] (in (..modular expected value)))))) - (template [<name> <op>] + (with_template [<name> <op>] [(def: .public (<name> reference subject) (All (_ %) (-> (Mod %) (Mod %) Bit)) (let [[_ reference] (representation reference) @@ -102,7 +102,7 @@ (def: equivalence ..equivalence) (def: < ..<)) - (template [<name> <op>] + (with_template [<name> <op>] [(def: .public (<name> param subject) (All (_ %) (-> (Mod %) (Mod %) (Mod %))) (let [[modulus param] (representation param) @@ -117,7 +117,7 @@ [* i.*] ) - (template [<composition> <identity> <monoid>] + (with_template [<composition> <identity> <monoid>] [(implementation: .public (<monoid> modulus) (All (_ %) (-> (Modulus %) (Monoid (Mod %)))) |