Struct B1

pub struct B1;

The type-level bit 1.

Implementations

impl B1

pub fn new() -> B1

Instantiates a singleton representing this bit.

Trait Implementations

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

where U: Unsigned,

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

type Output = UInt<U, B1>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<U> Add<B1> for UInt<U, B1>

where U: Unsigned + Add<B1>, <U as Add<B1>>::Output: Unsigned,

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

type Output = UInt<<U as Add<B1>>::Output, B0>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<B1> for UTerm

UTerm + B1 = UInt<UTerm, B1>

type Output = UInt<UTerm, B1>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Bit for B1

const U8: u8 = 1u8

const BOOL: bool = true

fn new() -> B1

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 BitAnd for B1

And with 1 ( 1 & 1 = 1)

type Output = B1

The resulting type after applying the & operator.

fn bitand(self, _: B1) -> <B1 as BitAnd>::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<Rhs> BitOr<Rhs> for B1

where Rhs: Bit,

Or with 1 ( 1 | B = 1)

type Output = B1

The resulting type after applying the | operator.

fn bitor(self, _: Rhs) -> <B1 as BitOr<Rhs>>::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 B1

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

type Output = B0

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl Clone for B1

fn clone(&self) -> B1

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 B1

type Output = Equal

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

impl Debug for B1

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

Formats the value using the given formatter.

impl Default for B1

fn default() -> B1

Returns the “default value” for a type.

impl Hash for B1

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 B1

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

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 B1

type Output = B1

The type of the minimum of Self and Rhs

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

Method returning the minimum

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

where U: Unsigned, B: Bit,

UInt * B1 = UInt

type Output = UInt<U, B>

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<B1> for UTerm

UTerm * B1 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

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

Performs the * operation.

impl Not for B1

Not of 1 (!1 = 0)

type Output = B0

The resulting type after applying the ! operator.

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

Performs the unary ! operation.

impl Ord for B1

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

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

fn partial_cmp(&self, other: &B1) -> 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<B1> for UInt<U, B>

where U: Unsigned, B: Bit,

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

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

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shl<B1> for UTerm

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

type Output = UTerm

The resulting type after applying the << operator.

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

Performs the << operation.

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

where U: Unsigned, B: Bit,

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

type Output = U

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Shr<B1> for UTerm

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

type Output = UTerm

The resulting type after applying the >> operator.

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

Performs the >> operation.

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

where U: Unsigned + Sub<B1>, <U as Sub<B1>>::Output: Unsigned,

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

type Output = UInt<<U as Sub<B1>>::Output, B1>

The resulting type after applying the - operator.

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

Performs the - operation.

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

where U: Unsigned, B: Bit,

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

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

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<B1> for UInt<UTerm, B1>

UInt<UTerm, B1> - B1 = UTerm

type Output = UTerm

The resulting type after applying the - operator.

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

Performs the - operation.

impl Copy for B1

impl Eq for B1

impl NonZero for B1

impl PowerOfTwo for B1

impl StructuralPartialEq for B1

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