pub enum RelationError {
FieldNotFound(Header, FieldName),
TypeInference(FieldName, TypeError),
NotBoolValue {
val: AlgebraicValue,
},
NotBoolType {
field: FieldName,
ty: AlgebraicType,
},
FieldPathInvalid(String),
}Variants§
FieldNotFound(Header, FieldName)
TypeInference(FieldName, TypeError)
NotBoolValue
Fields
§
val: AlgebraicValueNotBoolType
FieldPathInvalid(String)
Trait Implementations§
Source§impl Debug for RelationError
impl Debug for RelationError
Source§impl Display for RelationError
impl Display for RelationError
Source§impl Error for RelationError
impl Error for RelationError
1.30.0 · 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()
Auto Trait Implementations§
impl Freeze for RelationError
impl RefUnwindSafe for RelationError
impl Send for RelationError
impl Sync for RelationError
impl Unpin for RelationError
impl UnsafeUnpin for RelationError
impl UnwindSafe for RelationError
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> ToLeanString for Twhere
T: Display,
impl<T> ToLeanString for Twhere
T: Display,
Source§fn try_to_lean_string(&self) -> Result<LeanString, ToLeanStringError>
fn try_to_lean_string(&self) -> Result<LeanString, ToLeanStringError>
Attempts to convert the value to a
LeanString. Read moreSource§fn to_lean_string(&self) -> LeanString
fn to_lean_string(&self) -> LeanString
Converts the value to a
LeanString. Read more