Enum programinduction::trs::TypeError
source · pub enum TypeError {
Unification(UnificationError),
OpNotFound,
VarNotFound,
}
Expand description
The error type for type inference.
Variants§
Trait Implementations§
source§impl Error for TypeError
impl Error for TypeError
source§fn description(&self) -> &'static str
fn description(&self) -> &'static str
👎Deprecated since 1.42.0: use the Display impl or to_string()
1.30.0 · 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
source§impl From<TypeError> for SampleError
impl From<TypeError> for SampleError
source§fn from(e: TypeError) -> SampleError
fn from(e: TypeError) -> SampleError
Converts to this type from the input type.
source§impl From<UnificationError> for TypeError
impl From<UnificationError> for TypeError
source§fn from(e: UnificationError) -> TypeError
fn from(e: UnificationError) -> TypeError
Converts to this type from the input type.
Auto Trait Implementations§
impl RefUnwindSafe for TypeError
impl Send for TypeError
impl Sync for TypeError
impl Unpin for TypeError
impl UnwindSafe for TypeError
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