Trait zkevm_circuits::circuit_tools::constraint_builder::ExprVec

pub trait ExprVec<F> {
    // Required method
    fn to_expr_vec(&self) -> Vec<Expression<F>>;
}

Expand description

Trait that generates a vector of expressions

Required Methods§

fn to_expr_vec(&self) -> Vec<Expression<F>>

Returns a vector of the expressions from itself

Implementations on Foreign Types§

impl<F: Field> ExprVec<F> for bool

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field> ExprVec<F> for i32

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field> ExprVec<F> for isize

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field> ExprVec<F> for u8

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field> ExprVec<F> for u64

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field> ExprVec<F> for usize

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field> ExprVec<F> for Range<isize>

fn to_expr_vec(&self) -> Vec<Expression<F>>

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

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field, E: Expr<F>> ExprVec<F> for &[E]

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field, E: Expr<F>> ExprVec<F> for [E]

fn to_expr_vec(&self) -> Vec<Expression<F>>

impl<F: Field, E: Expr<F>> ExprVec<F> for Vec<E>

fn to_expr_vec(&self) -> Vec<Expression<F>>

Implementors§

impl<F: Field, E: Expr<F> + Clone> ExprVec<F> for WordLoHi<E>