diff options
Diffstat (limited to 'stdlib/source/library/lux/math/logic')
| -rw-r--r-- | stdlib/source/library/lux/math/logic/continuous.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/library/lux/math/logic/fuzzy.lux | 13 |
2 files changed, 8 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/math/logic/continuous.lux b/stdlib/source/library/lux/math/logic/continuous.lux index eec2d573f..c72e296d1 100644 --- a/stdlib/source/library/lux/math/logic/continuous.lux +++ b/stdlib/source/library/lux/math/logic/continuous.lux @@ -11,7 +11,7 @@ (def: .public false Rev /#bottom) (def: .public true Rev /#top) -(template [<name> <chooser> <monoid> <identity>] +(with_template [<name> <chooser> <monoid> <identity>] [(def: .public <name> (-> Rev Rev Rev) <chooser>) diff --git a/stdlib/source/library/lux/math/logic/fuzzy.lux b/stdlib/source/library/lux/math/logic/fuzzy.lux index 679ebc4a7..79555e858 100644 --- a/stdlib/source/library/lux/math/logic/fuzzy.lux +++ b/stdlib/source/library/lux/math/logic/fuzzy.lux @@ -25,7 +25,7 @@ (def: (each f fb) (|>> f fb))) -(template [<name> <verdict>] +(with_template [<name> <verdict>] [(def: .public <name> Fuzzy (function (_ _) @@ -39,7 +39,7 @@ (All (_ a) (-> (Fuzzy a) a Rev)) (set elem)) -(template [<set_composition> <membership_composition>] +(with_template [<set_composition> <membership_composition>] [(def: .public (<set_composition> left right) (All (_ a) (-> (Fuzzy a) (Fuzzy a) (Fuzzy a))) (function (_ elem) @@ -101,10 +101,11 @@ (..ascending from to) (..descending from to))) -(template: (!sort_2 <low> <high>) - [(if (/.> <low> <high>) - [<low> <high>] - [<high> <low>])]) +(def: !sort_2 + (template (_ <low> <high>) + [(if (/.> <low> <high>) + [<low> <high>] + [<high> <low>])])) (def: .public (triangle bottom middle top) (-> Rev Rev Rev (Fuzzy Rev)) |