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.

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