View Source TypeCheck.Builtin.NamedType (TypeCheck v0.13.7)
Summary
Types
@type 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()}
@type t() :: %TypeCheck.Builtin.NamedType{ called_as: nil | {atom(), [any()]}, local: boolean(), name: atom(), type: TypeCheck.Type.t(), type_kind: :type | :typep | :opaque }
(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(),
type_kind: :type | :typep | :opaque,
called_as: nil | {atom(), list(any())}
}