[−][src]Struct bellperson::Namespace
This is a "namespaced" constraint system which borrows a constraint system (pushing a namespace context) and, when dropped, pops out of the namespace context.
Trait Implementations
impl<'cs, E: Engine, CS: ConstraintSystem<E>> ConstraintSystem<E> for Namespace<'cs, E, CS>
[src]
type Root = CS::Root
Represents the type of the "root" of this constraint system so that nested namespaces can minimize indirection. Read more
fn one() -> Variable
[src]
fn alloc<F, A, AR>(
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn alloc_input<F, A, AR>(
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn enforce<A, AR, LA, LB, LC>(&mut self, annotation: A, a: LA, b: LB, c: LC) where
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LB: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LC: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
[src]
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LB: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LC: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
fn push_namespace<NR, N>(&mut self, _: N) where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
fn pop_namespace(&mut self)
[src]
fn get_root(&mut self) -> &mut Self::Root
[src]
fn namespace<'a, NR, N>(
&'a mut self,
name_fn: N
) -> Namespace<'a, E, Self::Root> where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
&'a mut self,
name_fn: N
) -> Namespace<'a, E, Self::Root> where
NR: Into<String>,
N: FnOnce() -> NR,
impl<'a, E: Engine, CS: ConstraintSystem<E>> Drop for Namespace<'a, E, CS>
[src]
Auto Trait Implementations
impl<'a, E, CS> Send for Namespace<'a, E, CS> where
CS: Send,
E: Send,
CS: Send,
E: Send,
impl<'a, E, CS> Sync for Namespace<'a, E, CS> where
CS: Sync,
E: Sync,
CS: Sync,
E: Sync,
impl<'a, E, CS> Unpin for Namespace<'a, E, CS> where
E: Unpin,
E: Unpin,
impl<'a, E, CS> !UnwindSafe for Namespace<'a, E, CS>
impl<'a, E, CS> RefUnwindSafe for Namespace<'a, E, CS> where
CS: RefUnwindSafe,
E: RefUnwindSafe,
CS: RefUnwindSafe,
E: RefUnwindSafe,
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,