Trait snarkvm_circuit_types::prelude::IntegerTrait

pub trait IntegerTrait<I, U8, U16, U32>: IntegerCore<I> + PowChecked<U8, Output = Self, Output = Self, Output = Self> + PowWrapped<U8, Output = Self, Output = Self, Output = Self> + Shl<U8, Output = Self, Output = Self, Output = Self> + ShlAssign<U8> + ShlChecked<U8, Output = Self, Output = Self, Output = Self> + ShlWrapped<U8, Output = Self, Output = Self, Output = Self> + Shr<U8, Output = Self, Output = Self, Output = Self> + ShrAssign<U8> + ShrChecked<U8, Output = Self, Output = Self, Output = Self> + ShrWrapped<U8, Output = Self, Output = Self, Output = Self> + PowChecked<U16> + PowWrapped<U16> + Shl<U16> + ShlAssign<U16> + ShlChecked<U16> + ShlWrapped<U16> + Shr<U16> + ShrAssign<U16> + ShrChecked<U16> + ShrWrapped<U16> + PowChecked<U32> + PowWrapped<U32> + Shl<U32> + ShlAssign<U32> + ShlChecked<U32> + ShlWrapped<U32> + Shr<U32> + ShrAssign<U32> + ShrChecked<U32> + ShrWrapped<U32>where
    I: IntegerType,
    U8: IntegerCore<u8>,
    U16: IntegerCore<u16>,
    U32: IntegerCore<u32>,{ }

Representation of an integer.

Implementations on Foreign Types

impl<E, I> IntegerTrait<I, Integer<E, u8>, Integer<E, u16>, Integer<E, u32>> for Integer<E, I>where E: Environment, I: IntegerType,

Implementors