Struct datafrog::Iteration [−][src]
An iterative context for recursive evaluation.
An Iteration
tracks monotonic variables, and monitors their progress.
It can inform the user if they have ceased changing, at which point the
computation should be done.
Implementations
impl Iteration
[src]
pub fn new() -> Self
[src]
Create a new iterative context.
pub fn changed(&mut self) -> bool
[src]
Reports whether any of the monitored variables have changed since the most recent call.
pub fn variable<Tuple: Ord + 'static>(&mut self, name: &str) -> Variable<Tuple>
[src]
Creates a new named variable associated with the iterative context.
pub fn variable_indistinct<Tuple: Ord + 'static>(
&mut self,
name: &str
) -> Variable<Tuple>
[src]
&mut self,
name: &str
) -> Variable<Tuple>
Creates a new named variable associated with the iterative context.
This variable will not be maintained distinctly, and may advertise tuples as recent multiple times (perhaps unboundedly many times).
Auto Trait Implementations
impl !RefUnwindSafe for Iteration
impl !Send for Iteration
impl !Sync for Iteration
impl Unpin for Iteration
impl !UnwindSafe for Iteration
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
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]
U: TryFrom<T>,