Struct otter_api_tests::imports::digest::generic_array::typenum::B0[−]

pub struct B0;
Expand description

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.

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

Performs the + operation. Read more

impl Add<B0> for UTerm

UTerm + B0 = UTerm

type Output = UTerm

The resulting type after applying the + operator.

pub fn add(self, B0) -> <UTerm as Add<B0>>::Output

Performs the + operation. Read more

impl Bit for B0

pub const U8: u8

pub const BOOL: bool

pub fn new() -> B0

Instantiates a singleton representing this bit.

pub fn to_u8() -> u8

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

pub fn bitand(self, B0) -> <B1 as BitAnd<B0>>::Output

Performs the & operation. Read more

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.

pub fn bitand(self, Rhs) -> <B0 as BitAnd<Rhs>>::Output

Performs the & operation. Read more

impl BitOr<B0> for B0

Or with 0 ( 0 | 0 = 0)

type Output = B0

The resulting type after applying the | operator.

pub fn bitor(self, B0) -> <B0 as BitOr<B0>>::Output

Performs the | operation. Read more

impl BitOr<B1> for B0

Or with 0 ( 0 | 1 = 1)

type Output = B1

The resulting type after applying the | operator.

pub fn bitor(self, B1) -> <B0 as BitOr<B1>>::Output

Performs the | operation. Read more

impl BitXor<B0> for B0

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

type Output = B0

The resulting type after applying the ^ operator.

pub fn bitxor(self, B0) -> <B0 as BitXor<B0>>::Output

Performs the ^ operation. Read more

impl BitXor<B0> for B1

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

type Output = B1

The resulting type after applying the ^ operator.

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

Performs the ^ operation. Read more

impl BitXor<B1> for B0

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

type Output = B1

The resulting type after applying the ^ operator.

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

Performs the ^ operation. Read more

impl Clone for B0

pub fn clone(&self) -> B0

Returns a copy of the value. Read more

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl Cmp<B0> for B1

type Output = Greater

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

pub fn compare<P>(&self, &B0) -> <B1 as Cmp<B0>>::Output where
    P: InternalMarker, 

impl Cmp<B0> for B0

type Output = Equal

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

pub fn compare<P>(&self, &B0) -> <B0 as Cmp<B0>>::Output where
    P: InternalMarker, 

impl Cmp<B1> for B0

type Output = Less

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

pub fn compare<P>(&self, &B1) -> <B0 as Cmp<B1>>::Output where
    P: InternalMarker, 

impl Debug for B0

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

Formats the value using the given formatter. Read more

impl Default for B0

pub fn default() -> B0

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

impl Hash for B0

pub fn hash<__H>(&self, state: &mut __H) where
    __H: Hasher, 

Feeds this value into the given Hasher. Read more

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

Feeds a slice of this type into the given Hasher. Read more

impl Max<B0> for B0

type Output = B0

The type of the maximum of Self and Rhs

pub fn max(self, B0) -> B0

Method returning the maximum

impl Max<B0> for B1

type Output = B1

The type of the maximum of Self and Rhs

pub 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

pub fn max(self, rhs: B1) -> B1

Method returning the maximum

impl Min<B0> for B1

type Output = B0

The type of the minimum of Self and Rhs

pub fn min(self, rhs: B0) -> B0

Method returning the minimum

impl Min<B0> for B0

type Output = B0

The type of the minimum of Self and Rhs

pub fn min(self, B0) -> B0

Method returning the minimum

impl Min<B1> for B0

type Output = B0

The type of the minimum of Self and Rhs

pub fn min(self, B1) -> 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.

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

Performs the * operation. Read more

impl Mul<B0> for UTerm

UTerm * B0 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

pub fn mul(self, B0) -> <UTerm as Mul<B0>>::Output

Performs the * operation. Read more

impl Not for B0

Not of 0 (!0 = 1)

type Output = B1

The resulting type after applying the ! operator.

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

Performs the unary ! operation. Read more

impl Ord for B0

pub fn cmp(&self, other: &B0) -> Ordering

This method returns an Ordering between self and other. Read more

#[must_use]
fn max(self, other: Self) -> Self1.21.0[src]

Compares and returns the maximum of two values. Read more

#[must_use]
fn min(self, other: Self) -> Self1.21.0[src]

Compares and returns the minimum of two values. Read more

#[must_use]
fn clamp(self, min: Self, max: Self) -> Self1.50.0[src]

Restrict a value to a certain interval. Read more

impl PartialEq<B0> for B0

pub fn eq(&self, other: &B0) -> bool

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

#[must_use]
fn ne(&self, other: &Rhs) -> bool1.0.0[src]

This method tests for !=.

impl PartialOrd<B0> for B0

pub fn partial_cmp(&self, other: &B0) -> Option<Ordering>

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

#[must_use]
fn lt(&self, other: &Rhs) -> bool1.0.0[src]

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

#[must_use]
fn le(&self, other: &Rhs) -> bool1.0.0[src]

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

#[must_use]
fn gt(&self, other: &Rhs) -> bool1.0.0[src]

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

#[must_use]
fn ge(&self, other: &Rhs) -> bool1.0.0[src]

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

impl Shl<B0> for UTerm

Shifting UTerm by a 0 bit: UTerm << B0 = UTerm

type Output = UTerm

The resulting type after applying the << operator.

pub fn shl(self, B0) -> <UTerm as Shl<B0>>::Output

Performs the << operation. Read more

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.

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

Performs the << operation. Read more

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.

pub fn shr(self, B0) -> <UTerm as Shr<B0>>::Output

Performs the >> operation. Read more

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.

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

Performs the >> operation. Read more

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.

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

Performs the - operation. Read more

impl Sub<B0> for UTerm

UTerm - B0 = Term

type Output = UTerm

The resulting type after applying the - operator.

pub fn sub(self, B0) -> <UTerm as Sub<B0>>::Output

Performs the - operation. Read more

impl Copy for B0

impl Eq for B0

impl StructuralEq for B0

impl StructuralPartialEq for B0

impl Zero for B0

Auto Trait Implementations

impl RefUnwindSafe for B0

impl Send for B0

impl Sync for B0

impl Unpin for B0

impl UnwindSafe for B0

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> DebugExt<T> for T where
    T: Debug, 

pub fn to_debug(&self) -> String

impl<T> Downcast for T where
    T: Any, 

pub fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>ⓘ

Notable traits for Box<R, Global>

impl<R> Read for Box<R, Global> where
    R: Read + ?Sized, impl<W> Write for Box<W, Global> where
    W: Write + ?Sized, impl<I, A> Iterator for Box<I, A> where
    A: Allocator,
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<F, A> Future for Box<F, A> where
    A: Allocator + 'static,
    F: Future + Unpin + ?Sized,  type Output = <F as Future>::Output;

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more

pub fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more

pub fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s. Read more

pub fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s. Read more

impl<T> DowncastSync for T where
    T: Any + Send + Sync, 

pub fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + 'static + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait. Read more

impl<A> DynCastExt for A

pub fn dyn_cast<T>(
    self
) -> Result<<A as DynCastExtHelper<T>>::Target, <A as DynCastExtHelper<T>>::Source> where
    T: ?Sized,
    A: DynCastExtHelper<T>, 

Use this to cast from one trait object type to another. Read more

pub fn dyn_upcast<T>(self) -> <A as DynCastExtAdvHelper<T, T>>::Target where
    T: ?Sized,
    A: DynCastExtAdvHelper<T, T, Source = <A as DynCastExtAdvHelper<T, T>>::Target>, 

Use this to upcast a trait to one of its supertraits. Read more

pub fn dyn_cast_adv<F, T>(
    self
) -> Result<<A as DynCastExtAdvHelper<F, T>>::Target, <A as DynCastExtAdvHelper<F, T>>::Source> where
    T: ?Sized,
    A: DynCastExtAdvHelper<F, T>,
    F: ?Sized, 

Use this to cast from one trait object type to another. This method is more customizable than the dyn_cast method. Here you can also specify the “source” trait from which the cast is defined. This can for example allow using casts from a supertrait of the current trait object. Read more

pub fn dyn_cast_with_config<C>(
    self
) -> Result<<A as DynCastExtAdvHelper<<C as DynCastConfig>::Source, <C as DynCastConfig>::Target>>::Target, <A as DynCastExtAdvHelper<<C as DynCastConfig>::Source, <C as DynCastConfig>::Target>>::Source> where
    C: DynCastConfig,
    A: DynCastExtAdvHelper<<C as DynCastConfig>::Source, <C as DynCastConfig>::Target>, 

Use this to cast from one trait object type to another. With this method the type parameter is a config type that uniquely specifies which cast should be preformed. Read more

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized, [src]

pub fn equivalent(&self, key: &K) -> bool[src]

Compare self to key and return true if they are equal.

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T> Instrument for T[src]

fn instrument(self, span: Span) -> Instrumented<Self>ⓘ

Notable traits for Instrumented<T>

impl<T> Future for Instrumented<T> where
    T: Future,  type Output = <T as Future>::Output;
[src]

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>ⓘ

Notable traits for Instrumented<T>

impl<T> Future for Instrumented<T> where
    T: Future,  type Output = <T as Future>::Output;
[src]

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T> OrdExt<T> for T where
    T: Ord + Clone, [src]

pub fn update_max(&mut self, new: &T)[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T[src]

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)[src]

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, 

pub fn vzip(self) -> V

impl<T> RuleType for T where
    T: Copy + Debug + Eq + Hash + Ord, [src]