TypeCheck.Builtin.Guarded (TypeCheck v0.8.0) View Source
Link to this section Summary
Link to this section Types
Specs
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)
Specs
t() :: %TypeCheck.Builtin.Guarded{guard: ast(), 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()}