Enum TyExpr

pub enum TyExpr<'a, 'f> {
    Int,
    Bool,
    Real,
    Named(Ident<'a, 'f>),
    Power(Spanned<'f, Box<TyExpr<'a, 'f>>>, Spanned<'f, Expr<'a, 'f>>),
}

A type expression

Variants

Int

Base type: int

Bool

Base type: bool

Real

Base type: real

Named(Ident<'a, 'f>)

A named type.

Example: a, my_type

Power(Spanned<'f, Box<TyExpr<'a, 'f>>>, Spanned<'f, Expr<'a, 'f>>)

An array type

Example: a^5, bool^2^2

Trait Implementations

impl<'a, 'f> Clone for TyExpr<'a, 'f>

fn clone(&self) -> TyExpr<'a, 'f>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, 'f> Debug for TyExpr<'a, 'f>

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

Formats the value using the given formatter.