Struct proc_macro_assertions::generatable::StaticTid

#[repr(transparent)]
pub struct StaticTid<T: 'static>(pub T);

Tuple Fields

0: T

Trait Implementations

impl<T: 'static> Deref for StaticTid<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T: 'static> DerefMut for StaticTid<T>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'a, T> From<&'a T> for &'a StaticTid<T>

fn from(value: &'a T) -> Self

Converts to this type from the input type.

impl<'a, U> From<&'a U> for &'a StaticTid<TokenCmpWrapper<U>>where U: ToTokens,

fn from(value: &'a U) -> Self

Converts to this type from the input type.

impl<'a, T> From<&'a mut T> for &'a mut StaticTid<T>

fn from(value: &'a mut T) -> Self

Converts to this type from the input type.

impl<'a, U> From<&'a mut U> for &'a mut StaticTid<TokenCmpWrapper<U>>where U: ToTokens,

fn from(value: &'a mut U) -> Self

Converts to this type from the input type.

impl<T: 'static> From<T> for StaticTid<T>

fn from(value: T) -> Self

Converts to this type from the input type.

impl<'a> Generatable<'a, StaticTid<Ident>> for Trait<'a>

type GeneratableData = ()

The type of any data passed from the Generatable stage to proceeding stages.

type TemplateData = Ident

The type of any data passed from the Template stage to proceeding stages.

const EMITS_NON_CONSTANT_CODE: bool = true

Set this to true when any of the emitted code may be non-constant

fn template( &self, _: &mut Context<'_>, _passed: &Self::GeneratableData ) -> PassedData<Self::TemplateData>

This is the method the Template stage is composed of. Should return Tokens (if any) generated by this stage, plus optionally any data passed to preceding stages.

fn assert( &self, _context: &mut Context<'_>, (_, assert_trait_bound): (&Self::GeneratableData, &Self::TemplateData), to_assert: &StaticTid<Ident> ) -> Option<TokenStream>

This is the method the Assert stage is composed of. Should return Tokens generated by this stage.

fn generatable(_context: &mut Context<'_>) -> PassedData<Self::GeneratableData>where Self: Sized,

This is the method the Generatable stage is composed of. Should return Tokens (if any) generated by this stage, plus optionally any data passed to preceding stages.

impl<T: 'static + Hash> Hash for StaticTid<T>

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

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<T: 'static + Ord> Ord for StaticTid<T>

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl<T: 'static + PartialEq> PartialEq for StaticTid<T>

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T: 'static + PartialOrd> PartialOrd for StaticTid<T>

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: 'static + ToTokens> ToTokens for StaticTid<T>

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) -> TokenStreamwhere Self: Sized,

Convert self directly into a TokenStream object.

impl<T: 'static + Eq> Eq for StaticTid<T>

impl<'a, T: 'static> TidAble<'a> for StaticTid<T>