Enum syn::Type

source · [−]

#[non_exhaustive]
pub enum Type {
Show 15 variants
    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),
}

Expand description

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 (Non-exhaustive)

This enum is marked as non-exhaustive

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

`Array(TypeArray)`

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

`BareFn(TypeBareFn)`

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

`Group(TypeGroup)`

A type contained within invisible delimiters.

`ImplTrait(TypeImplTrait)`

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

`Infer(TypeInfer)`

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

`Macro(TypeMacro)`

A macro in the type position.

`Never(TypeNever)`

The never type: !.

`Paren(TypeParen)`

A parenthesized type equivalent to the inner type.

`Path(TypePath)`

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

`Ptr(TypePtr)`

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

`Reference(TypeReference)`

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

`Slice(TypeSlice)`

A dynamically sized slice type: [T].

`TraitObject(TypeTraitObject)`

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

`Tuple(TypeTuple)`

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

`Verbatim(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. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

impl Debug for Type

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

Formats the value using the given formatter. Read more

impl From<TypeArray> for Type

fn from(e: TypeArray) -> Type

Converts to this type from the input type.

impl From<TypeBareFn> for Type

fn from(e: TypeBareFn) -> Type

Converts to this type from the input type.

impl From<TypeGroup> for Type

fn from(e: TypeGroup) -> Type

Converts to this type from the input type.

impl From<TypeImplTrait> for Type

fn from(e: TypeImplTrait) -> Type

Converts to this type from the input type.

impl From<TypeInfer> for Type

fn from(e: TypeInfer) -> Type

Converts to this type from the input type.

impl From<TypeMacro> for Type

fn from(e: TypeMacro) -> Type

Converts to this type from the input type.

impl From<TypeNever> for Type

fn from(e: TypeNever) -> Type

Converts to this type from the input type.

impl From<TypeParen> for Type

fn from(e: TypeParen) -> Type

Converts to this type from the input type.

impl From<TypePath> for Type

fn from(e: TypePath) -> Type

Converts to this type from the input type.

impl From<TypePtr> for Type

fn from(e: TypePtr) -> Type

Converts to this type from the input type.

impl From<TypeReference> for Type

fn from(e: TypeReference) -> Type

Converts to this type from the input type.

impl From<TypeSlice> for Type

fn from(e: TypeSlice) -> Type

Converts to this type from the input type.

impl From<TypeTraitObject> for Type

fn from(e: TypeTraitObject) -> Type

Converts to this type from the input type.

impl From<TypeTuple> for Type

fn from(e: TypeTuple) -> Type

Converts to this type from the input type.

impl Hash for Type

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

Feeds this value into the given Hasher. Read more

1.3.0 · source

fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,

Feeds a slice of this type into the given Hasher. Read more

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 ==. Read more

1.0.0 · source

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. Read more

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object. Read more

fn into_token_stream(self) -> TokenStream

Convert self directly into a TokenStream object. Read more

impl Eq for Type

Auto Trait Implementations

impl RefUnwindSafe for Type

impl !Send for Type

impl !Sync for Type

impl Unpin for Type

impl UnwindSafe for Type

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Spanned for T where
T: Spanned + ?Sized,

fn span(&self) -> Span

Returns a Span covering the complete contents of this syntax tree node, or Span::call_site() if this node is empty. Read more

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.