id_effect 3.0.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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

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

//! Compile-time coverage for `effect!` / implicit `|r|` / `~Key` macro paths.

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

#[::id_effect::capability(u32)]
struct Alpha;
#[::id_effect::capability(u32)]
struct Beta;
#[::id_effect::capability(String)]
struct Gamma;

#[derive(::id_effect::ProviderSpecDerive)]
#[provides(AlphaKey)]
struct AlphaLive;
impl AlphaLive {
  fn new() -> u32 {
    1
  }
}

#[derive(::id_effect::ProviderSpecDerive)]
#[provides(BetaKey)]
struct BetaLive;
impl BetaLive {
  fn new() -> u32 {
    2
  }
}

#[derive(::id_effect::ProviderSpecDerive)]
#[provides(GammaKey)]
struct GammaLive;
impl GammaLive {
  fn new() -> String {
    "g".into()
  }
}

#[test]
fn effect_macro_paths_integration() {
  let single: Effect<u32, (), caps!(AlphaKey)> = effect!(|r| {
    let a = ~AlphaKey;
    *a
  });
  assert_eq!(run_with([provide!(AlphaLive)], single).unwrap(), 1);

  let multi: Effect<String, (), caps!(AlphaKey, BetaKey, GammaKey)> = effect!(|r| {
    let _a = ~AlphaKey;
    let _b = ~BetaKey;
    let g = ~GammaKey;
    g.clone()
  });
  assert_eq!(
    run_with(
      [provide!(AlphaLive), provide!(BetaLive), provide!(GammaLive)],
      multi
    )
    .unwrap(),
    "g"
  );

  let explicit: Effect<u32, (), caps!(AlphaKey)> =
    effect!(|r: &mut caps!(AlphaKey)| { *~AlphaKey });
  assert_eq!(run_with([provide!(AlphaLive)], explicit).unwrap(), 1);

  let require_alias: Effect<u32, (), caps!(AlphaKey)> = effect!(|r| {
    let a = require!(AlphaKey);
    *a
  });
  assert_eq!(run_with([provide!(AlphaLive)], require_alias).unwrap(), 1);
}