pub struct GeneratedQueryRuleProvenance {
pub query_index: usize,
pub scc_index: usize,
pub rule_index: usize,
}Expand description
Compiler-produced provenance for one desugared program query.
Fields§
§query_index: usizeZero-based position of the query in the authored program.
scc_index: usizePosition of the generated rule’s SCC in ExecutionPlan::rules_by_scc.
rule_index: usizePosition of the generated rule within its SCC.
Trait Implementations§
Source§impl Clone for GeneratedQueryRuleProvenance
impl Clone for GeneratedQueryRuleProvenance
Source§fn clone(&self) -> GeneratedQueryRuleProvenance
fn clone(&self) -> GeneratedQueryRuleProvenance
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · 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 GeneratedQueryRuleProvenance
impl Debug for GeneratedQueryRuleProvenance
impl Eq for GeneratedQueryRuleProvenance
Source§impl PartialEq for GeneratedQueryRuleProvenance
impl PartialEq for GeneratedQueryRuleProvenance
Source§fn eq(&self, other: &GeneratedQueryRuleProvenance) -> bool
fn eq(&self, other: &GeneratedQueryRuleProvenance) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for GeneratedQueryRuleProvenance
Auto Trait Implementations§
impl Freeze for GeneratedQueryRuleProvenance
impl RefUnwindSafe for GeneratedQueryRuleProvenance
impl Send for GeneratedQueryRuleProvenance
impl Sync for GeneratedQueryRuleProvenance
impl Unpin for GeneratedQueryRuleProvenance
impl UnsafeUnpin for GeneratedQueryRuleProvenance
impl UnwindSafe for GeneratedQueryRuleProvenance
Blanket Implementations§
impl<T> Allocation for T
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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