Struct RevisedProperty

pub struct RevisedProperty<T> { /* private fields */ }

Revised property is the cached result of a function call that is only evaluated lazily whenever the inputs have changed, according to their RevisionHash.

Implementations

impl<T> RevisedProperty<T>

pub fn new() -> RevisedProperty<T>

Create a new RevisedProperty with an empty cache

pub fn get_cached(&self) -> Option<&T>

Get the cached value, which might not be filled yet. This stores the result of the refresh* method that was most recently called, if any.

pub fn refresh1<F, A0>(&mut self, f: F, arg0: A0)

where F: Fn(A0) -> T, A0: Revisable,

Update the cache to store the result of calling f(arg0). If the function’s output from the same arguments is already cached, the function is not called and the cache is kept. Otherwise, f is called and the cache is written to. f is assumed to be a pure function.

pub fn refresh2<F, A0, A1>(&mut self, f: F, arg0: A0, arg1: A1)

where F: Fn(A0, A1) -> T, A0: Revisable, A1: Revisable,

Update the cache to store the result of calling f(arg0, arg1). If the function’s output from the same arguments is already cached, the function is not called and the cache is kept. Otherwise, f is called and the cache is written to. f is assumed to be a pure function.

pub fn refresh3<F, A0, A1, A2>(&mut self, f: F, arg0: A0, arg1: A1, arg2: A2)

where F: Fn(A0, A1, A2) -> T, A0: Revisable, A1: Revisable, A2: Revisable,

Update the cache to store the result of calling f(arg0, arg1, arg2). If the function’s output from the same arguments is already cached, the function is not called and the cache is kept. Otherwise, f is called and the cache is written to. f is assumed to be a pure function.

pub fn refresh4<F, A0, A1, A2, A3>( &mut self, f: F, arg0: A0, arg1: A1, arg2: A2, arg3: A3, )

where F: Fn(A0, A1, A2, A3) -> T, A0: Revisable, A1: Revisable, A2: Revisable, A3: Revisable,

Update the cache to store the result of calling f(arg0, arg1, arg2, arg3). If the function’s output from the same arguments is already cached, the function is not called and the cache is kept. Otherwise, f is called and the cache is written to. f is assumed to be a pure function.

pub fn refresh5<F, A0, A1, A2, A3, A4>( &mut self, f: F, arg0: A0, arg1: A1, arg2: A2, arg3: A3, arg4: A4, )

where F: Fn(A0, A1, A2, A3, A4) -> T, A0: Revisable, A1: Revisable, A2: Revisable, A3: Revisable, A4: Revisable,

Update the cache to store the result of calling f(arg0, arg1, arg2, arg3, arg4). If the function’s output from the same arguments is already cached, the function is not called and the cache is kept. Otherwise, f is called and the cache is written to. f is assumed to be a pure function.