mers_lib 0.9.29

library to use the mers language in other projects
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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121

use std::sync::{Arc, Mutex};

use crate::{
    data::{self, Data, Type},
    errors::CheckError,
    info::Info,
};

pub fn to_mers_func(
    out: impl Fn(&Type, &mut crate::program::run::CheckInfo) -> Result<Type, CheckError>
        + Send
        + Sync
        + 'static,
    run: impl Fn(Data, &mut crate::program::run::Info) -> Result<Data, CheckError>
        + Send
        + Sync
        + 'static,
) -> data::function::Function {
    data::function::Function {
        info: Info::neverused(),
        info_check: Arc::new(Mutex::new(Info::neverused())),
        fixed_type: None,
        fixed_type_out: Arc::new(Mutex::new(None)),
        out: Ok(Arc::new(move |a, i| out(a, i))),
        run: Arc::new(move |a, i| run(a, i)),
        inner_statements: None,
    }
}

pub fn to_mers_func_with_in_type(
    in_type: Type,
    out: impl Fn(&Type, &mut crate::program::run::CheckInfo) -> Result<Type, CheckError>
        + Send
        + Sync
        + 'static,
    run: impl Fn(Data, &mut crate::program::run::Info) -> Result<Data, CheckError>
        + Send
        + Sync
        + 'static,
) -> data::function::Function {
    to_mers_func(
        move |a, i| {
            if a.is_included_in(&in_type) {
                out(a, i)
            } else {
                Err(format!(
                    "Function argument must be {}, but was {}.",
                    in_type.with_info(i),
                    a.with_info(i)
                )
                .into())
            }
        },
        run,
    )
}

pub fn to_mers_func_with_in_out_types(
    in_type: Type,
    out_type: Type,
    run: impl Fn(Data, &mut crate::program::run::Info) -> Result<Data, CheckError>
        + Send
        + Sync
        + 'static,
) -> data::function::Function {
    data::function::Function::new_static(vec![(in_type, out_type)], move |a, i| run(a, i))
}

pub fn to_mers_func_concrete_string_to_any(
    out_type: Type,
    f: impl Fn(&str) -> Result<Data, CheckError> + Send + Sync + 'static,
) -> data::function::Function {
    to_mers_func_with_in_out_types(Type::new(data::string::StringT), out_type, move |a, _| {
        f(a.get()
            .as_any()
            .downcast_ref::<data::string::String>()
            .unwrap()
            .0
            .as_str())
    })
}
pub fn to_mers_func_concrete_string_to_string(
    f: impl Fn(&str) -> String + Send + Sync + 'static,
) -> data::function::Function {
    to_mers_func_concrete_string_to_any(Type::new(data::string::StringT), move |a| {
        Ok(Data::new(data::string::String(f(a))))
    })
}

pub fn to_mers_func_concrete_string_string_to_any(
    out_type: Type,
    f: impl Fn(&str, &str) -> Result<Data, CheckError> + Send + Sync + 'static,
) -> data::function::Function {
    to_mers_func_with_in_out_types(
        Type::new(data::tuple::TupleT(vec![
            Type::new(data::string::StringT),
            Type::new(data::string::StringT),
        ])),
        out_type,
        move |a, _| {
            let a = a.get();
            let a = &a.as_any().downcast_ref::<data::tuple::Tuple>().unwrap().0;
            let l = a[0].read();
            let l = l.get();
            let r = a[1].read();
            let r = r.get();
            f(
                l.as_any()
                    .downcast_ref::<data::string::String>()
                    .unwrap()
                    .0
                    .as_str(),
                r.as_any()
                    .downcast_ref::<data::string::String>()
                    .unwrap()
                    .0
                    .as_str(),
            )
        },
    )
}