Enum syn::Type

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

The possible types that a Rust value could have.

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

Syntax tree enum

This type is a syntax tree enum.

Variants

Slice(TypeSlice)

A dynamically sized slice type: [T].

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

Array(TypeArray)

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

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

Ptr(TypePtr)

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

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

Reference(TypeReference)

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

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

BareFn(TypeBareFn)

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

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

Never(TypeNever)

The never type: !.

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

Tuple(TypeTuple)

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

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

Path(TypePath)

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

Type arguments are stored in the Path itself.

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

TraitObject(TypeTraitObject)

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

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

ImplTrait(TypeImplTrait)

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

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

Paren(TypeParen)

A parenthesized type equivalent to the inner type.

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

Group(TypeGroup)

A type contained within invisible delimiters.

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

Infer(TypeInfer)

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

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

Macro(TypeMacro)

A macro in the type position.

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

Verbatim(TypeVerbatim)

Tokens in type position not interpreted by Syn.

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

Methods

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

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

impl PartialEq<Type> for Type

fn eq(&self, other: &Type) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Type) -> bool

This method tests for !=.

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<TypeSlice> for Type

fn from(e: TypeSlice) -> Type

Performs the conversion.

impl From<TypeArray> for Type

fn from(e: TypeArray) -> 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<TypeBareFn> for Type

fn from(e: TypeBareFn) -> Type

Performs the conversion.

impl From<TypeNever> for Type

fn from(e: TypeNever) -> Type

Performs the conversion.

impl From<TypeTuple> for Type

fn from(e: TypeTuple) -> Type

Performs the conversion.

impl From<TypePath> for Type

fn from(e: TypePath) -> Type

Performs the conversion.

impl From<TypeTraitObject> for Type

fn from(e: TypeTraitObject) -> Type

Performs the conversion.

impl From<TypeImplTrait> for Type

fn from(e: TypeImplTrait) -> Type

Performs the conversion.

impl From<TypeParen> for Type

fn from(e: TypeParen) -> Type

Performs the conversion.

impl From<TypeGroup> for Type

fn from(e: TypeGroup) -> 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<TypeVerbatim> for Type

fn from(e: TypeVerbatim) -> Type

Performs the conversion.

impl Eq for Type

impl Hash for Type

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

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

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl ToTokens for Type

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

Write self to the given TokenStream.

fn into_token_stream(self) -> TokenStream

Convert self directly into a TokenStream object.