Trait snarkvm_circuit::_

pub trait _: Mul<Self, Output = Self> {
    fn one() -> Self;

    fn set_one(&mut self) { ... }
    fn is_one(&self) -> bool
    where
        Self: PartialEq<Self>,
    { ... }
}

Defines a multiplicative identity element for Self.

Laws

a * 1 = a       ∀ a ∈ Self
1 * a = a       ∀ a ∈ Self

Required Methods

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

Purity

This function should return the same result at all times regardless of external mutable state, for example values stored in TLS or in static muts.

Provided Methods

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool where
    Self: PartialEq<Self>, 

Returns true if self is equal to the multiplicative identity.

For performance reasons, it’s best to implement this manually. After a semver bump, this method will be required, and the where Self: PartialEq bound will be removed.

Implementations on Foreign Types

impl<P> One for Fp2<P> where
    P: Fp2Parameters, 

fn one() -> Fp2<P>

fn is_one(&self) -> bool

impl<P> One for Fp384<P> where
    P: Fp384Parameters, 

fn one() -> Fp384<P>

fn is_one(&self) -> bool

impl<P> One for Fp12<P> where
    P: Fp12Parameters, 

fn one() -> Fp12<P>

fn is_one(&self) -> bool

impl<P> One for Fp256<P> where
    P: Fp256Parameters, 

fn one() -> Fp256<P>

fn is_one(&self) -> bool

impl<P> One for Fp6<P> where
    P: Fp6Parameters, 

fn one() -> Fp6<P>

fn is_one(&self) -> bool

impl One for BigInt

fn one() -> BigInt

fn set_one(&mut self)

fn is_one(&self) -> bool

impl One for BigUint

fn one() -> BigUint

fn set_one(&mut self)

fn is_one(&self) -> bool

impl One for u8

fn one() -> u8

fn is_one(&self) -> bool

impl<T> One for Wrapping<T> where
    T: One,
    Wrapping<T>: Mul<Wrapping<T>>,
    <Wrapping<T> as Mul<Wrapping<T>>>::Output == Wrapping<T>, 

fn set_one(&mut self)

fn one() -> Wrapping<T>

impl One for i16

fn one() -> i16

fn is_one(&self) -> bool

impl One for i32

fn one() -> i32

fn is_one(&self) -> bool

impl One for i128

fn one() -> i128

fn is_one(&self) -> bool

impl One for i64

fn one() -> i64

fn is_one(&self) -> bool

impl One for usize

fn one() -> usize

fn is_one(&self) -> bool

impl One for u32

fn one() -> u32

fn is_one(&self) -> bool

impl One for u128

fn one() -> u128

fn is_one(&self) -> bool

impl One for f32

fn one() -> f32

fn is_one(&self) -> bool

impl One for isize

fn one() -> isize

fn is_one(&self) -> bool

impl One for u64

fn one() -> u64

fn is_one(&self) -> bool

impl One for f64

fn one() -> f64

fn is_one(&self) -> bool

impl One for i8

fn one() -> i8

fn is_one(&self) -> bool

impl One for u16

fn one() -> u16

fn is_one(&self) -> bool

impl<E> One for Field<E> where
    E: Environment, 

fn one() -> Field<E>

Returns the 1 element of the field.

fn is_one(&self) -> bool

Returns true if the element is one.

impl<E> One for Scalar<E> where
    E: Environment, 

fn one() -> Scalar<E>

Returns the 1 element of the scalar.

fn is_one(&self) -> bool

Returns true if the element is one.

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

fn one() -> Integer<E, I>

Returns the 1 element of the integer.

fn is_one(&self) -> bool

Returns true if the element is one.

Implementors