diff --git a/edoc/contracts.html b/edoc/contracts.html index 740c396..e886a04 100644 --- a/edoc/contracts.html +++ b/edoc/contracts.html @@ -39,7 +39,6 @@ contract's type.
is_string(A) -> any()
-isit(HumanType, Term, Mod) -> any()
-locate(Type, Mod, X) -> any()
diff --git a/src/contracts.erl b/src/contracts.erl index 15b2aed..183923e 100644 --- a/src/contracts.erl +++ b/src/contracts.erl @@ -522,9 +522,6 @@ is_nonempty(_) -> true. is_nonundefined(undefined) -> false; is_nonundefined(_) -> true. -isit(HumanType, Term, Mod) -> - isType({prim, HumanType}, Term, Mod). - %% @spec (contract_type_name_atom(), term(), contract_module_name_atom()) -> %% yup | error_hints_term_only_human_readable_sorry() %% @doc Given a contract type name, a term to check against that contract