Struct Trait

pub struct Trait<'a> { /* private fields */ }

A trait Generatable / Template. This asserts that some type implements some trait.

Implementations

impl<'a> Trait<'a>

pub fn new<T>(trait_bound: T) -> Self

where T: Into<MaybeBorrowed<'a, TraitBound>>,

Creates a new trait template from some trait bound. Takes any T that can be turned into a MaybeBorrowed type, to support references as well as owned types

Trait Implementations

impl<'a> FromMaybeBorrowed<'a, TraitBound> for Trait<'a>

fn from_maybe_borrowed(from: MaybeBorrowed<'a, TraitBound>) -> Self

fn from_owned(from: T) -> Self

where Self: Sized,

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

where Self: Sized,

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

const EMITS_NON_CONSTANT_CODE: bool = true

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

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.

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<'a> Generatable<'a, TokenCmpWrapper<Type>> for Trait<'a>

const EMITS_NON_CONSTANT_CODE: bool = false

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

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.

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: &TokenCmpWrapper<Type>, ) -> 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<'a> Ord for Trait<'a>

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

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<'a> PartialEq for Trait<'a>

fn eq(&self, other: &Self) -> 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<'a> PartialOrd for Trait<'a>

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl<'a> Eq for Trait<'a>

impl<'a> TidAble<'a> for Trait<'a>