Trait snarkvm_wasm::prelude::Neg

pub trait Neg<F> where
    F: Field, {
    type ErrorType;
    fn neg<CS>(&self, cs: CS) -> Result<Self, Self::ErrorType>
    where
        CS: ConstraintSystem<F>;
}

Returns a negated representation of self in the constraint system.

Associated Types

type ErrorType

Required methods

fn neg<CS>(&self, cs: CS) -> Result<Self, Self::ErrorType> where
    CS: ConstraintSystem<F>, 

Implementations on Foreign Types

impl<F> Neg<F> for Vec<Boolean, Global> where
    F: Field, 

type ErrorType = SynthesisError

pub fn neg<CS>(&self, cs: CS) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

Implementors

impl<F> Neg<F> for Int8 where
    F: PrimeField, 

type ErrorType = SignedIntegerError

pub fn neg<CS>(&self, cs: CS) -> Result<Int8, <Int8 as Neg<F>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Neg<F> for Int16 where
    F: PrimeField, 

type ErrorType = SignedIntegerError

pub fn neg<CS>(&self, cs: CS) -> Result<Int16, <Int16 as Neg<F>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Neg<F> for Int32 where
    F: PrimeField, 

type ErrorType = SignedIntegerError

pub fn neg<CS>(&self, cs: CS) -> Result<Int32, <Int32 as Neg<F>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Neg<F> for Int64 where
    F: PrimeField, 

type ErrorType = SignedIntegerError

pub fn neg<CS>(&self, cs: CS) -> Result<Int64, <Int64 as Neg<F>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Neg<F> for Int128 where
    F: PrimeField, 

type ErrorType = SignedIntegerError

pub fn neg<CS>(&self, cs: CS) -> Result<Int128, <Int128 as Neg<F>>::ErrorType> where
    CS: ConstraintSystem<F>,