Enum Type 

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

A resolved type in the AST.

Variants

Never

Diverging type (never returns).

Bool

Boolean.

Int(IntWidth, Signedness)

Integer with width and signedness.

Float(FloatWidth)

Floating-point with width.

Pointer(Mutability, Box<Self>)

Pointer with mutability and pointee type.

Array(Box<Self>, usize)

Fixed-size array with element type and length.

Vector(Box<Self>, usize)

SIMD vector with element type and lane count.

Slice(Mutability, Box<Self>)

Slice with mutability and element type.

Tuple(Vec<Self>)

Tuple of types (product/AND type).

Enum(Vec<Self>)

Enum of variant types (sum/OR type).

Named(String)

Named/user-defined type.

Function(FunctionSignature)

Function pointer type.

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.

pub fn matches_name(&self, name: &str) -> bool

Returns true if this type matches the given primitive type name.

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 Display 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