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
use crate::multistackvm::{VM, StackOps};
use rust_dynamic::value::Value;
use rust_dynamic::types::*;
use easy_error::{Error, bail};
fn stdlib_logic_map_base(vm: &mut VM, depth: usize, op: StackOps, err_prefix: String) -> Result<&mut VM, Error> {
if vm.stack.current_stack_len() < depth {
bail!("Stack is too shallow for inline {}", &err_prefix);
}
match vm.stack.pull() {
Some(lambda_val) => {
if lambda_val.is_type(LAMBDA) {
let cond = match op {
StackOps::FromStack => vm.stack.pull(),
StackOps::FromWorkBench => vm.stack.pull_from_workbench(),
};
match cond {
Some(condition_val) => {
let cv_name = &condition_val.type_name();
match condition_val.type_of() {
LIST => {
match condition_val.cast_list() {
Ok(cond) => {
let mut res = Value::list();
for v in cond {
vm.stack.push(v);
match vm.lambda_eval(lambda_val.clone()) {
Ok(_) => {
match vm.stack.pull() {
Some(outcome) => {
res = res.push(outcome);
}
None => {
bail!("{} can not obtain MAP outcome from stack", &err_prefix);
}
}
}
Err(err) => {
bail!("{}: lambda execution returns error: {}", &err_prefix, err);
}
}
}
match op {
StackOps::FromStack => vm.stack.push(res),
StackOps::FromWorkBench => vm.stack.push_to_workbench(res),
};
}
Err(err) => {
bail!("{} returns error: {}", &err_prefix, err);
}
}
}
MATRIX => {
match condition_val.cast_matrix() {
Ok(cond) => {
let mut res: Vec<Vec<Value>> = Vec::new();
for r in cond {
let mut row: Vec<Value> = Vec::new();
for v in r {
vm.stack.push(v);
match vm.lambda_eval(lambda_val.clone()) {
Ok(_) => {
match vm.stack.pull() {
Some(outcome) => {
row.push(outcome);
}
None => {
bail!("{} can not obtain MAP outcome from stack", &err_prefix);
}
}
}
Err(err) => {
bail!("{}: lambda execution returns error: {}", &err_prefix, err);
}
}
}
res.push(row);
}
match op {
StackOps::FromStack => vm.stack.push(Value::from_matrix(res)),
StackOps::FromWorkBench => vm.stack.push_to_workbench(Value::from_matrix(res)),
};
}
Err(err) => {
bail!("{} returns error: {}", &err_prefix, err);
}
}
}
_ => {
bail!("{}: can not run map over {}", &err_prefix, cv_name);
}
}
}
None => {
bail!("{} returns: NO DATA #2", &err_prefix);
}
}
} else {
bail!("{}: #1 parameter must be lambda", &err_prefix);
}
}
None => {
bail!("{} returns: NO DATA #1", &err_prefix);
}
}
Ok(vm)
}
pub fn stdlib_logic_map(vm: &mut VM) -> Result<&mut VM, Error> {
stdlib_logic_map_base(vm, 2, StackOps::FromStack, "MAP".to_string())
}
pub fn stdlib_logic_map_in_workbench(vm: &mut VM) -> Result<&mut VM, Error> {
stdlib_logic_map_base(vm, 1, StackOps::FromWorkBench, "MAP.".to_string())
}
pub fn init_stdlib(vm: &mut VM) {
let _ = vm.register_inline("map".to_string(), stdlib_logic_map);
let _ = vm.register_inline("map.".to_string(), stdlib_logic_map_in_workbench);
}