View Source TypeCheck.Builtin.MaybeImproperList (TypeCheck v0.13.7)
Summary
Types
@type problem_tuple() :: {t(), :not_a_list, %{}, any()} | {t(), :element_error, %{ problem: TypeCheck.TypeError.Formatter.problem_tuple(), index: non_neg_integer() }, any()} | {t(), :terminator_error, %{problem: TypeCheck.TypeError.Formatter.problem_tuple()}, 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()}
| {t(), :terminator_error, %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple())}, any()}
@type t() :: t(TypeCheck.Type.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(), TypeCheck.Type.t())
@type t(element_type, terminator_type) :: %TypeCheck.Builtin.MaybeImproperList{
element_type: element_type,
terminator_type: terminator_type
}
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
t(element_type, terminator_type) :: %TypeCheck.Builtin.MaybeImproperList{element_type: element_type, terminator_type: terminator_type}