Enum chalk_solve::solve::SubstitutionResult
source · pub enum SubstitutionResult<S> {
Definite(S),
Ambiguous(S),
Floundered,
}
Variants§
Implementations§
source§impl<S> SubstitutionResult<S>
impl<S> SubstitutionResult<S>
pub fn as_ref(&self) -> SubstitutionResult<&S>
pub fn map<U, F: FnOnce(S) -> U>(self, f: F) -> SubstitutionResult<U>
Trait Implementations§
source§impl<S: Debug> Debug for SubstitutionResult<S>
impl<S: Debug> Debug for SubstitutionResult<S>
Auto Trait Implementations§
impl<S> Freeze for SubstitutionResult<S>where
S: Freeze,
impl<S> RefUnwindSafe for SubstitutionResult<S>where
S: RefUnwindSafe,
impl<S> Send for SubstitutionResult<S>where
S: Send,
impl<S> Sync for SubstitutionResult<S>where
S: Sync,
impl<S> Unpin for SubstitutionResult<S>where
S: Unpin,
impl<S> UnwindSafe for SubstitutionResult<S>where
S: 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
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.