Struct Type

pub struct Type<'a> {
    pub type: MaybeBorrowed<'a, TokenCmpWrapper<Type>>,
    pub generics_count: usize,
}

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

Fields

type: MaybeBorrowed<'a, TokenCmpWrapper<Type>>

The type to check the asserted type equals

generics_count: usize

The amount of generics the type should have

Implementations

impl<'a> Type<'a>

pub fn new<T>(type: T, generics_count: usize) -> Self

where T: Into<MaybeBorrowed<'a, TokenCmpWrapper<Type>>>,

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

pub fn from_owned(type: Type, generics_count: usize) -> Self

pub fn from_borrowed(type: &'a Type, generics_count: usize) -> Self

Trait Implementations

impl<'a> Generatable<'a, TokenCmpWrapper<StaticTid<Ident>>> for Type<'a>

const EMITS_NON_CONSTANT_CODE: bool = true

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

type GeneratableData = Ident

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

type TemplateData = ()

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

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

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.

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

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

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

where Self::TemplateData: Default,

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.

impl<'a> Generatable<'a, TokenCmpWrapper<Type>> for Type<'a>

const EMITS_NON_CONSTANT_CODE: bool = false

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

type GeneratableData = Ident

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

type TemplateData = ()

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

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

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.

fn assert( &self, _context: &mut Context<'_>, (assert_type_eq, _): (&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 template( &self, _context: &mut Context<'_>, _passed: &Self::GeneratableData, ) -> PassedData<Self::TemplateData>

where Self::TemplateData: Default,

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.

impl<'a> Ord for Type<'a>

fn cmp(&self, other: &Type<'a>) -> 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 Type<'a>

fn eq(&self, other: &Type<'a>) -> 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 Type<'a>

fn partial_cmp(&self, other: &Type<'a>) -> 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 Type<'a>

impl<'a> StructuralPartialEq for Type<'a>

impl<'a> TidAble<'a> for Type<'a>