Enum chalk_parse::ast::Ty

pub enum Ty {
    Id {
        name: Identifier,
    },
    Dyn {
        bounds: Vec<QuantifiedInlineBound>,
        lifetime: Lifetime,
    },
    Apply {
        name: Identifier,
        args: Vec<GenericArg>,
    },
    Projection {
        proj: ProjectionTy,
    },
    ForAll {
        lifetime_names: Vec<Identifier>,
        types: Vec<Box<Ty>>,
        sig: FnSig,
    },
    Tuple {
        types: Vec<Box<Ty>>,
    },
    Scalar {
        ty: ScalarType,
    },
    Slice {
        ty: Box<Ty>,
    },
    Array {
        ty: Box<Ty>,
        len: Const,
    },
    Raw {
        mutability: Mutability,
        ty: Box<Ty>,
    },
    Ref {
        mutability: Mutability,
        lifetime: Lifetime,
        ty: Box<Ty>,
    },
    Str,
    Never,
}

Variants

Id

Fields

name: Identifier

Dyn

Fields

bounds: Vec<QuantifiedInlineBound>

lifetime: Lifetime

Apply

Fields

name: Identifier

args: Vec<GenericArg>

Projection

Fields

proj: ProjectionTy

ForAll

Fields

lifetime_names: Vec<Identifier>

types: Vec<Box<Ty>>

sig: FnSig

Tuple

Fields

types: Vec<Box<Ty>>

Scalar

Fields

ty: ScalarType

Slice

Fields

ty: Box<Ty>

Array

Fields

ty: Box<Ty>

len: Const

Raw

Fields

mutability: Mutability

ty: Box<Ty>

Ref

Fields

mutability: Mutability

lifetime: Lifetime

ty: Box<Ty>

Str

Never

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl PartialEq for Ty

fn eq(&self, other: &Ty) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Ty

impl StructuralPartialEq for Ty