Trait zkevm_circuits::circuit_tools::constraint_builder::ExprResult

pub trait ExprResult<F> {
    // Required methods
    fn add(&self, other: &Self) -> Self;
    fn mul(&self, other: &Expression<F>) -> Self;
}

Trait for doing math on Expressions, no matter the type they are stored in

Required Methods

fn add(&self, other: &Self) -> Self

Adds two values together

fn mul(&self, other: &Expression<F>) -> Self

Multiply with a scalar

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for (Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>, Expression<F>)

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for ()

fn add(&self, _other: &Self) -> Self

fn mul(&self, _other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for Vec<Expression<F>>

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

impl<F: Field> ExprResult<F> for Expression<F>

fn add(&self, other: &Self) -> Self

fn mul(&self, other: &Expression<F>) -> Self

Implementors