Trait gadgets::util::Expr

source ·
pub trait Expr<F: Field> {
    // Required method
    fn expr(&self) -> Expression<F>;
}
Expand description

Trait that implements functionality to get a constant expression from commonly used types.

Required Methods§

source

fn expr(&self) -> Expression<F>

Returns an expression for the type.

Implementations on Foreign Types§

source§

impl<F: Field> Expr<F> for &Expression<F>

source§

fn expr(&self) -> Expression<F>

source§

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

source§

fn expr(&self) -> Expression<F>

source§

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

source§

fn expr(&self) -> Expression<F>

source§

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

source§

fn expr(&self) -> Expression<F>

source§

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

source§

fn expr(&self) -> Expression<F>

source§

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

source§

fn expr(&self) -> Expression<F>

source§

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

source§

fn expr(&self) -> Expression<F>

source§

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

source§

fn expr(&self) -> Expression<F>

source§

impl<F: Field> Expr<F> for OpcodeId

source§

fn expr(&self) -> Expression<F>

Implementors§