kodept 0.2.3

Simple compiler with dependent types support in mind
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

use kodept::codespan_settings::CodespanSettings;
use kodept::read_code_source::ReadCodeSource;
use kodept_macros::error::ErrorReported;

#[cfg(feature = "parallel")]
pub trait CommonIter: rayon::prelude::ParallelIterator<Item = <Self as CommonIter>::Item> {
    type Item;
}

#[cfg(not(feature = "parallel"))]
pub trait CommonIter: Iterator<Item = <Self as CommonIter>::Item> {
    type Item;
}

#[cfg(not(feature = "parallel"))]
impl<T: Iterator> CommonIter for T {
    type Item = T::Item;
}

#[cfg(feature = "parallel")]
impl<T: rayon::prelude::ParallelIterator> CommonIter for T {
    type Item = T::Item;
}

pub trait Command {
    type Params;

    #[allow(unused_mut)]
    fn exec(
        &self,
        sources: impl CommonIter<Item = ReadCodeSource>,
        mut settings: CodespanSettings,
        mut additional_params: Self::Params,
    ) -> Result<(), ErrorReported>
    where
        Self::Params: Clone + Send,
        Self: Sync,
    {
        #[cfg(feature = "parallel")]
        {
            sources.try_for_each_with(
                (settings, additional_params),
                |(settings, params), source| self.exec_for_source(source, settings, params),
            )
        }
        #[cfg(not(feature = "parallel"))]
        {
            for source in sources {
                self.exec_for_source(source, &mut settings, &mut additional_params)?;
            }
            Ok(())
        }
    }

    fn exec_for_source(
        &self,
        source: ReadCodeSource,
        settings: &mut CodespanSettings,
        params: &mut Self::Params,
    ) -> Result<(), ErrorReported>;
}