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 copy 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.

impl Cmp<B1> for B0

type Output = Less

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

impl Cmp for B0

type Output = Equal

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

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

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 Eq for B0

impl StructuralPartialEq for B0

impl Zero for B0

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 0 bytes