Struct digest::consts::B0

source ·
pub struct B0;
Expand description

The type-level bit 0.

Implementations§

source§

impl B0

source

pub fn new() -> B0

Instantiates a singleton representing this bit.

Trait Implementations§

source§

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.
source§

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

Performs the + operation. Read more
source§

impl Add<B0> for UTerm

UTerm + B0 = UTerm

§

type Output = UTerm

The resulting type after applying the + operator.
source§

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

Performs the + operation. Read more
source§

impl Bit for B0

source§

const U8: u8 = 0u8

source§

const BOOL: bool = false

source§

fn new() -> B0

Instantiates a singleton representing this bit.
source§

fn to_u8() -> u8

source§

fn to_bool() -> bool

source§

impl BitAnd<B0> for B1

And with 1 ( 1 & 0 = 0)

§

type Output = B0

The resulting type after applying the & operator.
source§

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

Performs the & operation. Read more
source§

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.
source§

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

Performs the & operation. Read more
source§

impl BitOr<B1> for B0

Or with 0 ( 0 | 1 = 1)

§

type Output = B1

The resulting type after applying the | operator.
source§

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

Performs the | operation. Read more
source§

impl BitOr for B0

Or with 0 ( 0 | 0 = 0)

§

type Output = B0

The resulting type after applying the | operator.
source§

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

Performs the | operation. Read more
source§

impl BitXor<B0> for B1

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

§

type Output = B1

The resulting type after applying the ^ operator.
source§

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

Performs the ^ operation. Read more
source§

impl BitXor<B1> for B0

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

§

type Output = B1

The resulting type after applying the ^ operator.
source§

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

Performs the ^ operation. Read more
source§

impl BitXor for B0

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

§

type Output = B0

The resulting type after applying the ^ operator.
source§

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

Performs the ^ operation. Read more
source§

impl Clone for B0

source§

fn clone(&self) -> B0

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
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.
source§

impl Cmp<B1> for B0

§

type Output = Less

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

impl Cmp for B0

§

type Output = Equal

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

impl Debug for B0

source§

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

Formats the value using the given formatter. Read more
source§

impl Default for B0

source§

fn default() -> B0

Returns the “default value” for a type. Read more
source§

impl Hash for B0

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl Max<B0> for B1

§

type Output = B1

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

impl Max<B1> for B0

§

type Output = B1

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

impl Max for B0

§

type Output = B0

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

impl Min<B0> for B1

§

type Output = B0

The type of the minimum of Self and Rhs
source§

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

Method returning the minimum
source§

impl Min<B1> for B0

§

type Output = B0

The type of the minimum of Self and Rhs
source§

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

Method returning the minimum
source§

impl Min for B0

§

type Output = B0

The type of the minimum of Self and Rhs
source§

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

Method returning the minimum
source§

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.
source§

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

Performs the * operation. Read more
source§

impl Mul<B0> for UTerm

UTerm * B0 = UTerm

§

type Output = UTerm

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

impl Not for B0

Not of 0 (!0 = 1)

§

type Output = B1

The resulting type after applying the ! operator.
source§

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

Performs the unary ! operation. Read more
source§

impl Ord for B0

source§

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

This method returns an Ordering between self and other. Read more
1.21.0 · source§

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

Compares and returns the maximum of two values. Read more
1.21.0 · source§

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

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more
source§

impl PartialEq for B0

source§

fn eq(&self, other: &B0) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for B0

source§

fn partial_cmp(&self, other: &B0) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

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.
source§

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

Performs the << operation. Read more
source§

impl Shl<B0> for UTerm

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

§

type Output = UTerm

The resulting type after applying the << operator.
source§

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

Performs the << operation. Read more
source§

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.
source§

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

Performs the >> operation. Read more
source§

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.
source§

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

Performs the >> operation. Read more
source§

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.
source§

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

Performs the - operation. Read more
source§

impl Sub<B0> for UTerm

UTerm - B0 = Term

§

type Output = UTerm

The resulting type after applying the - operator.
source§

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

Performs the - operation. Read more
source§

impl Copy for B0

source§

impl Eq for B0

source§

impl StructuralPartialEq for B0

source§

impl Zero for B0

Auto Trait Implementations§

§

impl Freeze for B0

§

impl RefUnwindSafe for B0

§

impl Send for B0

§

impl Sync for B0

§

impl Unpin for B0

§

impl UnwindSafe for B0

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

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

source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

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

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

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

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

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

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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.
source§

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

Performs the conversion.