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

Type checker for the method executer.

Summary

param_type()

params_types()

valid_type()

@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()

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