id_effect 0.2.0

Effect<A, E, R> (sync + async), context/layers, pipe — interpreter-style, no bundled executor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! Ex 006 — `effect!` binds with `let x = ~expr`.
use id_effect::{Effect, effect, run_blocking, succeed};

fn main() {
  let program: Effect<i32, (), ()> = effect! {
    let x = ~succeed(6_i32);
    let y = ~succeed(7_i32);
    x * y
  };
  assert_eq!(run_blocking(program, ()), Ok(42));
  println!("006_effect_macro_binds ok");
}