View Source TypeCheck.Builtin.MaybeImproperList (TypeCheck v0.13.7)

Summary

Types

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

t()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

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())
Link to this type

t(element_type, terminator_type)

View Source
@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}

Functions