diff options
| author | Magnus Henoch <[email protected]> | 2013-09-04 14:08:34 +0100 |
|---|---|---|
| committer | Magnus Henoch <[email protected]> | 2013-09-13 10:44:23 +0100 |
| commit | 0e4b0ae7ce57117a561f70fa51026d85b4702aaa (patch) | |
| tree | 4a0aba55aaeef71d6f2abed3b8aec50cd0018c6a /lib/dialyzer | |
| parent | 5b56a49d15d10ad4a35dbc8b2a4b01486f1d5294 (diff) | |
| download | otp-0e4b0ae7ce57117a561f70fa51026d85b4702aaa.tar.gz otp-0e4b0ae7ce57117a561f70fa51026d85b4702aaa.tar.bz2 otp-0e4b0ae7ce57117a561f70fa51026d85b4702aaa.zip | |
Add dict:is_empty/1 and orddict:is_empty/1
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.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions