Enum syn::Type

[+] Show declaration

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),
}

[−] Expand description

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)

[−] Expand description

A dynamically sized slice type: [T].

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

Array(TypeArray)

[−] Expand description

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

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

Ptr(TypePtr)

[−] Expand description

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)

[−] Expand description

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)

[−] Expand description

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

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

Never(TypeNever)

[−] Expand description

The never type: !.

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

Tuple(TypeTuple)

[−] Expand description

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

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

Path(TypePath)

[−] Expand description

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)

[−] Expand description

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)

[−] Expand description

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)

[−] Expand description

A parenthesized type equivalent to the inner type.

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

Group(TypeGroup)

[−] Expand description

A type contained within invisible delimiters.

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

Infer(TypeInfer)

[−] Expand description

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)

[−] Expand description

A macro in the type position.

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

Verbatim(TypeVerbatim)

[−] Expand description

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(i: Cursor) -> PResult<Self>

Trait Implementations

impl From<Type> for FnArg

[+]

fn from(e: Type) -> FnArg

[−]

Performs the conversion.

impl Synom for Type

[+]

fn parse(i: Cursor) -> PResult<Self>

fn description() -> Option<&'static str>

[−]

A short name of the type being parsed.

impl Debug for Type

[+]

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

[−]

Formats the value using the given formatter.

impl Eq for Type

impl PartialEq 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 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 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 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.