Enum syn::Type

source ·
pub enum Type {
Show 15 variants 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)

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.

Implementations

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

Returns a copy of the value. Read more
Performs copy-assignment from source. Read more
Formats the value using the given formatter. Read more
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Converts to this type from the input type.
Feeds this value into the given Hasher. Read more
Feeds a slice of this type into the given Hasher. Read more
This method tests for self and other values to be equal, and is used by ==. Read more
This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason. Read more
Write self to the given TokenStream. Read more
Convert self directly into a TokenStream object. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

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

Returns a Span covering the complete contents of this syntax tree node, or Span::call_site() if this node is empty. Read more
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.