Struct Generics

pub struct Generics {
    pub lt_token: Option<Lt>,
    pub params: Punctuated<GenericParam, Comma>,
    pub gt_token: Option<Gt>,
    pub where_clause: Option<WhereClause>,
}

Lifetimes and type parameters attached to a declaration of a function, enum, trait, etc.

This struct represents two distinct optional syntactic elements, generic parameters and where clause. In some locations of the grammar, there may be other tokens in between these two things.

Fields

lt_token: Option<Lt>

params: Punctuated<GenericParam, Comma>

gt_token: Option<Gt>

where_clause: Option<WhereClause>

Implementations

impl Generics

pub fn lifetimes(&self) -> Lifetimes<'_>

Iterator over the lifetime parameters in self.params.

pub fn lifetimes_mut(&mut self) -> LifetimesMut<'_>

Iterator over the lifetime parameters in self.params.

pub fn type_params(&self) -> TypeParams<'_>

Iterator over the type parameters in self.params.

pub fn type_params_mut(&mut self) -> TypeParamsMut<'_>

Iterator over the type parameters in self.params.

pub fn const_params(&self) -> ConstParams<'_>

Iterator over the constant parameters in self.params.

pub fn const_params_mut(&mut self) -> ConstParamsMut<'_>

Iterator over the constant parameters in self.params.

pub fn make_where_clause(&mut self) -> &mut WhereClause

Initializes an empty where-clause if there is not one present already.

pub fn split_for_impl( &self, ) -> (ImplGenerics<'_>, TypeGenerics<'_>, Option<&WhereClause>)

Split a type’s generics into the pieces required for impl’ing a trait for that type.

let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
quote! {
    impl #impl_generics MyTrait for #name #ty_generics #where_clause {
        // ...
    }
}

Trait Implementations

impl Clone for Generics

fn clone(&self) -> Generics

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Generics

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

Formats the value using the given formatter.

impl Default for Generics

fn default() -> Generics

Returns the “default value” for a type.

impl GenericsExt for Generics

fn add_type_bound(&mut self, bound: TypeParamBound)

fn add_type_bounds(&mut self, bounds: Punctuated<TypeParamBound, Plus>)

fn replace(&mut self, ident: &Ident, with: &Ident)

fn replace_lifetime(&mut self, n: usize, with: &Lifetime) -> bool

fn insert_lifetime(&mut self, lifetime: LifetimeParam)

fn parsed_bounded_types( &self, bounds: TokenStream, ) -> Result<Punctuated<WherePredicate, Comma>, Diagnostic>

fn bounded_types( &self, bounds: Punctuated<TypeParamBound, Plus>, ) -> Punctuated<WherePredicate, Comma>

fn add_where_predicates( &mut self, predicates: Punctuated<WherePredicate, Comma>, )

impl Hash for Generics

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

where H: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parse for Generics

fn parse(input: &ParseBuffer<'_>) -> Result<Generics, Error>

impl PartialEq for Generics

fn eq(&self, other: &Generics) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ToTokens for Generics

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

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.

impl Eq for Generics