dialyzer_plt

Functions


new(Name) -> term()

delete(Name) -> term()

delete_module(Plt, Mod) -> term()

delete_list(Plt, T) -> term()

copy(From, To) -> term()

insert(Plt, Object) -> term()

lookup(Plt, MFA, Args) -> term()

lookup(Plt, MFA) -> term()

lookup_module(Plt, M) -> term()

from_file(Name, FileName) -> term()

merge_and_write_file(PltList, File) -> term()

merge_plts(Left) -> term()

check_init_plt(FileName) -> term()

contains_mfa(Plt, MFA) -> term()

to_edoc(PLT) -> term()

to_edoc(PLT, M, F, A) -> term()

strip_non_member_mfas(Plt, Set) -> term()

pp_non_returning() -> term()

pp_mod(Mod) -> term()

View Functions