pub struct ProgramEnvironment {
pub program_clauses: Vec<ProgramClause<ChalkIr>>,
}
Fields§
§program_clauses: Vec<ProgramClause<ChalkIr>>
Compiled forms of the above:
Implementations§
source§impl ProgramEnvironment
impl ProgramEnvironment
pub fn new(program_clauses: Vec<ProgramClause<ChalkIr>>) -> Self
Trait Implementations§
source§impl Clone for ProgramEnvironment
impl Clone for ProgramEnvironment
source§fn clone(&self) -> ProgramEnvironment
fn clone(&self) -> ProgramEnvironment
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ProgramEnvironment
impl Debug for ProgramEnvironment
source§impl PartialEq for ProgramEnvironment
impl PartialEq for ProgramEnvironment
source§fn eq(&self, other: &ProgramEnvironment) -> bool
fn eq(&self, other: &ProgramEnvironment) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for ProgramEnvironment
impl StructuralPartialEq for ProgramEnvironment
Auto Trait Implementations§
impl Freeze for ProgramEnvironment
impl RefUnwindSafe for ProgramEnvironment
impl Send for ProgramEnvironment
impl Sync for ProgramEnvironment
impl Unpin for ProgramEnvironment
impl UnwindSafe for ProgramEnvironment
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
.source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.