Enum Type

#[non_exhaustive]
pub enum Type {
    Array(TypeArray),
    BareFn(TypeBareFn),
    Group(TypeGroup),
    ImplTrait(TypeImplTrait),
    Infer(TypeInfer),
    Macro(TypeMacro),
    Never(TypeNever),
    Paren(TypeParen),
    Path(TypePath),
    Ptr(TypePtr),
    Reference(TypeReference),
    Slice(TypeSlice),
    TraitObject(TypeTraitObject),
    Tuple(TypeTuple),
    Verbatim(TokenStream),
}

The possible types that a Rust value could have.

Syntax tree enum

This type is a syntax tree enum.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Array(TypeArray)

A fixed size array type: [T; n].

BareFn(TypeBareFn)

A bare function type: fn(usize) -> bool.

Group(TypeGroup)

A type contained within invisible delimiters.

ImplTrait(TypeImplTrait)

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

Infer(TypeInfer)

Indication that a type should be inferred by the compiler: _.

Macro(TypeMacro)

A macro in the type position.

Never(TypeNever)

The never type: !.

Paren(TypeParen)

A parenthesized type equivalent to the inner type.

Path(TypePath)

A path like std::slice::Iter, optionally qualified with a self-type as in <Vec<T> as SomeTrait>::Associated.

Ptr(TypePtr)

A raw pointer type: *const T or *mut T.

Reference(TypeReference)

A reference type: &'a T or &'a mut T.

Slice(TypeSlice)

A dynamically sized slice type: [T].

TraitObject(TypeTraitObject)

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

Tuple(TypeTuple)

A tuple type: (A, B, C, String).

Verbatim(TokenStream)

Tokens in type position not interpreted by Syn.

Implementations

impl Type

pub fn without_plus(input: &ParseBuffer<'_>) -> Result<Type, Error>

In some positions, types may not contain the + character, to disambiguate them. For example in the expression 1 as T, T may not contain a + character.

This parser does not allow a +, while the default parser does.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl From<TypeArray> for Type

fn from(e: TypeArray) -> Type

Converts to this type from the input type.

impl From<TypeBareFn> for Type

fn from(e: TypeBareFn) -> Type

Converts to this type from the input type.

impl From<TypeGroup> for Type

fn from(e: TypeGroup) -> Type

Converts to this type from the input type.

impl From<TypeImplTrait> for Type

fn from(e: TypeImplTrait) -> Type

Converts to this type from the input type.

impl From<TypeInfer> for Type

fn from(e: TypeInfer) -> Type

Converts to this type from the input type.

impl From<TypeMacro> for Type

fn from(e: TypeMacro) -> Type

Converts to this type from the input type.

impl From<TypeNever> for Type

fn from(e: TypeNever) -> Type

Converts to this type from the input type.

impl From<TypeParen> for Type

fn from(e: TypeParen) -> Type

Converts to this type from the input type.

impl From<TypePath> for Type

fn from(e: TypePath) -> Type

Converts to this type from the input type.

impl From<TypePtr> for Type

fn from(e: TypePtr) -> Type

Converts to this type from the input type.

impl From<TypeReference> for Type

fn from(e: TypeReference) -> Type

Converts to this type from the input type.

impl From<TypeSlice> for Type

fn from(e: TypeSlice) -> Type

Converts to this type from the input type.

impl From<TypeTraitObject> for Type

fn from(e: TypeTraitObject) -> Type

Converts to this type from the input type.

impl From<TypeTuple> for Type

fn from(e: TypeTuple) -> Type

Converts to this type from the input type.

impl Hash for Type

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

where H: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parse for Type

fn parse(input: &ParseBuffer<'_>) -> Result<Type, Error>

impl PartialEq for Type

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

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

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.

impl Eq for Type