smart_access 0.7.0

A minimalistic "lazy bidirectional pointer" framework.
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

use super::*;

pub trait OfView<View: ?Sized>: Sized {
    type View: ?Sized;

    fn give_access<CPS, F>(self, cps: CPS, f: F) -> bool where
        CPS: Each<View=View>,
        F: FnMut(&mut Self::View) -> bool;
}


impl<View: ?Sized> OfView<View> for () {
    type View = View;
    
    fn give_access<CPS, F>(self, cps: CPS, f: F) -> bool where
        CPS: Each<View=View>,
        F: FnMut(&mut Self::View) -> bool
    {
        cps.each(f)
    }
}

impl<View: ?Sized, Prev, Index> OfView<View> for (Prev, Index) where
    Prev: OfView<View>,
    Prev::View: Of<Index>,
    Index: Clone
{
    type View = <Prev::View as Of<Index>>::View;
    
    fn give_access<CPS, F>(self, cps: CPS, mut f: F) -> bool where
        CPS: Each<View=View>,
        F: FnMut(&mut Self::View) -> bool
    {
        let (prev, index) = self;

        prev.give_access(cps, |v| { v.each_of(index.clone(), &mut f) })
    }
}