Struct halo2_proofs::circuit::NamespacedLayouter

pub struct NamespacedLayouter<'a, F, L>(/* private fields */)
where
    F: Field,
    L: Layouter<F> + 'a;

This is a “namespaced” layouter which borrows a Layouter (pushing a namespace context) and, when dropped, pops out of the namespace context.

Trait Implementations

impl<'a, F, L> Debug for NamespacedLayouter<'a, F, L>

where F: Debug + Field, L: Debug + Layouter<F> + 'a,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'a, F, L> Drop for NamespacedLayouter<'a, F, L>

where F: Field, L: Layouter<F> + 'a,

fn drop(&mut self)

Executes the destructor for this type.

impl<'a, F, L> Layouter<F> for NamespacedLayouter<'a, F, L>

where F: Field, L: Layouter<F> + 'a,

type Root = <L as Layouter<F>>::Root

Represents the type of the “root” of this layouter, so that nested namespaces can minimize indirection.

fn assign_region<A, AR, N, NR>( &mut self, name: N, assignment: A ) -> Result<AR, Error>

where A: FnMut(Region<'_, F>) -> Result<AR, Error>, N: Fn() -> NR, NR: Into<String>,

Assign a region of gates to an absolute row number.

fn assign_table<A, N, NR>( &mut self, name: N, assignment: A ) -> Result<(), Error>

where A: FnMut(Table<'_, F>) -> Result<(), Error>, N: Fn() -> NR, NR: Into<String>,

Assign a table region to an absolute row number.

fn constrain_instance( &mut self, cell: Cell, column: Column<Instance>, row: usize ) -> Result<(), Error>

Constrains a Cell to equal an instance column’s row value at an absolute position.

fn get_challenge(&self, challenge: Challenge) -> Value<F>

Queries the value of the given challenge.

fn get_root( &mut self ) -> &mut <NamespacedLayouter<'a, F, L> as Layouter<F>>::Root

Gets the “root” of this assignment, bypassing the namespacing.

fn push_namespace<NR, N>(&mut self, _name_fn: N)

where NR: Into<String>, N: FnOnce() -> NR,

Creates a new (sub)namespace and enters into it.

fn pop_namespace(&mut self, _gadget_name: Option<String>)

Exits out of the existing namespace.

fn namespace<NR, N>( &mut self, name_fn: N ) -> NamespacedLayouter<'_, F, Self::Root>

where NR: Into<String>, N: FnOnce() -> NR,

Enters into a namespace.