Type.NoInference (mavis v0.0.2) View Source
A dummy inference module.
Link to this section Summary
Functions
Function which assumes that any lambda passed to it takes any parameters and outputs any. Punts on inferring from MFA definitions.
Link to this section Functions
Function which assumes that any lambda passed to it takes any parameters and outputs any. Punts on inferring from MFA definitions.
iex> inspect Type.NoInference.infer(&(&1 + 1))
"{:ok, (any() -> any())}"
iex> inspect Type.NoInference.infer(&(&1 + &2))
"{:ok, (any(), any() -> any())}"
iex> Type.NoInference.infer({String, :split, 1})
:unknown