Struct chalk_solve::solve::SolutionDisplay [−][src]
pub struct SolutionDisplay<'a, I: Interner> { /* fields omitted */ }Trait Implementations
Auto Trait Implementations
impl<'a, I> RefUnwindSafe for SolutionDisplay<'a, I> where
I: RefUnwindSafe,
<I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<I as Interner>::InternedConstraints: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
impl<'a, I> Send for SolutionDisplay<'a, I> where
I: Send,
<I as Interner>::InternedCanonicalVarKinds: Sync,
<I as Interner>::InternedConstraints: Sync,
<I as Interner>::InternedSubstitution: Sync,
impl<'a, I> Sync for SolutionDisplay<'a, I> where
I: Sync,
<I as Interner>::InternedCanonicalVarKinds: Sync,
<I as Interner>::InternedConstraints: Sync,
<I as Interner>::InternedSubstitution: Sync,
impl<'a, I> Unpin for SolutionDisplay<'a, I> where
I: Unpin,
impl<'a, I> UnwindSafe for SolutionDisplay<'a, I> where
I: UnwindSafe,
<I as Interner>::InternedCanonicalVarKinds: RefUnwindSafe,
<I as Interner>::InternedConstraints: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
fn 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.
Attaches the provided Subscriber to this type, returning a
WithDispatch wrapper. Read more
Attaches the current default Subscriber to this type, returning a
WithDispatch wrapper. Read more