dialyzer_typesig
DATA TYPES
typesig_ret() = [{mfa(), erl_type()}]
-
typesig_scc() = [{mfa(), {term(), term()}, dict()}]
-
Functions
analyze_scc(SCC::typesig_scc(), NextLabel::integer(), Dialyzer_callgraph::#dialyzer_callgraph{}, Dialyzer_plt::#dialyzer_plt{}) -> typesig_ret()
analyze_scc_get_all_fun_types(SCC::typesig_scc(), NextLabel::integer(), Dialyzer_callgraph::#dialyzer_callgraph{}, Dialyzer_plt::#dialyzer_plt{}, PropTypes::dict()) -> dict()
get_safe_underapprox(Pats::[term()], Guard::core_tree()) -> erl_type()