Struct snarkvm_circuit_types_integers::Integer

pub struct Integer<E: Environment, I: IntegerType> { /* private fields */ }

Implementations

impl<E: Environment, I: IntegerType> Integer<E, I>

pub fn from_field_lossy(field: Field<E>) -> Self

Casts an integer from a base field, with lossy truncation.

This method is commonly-used by hash-to-integer algorithms, where the hash output does not need to preserve the full base field.

impl<E: Environment, I: IntegerType> Integer<E, I>

pub fn size_in_bits() -> u16

pub fn cast_as_dual(self) -> Integer<E, I::Dual>

Trait Implementations

impl<E: Environment, I: IntegerType> AbsChecked for &Integer<E, I>

type Output = Integer<E, I>

fn abs_checked(self) -> Self::Output

impl<E: Environment, I: IntegerType> AbsChecked for Integer<E, I>

type Output = Integer<E, I>

fn abs_checked(self) -> Self::Output

impl<E: Environment, I: IntegerType> AbsWrapped for &Integer<E, I>

type Output = Integer<E, I>

fn abs_wrapped(self) -> Self::Output

impl<E: Environment, I: IntegerType> AbsWrapped for Integer<E, I>

type Output = Integer<E, I>

fn abs_wrapped(self) -> Self::Output

impl<E: Environment, I: IntegerType> Add<&Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the + operator.

fn add(self, other: &Integer<E, I>) -> Self::Output

Performs the + operation.

impl<E: Environment, I: IntegerType> Add<&Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the + operator.

fn add(self, other: &Self) -> Self::Output

Performs the + operation.

impl<E: Environment, I: IntegerType> Add<Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the + operator.

fn add(self, other: Integer<E, I>) -> Self::Output

Performs the + operation.

impl<E: Environment, I: IntegerType> Add<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<E: Environment, I: IntegerType> AddAssign<&Integer<E, I>> for Integer<E, I>

fn add_assign(&mut self, other: &Integer<E, I>)

Performs the += operation.

impl<E: Environment, I: IntegerType> AddAssign<Integer<E, I>> for Integer<E, I>

fn add_assign(&mut self, other: Integer<E, I>)

Performs the += operation.

impl<E: Environment, I: IntegerType> AddChecked<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn add_checked(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> AddWrapped<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn add_wrapped(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> BitAnd<&Integer<E, I>> for &Integer<E, I>

fn bitand(self, other: &Integer<E, I>) -> Self::Output

Returns (self AND other).

type Output = Integer<E, I>

The resulting type after applying the & operator.

impl<E: Environment, I: IntegerType> BitAnd<&Integer<E, I>> for Integer<E, I>

fn bitand(self, other: &Integer<E, I>) -> Self::Output

Returns (self AND other).

type Output = Integer<E, I>

The resulting type after applying the & operator.

impl<E: Environment, I: IntegerType> BitAnd<Integer<E, I>> for &Integer<E, I>

fn bitand(self, other: Integer<E, I>) -> Self::Output

Returns (self AND other).

type Output = Integer<E, I>

The resulting type after applying the & operator.

impl<E: Environment, I: IntegerType> BitAnd<Integer<E, I>> for Integer<E, I>

fn bitand(self, other: Integer<E, I>) -> Self::Output

Returns (self AND other).

type Output = Integer<E, I>

The resulting type after applying the & operator.

impl<E: Environment, I: IntegerType> BitAndAssign<&Integer<E, I>> for Integer<E, I>

fn bitand_assign(&mut self, other: &Integer<E, I>)

Sets self as (self AND other).

impl<E: Environment, I: IntegerType> BitAndAssign<Integer<E, I>> for Integer<E, I>

fn bitand_assign(&mut self, other: Integer<E, I>)

Sets self as (self AND other).

impl<E: Environment, I: IntegerType> BitOr<&Integer<E, I>> for &Integer<E, I>

fn bitor(self, other: &Integer<E, I>) -> Self::Output

Returns (self OR other).

type Output = Integer<E, I>

The resulting type after applying the | operator.

impl<E: Environment, I: IntegerType> BitOr<&Integer<E, I>> for Integer<E, I>

fn bitor(self, other: &Integer<E, I>) -> Self::Output

Returns (self OR other).

type Output = Integer<E, I>

The resulting type after applying the | operator.

impl<E: Environment, I: IntegerType> BitOr<Integer<E, I>> for &Integer<E, I>

fn bitor(self, other: Integer<E, I>) -> Self::Output

Returns (self OR other).

type Output = Integer<E, I>

The resulting type after applying the | operator.

impl<E: Environment, I: IntegerType> BitOr<Integer<E, I>> for Integer<E, I>

fn bitor(self, other: Integer<E, I>) -> Self::Output

Returns (self OR other).

type Output = Integer<E, I>

The resulting type after applying the | operator.

impl<E: Environment, I: IntegerType> BitOrAssign<&Integer<E, I>> for Integer<E, I>

fn bitor_assign(&mut self, other: &Integer<E, I>)

Sets self as (self OR other).

impl<E: Environment, I: IntegerType> BitOrAssign<Integer<E, I>> for Integer<E, I>

fn bitor_assign(&mut self, other: Integer<E, I>)

Sets self as (self OR other).

impl<E: Environment, I: IntegerType> BitXor<&Integer<E, I>> for &Integer<E, I>

fn bitxor(self, other: &Integer<E, I>) -> Self::Output

Returns (self != other).

type Output = Integer<E, I>

The resulting type after applying the ^ operator.

impl<E: Environment, I: IntegerType> BitXor<&Integer<E, I>> for Integer<E, I>

fn bitxor(self, other: &Self) -> Self::Output

Returns (self != other).

type Output = Integer<E, I>

The resulting type after applying the ^ operator.

impl<E: Environment, I: IntegerType> BitXor<Integer<E, I>> for &Integer<E, I>

fn bitxor(self, other: Integer<E, I>) -> Self::Output

Returns (self != other).

type Output = Integer<E, I>

The resulting type after applying the ^ operator.

impl<E: Environment, I: IntegerType> BitXor<Integer<E, I>> for Integer<E, I>

fn bitxor(self, other: Self) -> Self::Output

Returns (self != other).

type Output = Integer<E, I>

The resulting type after applying the ^ operator.

impl<E: Environment, I: IntegerType> BitXorAssign<&Integer<E, I>> for Integer<E, I>

fn bitxor_assign(&mut self, other: &Integer<E, I>)

Sets self as (self != other).

impl<E: Environment, I: IntegerType> BitXorAssign<Integer<E, I>> for Integer<E, I>

fn bitxor_assign(&mut self, other: Integer<E, I>)

Sets self as (self != other).

impl<E: Clone + Environment, I: Clone + IntegerType> Clone for Integer<E, I>

fn clone(&self) -> Integer<E, I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Environment, I: IntegerType> Compare<Integer<E, I>> for Integer<E, I>

fn is_less_than(&self, other: &Self) -> Self::Output

Returns true if self is less than other.

fn is_greater_than(&self, other: &Self) -> Self::Output

Returns true if self is greater than other.

fn is_less_than_or_equal(&self, other: &Self) -> Self::Output

Returns true if self is less than or equal to other.

fn is_greater_than_or_equal(&self, other: &Self) -> Self::Output

Returns true if self is greater than or equal to other.

type Output = Boolean<E>

impl<E: Environment, I: IntegerType> Debug for Integer<E, I>

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

Formats the value using the given formatter.

impl<E: Environment, I: IntegerType> Display for Integer<E, I>

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

Formats the value using the given formatter.

impl<E: Environment, I: IntegerType> Div<&Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the / operator.

fn div(self, other: &Integer<E, I>) -> Self::Output

Performs the / operation.

impl<E: Environment, I: IntegerType> Div<&Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the / operator.

fn div(self, other: &Self) -> Self::Output

Performs the / operation.

impl<E: Environment, I: IntegerType> Div<Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the / operator.

fn div(self, other: Integer<E, I>) -> Self::Output

Performs the / operation.

impl<E: Environment, I: IntegerType> Div<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the / operator.

fn div(self, other: Self) -> Self::Output

Performs the / operation.

impl<E: Environment, I: IntegerType> DivAssign<&Integer<E, I>> for Integer<E, I>

fn div_assign(&mut self, other: &Integer<E, I>)

Performs the /= operation.

impl<E: Environment, I: IntegerType> DivAssign<Integer<E, I>> for Integer<E, I>

fn div_assign(&mut self, other: Integer<E, I>)

Performs the /= operation.

impl<E: Environment, I: IntegerType> DivChecked<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn div_checked(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> DivWrapped<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn div_wrapped(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> Eject for Integer<E, I>

fn eject_mode(&self) -> Mode

Ejects the mode of the integer.

fn eject_value(&self) -> Self::Primitive

Ejects the integer circuit as a console integer value.

type Primitive = Integer<<E as Environment>::Network, I>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

impl<E: Environment, I: IntegerType> Equal<Integer<E, I>> for Integer<E, I>

fn is_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are equal.

fn is_not_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are not equal.

This method constructs a boolean that indicates if self and other are not equal to each other.

type Output = Boolean<E>

impl<E: Environment, I: IntegerType> From<&Integer<E, I>> for LinearCombination<E::BaseField>

fn from(integer: &Integer<E, I>) -> Self

Converts to this type from the input type.

impl<E: Environment, I: IntegerType> From<Integer<E, I>> for LinearCombination<E::BaseField>

fn from(integer: Integer<E, I>) -> Self

Converts to this type from the input type.

impl<E: Environment, I: IntegerType> FromBits for Integer<E, I>

fn from_bits_le(bits_le: &[Self::Boolean]) -> Self

Initializes a new integer from a list of little-endian bits with trailing zeros.

fn from_bits_be(bits_be: &[Self::Boolean]) -> Self

Initializes a new integer from a list of big-endian bits with leading zeros.

type Boolean = Boolean<E>

impl<E: Environment, I: IntegerType> FromField for Integer<E, I>

fn from_field(field: Self::Field) -> Self

Casts an integer from a base field.

This method guarantees the following:

1. If the field element is larger than the integer domain, then the operation will fail.
2. If the field element is smaller than the integer domain, then the operation will succeed.

type Field = Field<E>

impl<E: Environment, I: IntegerType> FromStr for Integer<E, I>

fn from_str(string: &str) -> Result<Self>

Parses a string into an integer circuit.

type Err = Error

The associated error which can be returned from parsing.

impl<E: Environment, I: IntegerType> Inject for Integer<E, I>

fn new(mode: Mode, value: Self::Primitive) -> Self

Initializes a new integer.

type Primitive = Integer<<E as Environment>::Network, I>

fn constant(value: Self::Primitive) -> Selfwhere Self: Sized,

Initializes a constant of the given primitive value.

impl<E: Environment, I: IntegerType> MSB for Integer<E, I>

fn msb(&self) -> &Self::Boolean

Returns the MSB of the integer.

type Boolean = Boolean<E>

impl<E: Environment, I: IntegerType> Metrics<dyn AbsChecked<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn AbsWrapped<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Add<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn AddChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn AddWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn BitAnd<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn BitXor<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Compare<Integer<E, I>, Output = Boolean<E>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Div<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn DivChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn DivWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Equal<Integer<E, I>, Output = Boolean<E>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Mul<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn MulChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn MulWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Neg<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Not<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn count(_case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn One<Boolean = Boolean<E>>> for Integer<E, I>

type Case = ()

fn count(_case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType, M: Magnitude> Metrics<dyn PowChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType, M: Magnitude> Metrics<dyn PowWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Rem<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn RemChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn RemWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Shl<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType, M: Magnitude> Metrics<dyn ShlChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType, M: Magnitude> Metrics<dyn ShlWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Shr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType, M: Magnitude> Metrics<dyn ShrChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType, M: Magnitude> Metrics<dyn ShrWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Sub<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn SubChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn SubWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Ternary<Output = Integer<E, I>, Boolean = Boolean<E>>> for Integer<E, I>

type Case = (Mode, Mode, Mode)

fn count(case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Metrics<dyn Zero<Boolean = Boolean<E>>> for Integer<E, I>

type Case = ()

fn count(_case: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E: Environment, I: IntegerType> Modulo<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn modulo(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> Mul<&Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the * operator.

fn mul(self, other: &Integer<E, I>) -> Self::Output

Performs the * operation.

impl<E: Environment, I: IntegerType> Mul<&Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the * operator.

fn mul(self, other: &Self) -> Self::Output

Performs the * operation.

impl<E: Environment, I: IntegerType> Mul<Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the * operator.

fn mul(self, other: Integer<E, I>) -> Self::Output

Performs the * operation.

impl<E: Environment, I: IntegerType> Mul<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self::Output

Performs the * operation.

impl<E: Environment, I: IntegerType> MulAssign<&Integer<E, I>> for Integer<E, I>

fn mul_assign(&mut self, other: &Integer<E, I>)

Performs the *= operation.

impl<E: Environment, I: IntegerType> MulAssign<Integer<E, I>> for Integer<E, I>

fn mul_assign(&mut self, other: Integer<E, I>)

Performs the *= operation.

impl<E: Environment, I: IntegerType> MulChecked<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn mul_checked(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> MulWrapped<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn mul_wrapped(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> Neg for &Integer<E, I>

fn neg(self) -> Self::Output

Performs the unary - operation.

type Output = Integer<E, I>

The resulting type after applying the - operator.

impl<E: Environment, I: IntegerType> Neg for Integer<E, I>

fn neg(self) -> Self::Output

Performs the unary - operation.

type Output = Integer<E, I>

The resulting type after applying the - operator.

impl<E: Environment, I: IntegerType> Not for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<E: Environment, I: IntegerType> Not for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<E: Environment, I: IntegerType> One for Integer<E, I>

type Boolean = Boolean<E>

fn one() -> Self

Returns a new one constant.

fn is_one(&self) -> Self::Boolean

Returns true if self is one.

impl<E: Environment, I: IntegerType> OutputMode<dyn AbsChecked<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn AbsWrapped<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Add<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn AddChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn AddWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn BitAnd<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (CircuitType<Integer<E, I>>, CircuitType<Integer<E, I>>)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (CircuitType<Integer<E, I>>, CircuitType<Integer<E, I>>)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn BitXor<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (CircuitType<Integer<E, I>>, CircuitType<Integer<E, I>>)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Compare<Integer<E, I>, Output = Boolean<E>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Div<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn DivChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn DivWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Equal<Integer<E, I>, Output = Boolean<E>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Mul<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn MulChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn MulWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Neg<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Not<Output = Integer<E, I>>> for Integer<E, I>

type Case = Mode

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn One<Boolean = Boolean<E>>> for Integer<E, I>

type Case = ()

fn output_mode(_case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType, M: Magnitude> OutputMode<dyn PowChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, CircuitType<Integer<E, M>>)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType, M: Magnitude> OutputMode<dyn PowWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, CircuitType<Integer<E, M>>)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Rem<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn RemChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn RemWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Shl<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType, M: Magnitude> OutputMode<dyn ShlChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType, M: Magnitude> OutputMode<dyn ShlWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Shr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType, M: Magnitude> OutputMode<dyn ShrChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType, M: Magnitude> OutputMode<dyn ShrWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Sub<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn SubChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn SubWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>

type Case = (Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Ternary<Output = Integer<E, I>, Boolean = Boolean<E>>> for Integer<E, I>

type Case = (CircuitType<Boolean<E>>, Mode, Mode)

fn output_mode(case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> OutputMode<dyn Zero<Boolean = Boolean<E>>> for Integer<E, I>

type Case = ()

fn output_mode(_case: &Self::Case) -> Mode

Returns the mode of the output.

impl<E: Environment, I: IntegerType> Parser for Integer<E, I>

fn parse(string: &str) -> ParserResult<'_, Self>

Parses a string into an integer circuit.

impl<E: Environment, I: IntegerType, M: Magnitude> Pow<&Integer<E, M>> for Integer<E, I>

fn pow(self, other: &Integer<E, M>) -> Self::Output

Returns the power of self to the power of other.

type Output = Integer<E, I>

The result after applying the operator.

impl<E: Environment, I: IntegerType, M: Magnitude> Pow<Integer<E, M>> for Integer<E, I>

fn pow(self, other: Integer<E, M>) -> Self::Output

Returns the power of self to the power of other.

type Output = Integer<E, I>

The result after applying the operator.

impl<E: Environment, I: IntegerType, M: Magnitude> PowChecked<Integer<E, M>> for Integer<E, I>

fn pow_checked(&self, other: &Integer<E, M>) -> Self::Output

Returns the power of self to the power of other.

type Output = Integer<E, I>

impl<E: Environment, I: IntegerType, M: Magnitude> PowWrapped<Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

fn pow_wrapped(&self, other: &Integer<E, M>) -> Self::Output

impl<E: Environment, I: IntegerType> Rem<&Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the % operator.

fn rem(self, other: &Integer<E, I>) -> Self::Output

Performs the % operation.

impl<E: Environment, I: IntegerType> Rem<&Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the % operator.

fn rem(self, other: &Self) -> Self::Output

Performs the % operation.

impl<E: Environment, I: IntegerType> Rem<Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the % operator.

fn rem(self, other: Integer<E, I>) -> Self::Output

Performs the % operation.

impl<E: Environment, I: IntegerType> Rem<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the % operator.

fn rem(self, other: Self) -> Self::Output

Performs the % operation.

impl<E: Environment, I: IntegerType> RemAssign<&Integer<E, I>> for Integer<E, I>

fn rem_assign(&mut self, other: &Integer<E, I>)

Performs the %= operation.

impl<E: Environment, I: IntegerType> RemAssign<Integer<E, I>> for Integer<E, I>

fn rem_assign(&mut self, other: Integer<E, I>)

Performs the %= operation.

impl<E: Environment, I: IntegerType> RemChecked<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn rem_checked(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> RemWrapped<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn rem_wrapped(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType, M: Magnitude> Shl<&Integer<E, M>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the << operator.

fn shl(self, rhs: &Integer<E, M>) -> Self::Output

Performs the << operation.

impl<E: Environment, I: IntegerType, M: Magnitude> Shl<&Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the << operator.

fn shl(self, rhs: &Integer<E, M>) -> Self::Output

Performs the << operation.

impl<E: Environment, I: IntegerType, M: Magnitude> Shl<Integer<E, M>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the << operator.

fn shl(self, rhs: Integer<E, M>) -> Self::Output

Performs the << operation.

impl<E: Environment, I: IntegerType, M: Magnitude> Shl<Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the << operator.

fn shl(self, rhs: Integer<E, M>) -> Self::Output

Performs the << operation.

impl<E: Environment, I: IntegerType, M: Magnitude> ShlAssign<&Integer<E, M>> for Integer<E, I>

fn shl_assign(&mut self, rhs: &Integer<E, M>)

Performs the <<= operation.

impl<E: Environment, I: IntegerType, M: Magnitude> ShlAssign<Integer<E, M>> for Integer<E, I>

fn shl_assign(&mut self, rhs: Integer<E, M>)

Performs the <<= operation.

impl<E: Environment, I: IntegerType, M: Magnitude> ShlChecked<Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

fn shl_checked(&self, rhs: &Integer<E, M>) -> Self::Output

impl<E: Environment, I: IntegerType, M: Magnitude> ShlWrapped<Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

fn shl_wrapped(&self, rhs: &Integer<E, M>) -> Self::Output

impl<E: Environment, I: IntegerType, M: Magnitude> Shr<&Integer<E, M>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the >> operator.

fn shr(self, rhs: &Integer<E, M>) -> Self::Output

Performs the >> operation.

impl<E: Environment, I: IntegerType, M: Magnitude> Shr<&Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the >> operator.

fn shr(self, rhs: &Integer<E, M>) -> Self::Output

Performs the >> operation.

impl<E: Environment, I: IntegerType, M: Magnitude> Shr<Integer<E, M>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the >> operator.

fn shr(self, rhs: Integer<E, M>) -> Self::Output

Performs the >> operation.

impl<E: Environment, I: IntegerType, M: Magnitude> Shr<Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the >> operator.

fn shr(self, rhs: Integer<E, M>) -> Self::Output

Performs the >> operation.

impl<E: Environment, I: IntegerType, M: Magnitude> ShrAssign<&Integer<E, M>> for Integer<E, I>

fn shr_assign(&mut self, rhs: &Integer<E, M>)

Performs the >>= operation.

impl<E: Environment, I: IntegerType, M: Magnitude> ShrAssign<Integer<E, M>> for Integer<E, I>

fn shr_assign(&mut self, rhs: Integer<E, M>)

Performs the >>= operation.

impl<E: Environment, I: IntegerType, M: Magnitude> ShrChecked<Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

fn shr_checked(&self, rhs: &Integer<E, M>) -> Self::Output

impl<E: Environment, I: IntegerType, M: Magnitude> ShrWrapped<Integer<E, M>> for Integer<E, I>

type Output = Integer<E, I>

fn shr_wrapped(&self, rhs: &Integer<E, M>) -> Self::Output

impl<E: Environment, I: IntegerType> Sub<&Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the - operator.

fn sub(self, other: &Integer<E, I>) -> Self::Output

Performs the - operation.

impl<E: Environment, I: IntegerType> Sub<&Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the - operator.

fn sub(self, other: &Self) -> Self::Output

Performs the - operation.

impl<E: Environment, I: IntegerType> Sub<Integer<E, I>> for &Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the - operator.

fn sub(self, other: Integer<E, I>) -> Self::Output

Performs the - operation.

impl<E: Environment, I: IntegerType> Sub<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self::Output

Performs the - operation.

impl<E: Environment, I: IntegerType> SubAssign<&Integer<E, I>> for Integer<E, I>

fn sub_assign(&mut self, other: &Integer<E, I>)

Performs the -= operation.

impl<E: Environment, I: IntegerType> SubAssign<Integer<E, I>> for Integer<E, I>

fn sub_assign(&mut self, other: Integer<E, I>)

Performs the -= operation.

impl<E: Environment, I: IntegerType> SubChecked<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn sub_checked(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> SubWrapped<Integer<E, I>> for Integer<E, I>

type Output = Integer<E, I>

fn sub_wrapped(&self, other: &Integer<E, I>) -> Self::Output

impl<E: Environment, I: IntegerType> Ternary for Integer<E, I>

fn ternary( condition: &Self::Boolean, first: &Self, second: &Self ) -> Self::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Integer<E, I>

impl<E: Environment, I: IntegerType> ToBits for &Integer<E, I>

fn to_bits_le(&self) -> Vec<Self::Boolean>

Outputs the little-endian bit representation of self with trailing zeros.

fn to_bits_be(&self) -> Vec<Self::Boolean>

Outputs the big-endian bit representation of self with leading zeros.

type Boolean = Boolean<E>

impl<E: Environment, I: IntegerType> ToBits for Integer<E, I>

fn to_bits_le(&self) -> Vec<Self::Boolean>

Outputs the little-endian bit representation of self with trailing zeros.

fn to_bits_be(&self) -> Vec<Self::Boolean>

Outputs the big-endian bit representation of self with leading zeros.

type Boolean = Boolean<E>

impl<E: Environment, I: IntegerType> ToField for Integer<E, I>

fn to_field(&self) -> Self::Field

Casts an integer into a base field.

type Field = Field<E>

impl<E: Environment, I: IntegerType> ToFields for Integer<E, I>

fn to_fields(&self) -> Vec<Self::Field>

Casts an integer into a list of base fields.

type Field = Field<E>

impl<E: Environment, I: IntegerType> TypeName for Integer<E, I>

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<E: Environment, I: IntegerType> Zero for Integer<E, I>

type Boolean = Boolean<E>

fn zero() -> Self

Returns a new zero constant.

fn is_zero(&self) -> Self::Boolean

Returns true if self is zero.

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

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