Module validator 

Modules

comment

Nested message and enum types in Comment.

data_type

Nested message and enum types in DataType.

diagnostic

Nested message and enum types in Diagnostic.

extension_definition

Nested message and enum types in ExtensionDefinition.

metapattern

Nested message and enum types in Metapattern.

metastatement

Nested message and enum types in Metastatement.

metavalue

Nested message and enum types in Metavalue.

node

Nested message and enum types in Node.

path

Nested message and enum types in Path.

simple_extension

Nested message and enum types in SimpleExtension.

Structs

Comment

Representation of a comment made by the validator that is only intended to be interpreted by people.

DataType

This is effectively a more homogeneous form of substrait.Type, but should otherwise be equally powerful. It is also less context-sensitive, in that usage of type class and type variation extensions includes the complete URI and name, rather than only a plan-specific link.

Diagnostic

Representation of a diagnostic message.

ExtensionDefinition

Definition information for an extension.

FunctionUsage

Information about the usage of a function.

Metapattern

A pattern within the meta type system. In most cases, these can be thought of as representing a (context-sensitive) set of metavalues. In the special case where the set has only one metavalue in it, a pattern can also be evaluated to that metavalue. This allows patterns to be used at both the LHS and RHS of an assignment statement, for matching incoming metavalues or data types, and for deriving data types. Note however, that some binding patterns may evaluate to a value despite representing a non-unit set, or even evaluate to something not in the matched set.

Metastatement

Represents a statement. These are used to specify constraints, and to allow common subexpressions in return type derivations etc. to be eliminated.

Metavalue

A value in the meta type system used for type patterns, type derivations, and type parameters.

Node

Nodes of the validator parse result tree.

ParseResult

Root message type returned by the validator as a result of parsing a substrait.Plan.

Path

An absolute path to a node in the tree.

SimpleExtension

Root message returned by the validator as a result of converting a simple extension module to machine-readable form.