TypeCheck.Builtin.List (TypeCheck v0.8.0) View Source
Link to this section Summary
Link to this section Types
Specs
problem_tuple() :: {t(), :not_a_list, %{}, any()} | {t(), :element_error, %{ problem: TypeCheck.TypeError.Formatter.problem_tuple(), index: non_neg_integer() }, any()}
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
problem_tuple :: {t(), :not_a_list, %{}, any()} | {t(), :element_error, %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple()), index: non_neg_integer()}, any()}
Specs
t() :: t(TypeCheck.Type.t())
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
t :: t(TypeCheck.Type.t())
Specs
t(element_type) :: %TypeCheck.Builtin.List{element_type: element_type}
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
t(element_type) :: %TypeCheck.Builtin.List{element_type: element_type}