Trait snarkvm_wasm::traits::utilities::arithmetic::Add

pub trait Add<F, Rhs = Self> where
    F: Field, {
    type ErrorType;
    pub fn add<CS>(&self, cs: CS, other: &Self) -> Result<Self, Self::ErrorType>
    where
        CS: ConstraintSystem<F>;
}

Returns addition of self + other in the constraint system.

Associated Types

type ErrorType

Loading content...

Required methods

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

Loading content...

Implementors

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

type ErrorType = SignedIntegerError

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

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

type ErrorType = SignedIntegerError

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

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

type ErrorType = SignedIntegerError

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

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

type ErrorType = SignedIntegerError

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

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

type ErrorType = SignedIntegerError

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

impl<F> Add<F, UInt8> for UInt8 where
    F: Field + PrimeField, 

type ErrorType = SynthesisError

pub fn add<CS>(
    &self,
    cs: CS,
    other: &UInt8
) -> Result<UInt8, <UInt8 as Add<F, UInt8>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Add<F, UInt16> for UInt16 where
    F: Field + PrimeField, 

type ErrorType = SynthesisError

pub fn add<CS>(
    &self,
    cs: CS,
    other: &UInt16
) -> Result<UInt16, <UInt16 as Add<F, UInt16>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Add<F, UInt32> for UInt32 where
    F: Field + PrimeField, 

type ErrorType = SynthesisError

pub fn add<CS>(
    &self,
    cs: CS,
    other: &UInt32
) -> Result<UInt32, <UInt32 as Add<F, UInt32>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Add<F, UInt64> for UInt64 where
    F: Field + PrimeField, 

type ErrorType = SynthesisError

pub fn add<CS>(
    &self,
    cs: CS,
    other: &UInt64
) -> Result<UInt64, <UInt64 as Add<F, UInt64>>::ErrorType> where
    CS: ConstraintSystem<F>, 

impl<F> Add<F, UInt128> for UInt128 where
    F: Field + PrimeField, 

type ErrorType = SynthesisError

pub fn add<CS>(
    &self,
    cs: CS,
    other: &UInt128
) -> Result<UInt128, <UInt128 as Add<F, UInt128>>::ErrorType> where
    CS: ConstraintSystem<F>, 

Loading content...