diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/collection/set/ordered.lux | 26 |
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) |