aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/coll/ordered/set.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/data/coll/ordered/set.lux34
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))))