diff options
Diffstat (limited to 'stdlib/source/library/lux/math/logic/fuzzy.lux')
-rw-r--r-- | stdlib/source/library/lux/math/logic/fuzzy.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/math/logic/fuzzy.lux b/stdlib/source/library/lux/math/logic/fuzzy.lux index 4c3745470..36277f723 100644 --- a/stdlib/source/library/lux/math/logic/fuzzy.lux +++ b/stdlib/source/library/lux/math/logic/fuzzy.lux @@ -36,12 +36,12 @@ ) (def: .public (membership set elem) - (All [a] (-> (Fuzzy a) a Rev)) + (All (_ a) (-> (Fuzzy a) a Rev)) (set elem)) (template [<set_composition> <membership_composition>] [(def: .public (<set_composition> left right) - (All [a] (-> (Fuzzy a) (Fuzzy a) (Fuzzy a))) + (All (_ a) (-> (Fuzzy a) (Fuzzy a) (Fuzzy a))) (function (_ elem) (<membership_composition> (left elem) (right elem))))] @@ -51,27 +51,27 @@ ) (def: .public (complement set) - (All [a] (-> (Fuzzy a) (Fuzzy a))) + (All (_ a) (-> (Fuzzy a) (Fuzzy a))) (|>> set //.not)) (def: .public (difference sub base) - (All [a] (-> (Fuzzy a) (Fuzzy a) (Fuzzy a))) + (All (_ a) (-> (Fuzzy a) (Fuzzy a) (Fuzzy a))) (..intersection (..complement sub) base)) (def: .public (of_predicate predicate) - (All [a] (-> (Predicate a) (Fuzzy a))) + (All (_ a) (-> (Predicate a) (Fuzzy a))) (function (_ elem) (if (predicate elem) //.true //.false))) (def: .public (predicate treshold set) - (All [a] (-> Rev (Fuzzy a) (Predicate a))) + (All (_ a) (-> Rev (Fuzzy a) (Predicate a))) (function (_ elem) (/.> treshold (set elem)))) (def: .public of_set - (All [a] (-> (Set a) (Fuzzy a))) + (All (_ a) (-> (Set a) (Fuzzy a))) (|>> set.member? ..of_predicate)) (def: (ascending from to) @@ -125,7 +125,7 @@ (..descending middle_top' top')))) (def: .public (cut treshold set) - (All [a] (-> Rev (Fuzzy a) (Fuzzy a))) + (All (_ a) (-> Rev (Fuzzy a) (Fuzzy a))) (function (_ elem) (let [membership (set elem)] (if (/.< treshold membership) |