Trait TypeExpression 

pub trait TypeExpression<Out = Handle> {
    // Required method
    fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Out, Error>;
}

A TypeExpression is a syntactic representation of a TypeKind, and is used to construct type bindings in a Table’s typing context.

Required Methods

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Out, Error>

Evaluates a type expression, recursively creating intermediate bindings.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl TypeExpression for Expr

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Handle, Error>

impl TypeExpression for Pat

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Handle, Error>

impl TypeExpression for Path

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Handle, Error>

impl TypeExpression for Symbol

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Handle, Error>

impl TypeExpression for [Symbol]

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Handle, Error>

impl<T: TypeExpression<U> + AstNode, U, A: AstTypes> TypeExpression<U> for At<T, A>

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<U, Error>

impl<T: TypeExpression<U>, U> TypeExpression<Vec<U>> for [T]

fn evaluate(&self, table: &mut Table, node: Handle) -> Result<Vec<U>, Error>

Implementors