compute-it

compute-it is a crate that provides a lazy evaluation of variables, with dependencies.

Development occurs in the dev/1 branch.

Example of use

compute-it can be used to create computation with a static structure. In such use case, the structure of the computation does not changes, only the value of the variables.

use compute_it::*;

let v1 = Variable::<u32>::new(1);
let v2 = Variable::<u32>::new(2);
let v3 = Variable::<u32>::new(3);

let c1 = Computation::<u32>::new(|(a, b, c)| a + b + c, (&v1, &v2, &v3));
println!("{} == 6", *c1.read_result());

v1.set(4);
println!("{} == 9", *c1.read_result());

Computation can also be used as input to other computation, and give access to intermediary results:

use compute_it::*;

let v1 = Variable::<u32>::new(1);
let v2 = Variable::<u32>::new(2);
let v3 = Variable::<u32>::new(3);

let c1 = Computation::<u32>::new(|(a, b)| a + b, (&v1, &v2));
println!("{} == 3", *c1.read_result());

let c2 = Computation::<u32>::new(|(a, b)| a + b, (&c1, &v3));
println!("{} == 6", *c1.read_result());

v1.set(4);
println!("{} == 6", *c1.read_result());
println!("{} == 9", *c2.read_result());

compute-it can be used to create computation with a dynamic structure. In such use case, the list of variables and their value can be changed during runtime.

use compute_it::*;

let v1 = Variable::<u32>::new(1);
let v2 = Variable::<u32>::new(2);
let v3 = Variable::<u32>::new(3);

let mut c1 = VecComputation::<u32>::new(|v| v.into_iter().fold(0, |a, b| a + b), (&v1, &v2));
println!("{} == 3", *c1.read_result());

c1.push(&v3);
println!("{} == 6", *c1.read_result());

c1.remove(&v2);
println!("{} == 4", *c1.read_result());

v1.set(4);
println!("{} == 7", *c1.read_result());

Variables can also be grouped:

use compute_it::*;

let v1: Variable<i32> = 0.into();
let v2: Variable<i32> = 1.into();
let v3: Variable<i32> = 2.into();

let mut c1 = VecComputation::<i32, (i32, i32, i32), markers::GroupedVariables>::new(
    |v: Vec<(&i32, &i32, &i32)>| v.into_iter().fold(0, |a, (b, c, d)| a + b + c + d),
    (&(&v1, &v2, &v3),),
);