Enum TyExpr

pub enum TyExpr {
    None,
    Ty(Ty),
    Int(ConstValue),
}

A type expression is something that we resolve from an identifier and are valid as type parameters. These aren’t always necessarily types, but are type-related expressions.

Variants

None

None.

This is a special type only for use in Union types.

Ty(Ty)

A type.

Int(ConstValue)

A value, possibly resolved from a const.

This isn’t a normal type, but it’s valid and we can resolve to it from things that look like types and then would proceed to error from that.

Implementations

impl TyExpr

pub fn new_simple(ident: Identifier) -> Self

Create a new simple type expression.

pub fn new_int(v: u64) -> Self

Create a new integer type expression.

pub fn iter_idents(&self) -> impl Iterator<Item = &Identifier>

Iterate over all the identifiers in the type expression.

Trait Implementations

impl Clone for TyExpr

fn clone(&self) -> TyExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TyExpr

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

Formats the value using the given formatter.