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