keepops 0.0.2

Extension traits for keeping the input of mapping functions
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

use crate::tuple_family::RunSingle;

pub trait KeepMapSingle<SingleType, ExtraDim> {
    type SelfType<T>;

    fn keep_map<F>(self, f: F) -> Self::SelfType<RunSingle<SingleType, ExtraDim>>
    where
        F: FnOnce(&SingleType) -> ExtraDim;
}

impl<SingleType, ExtraDim> KeepMapSingle<SingleType, ExtraDim> for Option<SingleType> {
    type SelfType<T> = Option<T>;
    fn keep_map<F>(self, f: F) -> Self::SelfType<RunSingle<SingleType, ExtraDim>>
    where
        F: FnOnce(&SingleType) -> ExtraDim,
    {
        self.map(|single_type| {
            let extra_dim = f(&single_type);
            (single_type, extra_dim)
        })
    }
}

impl<SingleType, ExtraDim, ErrorType> KeepMapSingle<SingleType, ExtraDim>
    for Result<SingleType, ErrorType>
{
    type SelfType<T> = Result<T, ErrorType>;
    fn keep_map<F>(self, f: F) -> Self::SelfType<RunSingle<SingleType, ExtraDim>>
    where
        F: FnOnce(&SingleType) -> ExtraDim,
    {
        self.map(|single_type| {
            let extra_dim = f(&single_type);
            (single_type, extra_dim)
        })
    }
}