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

use crate::{
    coprod::{CoCons, CoNil},
    hlist::{Cons, Nil},
};

pub trait AsRef<'a> {
    type Ref: 'a;
    type RefMut: 'a;

    fn as_ref(&'a self) -> Self::Ref;
    fn as_mut(&'a mut self) -> Self::RefMut;
}

impl AsRef<'_> for Nil {
    type Ref = Self;
    type RefMut = Self;

    fn as_ref(&self) -> Self::Ref { Self }

    fn as_mut(&mut self) -> Self::RefMut { Self }
}

impl AsRef<'_> for CoNil {
    type Ref = Self;
    type RefMut = Self;

    fn as_ref(&self) -> Self::Ref { *self }

    fn as_mut(&mut self) -> Self::RefMut { *self }
}

impl<'a, T: 'a, R: AsRef<'a>> AsRef<'a> for Cons<T, R> {
    type Ref = Cons<&'a T, R::Ref>;
    type RefMut = Cons<&'a mut T, R::RefMut>;

    fn as_ref(&'a self) -> Self::Ref {
        Cons {
            value: &self.value,
            rest: self.rest.as_ref(),
        }
    }

    fn as_mut(&'a mut self) -> Self::RefMut {
        Cons {
            value: &mut self.value,
            rest: self.rest.as_mut(),
        }
    }
}

impl<'a, T: 'a, R: AsRef<'a>> AsRef<'a> for CoCons<T, R> {
    type Ref = CoCons<&'a T, R::Ref>;
    type RefMut = CoCons<&'a mut T, R::RefMut>;

    fn as_ref(&'a self) -> Self::Ref {
        match self {
            CoCons::Value(value) => CoCons::Value(value),
            CoCons::Rest(rest) => CoCons::Rest(rest.as_ref()),
        }
    }

    fn as_mut(&'a mut self) -> Self::RefMut {
        match self {
            CoCons::Value(value) => CoCons::Value(value),
            CoCons::Rest(rest) => CoCons::Rest(rest.as_mut()),
        }
    }
}