Type.NoInference (mavis v0.0.6) View Source
A fallback inference module. Builds a type out of the arity
of the function, claiming that it takes any/0
values for
all of the parameters and returns any/0
Link to this section Summary
Functions
Function which punts on inferring from MFA definitions.
Link to this section Functions
Function which punts on inferring from MFA definitions.
iex> Type.NoInference.infer(String, :split, 1)
{:ok, %Type.Function{params: [%Type{name: :any}],
return: %Type{name: :any}}}