TypeCheck.Builtin.NamedType (TypeCheck v0.10.4) View Source
Link to this section Summary
Link to this section Types
Specs
problem_tuple() :: {t(), :named_type, %{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(), :named_type, %{problem: lazy(TypeCheck.TypeError.Formatter.problem_tuple())}, any()}
Specs
t() :: %TypeCheck.Builtin.NamedType{ local: boolean(), name: atom(), type: TypeCheck.Type.t() }
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
t :: %TypeCheck.Builtin.NamedType{name: atom(), type: TypeCheck.Type.t(), local: boolean()}