pub struct DoNothingBuilder;Trait Implementations§
Source§impl Clone for DoNothingBuilder
impl Clone for DoNothingBuilder
Source§fn clone(&self) -> DoNothingBuilder
fn clone(&self) -> DoNothingBuilder
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl ConstraintBuilder for DoNothingBuilder
impl ConstraintBuilder for DoNothingBuilder
Source§type Expr = DummySemiring
type Expr = DummySemiring
The expressions the constraint builder operates on.
It is opaque from the PoV of an AIR apart from
the fact that arithmetic operations are available on it
and one can check if an expression is in an ideal.
Source§type Ideal = ImpossibleIdeal
type Ideal = ImpossibleIdeal
The type of ideals used by the constraint builder.
Source§fn assert_in_ideal(&mut self, _expr: Self::Expr, _ideal: &Self::Ideal)
fn assert_in_ideal(&mut self, _expr: Self::Expr, _ideal: &Self::Ideal)
Add a constraint saying that
expr belongs to the ideal ideal.Source§fn assert_zero(&mut self, _expr: Self::Expr)
fn assert_zero(&mut self, _expr: Self::Expr)
Add a constraint saying that
expr is equal to zero which is
the same as saying that expr belongs to the zero ideal.Source§impl Debug for DoNothingBuilder
impl Debug for DoNothingBuilder
Source§impl Default for DoNothingBuilder
impl Default for DoNothingBuilder
Source§fn default() -> DoNothingBuilder
fn default() -> DoNothingBuilder
Returns the “default value” for a type. Read more
impl Copy for DoNothingBuilder
Auto Trait Implementations§
impl Freeze for DoNothingBuilder
impl RefUnwindSafe for DoNothingBuilder
impl Send for DoNothingBuilder
impl Sync for DoNothingBuilder
impl Unpin for DoNothingBuilder
impl UnsafeUnpin for DoNothingBuilder
impl UnwindSafe for DoNothingBuilder
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more