brood 0.9.1

A fast and flexible entity component system library.
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

use crate::{
    entity,
    hlist::{
        define_null,
        Get,
    },
    query::view,
};

define_null!();

/// Finds the inverse of a list of views, with respect to a registry `R`.
pub trait Inverse<R, I> {
    /// The inverse of the given views.
    type Result;
}

impl<R> Inverse<R, Null> for view::Null {
    type Result = R;
}

impl<I, IS, R, T, U> Inverse<R, (I, IS)> for (&T, U)
where
    R: Get<T, I>,
    U: Inverse<<R as Get<T, I>>::Remainder, IS>,
{
    type Result = <U as Inverse<<R as Get<T, I>>::Remainder, IS>>::Result;
}

impl<I, IS, R, T, U> Inverse<R, (I, IS)> for (&mut T, U)
where
    R: Get<T, I>,
    U: Inverse<<R as Get<T, I>>::Remainder, IS>,
{
    type Result = <U as Inverse<<R as Get<T, I>>::Remainder, IS>>::Result;
}

impl<I, IS, R, T, U> Inverse<R, (I, IS)> for (Option<&T>, U)
where
    R: Get<T, I>,
    U: Inverse<<R as Get<T, I>>::Remainder, IS>,
{
    type Result = <U as Inverse<<R as Get<T, I>>::Remainder, IS>>::Result;
}

impl<I, IS, R, T, U> Inverse<R, (I, IS)> for (Option<&mut T>, U)
where
    R: Get<T, I>,
    U: Inverse<<R as Get<T, I>>::Remainder, IS>,
{
    type Result = <U as Inverse<<R as Get<T, I>>::Remainder, IS>>::Result;
}

impl<I, R, U> Inverse<R, I> for (entity::Identifier, U)
where
    U: Inverse<R, I>,
{
    type Result = <U as Inverse<R, I>>::Result;
}