Module snarkvm_circuit::operators

Traits

• AbsChecked
  Unary operator for retrieving the absolute value, enforcing an overflow never occurs.
• AbsSaturating
  Unary operator for retrieving the absolute value, bounding the difference to MAX if an overflow occurs.
• AbsWrapped
  Unary operator for retrieving the absolute value, wrapping the result if an overflow occurs.
• AddChecked
  Binary operator for adding two values, enforcing an overflow never occurs.
• AddSaturating
  Binary operator for adding two values, bounding the sum to MAX if an overflow occurs.
• AddWrapped
  Binary operator for adding two values, wrapping the sum if an overflow occurs.
• Adder
  A single-bit binary adder with a carry bit.
• Compare
  Trait for comparator operations.
• DivChecked
  Binary operator for dividing two values, enforcing an overflow never occurs.
• DivSaturating
  Binary operator for dividing two values, bounding the quotient to MAX or MIN if an overflow occurs.
• DivUnchecked
  Binary operator for dividing two values, without checking specific conditions.
• DivWrapped
  Binary operator for dividing two values, wrapping the quotient if an overflow occurs.
• Double
  Unary operator for retrieving the doubled value.
• Equal
  Trait for equality comparisons.
• Inverse
  Unary operator for retrieving the inverse value.
• MSB
  Unary operator for retrieving the most-significant bit.
• Modulo
  Binary operator for modding two values.
• MulChecked
  Binary operator for multiplying two values, enforcing an overflow never occurs.
• MulSaturating
  Binary operator for multiplying two values, bounding the product to MAX if an overflow occurs.
• MulWrapped
  Binary operator for multiplying two values, wrapping the product if an overflow occurs.
• Nand
  Binary operator for performing NOT (a AND b).
• Nor
  Binary operator for performing (NOT a) AND (NOT b).
• One
  Representation of the one value.
• PowChecked
  Binary operator for exponentiating two values, enforcing an overflow never occurs.
• PowWrapped
  Binary operator for exponentiating two values, wrapping the result if an overflow occurs.
• RemChecked
  Binary operator for dividing two values and returning the remainder, enforcing an overflow never occurs.
• RemSaturating
  Binary operator for dividing two values, bounding the remainder to MAX or MIN if an overflow occurs.
• RemWrapped
  Binary operator for dividing two values, wrapping the remainder if an overflow occurs.
• ShlChecked
  Binary operator for left shifting a value, checking that the rhs is less than the number of bits in self.
• ShlWrapped
  Binary operator for left shifting a value, safely continuing past the number of bits in self.
• ShrChecked
  Binary operator for right shifting a value, checking that the rhs is less than the number of bits in self.
• ShrWrapped
  Binary operator for right shifting a value, safely continuing past the number of bits in self.
• SizeInBits
• SizeInDataBits
• Square
  Unary operator for retrieving the squared value.
• SquareRoot
  Unary operator for retrieving the square root of the value.
• SubChecked
  Binary operator for subtracting two values, enforcing an underflow never occurs.
• SubSaturating
  Binary operator for subtracting two values, bounding the difference to MIN if an underflow occurs.
• SubWrapped
  Binary operator for subtracting two values, wrapping the difference if an underflow occurs.
• Subtractor
  A single-bit binary subtractor with a borrow bit.
• Ternary
  Trait for ternary operations.
• Zero
  Representation of the zero value.