layer-rs 0.1.1

Effect-TS like type level DI container in Rust, with O(log n) get and insert
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

use super::*;

pub struct Node<Req, SubtreeL, SubtreeR> {
    pub requirement: Req,
    pub prev_left: SubtreeL,
    pub prev_right: SubtreeR,
}

pub trait Depth
where
    Self::Output: IsNumber,
{
    type Output;
}

impl Depth for () {
    type Output = Zero;
}

impl<Req, SubtreeL, SubtreeR> Depth for Node<Req, SubtreeL, SubtreeR>
where
    SubtreeL: Depth,
    SubtreeR: Depth,
    <SubtreeL as Depth>::Output: IsNumber,
    <SubtreeR as Depth>::Output: IsNumber,
    (): Max<<SubtreeL as Depth>::Output, <SubtreeR as Depth>::Output>,
{
    type Output = Succ<<() as Max<SubtreeL::Output, SubtreeR::Output>>::Output>;
}

pub trait MinDepth
where
    Self::Output: IsNumber,
{
    type Output;
}

impl MinDepth for () {
    type Output = Zero;
}

impl<Req, SubtreeL, SubtreeR> MinDepth for Node<Req, SubtreeL, SubtreeR>
where
    SubtreeL: MinDepth,
    SubtreeR: MinDepth,
    <SubtreeL as MinDepth>::Output: IsNumber,
    <SubtreeR as MinDepth>::Output: IsNumber,
    (): Min<<SubtreeL as MinDepth>::Output, <SubtreeR as MinDepth>::Output>,
{
    type Output = Succ<<() as Min<SubtreeL::Output, SubtreeR::Output>>::Output>;
}