diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/set/ordered.lux')
-rw-r--r-- | stdlib/source/library/lux/data/collection/set/ordered.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/data/collection/set/ordered.lux b/stdlib/source/library/lux/data/collection/set/ordered.lux index 2fea2876a..965d85c28 100644 --- a/stdlib/source/library/lux/data/collection/set/ordered.lux +++ b/stdlib/source/library/lux/data/collection/set/ordered.lux @@ -6,7 +6,7 @@ [order {"+" [Order]}]] [data [collection - ["[0]" list ("[1]\[0]" mix)] + ["[0]" list ("[1]#[0]" mix)] [dictionary ["/" ordered]]]] [type @@ -48,11 +48,11 @@ (def: .public (of_list &order list) (All (_ a) (-> (Order a) (List a) (Set a))) - (list\mix has (..empty &order) list)) + (list#mix has (..empty &order) list)) (def: .public (union left right) (All (_ a) (-> (Set a) (Set a) (Set a))) - (list\mix ..has right (..list left))) + (list#mix ..has right (..list left))) (def: .public (intersection left right) (All (_ a) (-> (Set a) (Set a) (Set a))) @@ -70,7 +70,7 @@ (All (_ a) (Equivalence (Set a))) (def: (= reference sample) - (\ (list.equivalence (\ (:representation reference) &equivalence)) + (# (list.equivalence (# (:representation reference) &equivalence)) = (..list reference) (..list sample)))) ) |