id_effect 0.4.0

Effect<A, E, R> (sync + async), capability DI, pipe — interpreter-style, no bundled executor
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

#![allow(dead_code, clippy::new_ret_no_self)]

//! Ex 008 — `effect!` with capability DI: `~Service` reads from the environment.

use id_effect::{Effect, caps, effect, provide, run_with};

#[derive(Clone, Copy, PartialEq, Eq, Debug)]
struct Counter(pub i32);

#[derive(::id_effect::ProviderSpecDerive)]
#[provides(Counter)]
struct CounterLive;

impl CounterLive {
  fn new() -> Counter {
    Counter(41)
  }
}

fn main() {
  let program: Effect<i32, (), caps!(Counter)> = effect!(|r| {
    let counter = ~Counter;
    counter.0 + 1
  });
  let n = run_with([provide!(CounterLive)], program).expect("run");
  assert_eq!(n, 42);
  println!("008_effect_macro_env ok");
}