Enum unrest_tmp_syn::Ty

pub enum Ty {
    Slice(TySlice),
    Array(TyArray),
    Ptr(TyPtr),
    Rptr(TyRptr),
    BareFn(TyBareFn),
    Never(TyNever),
    Tup(TyTup),
    Path(TyPath),
    TraitObject(TyTraitObject),
    ImplTrait(TyImplTrait),
    Paren(TyParen),
    Group(TyGroup),
    Infer(TyInfer),
    Mac(Mac),
}

The different kinds of types recognized by the compiler

Variants

Slice(TySlice)

A variable-length array ([T])

Array(TyArray)

A fixed length array ([T; n])

Ptr(TyPtr)

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

Rptr(TyRptr)

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

BareFn(TyBareFn)

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

Never(TyNever)

The never type (!)

Tup(TyTup)

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

Path(TyPath)

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

Type parameters are stored in the Path itself

TraitObject(TyTraitObject)

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

ImplTrait(TyImplTrait)

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

Paren(TyParen)

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

Group(TyGroup)

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

Infer(TyInfer)

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

Mac(Mac)

A macro in the type position.

Methods

impl Ty

fn without_plus(i: Cursor) -> PResult<Self>

Trait Implementations

impl Synom for Ty

fn parse(i: Cursor) -> PResult<Self>

fn description() -> Option<&'static str>

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 From<TySlice> for Ty

fn from(e: TySlice) -> Ty

Performs the conversion.

impl From<TyArray> for Ty

fn from(e: TyArray) -> Ty

Performs the conversion.

impl From<TyPtr> for Ty

fn from(e: TyPtr) -> Ty

Performs the conversion.

impl From<TyRptr> for Ty

fn from(e: TyRptr) -> Ty

Performs the conversion.

impl From<TyBareFn> for Ty

fn from(e: TyBareFn) -> Ty

Performs the conversion.

impl From<TyNever> for Ty

fn from(e: TyNever) -> Ty

Performs the conversion.

impl From<TyTup> for Ty

fn from(e: TyTup) -> Ty

Performs the conversion.

impl From<TyPath> for Ty

fn from(e: TyPath) -> Ty

Performs the conversion.

impl From<TyTraitObject> for Ty

fn from(e: TyTraitObject) -> Ty

Performs the conversion.

impl From<TyImplTrait> for Ty

fn from(e: TyImplTrait) -> Ty

Performs the conversion.

impl From<TyParen> for Ty

fn from(e: TyParen) -> Ty

Performs the conversion.

impl From<TyGroup> for Ty

fn from(e: TyGroup) -> Ty

Performs the conversion.

impl From<TyInfer> for Ty

fn from(e: TyInfer) -> Ty

Performs the conversion.

impl From<Mac> for Ty

fn from(e: Mac) -> Ty

Performs the conversion.

impl ToTokens for Ty

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

Write self to the given Tokens.

fn into_tokens(self) -> Tokens

Convert self directly into a Tokens object.