struct ConstraintFormatter {
level: u32,
}Fields§
§level: u32Implementations§
Source§impl ConstraintFormatter
impl ConstraintFormatter
fn fmt_constraint<T: Types>( &mut self, f: &mut Formatter<'_>, cstr: &Constraint<T>, ) -> Result
fn fmt_pred_in_head_position<T: Types>( &mut self, pred: &Pred<T>, tag: Option<&T::Tag>, f: &mut Formatter<'_>, ) -> Result
fn incr(&mut self)
fn decr(&mut self)
fn newline(&self, f: &mut Formatter<'_>) -> Result
fn padding(&self, f: &mut Formatter<'_>) -> Result
Trait Implementations§
Source§impl Default for ConstraintFormatter
impl Default for ConstraintFormatter
Source§fn default() -> ConstraintFormatter
fn default() -> ConstraintFormatter
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for ConstraintFormatter
impl RefUnwindSafe for ConstraintFormatter
impl Send for ConstraintFormatter
impl Sync for ConstraintFormatter
impl Unpin for ConstraintFormatter
impl UnwindSafe for ConstraintFormatter
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> 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