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

Write self to the given Tokens.

fn into_tokens(self) -> Tokens

Convert self directly into a Tokens object.