View Source TypeCheck.Builtin.Guarded (TypeCheck v0.13.7)
Summary
Types
@type ast() :: term()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
ast() :: wrap_with_gen(term(), &TypeCheck.Builtin.Guarded.ast_gen/1)
@type t() :: %TypeCheck.Builtin.Guarded{ guard: ast(), original_module: module() | nil, type: TypeCheck.Type.t() }
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
t() :: %TypeCheck.Builtin.Guarded{
type: TypeCheck.Type.t(),
guard: ast(),
original_module: module() | nil
}