View Source ExGram.Macros.Checker (ex_gram v0.53.0)

Type checker for the method executer.

Summary

Types

@type error_type_element() :: {any(), [valid_type()]}
@type param_type() :: maybe_improper_list(any(), [valid_type()])
@type params_types() :: [param_type()]
@type valid_type() ::
  :integer
  | :string
  | :boolean
  | :float
  | :file
  | {:array, valid_type()}
  | atom()

Functions

@spec check_types(params_types()) ::
  :ok | {:error, [{error_type_element(), integer()}]}