dialyzer_worker
(dialyzer)
DATA TYPES
coordinator() = coordinator() (see module dialyzer_coordinator)
-
extra() = label() | unused
-
init_data() = init_data() (see module dialyzer_coordinator)
-
label() = non_neg_integer()
-
mfa_or_funlbl() = label() | mfa()
-
mode() = mode() (see module dialyzer_coordinator)
-
result() = result() (see module dialyzer_coordinator)
-
worker() = pid()
-
opaque
Functions
launch(Mode::mode(), Job::[mfa_or_funlbl()], InitData::init_data(), Coordinator::coordinator()) -> worker()
sequential(X1::mode(), Job::[mfa_or_funlbl()], InitData::init_data(), Extra::extra()) -> result()
DATA TYPES
coordinator() = coordinator() (see module dialyzer_coordinator)extra() = label() | unusedinit_data() = init_data() (see module dialyzer_coordinator)label() = non_neg_integer()mfa_or_funlbl() = label() | mfa()mode() = mode() (see module dialyzer_coordinator)result() = result() (see module dialyzer_coordinator)worker() = pid()opaque