Enum gluon_check::unify::Error
source · pub enum Error<E, T> {
TypeMismatch(T, T),
Substitution(Error<T>),
Other(E),
}
Variants§
Implementations§
Trait Implementations§
source§impl<E, T> Display for Error<E, T>where
T: Display + for<'a> ToDoc<'a, Arena<'a, ()>, (), ()>,
E: Display,
impl<E, T> Display for Error<E, T>where T: Display + for<'a> ToDoc<'a, Arena<'a, ()>, (), ()>, E: Display,
source§impl<I, T> From<Error<KindError<I, T>, ArcKind>> for TypeError<I, T>
impl<I, T> From<Error<KindError<I, T>, ArcKind>> for TypeError<I, T>
source§fn from(e: KindCheckError<I, T>) -> Self
fn from(e: KindCheckError<I, T>) -> Self
Converts to this type from the input type.
source§impl<E: PartialEq, T: PartialEq> PartialEq<Error<E, T>> for Error<E, T>
impl<E: PartialEq, T: PartialEq> PartialEq<Error<E, T>> for Error<E, T>
impl<E: Eq, T: Eq> Eq for Error<E, T>
impl<E, T> StructuralEq for Error<E, T>
impl<E, T> StructuralPartialEq for Error<E, T>
Auto Trait Implementations§
impl<E, T> RefUnwindSafe for Error<E, T>where E: RefUnwindSafe, T: RefUnwindSafe,
impl<E, T> Send for Error<E, T>where E: Send, T: Send,
impl<E, T> Sync for Error<E, T>where E: Sync, T: Sync,
impl<E, T> Unpin for Error<E, T>where E: Unpin, T: Unpin,
impl<E, T> UnwindSafe for Error<E, T>where E: UnwindSafe, T: UnwindSafe,
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