Struct snarkvm_circuit_types_integers::Integer

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 to_scalar(&self) -> Scalar<E>

Casts an integer into a scalar.

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§

type Output = Integer<E, I>

The resulting type after applying the + operator.

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

Performs the + operation. Read more

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. Read more

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. Read more

impl<E: Environment, I: IntegerType> Add 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. Read more

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. Read more

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

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

Performs the += operation. Read more

impl<E: Environment, I: IntegerType> AddChecked 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 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 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 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 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 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 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 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. Read more

1.0.0 · source§

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

Performs copy-assignment from source. Read more

impl<E: Environment, I: IntegerType> Compare 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. Read more

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

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

Formats the value using the given formatter. Read more

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. Read more

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. Read more

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. Read more

impl<E: Environment, I: IntegerType> Div 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. Read more

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. Read more

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

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

Performs the /= operation. Read more

impl<E: Environment, I: IntegerType> DivChecked 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 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 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:

If the field element is larger than the integer domain, then the operation will fail.
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) -> Self
where 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, bool, bool)

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, bool, bool)

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, bool, bool)

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, bool, bool)

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, bool, bool)

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<Boolean = Boolean<E>, Output = Integer<E, I>>> 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 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. Read more

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. Read more

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. Read more

impl<E: Environment, I: IntegerType> Mul 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. Read more

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. Read more

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

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

Performs the *= operation. Read more

impl<E: Environment, I: IntegerType> MulChecked 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 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. Read more

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. Read more

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, bool, bool)

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, bool, bool)

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<Boolean = Boolean<E>, Output = Integer<E, I>>> 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. Read more

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. Read more

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. Read more

impl<E: Environment, I: IntegerType> Rem 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. Read more

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. Read more

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

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

Performs the %= operation. Read more

impl<E: Environment, I: IntegerType> RemChecked 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 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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

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. Read more

impl<E: Environment, I: IntegerType> Sub 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. Read more

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. Read more

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

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

Performs the -= operation. Read more

impl<E: Environment, I: IntegerType> SubChecked 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 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 write_bits_le(&self, vec: &mut Vec<Self::Boolean>)

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

fn write_bits_be(&self, vec: &mut Vec<Self::Boolean>)

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

type Boolean = Boolean<E>

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

Returns the little-endian bits of the circuit.

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

Returns the big-endian bits of the circuit.

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

fn write_bits_le(&self, vec: &mut Vec<Self::Boolean>)

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

fn write_bits_be(&self, vec: &mut Vec<Self::Boolean>)

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

type Boolean = Boolean<E>

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

Returns the little-endian bits of the circuit.

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

Returns the big-endian bits of the circuit.

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 for Integer<E, I>

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

Auto Trait Implementations§

impl<E, I> RefUnwindSafe for Integer<E, I>
where I: RefUnwindSafe, <E as Environment>::BaseField: RefUnwindSafe,

impl<E, I> !Send for Integer<E, I>

impl<E, I> !Sync for Integer<E, I>

impl<E, I> Unpin for Integer<E, I>
where I: Unpin, <E as Environment>::BaseField: Unpin,

impl<E, I> UnwindSafe for Integer<E, I>
where I: UnwindSafe, <E as Environment>::BaseField: UnwindSafe + RefUnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pointable for T

const ALIGN: usize = _

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

fn clone_into(&self, target: &mut T)

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

impl<T> ToSmolStr for T
where T: Display + ?Sized,

fn to_smolstr(&self) -> SmolStr

impl<T> ToString for T
where T: Display + ?Sized,

default fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T, U> TryInto for T
where U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

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

fn vzip(self) -> V

impl<T, Rhs> NumAssignOps<Rhs> for T
where T: AddAssign<Rhs> + SubAssign<Rhs> + MulAssign<Rhs> + DivAssign<Rhs> + RemAssign<Rhs>,

impl<T, Rhs, Output> NumOps<Rhs, Output> for T
where T: Sub<Rhs, Output = Output> + Mul<Rhs, Output = Output> + Div<Rhs, Output = Output> + Add<Rhs, Output = Output> + Rem<Rhs, Output = Output>,