aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/collection/set
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/data/collection/set')
-rw-r--r--stdlib/source/library/lux/data/collection/set/multi.lux10
-rw-r--r--stdlib/source/library/lux/data/collection/set/ordered.lux6
2 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux
index 62aa7a52f..abc0836c5 100644
--- a/stdlib/source/library/lux/data/collection/set/multi.lux
+++ b/stdlib/source/library/lux/data/collection/set/multi.lux
@@ -1,10 +1,10 @@
... https://en.wikipedia.org/wiki/Multiset
(.module:
[library
- [lux (#- list)
+ [lux {"-" [list]}
[abstract
- [equivalence (#+ Equivalence)]
- [hash (#+ Hash)]]
+ [equivalence {"+" [Equivalence]}]
+ [hash {"+" [Hash]}]]
[control
["." function]
["." maybe]]
@@ -12,11 +12,11 @@
[number
["n" nat]]]
[type
- [abstract (#+ abstract: :abstraction :representation ^:representation)]]]]
+ [abstract {"+" [abstract: :abstraction :representation ^:representation]}]]]]
["." //
[//
["." list ("#\." mix monoid)]
- ["." dictionary (#+ Dictionary)]]])
+ ["." dictionary {"+" [Dictionary]}]]])
(abstract: .public (Set a)
{}
diff --git a/stdlib/source/library/lux/data/collection/set/ordered.lux b/stdlib/source/library/lux/data/collection/set/ordered.lux
index ac8c54ac0..dc8a825e6 100644
--- a/stdlib/source/library/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/library/lux/data/collection/set/ordered.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux (#- list)
+ [lux {"-" [list]}
[abstract
- [equivalence (#+ Equivalence)]
- [order (#+ Order)]]
+ [equivalence {"+" [Equivalence]}]
+ [order {"+" [Order]}]]
[data
[collection
["." list ("#\." mix)]