Enum TypeExprKind 

pub enum TypeExprKind {
    Named(Symbol),
    Var(Symbol),
    App(Symbol, Vec<TypeExpr>),
    Arrow(Box<TypeExpr>, Box<TypeExpr>),
    Tuple(Vec<TypeExpr>),
    Paren(Box<TypeExpr>),
}

Variants

Named(Symbol)

A named type: Int, Bool, option, etc.

Var(Symbol)

A type variable: 'a

App(Symbol, Vec<TypeExpr>)

Type application: 'a list, ('a, 'b) either

Arrow(Box<TypeExpr>, Box<TypeExpr>)

Arrow: a -> b

Tuple(Vec<TypeExpr>)

Tuple: a * b * c

Paren(Box<TypeExpr>)

Parenthesized

Trait Implementations

impl Clone for TypeExprKind

fn clone(&self) -> TypeExprKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExprKind

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

Formats the value using the given formatter.

impl PartialEq for TypeExprKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TypeExprKind