Enum typewit::MetaBaseTypeWit

pub enum MetaBaseTypeWit<L: ?Sized, R: ?Sized, W> {
    Eq(TypeEq<W, TypeEq<L, R>>),
    Ne(TypeEq<W, TypeNe<L, R>>),
    Cmp(TypeEq<W, TypeCmp<L, R>>),
}

Type witness for TypeEq/TypeNe/TypeCmp.

Variants

Eq(TypeEq<W, TypeEq<L, R>>)

where W == TypeEq<L, R>

Ne(TypeEq<W, TypeNe<L, R>>)

where W == TypeNe<L, R>

Cmp(TypeEq<W, TypeCmp<L, R>>)

where W == TypeCmp<L, R>

Implementations

impl<L: ?Sized, R: ?Sized, W> MetaBaseTypeWit<L, R, W>

pub const fn to_cmp(self, witness: W) -> TypeCmp<L, R>

Converts W to TypeCmp<L, R>

Trait Implementations

impl<L: ?Sized, R: ?Sized, W> Clone for MetaBaseTypeWit<L, R, W>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<L: ?Sized, R: ?Sized, W> Debug for MetaBaseTypeWit<L, R, W>

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

Formats the value using the given formatter.

impl<L: ?Sized, R: ?Sized> MakeTypeWitness for MetaBaseTypeWit<L, R, TypeCmp<L, R>>

const MAKE: Self = _

A constant with the type witness

impl<L: ?Sized, R: ?Sized> MakeTypeWitness for MetaBaseTypeWit<L, R, TypeEq<L, R>>

const MAKE: Self = _

A constant with the type witness

impl<L: ?Sized, R: ?Sized> MakeTypeWitness for MetaBaseTypeWit<L, R, TypeNe<L, R>>

const MAKE: Self = _

A constant with the type witness

impl<L: ?Sized, R: ?Sized, W> TypeWitnessTypeArg for MetaBaseTypeWit<L, R, W>

type Arg = W

The type parameter used for type witnesses.

impl<L: ?Sized, R: ?Sized, W> Copy for MetaBaseTypeWit<L, R, W>