Trait snarkos_models::gadgets::utilities::arithmetic::add::Add

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

Returns addition of self + other in the constraint system.

Associated Types

type ErrorType

Loading content...

Required methods

#[must_use]fn add<CS: ConstraintSystem<F>>(
    &self,
    cs: CS,
    other: &Self
) -> Result<Self, Self::ErrorType>

Loading content...

Implementors

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

type ErrorType = SynthesisError

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

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

type ErrorType = SynthesisError

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

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

type ErrorType = SynthesisError

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

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

type ErrorType = SynthesisError

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

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

type ErrorType = SynthesisError

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

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

type ErrorType = SignedIntegerError

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

Loading content...