Enum AstType 

pub enum AstType {
    Simple {
        name: SharedString,
        type_args: Vec<AstTypeId>,
        ty: TypeId,
    },
    Array {
        element_type: AstTypeId,
        dimensions: u32,
        ty: TypeId,
    },
    Primitive {
        kind: PrimitiveType,
        ty: TypeId,
    },
    Wildcard {
        bound: Option<WildcardBound>,
        ty: TypeId,
    },
    Error,
}

Variants

Simple

Fields

name: SharedString

type_args: Vec<AstTypeId>

ty: TypeId

Array

Fields

element_type: AstTypeId

dimensions: u32

ty: TypeId

Primitive

Fields

kind: PrimitiveType

ty: TypeId

Wildcard

Fields

bound: Option<WildcardBound>

ty: TypeId

Error

Implementations

impl AstType

pub fn simple(name: SharedString) -> Self

pub fn simple_with_args(name: SharedString, type_args: Vec<AstTypeId>) -> Self

pub fn array(element_type: AstTypeId, dimensions: u32) -> Self

pub fn primitive(kind: PrimitiveType) -> Self

pub fn wildcard(bound: Option<WildcardBound>) -> Self

pub fn error() -> Self

pub fn ty(&self) -> TypeId

pub fn set_ty(&mut self, ty: TypeId)

pub fn is_simple(&self) -> bool

pub fn is_array(&self) -> bool

pub fn is_primitive(&self) -> bool

pub fn is_wildcard(&self) -> bool

pub fn is_error(&self) -> bool

Trait Implementations

impl Clone for AstType

fn clone(&self) -> AstType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AstType

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

Formats the value using the given formatter.

impl PartialEq for AstType

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