Trait halo2_frontend::circuit::TableLayouter

pub trait TableLayouter<F: Field>: Debug {
    // Required method
    fn assign_cell<'v>(
        &'v mut self,
        annotation: &'v (dyn Fn() -> String + 'v),
        column: TableColumn,
        offset: usize,
        to: &'v mut (dyn FnMut() -> Value<Assigned<F>> + 'v)
    ) -> Result<(), Error>;
}

Helper trait for implementing a custom Layouter.

This trait is used for implementing table assignments.

Required Methods

fn assign_cell<'v>( &'v mut self, annotation: &'v (dyn Fn() -> String + 'v), column: TableColumn, offset: usize, to: &'v mut (dyn FnMut() -> Value<Assigned<F>> + 'v) ) -> Result<(), Error>

Assigns a fixed value to a table cell.

Returns an error if the table cell has already been assigned to.

Trait Implementations

impl<'r, F: Field> From<&'r mut dyn TableLayouter<F>> for Table<'r, F>

fn from(table: &'r mut dyn TableLayouter<F>) -> Self

Converts to this type from the input type.

Implementors

impl<'r, 'a, F: Field, CS: Assignment<F> + 'a> TableLayouter<F> for SimpleTableLayouter<'r, 'a, F, CS>