Type.SpecInference (mavis v0.0.6) View Source

An inference module which looks up the spec of the function and if it can find it, it reports that as its associated type.

Link to this section Summary

Functions

infer(module, fun, arity)

Example

iex> Type.SpecInference.infer(String, :trim, 1)
%Type.Function{params: [%Type{module: String, name: :t}],
               return: %Type{module: String, name: :t}}

Link to this section Functions

infer(module, fun, arity)

Example

iex> Type.SpecInference.infer(String, :trim, 1)
%Type.Function{params: [%Type{module: String, name: :t}],
               return: %Type{module: String, name: :t}}