View Source TypeCheck.Builtin.Map (TypeCheck v0.13.7)
Summary
Types
@type 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()}
@opaque t()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
t
(opaque type)