diff options
Diffstat (limited to 'src/pmon.erl')
| -rw-r--r-- | src/pmon.erl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/pmon.erl b/src/pmon.erl index 457865774b..171386a0fd 100644 --- a/src/pmon.erl +++ b/src/pmon.erl @@ -17,7 +17,7 @@ -module(pmon). -export([new/0, monitor/2, monitor_all/2, demonitor/2, is_monitored/2, erase/2, - monitored/1, is_empty/1]). + monitored/1, to_list/1, is_empty/1]). -ifdef(use_specs). @@ -34,6 +34,7 @@ -spec(is_monitored/2 :: (pid(), ?MODULE()) -> boolean()). -spec(erase/2 :: (pid(), ?MODULE()) -> ?MODULE()). -spec(monitored/1 :: (?MODULE()) -> [pid()]). +-spec(to_list/1 :: (?MODULE()) -> [{pid(), reference()}]). -spec(is_empty/1 :: (?MODULE()) -> boolean()). -endif. @@ -61,4 +62,6 @@ erase(Pid, M) -> dict:erase(Pid, M). monitored(M) -> dict:fetch_keys(M). +to_list(M) -> dict:to_list(M). + is_empty(M) -> dict:size(M) == 0. |