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
//! # ksl::builtin::anl
//!
//! Built-in function `Any` and `All`.
use crate::{Environment, FALSE_SYMBOL, TRUE_SYMBOL, builtin::eval_builtin, eval::apply::eval_apply, value::Value};
pub(crate) fn builtin(args: &[Value], is_any: bool, env: Environment) -> Result<Value, std::sync::Arc<str>> {
if let [list, predict] = args {
match eval_apply(list, env.clone())? {
Value::List(elements) => {
if elements.is_empty() {
Ok(if is_any {
FALSE_SYMBOL.clone()
} else {
TRUE_SYMBOL.clone()
})
} else {
let fpredict = std::sync::Arc::new(eval_apply(predict, env.clone())?);
for element in elements.iter() {
let pval = match fpredict.as_ref() {
Value::Builtin(name) => eval_builtin(name, std::slice::from_ref(element), env.clone()),
Value::Lambda(_, _, _) | Value::Plugin(_, _) => eval_apply(
&Value::Apply(vec![element.clone()], fpredict.clone()),
env.clone(),
),
e => {
return Err(std::sync::Arc::from(format!(
concat!(
"Error[ksl::builtin::{}]: ",
"Expected a function, but got: `{}`."
),
if is_any { "Any" } else { "All" },
e
)));
}
}?;
match pval {
p @ Value::Atom(_) => {
if p == *TRUE_SYMBOL {
if is_any {
return Ok(p);
}
} else if p == *FALSE_SYMBOL {
if !is_any {
return Ok(p);
}
} else {
return Err(std::sync::Arc::from(format!(
"Error[ksl::builtin::{}]: `{}` is not a boolean",
if is_any { "Any" } else { "All" },
p
)));
}
}
e => {
return Err(std::sync::Arc::from(format!(
concat!(
"Error[ksl::builtin::{}]: ",
"Expected a boolean, but got: `{}`."
),
if is_any { "Any" } else { "All" },
e
)));
}
}
}
Ok(if is_any {
FALSE_SYMBOL.clone()
} else {
TRUE_SYMBOL.clone()
})
}
}
e => Err(std::sync::Arc::from(format!(
concat!(
"Error[ksl::builtin::{}]: ",
"Expected a list, but got: `{}`."
),
if is_any { "Any" } else { "All" },
e
))),
}
} else {
Err(std::sync::Arc::from(format!(
concat!(
"Error[ksl::builtin::{}]: ",
"Expected 2 parameters, but {} were passed."
),
if is_any { "Any" } else { "All" },
args.len()
)))
}
}