dialyzer_worker

Types

---

coordinator() = dialyzer_coordinator:coordinator()

extra() = label() | unused

init_data() = dialyzer_coordinator:init_data()

label() = integer() >= 0

mfa_or_funlbl() = label() | mfa()

mode() = dialyzer_coordinator:mode()

result() = dialyzer_coordinator:result()

worker() = pid()

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