ElixirST.TypeOperations (ElixirST v0.6.2) View Source

Operations related to expression typing.

Link to this section Summary

Functions

accepted_types()

Returns a list of all accepted types, including :number, :atom, ...

equal?(type, type)

get_type(type)

Process types in @spec format and returns usable types.

get_type(types, env)

get_var(arg1)

Returns the name of the quoted variable or nil in case of an underscore at the beginning.

string(type)

type_to_guard(type)

typeof(value)

valid_type(type)

var_pattern(params, param_type_list)

Link to this section Functions

accepted_types()

Specs

accepted_types() :: [atom()]

Returns a list of all accepted types, including :number, :atom, ...

equal?(type, type)

Specs

equal?(any(), any()) :: boolean()

get_type(type)

Specs

get_type(any()) :: atom() | {:list, any()} | {:tuple, list()} | list()

Process types in @spec format and returns usable types.

Accepts: any, atom, binary, boolean, nil, number, pid, string, no_return, list and tuple The type of variables is returned if the environment contains the corresponding type of variable.

get_type(types, env)

Specs

get_type(any(), %{}) :: atom() | {:list, any()} | {:tuple, list()} | list()

get_var(arg1)

Specs

get_var(any()) :: any()

Returns the name of the quoted variable or nil in case of an underscore at the beginning.

string(type)

type_to_guard(type)

Specs

type_to_guard(binary()) :: :error | binary()

typeof(value)

Specs

typeof(atom() | binary() | boolean() | :error | nil | number() | pid()) ::
  :atom | :binary | :boolean | :error | nil | :number | :pid

valid_type(type)

var_pattern(params, param_type_list)