Struct B0 

pub struct B0;

The type-level bit 0.

Implementations

impl B0

pub fn new() -> B0

Instantiates a singleton representing this bit.

Trait Implementations

impl<U, B> Add<B0> for UInt<U, B>

where U: Unsigned, B: Bit,

U + B0 = U

type Output = UInt<U, B>

The resulting type after applying the + operator.

fn add(self, _: B0) -> <UInt<U, B> as Add<B0>>::Output

Performs the + operation.

impl Add<B0> for UTerm

UTerm + B0 = UTerm

type Output = UTerm

The resulting type after applying the + operator.

fn add(self, _: B0) -> <UTerm as Add<B0>>::Output

Performs the + operation.

impl Bit for B0

const U8: u8 = 0u8

const BOOL: bool = false

fn new() -> B0

Instantiates a singleton representing this bit.

fn to_u8() -> u8

fn to_bool() -> bool

impl BitAnd<B0> for B1

And with 1 ( 1 & 0 = 0)

type Output = B0

The resulting type after applying the & operator.

fn bitand(self, _: B0) -> <B1 as BitAnd<B0>>::Output

Performs the & operation.

impl<Rhs> BitAnd<Rhs> for B0

where Rhs: Bit,

And with 0 ( 0 & B = 0)

type Output = B0

The resulting type after applying the & operator.

fn bitand(self, _: Rhs) -> <B0 as BitAnd<Rhs>>::Output

Performs the & operation.

impl BitOr<B1> for B0

Or with 0 ( 0 | 1 = 1)

type Output = B1

The resulting type after applying the | operator.

fn bitor(self, _: B1) -> <B0 as BitOr<B1>>::Output

Performs the | operation.

impl BitOr for B0

Or with 0 ( 0 | 0 = 0)

type Output = B0

The resulting type after applying the | operator.

fn bitor(self, _: B0) -> <B0 as BitOr>::Output

Performs the | operation.

impl BitXor<B0> for B1

Xor between 1 and 0 ( 1 ^ 0 = 1)

type Output = B1

The resulting type after applying the ^ operator.

fn bitxor(self, _: B0) -> <B1 as BitXor<B0>>::Output

Performs the ^ operation.

impl BitXor<B1> for B0

Xor between 0 and 1 ( 0 ^ 1 = 1)

type Output = B1

The resulting type after applying the ^ operator.

fn bitxor(self, _: B1) -> <B0 as BitXor<B1>>::Output

Performs the ^ operation.

impl BitXor for B0

Xor between 0 and 0 ( 0 ^ 0 = 0)

type Output = B0

The resulting type after applying the ^ operator.

fn bitxor(self, _: B0) -> <B0 as BitXor>::Output

Performs the ^ operation.

impl Clone for B0

fn clone(&self) -> B0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Cmp<B0> for B1

type Output = Greater

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

fn compare<P>(&self, _: &B0) -> <B1 as Cmp<B0>>::Output

where P: InternalMarker,

impl Cmp<B1> for B0

type Output = Less

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

fn compare<P>(&self, _: &B1) -> <B0 as Cmp<B1>>::Output

where P: InternalMarker,

impl Cmp for B0

type Output = Equal

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

fn compare<P>(&self, _: &B0) -> <B0 as Cmp>::Output

where P: InternalMarker,

impl Debug for B0

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

Formats the value using the given formatter.

impl Default for B0

fn default() -> B0

Returns the “default value” for a type.

impl Eq for B0

#[doc(hidden)] fn assert_receiver_is_total_eq(&self)

impl Hash for B0

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

where __H: Hasher,

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 Max<B0> for B1

type Output = B1

The type of the maximum of Self and Rhs

fn max(self, _: B0) -> B1

Method returning the maximum

impl Max<B1> for B0

type Output = B1

The type of the maximum of Self and Rhs

fn max(self, rhs: B1) -> B1

Method returning the maximum

impl Max for B0

type Output = B0

The type of the maximum of Self and Rhs

fn max(self, _: B0) -> B0

Method returning the maximum

impl Min<B0> for B1

type Output = B0

The type of the minimum of Self and Rhs

fn min(self, rhs: B0) -> B0

Method returning the minimum

impl Min<B1> for B0

type Output = B0

The type of the minimum of Self and Rhs

fn min(self, _: B1) -> B0

Method returning the minimum

impl Min for B0

type Output = B0

The type of the minimum of Self and Rhs

fn min(self, _: B0) -> B0

Method returning the minimum

impl<U, B> Mul<B0> for UInt<U, B>

where U: Unsigned, B: Bit,

UInt * B0 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: B0) -> <UInt<U, B> as Mul<B0>>::Output

Performs the * operation.

impl Mul<B0> for UTerm

UTerm * B0 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: B0) -> <UTerm as Mul<B0>>::Output

Performs the * operation.

impl Not for B0

Not of 0 (!0 = 1)

type Output = B1

The resulting type after applying the ! operator.

fn not(self) -> <B0 as Not>::Output

Performs the unary ! operation.

impl Ord for B0

fn cmp(&self, other: &B0) -> 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 PartialEq for B0

fn eq(&self, other: &B0) -> 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 PartialOrd for B0

fn partial_cmp(&self, other: &B0) -> 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.

#[doc(hidden)] fn __chaining_lt(&self, other: &Rhs) -> ControlFlow<bool>

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

If self == other, returns ControlFlow::Continue(()). Otherwise, returns ControlFlow::Break(self < other).

#[doc(hidden)] fn __chaining_le(&self, other: &Rhs) -> ControlFlow<bool>

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

Same as __chaining_lt, but for <= instead of <.

#[doc(hidden)] fn __chaining_gt(&self, other: &Rhs) -> ControlFlow<bool>

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

Same as __chaining_lt, but for > instead of <.

#[doc(hidden)] fn __chaining_ge(&self, other: &Rhs) -> ControlFlow<bool>

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

Same as __chaining_lt, but for >= instead of <.

impl<I> PrivateSetBit<I, B0> for UTerm

type Output = UTerm

fn private_set_bit(self, _: I, _: B0) -> <UTerm as PrivateSetBit<I, B0>>::Output

impl<U, B> Shl<B0> for UInt<U, B>

where U: Unsigned, B: Bit,

Shifting left any unsigned by a zero bit: U << B0 = U

type Output = UInt<U, B>

The resulting type after applying the << operator.

fn shl(self, _: B0) -> <UInt<U, B> as Shl<B0>>::Output

Performs the << operation.

impl Shl<B0> for UTerm

Shifting UTerm by a 0 bit: UTerm << B0 = UTerm

type Output = UTerm

The resulting type after applying the << operator.

fn shl(self, _: B0) -> <UTerm as Shl<B0>>::Output

Performs the << operation.

impl<U, B> Shr<B0> for UInt<U, B>

where U: Unsigned, B: Bit,

Shifting right any unsigned by a zero bit: U >> B0 = U

type Output = UInt<U, B>

The resulting type after applying the >> operator.

fn shr(self, _: B0) -> <UInt<U, B> as Shr<B0>>::Output

Performs the >> operation.

impl Shr<B0> for UTerm

Shifting right UTerm by a 0 bit: UTerm >> B0 = UTerm

type Output = UTerm

The resulting type after applying the >> operator.

fn shr(self, _: B0) -> <UTerm as Shr<B0>>::Output

Performs the >> operation.

impl<U, B> Sub<B0> for UInt<U, B>

where U: Unsigned, B: Bit,

UInt - B0 = UInt

type Output = UInt<U, B>

The resulting type after applying the - operator.

fn sub(self, _: B0) -> <UInt<U, B> as Sub<B0>>::Output

Performs the - operation.

impl Sub<B0> for UTerm

UTerm - B0 = Term

type Output = UTerm

The resulting type after applying the - operator.

fn sub(self, _: B0) -> <UTerm as Sub<B0>>::Output

Performs the - operation.

impl Copy for B0

impl StructuralPartialEq for B0

impl TrivialClone for B0

impl Zero for B0