diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/dictionary/ordered.lux')
-rw-r--r-- | stdlib/source/library/lux/data/collection/dictionary/ordered.lux | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux index f19843db9..49d4068d5 100644 --- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux @@ -10,10 +10,7 @@ [data ["p" product] [collection - ["." list ("#\." monoid fold)]]] - [macro - ["." code] - ["." template]] + ["." list ("#\." monoid mix)]]] [math [number ["n" nat]]]]]) @@ -101,7 +98,6 @@ (template [<name> <side>] [(def: .public (<name> dict) - {#.doc (example (~~ (template.text ["Yields value under the " <name> "imum key."])))} (All [k v] (-> (Dictionary k v) (Maybe v))) (case (value@ #root dict) #.None @@ -537,10 +533,10 @@ (def: .public (of_list order list) (All [k v] (-> (Order k) (List [k v]) (Dictionary k v))) - (list\fold (function (_ [key value] dict) - (has key value dict)) - (empty order) - list)) + (list\mix (function (_ [key value] dict) + (has key value dict)) + (empty order) + list)) (template [<name> <type> <output>] [(def: .public (<name> dict) |