diff options
| author | Fredrik Gustafsson <[email protected]> | 2013-10-22 09:53:52 +0200 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-10-22 09:53:52 +0200 |
| commit | aa3d0613b1e67f378ee11838f67e7cfbe1bc5928 (patch) | |
| tree | 10bf9be0748bf57d5ed4d7b78ab1417b834ce10d /lib/stdlib/doc/src/dict.xml | |
| parent | a6141d40a3596090c41f7e52537eaab2e733510c (diff) | |
| parent | e6757fb65ef28f6b4b16d626f119bd162c415a81 (diff) | |
| download | otp-aa3d0613b1e67f378ee11838f67e7cfbe1bc5928.tar.gz otp-aa3d0613b1e67f378ee11838f67e7cfbe1bc5928.tar.bz2 otp-aa3d0613b1e67f378ee11838f67e7cfbe1bc5928.zip | |
Merge branch 'mh/dict_orddict_is_empty/OTP-11353'
* mh/dict_orddict_is_empty/OTP-11353:
Update primary bootstrap
Add dict:is_empty/1 and orddict:is_empty/1
Diffstat (limited to 'lib/stdlib/doc/src/dict.xml')
| -rw-r--r-- | lib/stdlib/doc/src/dict.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/stdlib/doc/src/dict.xml b/lib/stdlib/doc/src/dict.xml index b8cf61af80..6ff81b56ee 100644 --- a/lib/stdlib/doc/src/dict.xml +++ b/lib/stdlib/doc/src/dict.xml @@ -177,6 +177,13 @@ merge(Fun, D1, D2) -> </desc> </func> <func> + <name name="is_empty" arity="1"/> + <fsummary>Return true if the dictionary is empty</fsummary> + <desc> + <p>Returns <c>true</c> if <c><anno>Dict</anno></c> has no elements, <c>false</c> otherwise.</p> + </desc> + </func> + <func> <name name="store" arity="3"/> <fsummary>Store a value in a dictionary</fsummary> <desc> |