typewit::const_marker

Enum BoolWitG

pub enum BoolWitG<B> {
    True(TypeEq<B, Bool<true>>),
    False(TypeEq<B, Bool<false>>),
}

Expand description

Type witness that B is either Bool<true> or Bool<false>

Use this over BoolWit if you want to write a HasTypeWitness bound and adding a const B: bool parameter would be impossible.

§Example

This basic example demonstrates where BoolWitG would be used instead of BoolWit.

use typewit::const_marker::{Bool, BoolWitG};
use typewit::HasTypeWitness;
 
 
trait Boolean: Sized + HasTypeWitness<BoolWitG<Self>> {
    type Not: Boolean<Not = Self>;
}
 
impl Boolean for Bool<true> {
    type Not = Bool<false>;
}
 
impl Boolean for Bool<false> {
    type Not = Bool<true>;
}

Variants§

True(TypeEq<B, Bool<true>>)

Witnesses that B == true

False(TypeEq<B, Bool<false>>)

Witnesses that B == false

Trait Implementations§

impl<const B: bool> Clone for BoolWitG<Bool<B>>

fn clone(&self) -> Self

Returns a copy of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl<const B: bool> Debug for BoolWitG<Bool<B>>

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

Formats the value using the given formatter. Read more

impl<const B: bool> MakeTypeWitness for BoolWitG<Bool<B>>

const MAKE: Self = _

A constant with the type witness

impl<B> TypeWitnessTypeArg for BoolWitG<B>

type Arg = B

The type parameter used for type witnesses. Read more

impl<const B: bool> Copy for BoolWitG<Bool<B>>

Auto Trait Implementations§

impl<B> Freeze for BoolWitG<B>

impl<B> RefUnwindSafe for BoolWitG<B>

impl<B> Send for BoolWitG<B>

impl<B> Sync for BoolWitG<B>

impl<B> Unpin for BoolWitG<B>

impl<B> UnwindSafe for BoolWitG<B>

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dst. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, W> HasTypeWitness<W> for T
where W: MakeTypeWitness<Arg = T>, T: ?Sized,

const WITNESS: W = const WITNESS: W = W::MAKE;

A constant of the type witness

impl<T> Identity for T
where T: ?Sized,

const TYPE_EQ: TypeEq<T, <T as Identity>::Type> = const TYPE_EQ: TypeEq<Self, Self::Type> = TypeEq::NEW;

Proof that Self is the same type as Self::Type, provides methods for casting between Self and Self::Type.

type Type = T

The same type as Self, used to emulate type equality bounds (T == U) with associated type equality constraints (T: Identity<Type = U>).

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.