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

//! [`Needs`] — borrow a capability from the environment.

use super::env::Env;
use super::key::CapabilityKey;
use std::ops::Deref;

/// Environment `R` provides capability `K`.
pub trait Needs<K: CapabilityKey> {
  /// Borrow the service registered for `K`.
  fn need(&self) -> &K::Value;
}

impl<K> Needs<K> for Env
where
  K: CapabilityKey,
{
  #[inline]
  fn need(&self) -> &K::Value {
    self.get::<K>()
  }
}

impl<K, T> Needs<K> for T
where
  K: CapabilityKey,
  T: Deref<Target = Env>,
{
  #[inline]
  fn need(&self) -> &K::Value {
    self.deref().get::<K>()
  }
}