Struct datafrog::Iteration[][src]

pub struct Iteration { /* fields omitted */ }

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]

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]

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

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

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

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

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

type Error = Infallible

The type returned in the event of a conversion error.

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

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.