Module arithmetic_typing::ast
source · Expand description
ASTs for type annotations and their parsing logic.
§Overview
This module contains types representing AST for parsed type annotations; for example,
TypeAst
and FunctionAst
. These two types expose parse
method which
allows to integrate them into nom
parsing.
Structs§
- Parameter constraints, e.g.
for<len! N; T: Lin>
. - Parsed functional type.
- Object type or constraint, such as
{ x: Num, y: [(Num, Bool)] }
. - Parsed slice type, such as
[Num; N]
. - Parsed tuple type, such as
(Num, Bool)
or(fn() -> Num, ...[Num; _])
. - Bounds that can be placed on a type variable.
Enums§
- Kinds of errors that can occur when converting
*Ast
types into their “main” counterparts. - Parsed tuple length.
- Type annotation after parsing.
Type Aliases§
- Spanned
TypeAst
.