Enum chalk_solve::solve::SubstitutionResult
source · [−]pub enum SubstitutionResult<S> {
Definite(S),
Ambiguous(S),
Floundered,
}
Variants
Definite(S)
Ambiguous(S)
Floundered
Implementations
sourceimpl<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
sourceimpl<S: Debug> Debug for SubstitutionResult<S>
impl<S: Debug> Debug for SubstitutionResult<S>
Auto Trait Implementations
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
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Cast for T
impl<T> Cast for T
sourcefn cast<U>(self, interner: <U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U
using CastTo
.
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more