Enum syn::Ty

[+] Show declaration

pub enum Ty {
    Slice(Box<Ty>),
    Array(Box<Ty>, ConstExpr),
    Ptr(Box<MutTy>),
    Rptr(Option<Lifetime>, Box<MutTy>),
    BareFn(Box<BareFnTy>),
    Never,
    Tup(Vec<Ty>),
    Path(Option<QSelf>, Path),
    TraitObject(Vec<TyParamBound>),
    ImplTrait(Vec<TyParamBound>),
    Paren(Box<Ty>),
    Infer,
    Mac(Mac),
}

[−] Expand description

The different kinds of types recognized by the compiler

Variants

Slice(Box<Ty>)

[−] Expand description

A variable-length array ([T])

Array(Box<Ty>, ConstExpr)

[−] Expand description

A fixed length array ([T; n])

Ptr(Box<MutTy>)

[−] Expand description

A raw pointer (*const T or *mut T)

Rptr(Option<Lifetime>, Box<MutTy>)

[−] Expand description

A reference (&'a T or &'a mut T)

BareFn(Box<BareFnTy>)

[−] Expand description

A bare function (e.g. fn(usize) -> bool)

Never

[−] Expand description

The never type (!)

Tup(Vec<Ty>)

[−] Expand description

A tuple ((A, B, C, D, ...))

Path(Option<QSelf>, Path)

[−] Expand description

A path (module::module::...::Type), optionally "qualified", e.g. <Vec<T> as SomeTrait>::SomeType.

Type parameters are stored in the Path itself

TraitObject(Vec<TyParamBound>)

[−] Expand description

A trait object type Bound1 + Bound2 + Bound3 where Bound is a trait or a lifetime.

ImplTrait(Vec<TyParamBound>)

[−] Expand description

An impl Bound1 + Bound2 + Bound3 type where Bound is a trait or a lifetime.

Paren(Box<Ty>)

[−] Expand description

No-op; kept solely so that we can pretty-print faithfully

Infer

[−] Expand description

TyKind::Infer means the type should be inferred instead of it having been specified. This can appear anywhere in a type.

Mac(Mac)

[−] Expand description

A macro in the type position.

Trait Implementations

impl ToTokens for Ty

[+]

fn to_tokens(&self, tokens: &mut Tokens)

[−]

Write self to the given Tokens.

impl Debug for Ty

[+]

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

[−]

Formats the value using the given formatter.

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

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: &Ty) -> bool

[−]

This method tests for !=.

impl Hash for Ty

[+]

fn hash<__H: Hasher>(&self, state: &mut __H)

[−]

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

[−]

Feeds a slice of this type into the given [Hasher].