# 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

source

### impl Type

source

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

source

### impl Clone for Type

source

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

source

### impl From<TypeArray> for Type

source

#### fn from(e: TypeArray) -> Type

Converts to this type from the input type.

source

### impl From<TypeBareFn> for Type

source

#### fn from(e: TypeBareFn) -> Type

Converts to this type from the input type.

source

### impl From<TypeGroup> for Type

source

#### fn from(e: TypeGroup) -> Type

Converts to this type from the input type.

source

### impl From<TypeImplTrait> for Type

source

#### fn from(e: TypeImplTrait) -> Type

Converts to this type from the input type.

source

### impl From<TypeInfer> for Type

source

#### fn from(e: TypeInfer) -> Type

Converts to this type from the input type.

source

### impl From<TypeMacro> for Type

source

#### fn from(e: TypeMacro) -> Type

Converts to this type from the input type.

source

### impl From<TypeNever> for Type

source

#### fn from(e: TypeNever) -> Type

Converts to this type from the input type.

source

### impl From<TypeParen> for Type

source

#### fn from(e: TypeParen) -> Type

Converts to this type from the input type.

source

### impl From<TypePath> for Type

source

#### fn from(e: TypePath) -> Type

Converts to this type from the input type.

source

### impl From<TypePtr> for Type

source

#### fn from(e: TypePtr) -> Type

Converts to this type from the input type.

source

### impl From<TypeReference> for Type

source

#### fn from(e: TypeReference) -> Type

Converts to this type from the input type.

source

### impl From<TypeSlice> for Type

source

#### fn from(e: TypeSlice) -> Type

Converts to this type from the input type.

source

### impl From<TypeTraitObject> for Type

source

#### fn from(e: TypeTraitObject) -> Type

Converts to this type from the input type.

source

### impl From<TypeTuple> for Type

source

#### fn from(e: TypeTuple) -> Type

Converts to this type from the input type.

source

### impl Parse for Type

source

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

source

### impl ToTokens for Type

source

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

Write `self` to the given `TokenStream`. Read more

source

#### fn to_token_stream(&self) -> TokenStream

Convert `self` directly into a `TokenStream` object. Read more

source

#### fn into_token_stream(self) -> TokenStream

Convert `self` directly into a `TokenStream` object. Read more

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

source

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

source

#### fn type_id(&self) -> TypeId

Gets the `TypeId` of `self`. Read more

source

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

const: unstable · source

#### fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

source

### impl<T> From<T> for T

const: unstable · source

#### fn from(t: T) -> T

Returns the argument unchanged.

source

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

source

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

source

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

source

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

#### type Owned = T

The resulting type after obtaining ownership.

source

#### fn to_owned(&self) -> T

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

source

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

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

source

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

source

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