Enum syn::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: ParseStream<'_>) -> Result<Self>

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) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

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 Parse for Type

fn parse(input: ParseStream<'_>) -> Result<Self>

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.