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(TypeArray)

Tuple Fields

0: TypeArray

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

BareFn(TypeBareFn)

Tuple Fields

0: TypeBareFn

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

Group(TypeGroup)

Tuple Fields

0: TypeGroup

A type contained within invisible delimiters.

ImplTrait(TypeImplTrait)

Tuple Fields

0: TypeImplTrait

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

Infer(TypeInfer)

Tuple Fields

0: TypeInfer

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

Macro(TypeMacro)

Tuple Fields

0: TypeMacro

A macro in the type position.

Never(TypeNever)

Tuple Fields

0: TypeNever

The never type: !.

Paren(TypeParen)

Tuple Fields

0: TypeParen

A parenthesized type equivalent to the inner type.

Path(TypePath)

Tuple Fields

0: TypePath

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

Ptr(TypePtr)

Tuple Fields

0: TypePtr

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

Reference(TypeReference)

Tuple Fields

0: TypeReference

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

Slice(TypeSlice)

Tuple Fields

0: TypeSlice

A dynamically sized slice type: [T].

TraitObject(TypeTraitObject)

Tuple Fields

0: TypeTraitObject

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

Tuple(TypeTuple)

Tuple Fields

0: TypeTuple

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

Verbatim(TokenStream)

Tuple Fields

0: 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

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

Convert self directly into a TokenStream object.