[−][src]Struct chalk_ir::AnswerSubst

pub struct AnswerSubst<I: Interner> {
    pub subst: Substitution<I>,
    pub constraints: Vec<InEnvironment<Constraint<I>>>,
    pub delayed_subgoals: Vec<InEnvironment<Goal<I>>>,
}

Fields

subst: Substitutionconstraints: Vec<InEnvironment<Constraint>>delayed_subgoals: Vec<InEnvironment<Goal>>

Trait Implementations

`impl<I: Clone + Interner> Clone for AnswerSubst`[src]

`fn clone(&self) -> AnswerSubst`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for AnswerSubst`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl<I: Eq + Interner> Eq for AnswerSubst`[src]

`impl<I: Interner, _TI> Fold<I, _TI> for AnswerSubst where _TI: TargetInterner,` [src]

`type Result = AnswerSubst<_TI>`

The type of value that will be produced once folding is done. Typically this is Self, unless Self contains borrowed values, in which case owned values are produced (for example, one can fold over a &T value where T: Fold, in which case you get back a T, not a &T). Read more

`fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i, _TI: 'i,` [src]

`impl<I: Interner> HasInterner for AnswerSubst`[src]

`type Interner = I`

`impl<I: Hash + Interner> Hash for AnswerSubst`[src]

`fn hash<H: Hasher>(&self, state: &mut H)`[src]

`fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0[src]

`impl<I: PartialEq + Interner> PartialEq<AnswerSubst> for AnswerSubst`[src]

`fn eq(&self, other: &AnswerSubst) -> bool`[src]

`fn ne(&self, other: &AnswerSubst) -> bool`[src]

`impl<I: Interner> StructuralEq for AnswerSubst`[src]

`impl<I: Interner> StructuralPartialEq for AnswerSubst`[src]

`impl<I: Interner> Visit for AnswerSubst`[src]

`fn visit_with<'i, R: VisitResult>( &self, visitor: &mut dyn Visitor<'i, I, Result = R>, outer_binder: DebruijnIndex ) -> R where I: 'i,` [src]

Auto Trait Implementations

`impl RefUnwindSafe for AnswerSubst where ::InternedGoal: RefUnwindSafe, ::InternedLifetime: RefUnwindSafe, ::InternedProgramClauses: RefUnwindSafe, ::InternedSubstitution: RefUnwindSafe,`

`impl Send for AnswerSubst where ::InternedGoal: Send, ::InternedLifetime: Send, ::InternedProgramClauses: Send, ::InternedSubstitution: Send,`

`impl Sync for AnswerSubst where ::InternedGoal: Sync, ::InternedLifetime: Sync, ::InternedProgramClauses: Sync, ::InternedSubstitution: Sync,`

`impl Unpin for AnswerSubst where ::InternedGoal: Unpin, ::InternedLifetime: Unpin, ::InternedProgramClauses: Unpin, ::InternedSubstitution: Unpin,`

`impl UnwindSafe for AnswerSubst where ::InternedGoal: UnwindSafe, ::InternedLifetime: UnwindSafe, ::InternedProgramClauses: UnwindSafe, ::InternedSubstitution: UnwindSafe,`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`fn cast(self, interner: &U::Interner) -> U where Self: CastTo, U: HasInterner,` [src]

`impl<T> From<T> for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, I> Shift for T where I: Interner, T: Fold<I, I>,` [src]

`fn shifted_in(&Self, &I) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_out_to( &Self, &I, DebruijnIndex ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`fn shifted_out(&Self, &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`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, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, >::Error>`[src]

`impl<T, I> VisitExt for T where I: Interner, T: Visit,` [src]

`fn has_free_vars(&self, interner: &I) -> bool`[src]

[−][src]Struct chalk_ir::AnswerSubst

Fields

Trait Implementations

impl<I: Clone + Interner> Clone for AnswerSubst<I>[src]

fn clone(&self) -> AnswerSubst<I>[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

impl<I: Debug + Interner> Debug for AnswerSubst<I>[src]

fn fmt(&self, f: &mut Formatter) -> Result[src]

impl<I: Eq + Interner> Eq for AnswerSubst<I>[src]

impl<I: Interner, _TI> Fold<I, _TI> for AnswerSubst<I> where _TI: TargetInterner<I>, [src]

type Result = AnswerSubst<_TI>

fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex) -> Fallible<Self::Result> where I: 'i, _TI: 'i, [src]

impl<I: Interner> HasInterner for AnswerSubst<I>[src]

type Interner = I

impl<I: Hash + Interner> Hash for AnswerSubst<I>[src]

fn hash<__H: Hasher>(&self, state: &mut __H)[src]

fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher, 1.3.0[src]

impl<I: PartialEq + Interner> PartialEq<AnswerSubst<I>> for AnswerSubst<I>[src]

fn eq(&self, other: &AnswerSubst<I>) -> bool[src]

fn ne(&self, other: &AnswerSubst<I>) -> bool[src]

impl<I: Interner> StructuralEq for AnswerSubst<I>[src]

impl<I: Interner> StructuralPartialEq for AnswerSubst<I>[src]

impl<I: Interner> Visit<I> for AnswerSubst<I>[src]

fn visit_with<'i, R: VisitResult>( &self, visitor: &mut dyn Visitor<'i, I, Result = R>, outer_binder: DebruijnIndex) -> R where I: 'i, [src]

Auto Trait Implementations

impl<I> RefUnwindSafe for AnswerSubst<I> where <I as Interner>::InternedGoal: RefUnwindSafe, <I as Interner>::InternedLifetime: RefUnwindSafe, <I as Interner>::InternedProgramClauses: RefUnwindSafe, <I as Interner>::InternedSubstitution: RefUnwindSafe,

impl<I> Send for AnswerSubst<I> where <I as Interner>::InternedGoal: Send, <I as Interner>::InternedLifetime: Send, <I as Interner>::InternedProgramClauses: Send, <I as Interner>::InternedSubstitution: Send,

impl<I> Sync for AnswerSubst<I> where <I as Interner>::InternedGoal: Sync, <I as Interner>::InternedLifetime: Sync, <I as Interner>::InternedProgramClauses: Sync, <I as Interner>::InternedSubstitution: Sync,

impl<I> Unpin for AnswerSubst<I> where <I as Interner>::InternedGoal: Unpin, <I as Interner>::InternedLifetime: Unpin, <I as Interner>::InternedProgramClauses: Unpin, <I as Interner>::InternedSubstitution: Unpin,

impl<I> UnwindSafe for AnswerSubst<I> where <I as Interner>::InternedGoal: UnwindSafe, <I as Interner>::InternedLifetime: UnwindSafe, <I as Interner>::InternedProgramClauses: UnwindSafe, <I as Interner>::InternedSubstitution: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

fn borrow_mut(&mut self) -> &mut T[src]

impl<T> Cast for T[src]

fn cast<U>(self, interner: &U::Interner) -> U where Self: CastTo<U>, U: HasInterner, [src]

impl<T> From<T> for T[src]

fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

fn into(self) -> U[src]

impl<T, I> Shift<I> for T where I: Interner, T: Fold<I, I>, [src]

fn shifted_in(&Self, &I) -> <T as Fold<I, I>>::Result[src]

fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I, I>>::Result[src]

fn shifted_out_to( &Self, &I, DebruijnIndex) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]

fn shifted_out(&Self, &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

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]

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<T, I> VisitExt<I> for T where I: Interner, T: Visit<I>, [src]

fn has_free_vars(&self, interner: &I) -> bool[src]

`impl<I: Clone + Interner> Clone for AnswerSubst<I>`[src]

`fn clone(&self) -> AnswerSubst<I>`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for AnswerSubst<I>`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl<I: Eq + Interner> Eq for AnswerSubst<I>`[src]

`impl<I: Interner, _TI> Fold<I, _TI> for AnswerSubst<I> where _TI: TargetInterner<I>,` [src]

`type Result = AnswerSubst<_TI>`

`fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i, _TI: 'i,` [src]

`impl<I: Interner> HasInterner for AnswerSubst<I>`[src]

`type Interner = I`

`impl<I: Hash + Interner> Hash for AnswerSubst<I>`[src]

`fn hash<H: Hasher>(&self, state: &mut H)`[src]

`fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,` 1.3.0[src]

`impl<I: PartialEq + Interner> PartialEq<AnswerSubst<I>> for AnswerSubst<I>`[src]

`fn eq(&self, other: &AnswerSubst<I>) -> bool`[src]

`fn ne(&self, other: &AnswerSubst<I>) -> bool`[src]

`impl<I: Interner> StructuralEq for AnswerSubst<I>`[src]

`impl<I: Interner> StructuralPartialEq for AnswerSubst<I>`[src]

`impl<I: Interner> Visit<I> for AnswerSubst<I>`[src]

`fn visit_with<'i, R: VisitResult>( &self, visitor: &mut dyn Visitor<'i, I, Result = R>, outer_binder: DebruijnIndex ) -> R where I: 'i,` [src]

`impl<I> RefUnwindSafe for AnswerSubst<I> where <I as Interner>::InternedGoal: RefUnwindSafe, <I as Interner>::InternedLifetime: RefUnwindSafe, <I as Interner>::InternedProgramClauses: RefUnwindSafe, <I as Interner>::InternedSubstitution: RefUnwindSafe,`

`impl<I> Send for AnswerSubst<I> where <I as Interner>::InternedGoal: Send, <I as Interner>::InternedLifetime: Send, <I as Interner>::InternedProgramClauses: Send, <I as Interner>::InternedSubstitution: Send,`

`impl<I> Sync for AnswerSubst<I> where <I as Interner>::InternedGoal: Sync, <I as Interner>::InternedLifetime: Sync, <I as Interner>::InternedProgramClauses: Sync, <I as Interner>::InternedSubstitution: Sync,`

`impl<I> Unpin for AnswerSubst<I> where <I as Interner>::InternedGoal: Unpin, <I as Interner>::InternedLifetime: Unpin, <I as Interner>::InternedProgramClauses: Unpin, <I as Interner>::InternedSubstitution: Unpin,`

`impl<I> UnwindSafe for AnswerSubst<I> where <I as Interner>::InternedGoal: UnwindSafe, <I as Interner>::InternedLifetime: UnwindSafe, <I as Interner>::InternedProgramClauses: UnwindSafe, <I as Interner>::InternedSubstitution: UnwindSafe,`

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`fn cast<U>(self, interner: &U::Interner) -> U where Self: CastTo<U>, U: HasInterner,` [src]

`impl<T> From<T> for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, I> Shift<I> for T where I: Interner, T: Fold<I, I>,` [src]

`fn shifted_in(&Self, &I) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I, I>>::Result`[src]

`fn shifted_out_to( &Self, &I, DebruijnIndex ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`fn shifted_out(&Self, &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`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]

`type Error = <U as TryFrom<T>>::Error`

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<T, I> VisitExt<I> for T where I: Interner, T: Visit<I>,` [src]

`fn has_free_vars(&self, interner: &I) -> bool`[src]