TypeCheck v0.2.0 TypeCheck.Builtin.Map View Source
Link to this section Summary
Link to this section Types
Specs
problem_tuple() :: {t(), :not_a_map, %{}, any()} | {t(), :key_error, %{problem: TypeCheck.TypeError.Formatter.problem_tuple(), key: any()}, any()} | {t(), :value_error, %{problem: TypeCheck.TypeError.Formatter.problem_tuple(), key: any()}, any()}
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
problem_tuple :: {t(), :not_a_map, %{}, any()} | {t(), :key_error, %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple()), key: any()}, any()} | {t(), :value_error, %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple()), key: any()}, any()}
Specs
t()
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
head
(opaque type)