dialyzer_contracts

Functions

---

type_fun(M, F, A, CS) -> term()

type_domain(M, F, A, CS) -> term()

check_contract(General_Domain, Contract_Range, Success_type) -> term()

check_contract(Contracts, Success_type) -> term()

check_contract(M, F, A, CS, Success_type) -> term()

get_contract(X1, CS) -> term()

get_contract_info(X1, CS) -> term()

check_contract_refined(Left) -> term()

delete_contracts(Left, NotFixpoint, Codeserver) -> term()

pp_type(Type) -> term()

pp_type(Type) -> term()

View Functions

• type_fun/4
• type_domain/4
• check_contract/3
• check_contract/2
• check_contract/5
• get_contract/2
• get_contract_info/2
• check_contract_refined/1
• delete_contracts/3
• pp_type/1
• pp_type/1-1