pub enum CheckError {
ConstraintErrors(ConstraintErrors),
ConstraintsUnsatisfied(ConstraintsUnsatisfied),
}
Expand description
Predicate checking error.
Variants§
ConstraintErrors(ConstraintErrors)
Errors occurred while executing one or more constraints.
ConstraintsUnsatisfied(ConstraintsUnsatisfied)
One or more constraints were unsatisfied.
Trait Implementations§
Source§impl Debug for CheckError
impl Debug for CheckError
Source§impl Display for CheckError
impl Display for CheckError
Source§impl Error for CheckError
impl Error for CheckError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Source§impl From<ConstraintErrors> for CheckError
impl From<ConstraintErrors> for CheckError
Source§fn from(source: ConstraintErrors) -> Self
fn from(source: ConstraintErrors) -> Self
Converts to this type from the input type.
Source§impl From<ConstraintsUnsatisfied> for CheckError
impl From<ConstraintsUnsatisfied> for CheckError
Source§fn from(source: ConstraintsUnsatisfied) -> Self
fn from(source: ConstraintsUnsatisfied) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for CheckError
impl !RefUnwindSafe for CheckError
impl Send for CheckError
impl Sync for CheckError
impl Unpin for CheckError
impl !UnwindSafe for CheckError
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