ExGram.Macros.Checker (ex_gram v0.56.0)

View Source

Type checker for the method executer.

Summary

Types

error_type_element()

@type error_type_element() :: {any(), [valid_type()]}

param_type()

@type param_type() :: maybe_improper_list(any(), [valid_type()])

params_types()

@type params_types() :: [param_type()]

valid_type()

@type valid_type() ::
  :integer
  | :string
  | :boolean
  | :float
  | :file
  | {:array, valid_type()}
  | atom()

Functions

check_types(params)

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