ElixirST
ElixirST
v0.8.3

View Source ElixirST.TypeOperations (ElixirST v0.8.3)

Operations related to expression typing.

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)

Functions

Link to this function

accepted_types()

View Source 
@spec accepted_types() :: [atom()]

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

Link to this function

equal?(type, type)

View Source 
@spec equal?(any(), any()) :: boolean()
Link to this function

get_type(type)

View Source 
@spec 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.

Link to this function

get_type(types, env)

View Source 
@spec get_type(any(), %{}) :: atom() | {:list, any()} | {:tuple, list()} | list()
Link to this function

get_vars(var, type)

View Source 
@spec get_vars(any(), atom() | {:list, any()} | {:tuple, list()} | list()) ::
  list() | {:error, :binary}
Link to this function

get_vars_tuple(ops, type_list)

View Source
Link to this function

string(type)

View Source
Link to this function

type_to_guard(type)

View Source 
@spec type_to_guard(binary()) :: :error | binary()
Link to this function

typeof(value)

View Source 
@spec typeof(atom() | binary() | boolean() | :error | nil | number() | pid()) ::
  :atom | :binary | :boolean | :error | nil | :number | :pid
Link to this function

valid_type(type)

View Source
Link to this function

var_pattern(params, param_type_list)

View Source