Enum lambda_calculus::term::TermError
source · pub enum TermError {
NotVar,
NotAbs,
NotApp,
}
Expand description
An error that can be returned when an inapplicable function is applied to a Term
.
Variants§
NotVar
the term is not a variable
NotAbs
the term is not an abstraction
NotApp
the term is not an application
Trait Implementations§
source§impl Error for TermError
impl Error for TermError
source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
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 PartialEq for TermError
impl PartialEq for TermError
impl Eq for TermError
impl StructuralPartialEq for TermError
Auto Trait Implementations§
impl Freeze for TermError
impl RefUnwindSafe for TermError
impl Send for TermError
impl Sync for TermError
impl Unpin for TermError
impl UnwindSafe for TermError
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