Enum syn::Type

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),
    // some variants omitted
}

The possible types that a Rust value could have.

This type is available only if Syn is built with the "derive" or "full" feature.

Syntax tree enum

This type is a syntax tree enum.

Variants

Array

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

Tuple Fields of Array

0: TypeArray

BareFn

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

Tuple Fields of BareFn

0: TypeBareFn

Group

A type contained within invisible delimiters.

Tuple Fields of Group

0: TypeGroup

ImplTrait

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

Tuple Fields of ImplTrait

0: TypeImplTrait

Infer

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

Tuple Fields of Infer

0: TypeInfer

Macro

A macro in the type position.

Tuple Fields of Macro

0: TypeMacro

Never

The never type: !.

Tuple Fields of Never

0: TypeNever

Paren

A parenthesized type equivalent to the inner type.

Tuple Fields of Paren

0: TypeParen

Path

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

Tuple Fields of Path

0: TypePath

Ptr

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

Tuple Fields of Ptr

0: TypePtr

Reference

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

Tuple Fields of Reference

0: TypeReference

Slice

A dynamically sized slice type: [T].

Tuple Fields of Slice

0: TypeSlice

TraitObject

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

Tuple Fields of TraitObject

0: TypeTraitObject

Tuple

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

Tuple Fields of Tuple

0: TypeTuple

Verbatim

Tokens in type position not interpreted by Syn.

Tuple Fields of Verbatim

0: TokenStream

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

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

Formats the value using the given formatter.

impl From<TypeArray> for Type

fn from(e: TypeArray) -> Type

Performs the conversion.

impl From<TypeBareFn> for Type

fn from(e: TypeBareFn) -> Type

Performs the conversion.

impl From<TypeGroup> for Type

fn from(e: TypeGroup) -> Type

Performs the conversion.

impl From<TypeImplTrait> for Type

fn from(e: TypeImplTrait) -> Type

Performs the conversion.

impl From<TypeInfer> for Type

fn from(e: TypeInfer) -> Type

Performs the conversion.

impl From<TypeMacro> for Type

fn from(e: TypeMacro) -> Type

Performs the conversion.

impl From<TypeNever> for Type

fn from(e: TypeNever) -> Type

Performs the conversion.

impl From<TypeParen> for Type

fn from(e: TypeParen) -> Type

Performs the conversion.

impl From<TypePath> for Type

fn from(e: TypePath) -> Type

Performs the conversion.

impl From<TypePtr> for Type

fn from(e: TypePtr) -> Type

Performs the conversion.

impl From<TypeReference> for Type

fn from(e: TypeReference) -> Type

Performs the conversion.

impl From<TypeSlice> for Type

fn from(e: TypeSlice) -> Type

Performs the conversion.

impl From<TypeTraitObject> for Type

fn from(e: TypeTraitObject) -> Type

Performs the conversion.

impl From<TypeTuple> for Type

fn from(e: TypeTuple) -> Type

Performs the conversion.

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, 

Feeds a slice of this type into the given Hasher.

impl Parse for Type

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

impl PartialEq<Type> for Type

fn eq(&self, other: &Self) -> 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 !=.

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

Convert self directly into a TokenStream object.

impl Eq for Type