Struct cglue_gen::generics::ParsedGenerics

pub struct ParsedGenerics {
    pub life_declare: Punctuated<LifetimeDef, Comma>,
    pub life_use: Punctuated<Lifetime, Comma>,
    pub gen_declare: Punctuated<TypeParam, Comma>,
    pub gen_use: Punctuated<Type, Comma>,
    pub gen_where_bounds: Punctuated<WherePredicate, Comma>,
    pub gen_remaps: HashMap<Ident, Type>,
}

Fields

life_declare: Punctuated<LifetimeDef, Comma>

Lifetime declarations on the left side of the type/trait.

This may include any bounds it contains, for instance: 'a: 'b,.

life_use: Punctuated<Lifetime, Comma>

Declarations “using” the lifetimes i.e. has bounds stripped.

For instance: 'a: 'b, becomes just 'a,.

gen_declare: Punctuated<TypeParam, Comma>

Type declarations on the left side of the type/trait.

This may include any trait bounds it contains, for instance: T: Clone,.

gen_use: Punctuated<Type, Comma>

Declarations that “use” the traits i.e. has bounds stripped.

For instance: T: Clone, becomes just T,.

gen_where_bounds: Punctuated<WherePredicate, Comma>

All where predicates, without the where keyword.

gen_remaps: HashMap<Ident, Type>

Remap generic T to a particular type using T = type syntax.

Then, when generics get cross referenced, all concrete T declarations get removed, and T uses get replaced with concrete types.

Implementations

impl ParsedGenerics

pub fn declare_without_nonstatic_bounds(&self) -> Punctuated<TypeParam, Comma>

pub fn declare_lt_for_all(&self, _: &TokenStream) -> TokenStream

pub fn declare_sabi_for_all(&self, crate_path: &TokenStream) -> TokenStream

pub fn cross_ref<'a>(
    &self,
    input: impl IntoIterator<Item = &'a ParsedGenerics>
) -> Self

This function cross references input lifetimes and returns a new Self that only contains generic type information about those types.

pub fn merge_remaps(&mut self, other: &mut ParsedGenerics)

pub fn merge_and_remap(&mut self, other: &mut ParsedGenerics)

pub fn remap_types(&mut self)

pub fn phantom_data_definitions(&self) -> TokenStream

Generate phantom data definitions for all lifetimes and types used.

pub fn phantom_data_init(&self) -> TokenStream

Generate phantom data initializations for all lifetimes and types used.

Trait Implementations

impl Clone for ParsedGenerics

fn clone(&self) -> ParsedGenerics

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<&'_ Generics> for ParsedGenerics

fn from(input: &Generics) -> Self

Performs the conversion.

impl From<&'_ Punctuated<GenericArgument, Comma>> for ParsedGenerics

fn from(input: &Punctuated<GenericArgument, Comma>) -> Self

Performs the conversion.

impl From<Option<&'_ Punctuated<GenericArgument, Comma>>> for ParsedGenerics

fn from(input: Option<&Punctuated<GenericArgument, Comma>>) -> Self

Performs the conversion.

impl<'a> FromIterator<&'a ParsedGenerics> for ParsedGenerics

fn from_iter<I: IntoIterator<Item = &'a ParsedGenerics>>(input: I) -> Self

Creates a value from an iterator.

impl Parse for ParsedGenerics

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