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
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90

error[E0277]: the trait bound `MissingCapKey: CapabilityKey` is not satisfied
 --> tests/ui/missing_capability.rs:7:21
  |
7 |     let _ = Needs::<MissingCapKey>::need(r);
  |                     ^^^^^^^^^^^^^ unsatisfied trait bound
  |
help: the trait `CapabilityKey` is not implemented for `MissingCapKey`
 --> tests/ui/missing_capability.rs:3:1
  |
3 | struct MissingCapKey;
  | ^^^^^^^^^^^^^^^^^^^^
help: the following other types implement trait `CapabilityKey`
 --> src/testing/snapshot.rs
  |
  | #[::id_effect::capability(i32)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SnapshotDbKey`
...
  | #[::id_effect::capability(u64)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SnapshotClockKey`
note: required by a bound in `need`
 --> src/capability/needs.rs
  |
  | pub trait Needs<K: CapabilityKey> {
  |                    ^^^^^^^^^^^^^ required by this bound in `Needs::need`
  |   /// Borrow the service registered for `K`.
  |   fn need(&self) -> &K::Value;
  |      ---- required by a bound in this associated function
  = note: this error originates in the attribute macro `::id_effect::capability` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: the trait bound `MissingCapKey: CapabilityKey` is not satisfied
 --> tests/ui/missing_capability.rs:7:13
  |
7 |     let _ = Needs::<MissingCapKey>::need(r);
  |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
  |
help: the trait `CapabilityKey` is not implemented for `MissingCapKey`
 --> tests/ui/missing_capability.rs:3:1
  |
3 | struct MissingCapKey;
  | ^^^^^^^^^^^^^^^^^^^^
help: the following other types implement trait `CapabilityKey`
 --> src/testing/snapshot.rs
  |
  | #[::id_effect::capability(i32)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SnapshotDbKey`
...
  | #[::id_effect::capability(u64)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SnapshotClockKey`
  = note: this error originates in the attribute macro `::id_effect::capability` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: the trait bound `MissingCapKey: CapabilityKey` is not satisfied
 --> tests/ui/missing_capability.rs:7:42
  |
7 |     let _ = Needs::<MissingCapKey>::need(r);
  |             ---------------------------- ^ unsatisfied trait bound
  |             |
  |             required by a bound introduced by this call
  |
help: the trait `CapabilityKey` is not implemented for `MissingCapKey`
 --> tests/ui/missing_capability.rs:3:1
  |
3 | struct MissingCapKey;
  | ^^^^^^^^^^^^^^^^^^^^
help: the following other types implement trait `CapabilityKey`
 --> src/testing/snapshot.rs
  |
  | #[::id_effect::capability(i32)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SnapshotDbKey`
...
  | #[::id_effect::capability(u64)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SnapshotClockKey`
  = note: required for `()` to implement `Needs<MissingCapKey>`
  = note: this error originates in the attribute macro `::id_effect::capability` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: the trait bound `(): Needs<MissingCapKey>` is not satisfied
 --> tests/ui/missing_capability.rs:7:42
  |
7 |     let _ = Needs::<MissingCapKey>::need(r);
  |             ---------------------------- ^ the trait `Deref` is not implemented for `()`
  |             |
  |             required by a bound introduced by this call
  |
help: the trait `Needs<K>` is implemented for `Env`
 --> src/capability/needs.rs
  |
  | / impl<K> Needs<K> for Env
  | | where
  | |   K: CapabilityKey,
  | |___________________^
  = note: required for `()` to implement `Needs<MissingCapKey>`