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