hypercpu 0.0.2

Distributed symbolic computation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

use hypercpu::prelude::*;
use hypercpu::cond::If;


#[tokio::test]
async fn is_true() {
  let c = true;
  let t = 1;
  let f = 2;

  let i = If::new(c, t, f);
  let r = i.resolve().await;

  assert_eq!(r.to_then().await, Some(1));
}

#[tokio::test]
async fn is_false() {
  let c = false;
  let t = 1;
  let f = 2;

  let i = If::new(c, t, f);
  let r = i.resolve().await;

  assert_eq!(r.to_otherwise().await, Some(2));
}

#[tokio::test]
async fn nested() {
  let a = 10;
  let b = 20;

  let c: i32 = If::new(a > b, a, b)
    .resolve()
    .await
    .to_otherwise()
    .await
    .unwrap();
  
  assert_eq!(c, 20);
}