Struct chalk_ir::ProgramClauseData[−][src]

pub struct ProgramClauseData<I: Interner>(pub Binders<ProgramClauseImplication<I>>);

Contains the data for a program clause.

Implementations

`impl<I: Interner> ProgramClauseData`[src]

`pub fn into_from_env_clause(self, interner: &I) -> ProgramClauseData`[src]

Change the program clause data into a FromEnv program clause.

`pub fn intern(self, interner: &I) -> ProgramClause`[src]

Intern the program clause data.

Trait Implementations

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

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

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

`impl<I: Interner> CouldMatch<DomainGoal> for ProgramClauseData`[src]

`fn could_match( &self, interner: &I, db: &dyn UnificationDatabase, other: &DomainGoal ) -> bool`[src]

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

`fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>`[src]

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

`impl<I: Interner> Fold for ProgramClauseData`[src]

`type Result = ProgramClauseData`

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>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i,` [src]

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

`type Interner = I`

The interner associated with the type.

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

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

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

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

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

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

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

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

`impl<I: Interner> SuperFold for ProgramClauseData`[src]

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

`impl<I: Interner> Zip for ProgramClauseData`[src]

`fn zip_with<'i, Z: Zipper<'i, I>>( zipper: &mut Z, variance: Variance, a: &Self, b: &Self ) -> Fallible<()> where I: 'i,` [src]

Auto Trait Implementations

`impl RefUnwindSafe for ProgramClauseData where ::DefId: RefUnwindSafe, ::InternedConstraints: RefUnwindSafe, ::InternedGoals: RefUnwindSafe, ::InternedLifetime: RefUnwindSafe, ::InternedSubstitution: RefUnwindSafe, ::InternedType: RefUnwindSafe, ::InternedVariableKinds: RefUnwindSafe,` [src]

`impl Send for ProgramClauseData where ::DefId: Send, ::InternedConstraints: Send, ::InternedGoals: Send, ::InternedLifetime: Send, ::InternedSubstitution: Send, ::InternedType: Send, ::InternedVariableKinds: Send,` [src]

`impl Sync for ProgramClauseData where ::DefId: Sync, ::InternedConstraints: Sync, ::InternedGoals: Sync, ::InternedLifetime: Sync, ::InternedSubstitution: Sync, ::InternedType: Sync, ::InternedVariableKinds: Sync,` [src]

`impl Unpin for ProgramClauseData where ::DefId: Unpin, ::InternedConstraints: Unpin, ::InternedGoals: Unpin, ::InternedLifetime: Unpin, ::InternedSubstitution: Unpin, ::InternedType: Unpin, ::InternedVariableKinds: Unpin,` [src]

`impl UnwindSafe for ProgramClauseData where ::DefId: UnwindSafe, ::InternedConstraints: UnwindSafe, ::InternedGoals: UnwindSafe, ::InternedLifetime: UnwindSafe, ::InternedSubstitution: UnwindSafe, ::InternedType: UnwindSafe, ::InternedVariableKinds: UnwindSafe,` [src]

Blanket Implementations

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

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

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

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

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

`pub 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, I> CouldMatch<T> for T where T: Zip + HasInterner<Interner = I> + ?Sized, I: Interner,` [src]

`pub fn could_match(&Self, &I, &dyn UnificationDatabase, &T) -> bool`[src]

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

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

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

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

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

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

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

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

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

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

`type Owned = T`

The resulting type after obtaining ownership.

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

`pub 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.

`pub 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.

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

Struct chalk_ir::ProgramClauseData[−][src]

Implementations

impl<I: Interner> ProgramClauseData<I>[src]

pub fn into_from_env_clause(self, interner: &I) -> ProgramClauseData<I>[src]

pub fn intern(self, interner: &I) -> ProgramClause<I>[src]

Trait Implementations

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

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

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

impl<I: Interner> CouldMatch<DomainGoal<I>> for ProgramClauseData<I>[src]

fn could_match( &self, interner: &I, db: &dyn UnificationDatabase<I>, other: &DomainGoal<I>) -> bool[src]

impl<I: Interner> Debug for ProgramClauseData<I>[src]

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>[src]

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

impl<I: Interner> Fold<I> for ProgramClauseData<I>[src]

type Result = ProgramClauseData<I>

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

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

type Interner = I

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

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

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

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

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

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

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

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

impl<I: Interner> SuperFold<I> for ProgramClauseData<I>[src]

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

impl<I: Interner> Zip<I> for ProgramClauseData<I>[src]

fn zip_with<'i, Z: Zipper<'i, I>>( zipper: &mut Z, variance: Variance, a: &Self, b: &Self) -> Fallible<()> where I: 'i, [src]

Auto Trait Implementations

Blanket Implementations

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

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

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

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

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

pub 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, I> CouldMatch<T> for T where T: Zip<I> + HasInterner<Interner = I> + ?Sized, I: Interner, [src]

pub fn could_match(&Self, &I, &dyn UnificationDatabase<I>, &T) -> bool[src]

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

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

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

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

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

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

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

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

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

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

type Owned = T

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

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

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

type Error = Infallible

pub 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

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

`impl<I: Interner> ProgramClauseData<I>`[src]

`pub fn into_from_env_clause(self, interner: &I) -> ProgramClauseData<I>`[src]

`pub fn intern(self, interner: &I) -> ProgramClause<I>`[src]

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

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

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

`impl<I: Interner> CouldMatch<DomainGoal<I>> for ProgramClauseData<I>`[src]

`fn could_match( &self, interner: &I, db: &dyn UnificationDatabase<I>, other: &DomainGoal<I> ) -> bool`[src]

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

`fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>`[src]

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

`impl<I: Interner> Fold<I> for ProgramClauseData<I>`[src]

`type Result = ProgramClauseData<I>`

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

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

`type Interner = I`

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

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

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

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

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

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

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

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

`impl<I: Interner> SuperFold<I> for ProgramClauseData<I>`[src]

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

`impl<I: Interner> Zip<I> for ProgramClauseData<I>`[src]

`fn zip_with<'i, Z: Zipper<'i, I>>( zipper: &mut Z, variance: Variance, a: &Self, b: &Self ) -> Fallible<()> where I: 'i,` [src]

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

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

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

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

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

`pub 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, I> CouldMatch<T> for T where T: Zip<I> + HasInterner<Interner = I> + ?Sized, I: Interner,` [src]

`pub fn could_match(&Self, &I, &dyn UnificationDatabase<I>, &T) -> bool`[src]

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

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

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

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

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

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

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

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

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

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

`type Owned = T`

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

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

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

`type Error = Infallible`

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

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