Enum TypeExpr

pub(in elab) enum TypeExpr {
    TypeKind,
    Named(String),
    Pointer {
        item: Box<TypeExpr>,
    },
    Array {
        item: Box<TypeExpr>,
        len: usize,
    },
    Slice {
        item: Box<TypeExpr>,
    },
    Tuple(Vec<TypeExpr>),
    Apply {
        callee: String,
        args: Vec<TypeExpr>,
    },
    Struct {
        fields: Vec<NamedTypeField>,
    },
    Enum {
        variants: Vec<VariantType>,
    },
    Union {
        fields: Vec<NamedTypeField>,
    },
}

Type syntax shared across frontend stages.

Variants

TypeKind

The kind of all types in meta code.

Named(String)

Named type constructor.

Pointer

Pointer type constructor.

Fields

item: Box<TypeExpr>

Type of the pointed-to value.

Array

Fixed-size array type constructor.

Fields

item: Box<TypeExpr>

Element type stored in the array.

len: usize

Compile-time array length.

Slice

Borrowed slice type constructor.

Fields

item: Box<TypeExpr>

Element type visible through the slice.

Tuple(Vec<TypeExpr>)

Tuple type constructor.

Apply

Type application with explicit arguments.

Fields

callee: String

Type constructor being applied.

args: Vec<TypeExpr>

Explicit type arguments to the constructor.

Struct

Anonymous struct type literal.

Fields

fields: Vec<NamedTypeField>

Fields declared on the anonymous struct type.

Enum

Anonymous enum type literal.

Fields

variants: Vec<VariantType>

Variants declared on the anonymous enum type.

Union

Anonymous union type literal.

Fields

fields: Vec<NamedTypeField>

Fields declared on the anonymous union type.

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> TypeExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpr

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

Formats the value using the given formatter.

impl PartialEq for TypeExpr

fn eq(&self, other: &TypeExpr) -> 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 TypeExpr

impl StructuralPartialEq for TypeExpr