dialyzer_worker

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()