snarkvm_console_collections::environment::prelude

Trait IntegerCore

Source
pub trait IntegerCore<I>:
    'static
    + Add<Output = Self, Output = Self>
    + for<'a> Add<&'a Self>
    + AddAssign
    + for<'a> AddAssign<&'a Self>
    + BitAndAssign
    + BitAnd<Output = Self, Output = Self>
    + for<'a> BitAnd<&'a Self>
    + BitOrAssign
    + BitOr<Output = Self, Output = Self>
    + for<'a> BitOr<&'a Self>
    + BitXorAssign
    + BitXor<Output = Self, Output = Self>
    + for<'a> BitXor<&'a Self>
    + Copy
    + Clone
    + Compare
    + Debug
    + Deref
    + Div<Output = Self, Output = Self>
    + for<'a> Div<&'a Self>
    + DivAssign
    + for<'a> DivAssign<&'a Self>
    + Eq
    + Equal
    + Modulo
    + Mul<Output = Self, Output = Self>
    + for<'a> Mul<&'a Self>
    + MulAssign
    + for<'a> MulAssign<&'a Self>
    + Neg<Output = Self>
    + Not<Output = Self>
    + One
    + Parser
    + Rem<Output = Self, Output = Self>
    + for<'a> Rem<&'a Self>
    + RemAssign
    + for<'a> RemAssign<&'a Self>
    + Send
    + SizeInBits
    + SizeInBytes
    + Sync
    + Sub<Output = Self, Output = Self>
    + for<'a> Sub<&'a Self>
    + SubAssign
    + for<'a> SubAssign<&'a Self>
    + TypeName
    + Uniform
    + Visibility
    + Zero
where I: IntegerType,
{ }

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<E, I> IntegerCore<I> for Integer<E, I>
where E: Environment, I: IntegerType,