[−][src]Enum voile::check::monad::TCE
Type-Checking Error.
Variants
Textual(String)
Expected the first TVal
to be the subtype of
the second TVal
.
TypeNotInGamma(Loc)
Maximum DBI
vs. Requested DBI
Expected the first level to be smaller than second.
The String
represents the expression.
LookUpFailed(Ident)
Cannot find the definition.
The definition at the first Loc
will
hide the definition at the second Loc
.
MetaRecursion(MI)
Recursive metas are disallowed.
MetaWithNonVar(Loc)
Meta solution should be passed with bound variables only.
MetaUnsolved(MI)
Unsolved metas are reported as errors.
Methods
impl TCE
[src]
Trait Implementations
impl Clone for TCE
[src]
impl Eq for TCE
[src]
fn assert_receiver_is_total_eq(&self)
[src]
impl PartialEq<TCE> for TCE
[src]
impl Display for TCE
[src]
impl Debug for TCE
[src]
impl StructuralPartialEq for TCE
[src]
impl StructuralEq for TCE
[src]
Auto Trait Implementations
impl Send for TCE
impl Sync for TCE
impl Unpin for TCE
impl UnwindSafe for TCE
impl RefUnwindSafe for TCE
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> 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, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,