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 TyKind

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 Ty

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

impl TypeExpression for TyArray

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

impl TypeExpression for TyFn

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

impl TypeExpression for TyRef

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

impl TypeExpression for TySlice

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

impl TypeExpression for TyTuple

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

impl TypeExpression for [PathPart]

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

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

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

Implementors