pub struct UnexpectedType { /* private fields */ }Implementations§
Source§impl UnexpectedType
impl UnexpectedType
pub fn new(expected: &AlgebraicType, inferred: &AlgebraicType) -> Self
Trait Implementations§
Source§impl Debug for UnexpectedType
impl Debug for UnexpectedType
Source§impl Display for UnexpectedType
impl Display for UnexpectedType
Source§impl Error for UnexpectedType
impl Error for UnexpectedType
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns 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 From<UnexpectedType> for TypingError
impl From<UnexpectedType> for TypingError
Source§fn from(source: UnexpectedType) -> Self
fn from(source: UnexpectedType) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for UnexpectedType
impl RefUnwindSafe for UnexpectedType
impl Send for UnexpectedType
impl Sync for UnexpectedType
impl Unpin for UnexpectedType
impl UnwindSafe for UnexpectedType
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
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more