Enum Type 

pub enum Type {
    Never,
    Bool,
    Int(IntWidth, Signedness),
    Float(FloatWidth),
    Pointer(Mutability, Lifetime, Box<Self>),
    Reference(Mutability, Lifetime, Box<Self>),
    Array(Box<Self>, ConstExpression),
    Vector(Box<Self>, ConstExpression),
    Slice(Mutability, Box<Self>),
    Tuple(Vec<Self>),
    Enum(Vec<Self>),
    Named(String, Vec<GenericArgument>),
    Function(FunctionSignature),
    Generic(String),
    Inferred,
}

A Ty type.

Variants

Never

The never/bottom type (diverges).

Bool

Boolean type.

Int(IntWidth, Signedness)

Integer type with width and signedness.

Float(FloatWidth)

Floating-point type with width.

Pointer(Mutability, Lifetime, Box<Self>)

Raw pointer with mutability, lifetime, and pointee type.

Reference(Mutability, Lifetime, Box<Self>)

Reference with mutability, lifetime, and referent type.

Array(Box<Self>, ConstExpression)

Fixed-size array ([T; N]).

Vector(Box<Self>, ConstExpression)

SIMD vector type.

Slice(Mutability, Box<Self>)

Slice type with mutability.

Tuple(Vec<Self>)

Product type (tuple/struct).

Enum(Vec<Self>)

Sum type (enum/variant).

Named(String, Vec<GenericArgument>)

Named user-defined type with generic arguments.

Function(FunctionSignature)

Function pointer type.

Generic(String)

Unresolved generic type parameter reference.

Inferred

Type to be inferred.

Implementations

impl Type

pub fn unit() -> Self

Returns the unit type (empty tuple).

pub fn is_unit(&self) -> bool

Returns true if this is the unit type.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate 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

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 Eq for Type

impl StructuralPartialEq for Type