[−][src]Enum gluon_check::unify_type::TypeError
Variants
UndefinedType(I)
FieldMismatch(I, I)
SelfRecursiveAlias(I)
UnableToGeneralize(I)
MissingFields(T, Vec<I>)
EscapingSkolem(I)
Methods
impl<I, T> TypeError<I, T>
[src]
impl<I, T> TypeError<I, T> where
I: Display + AsRef<str>,
T: TypeExt<Id = I> + Commented + HasSpan,
[src]
I: Display + AsRef<str>,
T: TypeExt<Id = I> + Commented + HasSpan,
pub fn make_filter<'a>(&'a self) -> Box<dyn Fn(&I) -> Filter + 'a>
[src]
pub fn filter_fmt(
&self,
filter: &dyn Fn(&I) -> Filter,
f: &mut Formatter
) -> Result
[src]
&self,
filter: &dyn Fn(&I) -> Filter,
f: &mut Formatter
) -> Result
Trait Implementations
impl<I: PartialEq, T: PartialEq> PartialEq<TypeError<I, T>> for TypeError<I, T>
[src]
fn eq(&self, other: &TypeError<I, T>) -> bool
[src]
fn ne(&self, other: &TypeError<I, T>) -> bool
[src]
impl<T> From<Error> for TypeError<Symbol, T>
[src]
fn from(error: ResolveError) -> TypeError<Symbol, T>
[src]
impl<I, T> Display for TypeError<I, T> where
I: Display + AsRef<str>,
T: TypeExt<Id = I> + Commented + HasSpan,
[src]
I: Display + AsRef<str>,
T: TypeExt<Id = I> + Commented + HasSpan,
impl<I: Debug, T: Debug> Debug for TypeError<I, T>
[src]
Auto Trait Implementations
impl<I, T> Send for TypeError<I, T> where
I: Send,
T: Send,
I: Send,
T: Send,
impl<I, T> Sync for TypeError<I, T> where
I: Sync,
T: Sync,
I: Sync,
T: Sync,
Blanket Implementations
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T> From for T
[src]
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,