Module arithmetic_typing::ast

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

ConstraintsAst	Parameter constraints, e.g. for<len! N; T: Lin>.
FunctionAst	Parsed functional type.
ObjectAst	Object type or constraint, such as { x: Num, y: [(Num, Bool)] }.
SliceAst	Parsed slice type, such as [Num; N].
TupleAst	Parsed tuple type, such as (Num, Bool) or (fn() -> Num, ...[Num; _]).
TypeConstraintsAst	Bounds that can be placed on a type variable.

Enums

AstConversionError	Kinds of errors that can occur when converting *Ast types into their “main” counterparts.
TupleLenAst	Parsed tuple length.
TypeAst	Type annotation after parsing.

Type Definitions

SpannedTypeAst

Spanned TypeAst.