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

View Functions

• analyze_scc/1
• analyze_scc_get_all_fun_types/1
• get_safe_underapprox/1