aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/collection/set/ordered.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/data/collection/set/ordered.lux26
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/lux/data/collection/set/ordered.lux b/stdlib/source/lux/data/collection/set/ordered.lux
index ef9403d06..a3aef2c24 100644
--- a/stdlib/source/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/lux/data/collection/set/ordered.lux
@@ -7,30 +7,30 @@
[collection
["." list ("#/." fold)]
[dictionary
- ["//" ordered]]]]
+ ["/" ordered]]]]
[type
abstract]])
(abstract: #export (Set a)
{}
- (//.Dictionary a a)
+ (/.Dictionary a a)
(def: #export new
(All [a] (-> (Order a) (Set a)))
- (|>> //.new :abstraction))
+ (|>> /.new :abstraction))
(def: #export (member? set elem)
(All [a] (-> (Set a) a Bit))
- (|> set :representation (//.contains? elem)))
+ (|> set :representation (/.contains? elem)))
(do-template [<name> <alias>]
[(def: #export <name>
(All [a] (-> (Set a) (Maybe a)))
(|>> :representation <alias>))]
- [min //.min]
- [max //.max]
+ [min /.min]
+ [max /.max]
)
(do-template [<name> <alias>]
@@ -38,21 +38,21 @@
(-> (Set Any) Nat)
(|>> :representation <alias>))]
- [size //.size]
- [depth //.depth]
+ [size /.size]
+ [depth /.depth]
)
(def: #export (add elem set)
(All [a] (-> a (Set a) (Set a)))
- (|> set :representation (//.put elem elem) :abstraction))
+ (|> set :representation (/.put elem elem) :abstraction))
(def: #export (remove elem set)
(All [a] (-> a (Set a) (Set a)))
- (|> set :representation (//.remove elem) :abstraction))
+ (|> set :representation (/.remove elem) :abstraction))
(def: #export to-list
(All [a] (-> (Set a) (List a)))
- (|>> :representation //.keys))
+ (|>> :representation /.keys))
(def: #export (from-list Order<a> list)
(All [a] (-> (Order a) (List a) (Set a)))
@@ -66,13 +66,13 @@
(All [a] (-> (Set a) (Set a) (Set a)))
(|> (..to-list right)
(list.filter (..member? left))
- (..from-list (get@ #//.order (:representation right)))))
+ (..from-list (get@ #/.order (:representation 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@ #//.order (:representation subject)))))
+ (..from-list (get@ #/.order (:representation subject)))))
(structure: #export equivalence (All [a] (Equivalence (Set a)))
(def: (= reference sample)