Enum evaltrees::ast::Type

pub enum Type {
    Bool,
    Forall(Box<Type>),
    Func(Box<Type>, Box<Type>),
    Int,
    List(Box<Type>),
    Var(usize),
}

A (fully formed) type.

Variants

Bool

The boolean type.

Forall(Box<Type>)

Universal quantification over a variable.

De Brujin indices are used here, so no explicit names are needed.

Func(Box<Type>, Box<Type>)

A function type.

Int

The unsigned integer type.

List(Box<Type>)

A list type.

Var(usize)

A type variable.

Methods

impl Type

pub fn argn(&self) -> usize

Returns the "number of arguments" the type takes.

Trait Implementations

impl Display for Type

fn fmt(&self, fmt: &mut Formatter) -> FmtResult

Formats the value using the given formatter.

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Type

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for Type

fn eq(&self, other: &Type) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Type) -> bool

This method tests for !=.