Struct typenum::bit::B1

[+] Show declaration

pub struct B1;

[−] Expand description

The type-level bit 1.

Implementations

impl B1[−]

pub fn new() -> B1[−]

Instantiates a singleton representing this bit.

Trait Implementations

impl Add<B1> for UTerm[+]

UTerm + B1 = UInt<UTerm, B1>

[+] Show hidden undocumented items

type Output = UInt<UTerm, B1>

The resulting type after applying the + operator.

fn add(self, _: B1) -> Self::Output[−]

Performs the + operation.

impl<U: Unsigned> Add<B1> for UInt<U, B0>[+]

UInt<U, B0> + B1 = UInt<U + B1>

[+] Show hidden undocumented items

type Output = UInt<U, B1>

The resulting type after applying the + operator.

fn add(self, _: B1) -> Self::Output[−]

Performs the + operation.

impl<U: Unsigned> Add<B1> for UInt<U, B1> where
    U: Add<B1>,
    Add1<U>: Unsigned, [+]

UInt<U, B1> + B1 = UInt<U + B1, B0>

[+] Show hidden undocumented items

type Output = UInt<Add1<U>, B0>

The resulting type after applying the + operator.

fn add(self, _: B1) -> Self::Output[−]

Performs the + operation.

impl Bit for B1[+]

[+] Show hidden undocumented items

const U8: u8

const BOOL: bool

fn to_u8() -> u8

fn to_bool() -> bool

impl BitAnd<B0> for B1[+]

And with 1 ( 1 & 0 = 0)

[+] Show hidden undocumented items

type Output = B0

The resulting type after applying the & operator.

fn bitand(self, _: B0) -> Self::Output[−]

Performs the & operation.

impl BitAnd<B1> for B1[+]

And with 1 ( 1 & 1 = 1)

[+] Show hidden undocumented items

type Output = B1

The resulting type after applying the & operator.

fn bitand(self, _: B1) -> Self::Output[−]

Performs the & operation.

impl BitOr<B1> for B0[+]

Or with 0 ( 0 | 1 = 1)

[+] Show hidden undocumented items

type Output = B1

The resulting type after applying the | operator.

fn bitor(self, _: B1) -> Self::Output[−]

Performs the | operation.

impl<Rhs: Bit> BitOr<Rhs> for B1[+]

Or with 1 ( 1 | B = 1)

[+] Show hidden undocumented items

type Output = B1

The resulting type after applying the | operator.

fn bitor(self, _: Rhs) -> Self::Output[−]

Performs the | operation.

impl BitXor<B0> for B1[+]

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

[+] Show hidden undocumented items

type Output = B1

The resulting type after applying the ^ operator.

fn bitxor(self, _: B0) -> Self::Output[−]

Performs the ^ operation.

impl BitXor<B1> for B0[+]

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

[+] Show hidden undocumented items

type Output = B1

The resulting type after applying the ^ operator.

fn bitxor(self, _: B1) -> Self::Output[−]

Performs the ^ operation.

impl BitXor<B1> for B1[+]

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

[+] Show hidden undocumented items

type Output = B0

The resulting type after applying the ^ operator.

fn bitxor(self, _: B1) -> Self::Output[−]

Performs the ^ operation.

impl Clone for B1[+]

[+] Show hidden undocumented items

fn clone(&self) -> B1[−]

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)[−]

Performs copy-assignment from source.

impl Cmp<B0> for B1[+]

[+] Show hidden undocumented items

type Output = Greater

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

fn compare<P: InternalMarker>(&self, _: &B0) -> Self::Output

impl Cmp<B1> for B0[+]

[+] Show hidden undocumented items

type Output = Less

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

fn compare<P: InternalMarker>(&self, _: &B1) -> Self::Output

impl Cmp<B1> for B1[+]

[+] Show hidden undocumented items

type Output = Equal

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

fn compare<P: InternalMarker>(&self, _: &B1) -> Self::Output

impl Copy for B1

impl Debug for B1[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl Default for B1[+]

[+] Show hidden undocumented items

fn default() -> B1[−]

Returns the “default value” for a type.

impl Eq for B1

impl Hash for B1[+]

[+] Show hidden undocumented items

fn hash<__H: Hasher>(&self, state: &mut __H)[−]

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl Max<B0> for B1[+]

[+] Show hidden undocumented items

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[+]

[+] Show hidden undocumented items

type Output = B1

The type of the maximum of Self and Rhs

fn max(self, rhs: B1) -> B1[−]

Method returning the maximum

impl Max<B1> for B1[+]

[+] Show hidden undocumented items

type Output = B1

The type of the maximum of Self and Rhs

fn max(self, _: B1) -> B1[−]

Method returning the maximum

impl Min<B0> for B1[+]

[+] Show hidden undocumented items

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[+]

[+] Show hidden undocumented items

type Output = B0

The type of the minimum of Self and Rhs

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

Method returning the minimum

impl Min<B1> for B1[+]

[+] Show hidden undocumented items

type Output = B1

The type of the minimum of Self and Rhs

fn min(self, _: B1) -> B1[−]

Method returning the minimum

impl Mul<B1> for UTerm[+]

UTerm * B1 = UTerm

[+] Show hidden undocumented items

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: B1) -> Self::Output[−]

Performs the * operation.

impl<U: Unsigned, B: Bit> Mul<B1> for UInt<U, B>[+]

UInt * B1 = UInt

[+] Show hidden undocumented items

type Output = UInt<U, B>

The resulting type after applying the * operator.

fn mul(self, _: B1) -> Self::Output[−]

Performs the * operation.

impl NonZero for B1

impl Not for B1[+]

Not of 1 (!1 = 0)

[+] Show hidden undocumented items

type Output = B0

The resulting type after applying the ! operator.

fn not(self) -> Self::Output[−]

Performs the unary ! operation.

impl Ord for B1[+]

[+] Show hidden undocumented items

fn cmp(&self, other: &B1) -> Ordering[−]

This method returns an Ordering between self and other.

[+] Expand attributes

#[must_use]pub fn max(self, other: Self) -> Self[−]

Compares and returns the maximum of two values.

[+] Expand attributes

#[must_use]pub fn min(self, other: Self) -> Self[−]

Compares and returns the minimum of two values.

[+] Expand attributes

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self[−]

Restrict a value to a certain interval.

impl PartialEq<B1> for B1[+]

[+] Show hidden undocumented items

fn eq(&self, other: &B1) -> bool[−]

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

[+] Expand attributes

#[must_use]pub fn ne(&self, other: &Rhs) -> bool[−]

This method tests for !=.

impl PartialOrd<B1> for B1[+]

[+] Show hidden undocumented items

fn partial_cmp(&self, other: &B1) -> Option<Ordering>[−]

This method returns an ordering between self and other values if one exists.

[+] Expand attributes

#[must_use]pub fn lt(&self, other: &Rhs) -> bool[−]

This method tests less than (for self and other) and is used by the < operator.

[+] Expand attributes

#[must_use]pub fn le(&self, other: &Rhs) -> bool[−]

This method tests less than or equal to (for self and other) and is used by the <= operator.

[+] Expand attributes

#[must_use]pub fn gt(&self, other: &Rhs) -> bool[−]

This method tests greater than (for self and other) and is used by the > operator.

[+] Expand attributes

#[must_use]pub fn ge(&self, other: &Rhs) -> bool[−]

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

impl PowerOfTwo for B1

impl Shl<B1> for UTerm[+]

Shifting UTerm by a 1 bit: UTerm << B1 = UTerm

[+] Show hidden undocumented items

type Output = UTerm

The resulting type after applying the << operator.

fn shl(self, _: B1) -> Self::Output[−]

Performs the << operation.

impl<U: Unsigned, B: Bit> Shl<B1> for UInt<U, B>[+]

Shifting left a UInt by a one bit: UInt<U, B> << B1 = UInt<UInt<U, B>, B0>

[+] Show hidden undocumented items

type Output = UInt<UInt<U, B>, B0>

The resulting type after applying the << operator.

fn shl(self, _: B1) -> Self::Output[−]

Performs the << operation.

impl Shr<B1> for UTerm[+]

Shifting right UTerm by a 1 bit: UTerm >> B1 = UTerm

[+] Show hidden undocumented items

type Output = UTerm

The resulting type after applying the >> operator.

fn shr(self, _: B1) -> Self::Output[−]

Performs the >> operation.

impl<U: Unsigned, B: Bit> Shr<B1> for UInt<U, B>[+]

Shifting right a UInt by a 1 bit: UInt<U, B> >> B1 = U

[+] Show hidden undocumented items

type Output = U

The resulting type after applying the >> operator.

fn shr(self, _: B1) -> Self::Output[−]

Performs the >> operation.

impl StructuralEq for B1

impl StructuralPartialEq for B1

impl<U: Unsigned, B: Bit> Sub<B1> for UInt<UInt<U, B>, B1>[+]

UInt<U, B1> - B1 = UInt<U, B0>

[+] Show hidden undocumented items

type Output = UInt<UInt<U, B>, B0>

The resulting type after applying the - operator.

fn sub(self, _: B1) -> Self::Output[−]

Performs the - operation.

impl Sub<B1> for UInt<UTerm, B1>[+]

UInt<UTerm, B1> - B1 = UTerm

[+] Show hidden undocumented items

type Output = UTerm

The resulting type after applying the - operator.

fn sub(self, _: B1) -> Self::Output[−]

Performs the - operation.

impl<U: Unsigned> Sub<B1> for UInt<U, B0> where
    U: Sub<B1>,
    Sub1<U>: Unsigned, [+]

UInt<U, B0> - B1 = UInt<U - B1, B1>

[+] Show hidden undocumented items

type Output = UInt<Sub1<U>, B1>

The resulting type after applying the - operator.

fn sub(self, _: B1) -> Self::Output[−]

Performs the - operation.