Struct sec1::consts::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 + PartialOrd,

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