dialyzer_succ_typings
DATA TYPES
doc_plt() = undefined | plt() (see module dialyzer_plt)
-
parent() = none | pid()
-
Functions
analyze_callgraph(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), Codeserver::codeserver() (see module dialyzer_codeserver)) -> plt() (see module dialyzer_plt)
analyze_callgraph(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), Codeserver::codeserver() (see module dialyzer_codeserver), Parent::parent()) -> plt() (see module dialyzer_plt)
get_warnings(Callgraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), DocPlt::doc_plt(), Codeserver::codeserver() (see module dialyzer_codeserver), NoWarnUnused::set(), Parent::pid(), BehavioursChk::boolean()) -> {[dial_warning()], plt() (see module dialyzer_plt), doc_plt()}
doit(Module::atom() | filename() (see module file)) -> ok
get_top_level_signatures(Code::c_module() (see module cerl), Records::dict(), Contracts::dict()) -> [{{atom(), arity()}, erl_type() (see module erl_types)}]