id_effect 0.2.0

Effect<A, E, R> (sync + async), context/layers, 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

//! [`Get`] / [`GetMut`] — type-level lookup (`Stratum 3.5`).

use super::hlist::Cons;
use super::path::{Here, There};
use super::tagged::Tagged;

/// Immutable borrow of the value at `Path` for tag `K`.
pub trait Get<K: ?Sized, Path = Here> {
  /// Type of the resolved service at `Path`.
  type Target: ?Sized;
  /// Borrow the value registered for `K` along `Path`.
  fn get(&self) -> &Self::Target;
}

/// Mutable borrow of the value at `Path` for tag `K`.
pub trait GetMut<K: ?Sized, Path = Here> {
  /// Type of the resolved service at `Path`.
  type Target: ?Sized;
  /// Mutably borrow the value registered for `K` along `Path`.
  fn get_mut(&mut self) -> &mut Self::Target;
}

impl<K: ?Sized, V, Tail> Get<K, Here> for Cons<Tagged<K, V>, Tail> {
  type Target = V;
  #[inline]
  fn get(&self) -> &V {
    &self.0.value
  }
}

impl<K: ?Sized, V, Tail> GetMut<K, Here> for Cons<Tagged<K, V>, Tail> {
  type Target = V;
  #[inline]
  fn get_mut(&mut self) -> &mut V {
    &mut self.0.value
  }
}

impl<Head, Tail, K: ?Sized, P> Get<K, There<P>> for Cons<Head, Tail>
where
  Tail: Get<K, P>,
{
  type Target = <Tail as Get<K, P>>::Target;
  #[inline]
  fn get(&self) -> &Self::Target {
    self.1.get()
  }
}

impl<Head, Tail, K: ?Sized, P> GetMut<K, There<P>> for Cons<Head, Tail>
where
  Tail: GetMut<K, P>,
{
  type Target = <Tail as GetMut<K, P>>::Target;
  #[inline]
  fn get_mut(&mut self) -> &mut Self::Target {
    self.1.get_mut()
  }
}