diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/coll/ordered/set.lux | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/lux/data/coll/ordered/set.lux b/stdlib/source/lux/data/coll/ordered/set.lux index a8f5ed45d..5d6ba5478 100644 --- a/stdlib/source/lux/data/coll/ordered/set.lux +++ b/stdlib/source/lux/data/coll/ordered/set.lux @@ -1,4 +1,4 @@ -(;module: +(.module: lux (lux (control [monad #+ do Monad] eq @@ -12,23 +12,23 @@ ["s" syntax #+ syntax: Syntax]))) (type: #export (Set a) - (d;Dict a a)) + (d.Dict a a)) (def: #export new (All [a] (-> (Order a) (Set a))) - d;new) + d.new) (def: #export (member? set elem) (All [a] (-> (Set a) a Bool)) - (d;contains? elem set)) + (d.contains? elem set)) (do-template [<name> <alias>] [(def: #export (<name> set) (All [a] (-> (Set a) (Maybe a))) (<alias> set))] - [min d;min] - [max d;max] + [min d.min] + [max d.max] ) (do-template [<name> <alias>] @@ -36,17 +36,17 @@ (All [a] (-> (Set a) Nat)) (<alias> set))] - [size d;size] - [depth d;depth] + [size d.size] + [depth d.depth] ) (def: #export (add elem set) (All [a] (-> a (Set a) (Set a))) - (d;put elem elem set)) + (d.put elem elem set)) (def: #export (remove elem set) (All [a] (-> a (Set a) (Set a))) - (d;remove elem set)) + (d.remove elem set)) (def: #export (from-list Order<a> list) (All [a] (-> (Order a) (List a) (Set a))) @@ -54,7 +54,7 @@ (def: #export (to-list set) (All [a] (-> (Set a) (List a))) - (d;keys set)) + (d.keys set)) (def: #export (union left right) (All [a] (-> (Set a) (Set a) (Set a))) @@ -63,18 +63,18 @@ (def: #export (intersection left right) (All [a] (-> (Set a) (Set a) (Set a))) (|> (to-list right) - (list;filter (member? left)) - (from-list (get@ #d;order right)))) + (list.filter (member? left)) + (from-list (get@ #d.order right)))) (def: #export (difference param subject) (All [a] (-> (Set a) (Set a) (Set a))) (|> (to-list subject) - (list;filter (|>> (member? param) not)) - (from-list (get@ #d;order subject)))) + (list.filter (|>> (member? param) not)) + (from-list (get@ #d.order subject)))) (def: #export (sub? super sub) (All [a] (-> (Set a) (Set a) Bool)) - (list;every? (member? super) (to-list sub))) + (list.every? (member? super) (to-list sub))) (def: #export (super? sub super) (All [a] (-> (Set a) (Set a) Bool)) @@ -82,5 +82,5 @@ (struct: #export Eq<Set> (All [a] (Eq (Set a))) (def: (= reference sample) - (:: (list;Eq<List> (:: sample eq)) + (:: (list.Eq<List> (:: sample eq)) = (to-list reference) (to-list sample)))) |