Struct aead::consts::B1

source ·
pub struct B1;
Expand description

The type-level bit 1.

Implementations§

source§

impl B1

source

pub fn new() -> B1

Instantiates a singleton representing this bit.

Trait Implementations§

source§

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

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

Performs the + operation. Read more
source§

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

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

Performs the + operation. Read more
source§

impl Add<B1> for UTerm

UTerm + B1 = UInt<UTerm, B1>

§

type Output = UInt<UTerm, B1>

The resulting type after applying the + operator.
source§

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

Performs the + operation. Read more
source§

impl Bit for B1

source§

const U8: u8 = 1u8

source§

const BOOL: bool = true

source§

fn new() -> B1

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

And with 1 ( 1 & 1 = 1)

§

type Output = B1

The resulting type after applying the & operator.
source§

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

Or with 1 ( 1 | B = 1)

§

type Output = B1

The resulting type after applying the | operator.
source§

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

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

§

type Output = B0

The resulting type after applying the ^ operator.
source§

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

Performs the ^ operation. Read more
source§

impl Clone for B1

source§

fn clone(&self) -> B1

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 B1

§

type Output = Equal

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

impl Debug for B1

source§

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

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

impl Default for B1

source§

fn default() -> B1

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

impl Hash for B1

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 B1

§

type Output = B1

The type of the maximum of Self and Rhs
source§

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

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 B1

§

type Output = B1

The type of the minimum of Self and Rhs
source§

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

Method returning the minimum
source§

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

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

Performs the * operation. Read more
source§

impl Mul<B1> for UTerm

UTerm * B1 = UTerm

§

type Output = UTerm

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

impl Not for B1

Not of 1 (!1 = 0)

§

type Output = B0

The resulting type after applying the ! operator.
source§

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

Performs the unary ! operation. Read more
source§

impl Ord for B1

source§

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

source§

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

source§

fn partial_cmp(&self, other: &B1) -> 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<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.
source§

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

Performs the << operation. Read more
source§

impl Shl<B1> for UTerm

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

§

type Output = UTerm

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

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

Performs the << operation. Read more
source§

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

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

Performs the >> operation. Read more
source§

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

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

Performs the >> operation. Read more
source§

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

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

Performs the - operation. Read more
source§

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

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

Performs the - operation. Read more
source§

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

UInt<UTerm, B1> - B1 = UTerm

§

type Output = UTerm

The resulting type after applying the - operator.
source§

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

Performs the - operation. Read more
source§

impl Copy for B1

source§

impl Eq for B1

source§

impl NonZero for B1

source§

impl PowerOfTwo for B1

source§

impl StructuralPartialEq for B1

Auto Trait Implementations§

§

impl Freeze for B1

§

impl RefUnwindSafe for B1

§

impl Send for B1

§

impl Sync for B1

§

impl Unpin for B1

§

impl UnwindSafe for B1

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> CloneToUninit for T
where T: Clone,

source§

default unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> CloneToUninit for T
where T: Copy,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. 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.