diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/set/multi.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/set/multi.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux index b325c793a..38c1e81af 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -15,7 +15,7 @@ [abstract {"+" [abstract: :abstraction :representation ^:representation]}]]]] ["[0]" // [// - ["[0]" list ("[1]\[0]" mix monoid)] + ["[0]" list ("[1]#[0]" mix monoid)] ["[0]" dictionary {"+" [Dictionary]}]]]) (abstract: .public (Set a) @@ -27,7 +27,7 @@ (def: .public size (All (_ a) (-> (Set a) Nat)) - (|>> :representation dictionary.values (list\mix n.+ 0))) + (|>> :representation dictionary.values (list#mix n.+ 0))) (def: .public (has multiplicity elem set) (All (_ a) (-> Nat a (Set a) (Set a))) @@ -60,8 +60,8 @@ (All (_ a) (-> (Set a) (List a))) (|>> :representation dictionary.entries - (list\mix (function (_ [elem multiplicity] output) - (list\composite (list.repeated multiplicity elem) output)) + (list#mix (function (_ [elem multiplicity] output) + (list#composite (list.repeated multiplicity elem) output)) {.#End}))) (template [<name> <composite>] @@ -75,7 +75,7 @@ (def: .public (intersection parameter (^:representation subject)) (All (_ a) (-> (Set a) (Set a) (Set a))) - (list\mix (function (_ [elem multiplicity] output) + (list#mix (function (_ [elem multiplicity] output) (..has (n.min (..multiplicity parameter elem) multiplicity) elem @@ -88,7 +88,7 @@ (|> parameter :representation dictionary.entries - (list\mix (function (_ [elem multiplicity] output) + (list#mix (function (_ [elem multiplicity] output) (..lacks multiplicity elem output)) subject))) @@ -129,8 +129,8 @@ (def: (hash (^:representation set)) (let [[hash _] set] - (list\mix (function (_ [elem multiplicity] acc) - (|> elem (\ hash hash) (n.* multiplicity) (n.+ acc))) + (list#mix (function (_ [elem multiplicity] acc) + (|> elem (# hash hash) (n.* multiplicity) (n.+ acc))) 0 (dictionary.entries set))))) ) @@ -145,7 +145,7 @@ (def: .public (of_list hash subject) (All (_ a) (-> (Hash a) (List a) (Set a))) - (list\mix (..has 1) (..empty hash) subject)) + (list#mix (..has 1) (..empty hash) subject)) (def: .public (of_set subject) (All (_ a) (-> (//.Set a) (Set a))) |