id_effect 0.3.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

use id_effect::{Effect, Needs};

#[::id_effect::capability(u32)]
struct Counter;

fn bad() -> Effect<(), (), ()> {
  Effect::new(|r: &mut ()| {
    let _ = Needs::<CounterKey>::need(r);
    Ok(())
  })
}

fn main() {
  let _ = bad();
}