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}}}