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

use id_effect::{Effect, Needs};

struct MissingCap;

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

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