typsy 0.1.0

Heterogenous containers
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

use crate::{
    call::{CallMut, CallOnce, Not},
    coprod::{CoCons, CoNil},
    hlist::{Cons, Nil, NonEmpty},
};

pub trait Any<'a, F, TagList = ()> {
    fn any(&'a self, f: F) -> bool;
}

pub trait All<'a, F, TagList = ()> {
    fn all(&'a self, f: F) -> bool;
}

impl<'a, F, T: Any<'a, Not<F>, TagList>, TagList> All<'a, F, TagList> for T {
    fn all(&'a self, f: F) -> bool { !self.any(Not(f)) }
}

impl<'a, F> Any<'a, F, ()> for Nil {
    fn any(&'a self, _: F) -> bool { false }
}

impl<'a, F> Any<'a, F, ()> for CoNil {
    fn any(&'a self, _: F) -> bool { match *self {} }
}

impl<'a, F, T: 'a> Any<'a, F> for Cons<T, Nil>
where
    F: CallOnce<(&'a T,), Output = bool>,
{
    fn any(&'a self, f: F) -> bool { f.call_once((&self.value,)) }
}

impl<'a, F, T: 'a, R: NonEmpty> Any<'a, F> for Cons<T, R>
where
    F: CallMut<(&'a T,), Output = bool>,
    R: Any<'a, F>,
{
    fn any(&'a self, mut f: F) -> bool { f.call_mut((&self.value,)) || self.rest.any(f) }
}

impl<'a, F, T: 'a, R> Any<'a, F> for CoCons<T, R>
where
    F: CallOnce<(&'a T,), Output = bool>,
    R: Any<'a, F>,
{
    fn any(&'a self, f: F) -> bool {
        match self {
            Self::Value(value) => f.call_once((value,)),
            Self::Rest(rest) => rest.any(f),
        }
    }
}

impl<'a, F, T: 'a, N> Any<'a, F, (N, ())> for Cons<T, Nil>
where
    F: CallOnce<(&'a T,), N, Output = bool>,
{
    fn any(&'a self, f: F) -> bool { f.call_once((&self.value,)) }
}

impl<'a, F, T: 'a, R: NonEmpty, N, M> Any<'a, F, (N, M)> for Cons<T, R>
where
    F: CallMut<(&'a T,), N, Output = bool>,
    R: Any<'a, F, M>,
{
    fn any(&'a self, mut f: F) -> bool { f.call_mut((&self.value,)) || self.rest.any(f) }
}

impl<'a, F, T: 'a, R, N, M> Any<'a, F, (N, M)> for CoCons<T, R>
where
    F: CallOnce<(&'a T,), N, Output = bool>,
    R: Any<'a, F, M>,
{
    fn any(&'a self, f: F) -> bool {
        match self {
            Self::Value(value) => f.call_once((value,)),
            Self::Rest(rest) => rest.any(f),
        }
    }
}