Age | Commit message (Collapse) | Author |
|
|
|
With parametrized types and specs, modules using
orddict can be statically checked with dialyzer.
Although orddict have not been builtin types, it is
good and more natural to have its exported types and
specs aligned to builtin types.
|
|
fold() and map() handle elements in a well-defined order.
Thanks to Rabbe Fogelholm for pointing out the bug.
|
|
dict:size/1 runs in constant time, but orddict:size/1 does not. With
this change, the two modules stay API compatible and gain a
constant-time function for checking whether a dictionary is empty.
|
|
|
|
Use Erlang specs and types for documentation
|
|
|
|
Fixed grammar and one inconsistency (Key - Value instead of key/value, since everywhere else the former is used).
|
|
|