diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/coll/ordered.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/data/coll/ordered.lux b/stdlib/source/lux/data/coll/ordered.lux index 1db97519b..37fbb1505 100644 --- a/stdlib/source/lux/data/coll/ordered.lux +++ b/stdlib/source/lux/data/coll/ordered.lux @@ -2,7 +2,7 @@ lux (lux (control monad eq - [ord #+ Ord]) + [order #+ Order]) (data (coll [list "" Monad<List> "L/" Monoid<List> Fold<List>]) ["p" product] ["M" maybe #+ Functor<Maybe>]) @@ -33,12 +33,12 @@ ) (type: #export (Set a) - {#order (Ord a) + {#order (Order a) #root (Maybe (Node a))}) -(def: #export (new Ord<a>) - (All [a] (-> (Ord a) (Set a))) - {#order Ord<a> +(def: #export (new Order<a>) + (All [a] (-> (Order a) (Set a))) + {#order Order<a> #root #;None}) (def: #export (member? tree elem) @@ -446,9 +446,9 @@ (set@ #root (#;Some (blacken root)) tree) ))) -(def: #export (from-list Ord<a> list) - (All [a] (-> (Ord a) (List a) (Set a))) - (L/fold add (new Ord<a>) list)) +(def: #export (from-list Order<a> list) + (All [a] (-> (Order a) (List a) (Set a))) + (L/fold add (new Order<a>) list)) (def: #export (to-list tree) (All [a] (-> (Set a) (List a))) @@ -489,5 +489,5 @@ (struct: #export Eq<Set> (All [a] (Eq (Set a))) (def: (= reference sample) - (:: (list;Eq<List> (get@ [#order #ord;eq] sample)) + (:: (list;Eq<List> (get@ [#order #order;eq] sample)) = (to-list reference) (to-list sample)))) |