ElixirST.TypeOperations (ElixirST v0.7.5) 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_vars(var, type)

get_vars_tuple(ops, type_list)

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_vars(var, type)

Specs

get_vars(any(), atom() | {:list, any()} | {:tuple, list()} | list()) ::
  list() | {:error, :binary}

get_vars_tuple(ops, type_list)

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)