Module syntastic::ast

Abstract syntax trees

Asts are trees with Variables, V, as leaves and operations as non-leaves. Each Ast and all of its subcomponents are indexed by some syntactic sort, S. Each Operator, O, encodes a sequence of sorts and can be composed with Asts of those sorts to construct an operation node.

Structs

ArgumentSortMismatch	Error matching Ast with sort expected by Operator
Ast	Abstract syntax tree of sort, S, with leaves ,V, and non-leaves, O
InvalidSubstitution	Error substituting Ast in place of Variable due to misaligned sorts, S

Enums

InvalidOperation

Error constructing operation from Operator and Ast arguments

Traits

Operator	Non-leaf node of an abstract syntax tree indexed by some sort, S
Variable	Leaf node of an abstract syntax tree indexed by some sort, S