Struct fetish_lib::newly_evaluated_terms::NewlyEvaluatedTerms [−][src]
pub struct NewlyEvaluatedTerms { pub term_app_results: Vec<TermApplicationResult>, pub terms: Vec<NonPrimitiveTermPointer>, }
Expand description
A collection of TermApplicationResult
s and NonPrimitiveTermPointer
s
which were generated as a consequence of new evaluations performed
by an crate::interpreter_state::InterpreterState
.
Fields
term_app_results: Vec<TermApplicationResult>
terms: Vec<NonPrimitiveTermPointer>
Implementations
impl NewlyEvaluatedTerms
[src]
impl NewlyEvaluatedTerms
[src]pub fn new() -> Self
[src]
pub fn new() -> Self
[src]Yields an initially-empty NewlyEvaluatedTerms
.
pub fn get_count_map(&self) -> HashMap<TermApplicationResult, usize>
[src]
pub fn get_count_map(&self) -> HashMap<TermApplicationResult, usize>
[src]Yields a HashMap
mapping from TermApplicationResult
s to the
count at which each occurs within this NewlyEvaluatedTerms
.
pub fn add_term_app_result(&mut self, term_app_result: TermApplicationResult)
[src]
pub fn add_term_app_result(&mut self, term_app_result: TermApplicationResult)
[src]Adds the given TermApplicationResult
to the list of new term applications.
pub fn add_term(&mut self, term: NonPrimitiveTermPointer)
[src]
pub fn add_term(&mut self, term: NonPrimitiveTermPointer)
[src]Adds the given NonPrimitiveTermPointer
to the list of new terms.
pub fn merge(&mut self, other: NewlyEvaluatedTerms)
[src]
pub fn merge(&mut self, other: NewlyEvaluatedTerms)
[src]Merges in the new terms and term application results from the passed in
other NewlyEvaluatedTerms
.
Auto Trait Implementations
impl RefUnwindSafe for NewlyEvaluatedTerms
impl Send for NewlyEvaluatedTerms
impl Sync for NewlyEvaluatedTerms
impl Unpin for NewlyEvaluatedTerms
impl UnwindSafe for NewlyEvaluatedTerms
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,