dialyzer_typesig

DATA TYPES

typesig_scc() = [{mfa(), {c_var() (see module cerl), c_fun() (see module cerl)}, dict()}]

Functions

---

analyze_scc(SCC::typesig_scc(), NextLabel::label(), CallGraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), PropTypes::dict(), Solvers0::[solver()]) -> dict()

get_safe_underapprox(Pats::[c_values() (see module cerl)], Guard::cerl() (see module cerl)) -> erl_type() (see module erl_types)

View Functions

• analyze_scc/1
• get_safe_underapprox/1