git.delta.rocks / jrsonnet / refs/commits / 747b2b782cb8

1use crate::{2	equals,3	error::{Error::*, Result},4	operator::evaluate_mod_op,5	parse_args, primitive_equals, push, throw, with_state, ArrValue, Context, EvaluationState,6	FuncVal, IndexableVal, LazyVal, Val,7};8use format::{format_arr, format_obj};9use jrsonnet_gc::Gc;10use jrsonnet_interner::IStr;11use jrsonnet_parser::{ArgsDesc, ExprLocation};12use jrsonnet_types::ty;13use std::{collections::HashMap, path::PathBuf, rc::Rc};1415pub mod stdlib;16pub use stdlib::*;1718use self::manifest::{escape_string_json, manifest_json_ex, ManifestJsonOptions, ManifestType};1920pub mod format;21pub mod manifest;22pub mod sort;2324pub fn std_format(str: IStr, vals: Val) -> Result<Val> {25	push(26		Some(&ExprLocation(Rc::from(PathBuf::from("std.jsonnet")), 0, 0)),27		|| format!("std.format of {}", str),28		|| {29			Ok(match vals {30				Val::Arr(vals) => Val::Str(format_arr(&str, &vals.evaluated()?)?.into()),31				Val::Obj(obj) => Val::Str(format_obj(&str, &obj)?.into()),32				o => Val::Str(format_arr(&str, &[o])?.into()),33			})34		},35	)36}3738pub fn std_slice(39	indexable: IndexableVal,40	index: Option<usize>,41	end: Option<usize>,42	step: Option<usize>,43) -> Result<Val> {44	let index = index.unwrap_or(0);45	let end = end.unwrap_or_else(|| match &indexable {46		IndexableVal::Str(_) => usize::MAX,47		IndexableVal::Arr(v) => v.len(),48	});49	let step = step.unwrap_or(1);50	match &indexable {51		IndexableVal::Str(s) => Ok(Val::Str(52			(s.chars()53				.skip(index)54				.take(end - index)55				.step_by(step)56				.collect::<String>())57			.into(),58		)),59		IndexableVal::Arr(arr) => Ok(Val::Arr(60			(arr.iter()61				.skip(index)62				.take(end - index)63				.step_by(step)64				.collect::<Result<Vec<Val>>>()?)65			.into(),66		)),67	}68}6970type Builtin = fn(context: Context, loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val>;7172type BuiltinsType = HashMap<Box<str>, Builtin>;7374thread_local! {75	static BUILTINS: BuiltinsType = {76		[77			("length".into(), builtin_length as Builtin),78			("type".into(), builtin_type),79			("makeArray".into(), builtin_make_array),80			("codepoint".into(), builtin_codepoint),81			("objectFieldsEx".into(), builtin_object_fields_ex),82			("objectHasEx".into(), builtin_object_has_ex),83			("slice".into(), builtin_slice),84			("substr".into(), builtin_substr),85			("primitiveEquals".into(), builtin_primitive_equals),86			("equals".into(), builtin_equals),87			("modulo".into(), builtin_modulo),88			("mod".into(), builtin_mod),89			("floor".into(), builtin_floor),90			("ceil".into(), builtin_ceil),91			("log".into(), builtin_log),92			("pow".into(), builtin_pow),93			("sqrt".into(), builtin_sqrt),94			("sin".into(), builtin_sin),95			("cos".into(), builtin_cos),96			("tan".into(), builtin_tan),97			("asin".into(), builtin_asin),98			("acos".into(), builtin_acos),99			("atan".into(), builtin_atan),100			("exp".into(), builtin_exp),101			("mantissa".into(), builtin_mantissa),102			("exponent".into(), builtin_exponent),103			("extVar".into(), builtin_ext_var),104			("native".into(), builtin_native),105			("filter".into(), builtin_filter),106			("map".into(), builtin_map),107			("flatMap".into(), builtin_flatmap),108			("foldl".into(), builtin_foldl),109			("foldr".into(), builtin_foldr),110			("sortImpl".into(), builtin_sort_impl),111			("format".into(), builtin_format),112			("range".into(), builtin_range),113			("char".into(), builtin_char),114			("encodeUTF8".into(), builtin_encode_utf8),115			("md5".into(), builtin_md5),116			("base64".into(), builtin_base64),117			("trace".into(), builtin_trace),118			("join".into(), builtin_join),119			("escapeStringJson".into(), builtin_escape_string_json),120			("manifestJsonEx".into(), builtin_manifest_json_ex),121			("reverse".into(), builtin_reverse),122			("id".into(), builtin_id),123			("strReplace".into(), builtin_str_replace),124			("splitLimit".into(), builtin_splitlimit),125			("parseJson".into(), builtin_parse_json),126		].iter().cloned().collect()127	};128}129130fn builtin_length(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {131	parse_args!(context, "length", args, 1, [132		0, x: ty!((string | object | array));133	], {134		Ok(match x {135			Val::Str(n) => Val::Num(n.chars().count() as f64),136			Val::Arr(a) => Val::Num(a.len() as f64),137			Val::Obj(o) => Val::Num(138				o.fields_visibility()139					.into_iter()140					.filter(|(_k, v)| *v)141					.count() as f64,142			),143			_ => unreachable!(),144		})145	})146}147148fn builtin_type(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {149	parse_args!(context, "type", args, 1, [150		0, x: ty!(any);151	], {152		Ok(Val::Str(x.value_type().name().into()))153	})154}155156fn builtin_make_array(157	context: Context,158	_loc: Option<&ExprLocation>,159	args: &ArgsDesc,160) -> Result<Val> {161	parse_args!(context, "makeArray", args, 2, [162		0, sz: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;163		1, func: ty!(function) => Val::Func;164	], {165		let mut out = Vec::with_capacity(sz as usize);166		for i in 0..sz as usize {167			out.push(LazyVal::new_resolved(func.evaluate_values(168				context.clone(),169				&[Val::Num(i as f64)]170			)?))171		}172		Ok(Val::Arr(out.into()))173	})174}175176fn builtin_codepoint(177	context: Context,178	_loc: Option<&ExprLocation>,179	args: &ArgsDesc,180) -> Result<Val> {181	parse_args!(context, "codepoint", args, 1, [182		0, str: ty!(char) => Val::Str;183	], {184		Ok(Val::Num(str.chars().next().unwrap() as u32 as f64))185	})186}187188fn builtin_object_fields_ex(189	context: Context,190	_loc: Option<&ExprLocation>,191	args: &ArgsDesc,192) -> Result<Val> {193	parse_args!(context, "objectFieldsEx", args, 2, [194		0, obj: ty!(object) => Val::Obj;195		1, inc_hidden: ty!(boolean) => Val::Bool;196	], {197		let out = obj.fields_ex(inc_hidden);198		Ok(Val::Arr(out.into_iter().map(Val::Str).collect::<Vec<_>>().into()))199	})200}201202fn builtin_object_has_ex(203	context: Context,204	_loc: Option<&ExprLocation>,205	args: &ArgsDesc,206) -> Result<Val> {207	parse_args!(context, "objectHasEx", args, 3, [208		0, obj: ty!(object) => Val::Obj;209		1, f: ty!(string) => Val::Str;210		2, inc_hidden: ty!(boolean) => Val::Bool;211	], {212		Ok(Val::Bool(obj.has_field_ex(f, inc_hidden)))213	})214}215216fn builtin_parse_json(217	context: Context,218	_loc: Option<&ExprLocation>,219	args: &ArgsDesc,220) -> Result<Val> {221	parse_args!(context, "parseJson", args, 1, [222		0, s: ty!(string) => Val::Str;223	], {224		let state = EvaluationState::default();225		let path = PathBuf::from("std.parseJson").into();226		state.evaluate_snippet_raw(path ,s)227	})228}229230fn builtin_slice(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {231	parse_args!(context, "slice", args, 4, [232		0, indexable: ty!((string | array));233		1, index: ty!((number | null));234		2, end: ty!((number | null));235		3, step: ty!((number | null));236	], {237		std_slice(238			indexable.into_indexable()?,239			index.try_cast_nullable_num("index")?.map(|v| v as usize),240			end.try_cast_nullable_num("end")?.map(|v| v as usize),241			step.try_cast_nullable_num("step")?.map(|v| v as usize),242		)243	})244}245246fn builtin_substr(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {247	parse_args!(context, "substr", args, 3, [248		0, str: ty!(string) => Val::Str;249		1, from: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;250		2, len: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;251	], {252		let out: String = str.chars().skip(from as usize).take(len as usize).collect();253		Ok(Val::Str(out.into()))254	})255}256257fn builtin_primitive_equals(258	context: Context,259	_loc: Option<&ExprLocation>,260	args: &ArgsDesc,261) -> Result<Val> {262	parse_args!(context, "primitiveEquals", args, 2, [263		0, a: ty!(any);264		1, b: ty!(any);265	], {266		Ok(Val::Bool(primitive_equals(&a, &b)?))267	})268}269270fn builtin_equals(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {271	parse_args!(context, "equals", args, 2, [272		0, a: ty!(any);273		1, b: ty!(any);274	], {275		Ok(Val::Bool(equals(&a, &b)?))276	})277}278279fn builtin_modulo(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {280	parse_args!(context, "modulo", args, 2, [281		0, a: ty!(number) => Val::Num;282		1, b: ty!(number) => Val::Num;283	], {284		Ok(Val::Num(a % b))285	})286}287288fn builtin_mod(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {289	parse_args!(context, "mod", args, 2, [290		0, a: ty!((number | string));291		1, b: ty!(any);292	], {293		evaluate_mod_op(&a, &b)294	})295}296297fn builtin_floor(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {298	parse_args!(context, "floor", args, 1, [299		0, x: ty!(number) => Val::Num;300	], {301		Ok(Val::Num(x.floor()))302	})303}304305fn builtin_ceil(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {306	parse_args!(context, "ceil", args, 1, [307		0, x: ty!(number) => Val::Num;308	], {309		Ok(Val::Num(x.ceil()))310	})311}312313fn builtin_log(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {314	parse_args!(context, "log", args, 1, [315		0, n: ty!(number) => Val::Num;316	], {317		Ok(Val::Num(n.ln()))318	})319}320321fn builtin_pow(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {322	parse_args!(context, "pow", args, 2, [323		0, x: ty!(number) => Val::Num;324		1, n: ty!(number) => Val::Num;325	], {326		Ok(Val::Num(x.powf(n)))327	})328}329330fn builtin_sqrt(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {331	parse_args!(context, "sqrt", args, 1, [332		0, x: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;333	], {334		Ok(Val::Num(x.sqrt()))335	})336}337338fn builtin_sin(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {339	parse_args!(context, "sin", args, 1, [340		0, x: ty!(number) => Val::Num;341	], {342		Ok(Val::Num(x.sin()))343	})344}345346fn builtin_cos(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {347	parse_args!(context, "cos", args, 1, [348		0, x: ty!(number) => Val::Num;349	], {350		Ok(Val::Num(x.cos()))351	})352}353354fn builtin_tan(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {355	parse_args!(context, "tan", args, 1, [356		0, x: ty!(number) => Val::Num;357	], {358		Ok(Val::Num(x.tan()))359	})360}361362fn builtin_asin(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {363	parse_args!(context, "asin", args, 1, [364		0, x: ty!(number) => Val::Num;365	], {366		Ok(Val::Num(x.asin()))367	})368}369370fn builtin_acos(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {371	parse_args!(context, "acos", args, 1, [372		0, x: ty!(number) => Val::Num;373	], {374		Ok(Val::Num(x.acos()))375	})376}377378fn builtin_atan(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {379	parse_args!(context, "atan", args, 1, [380		0, x: ty!(number) => Val::Num;381	], {382		Ok(Val::Num(x.atan()))383	})384}385386fn builtin_exp(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {387	parse_args!(context, "exp", args, 1, [388		0, x: ty!(number) => Val::Num;389	], {390		Ok(Val::Num(x.exp()))391	})392}393394fn frexp(s: f64) -> (f64, i16) {395	if 0.0 == s {396		return (s, 0);397	} else {398		let lg = s.abs().log2();399		let x = (lg - lg.floor() - 1.0).exp2();400		let exp = lg.floor() + 1.0;401		(s.signum() * x, exp as i16)402	}403}404405fn builtin_mantissa(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {406	parse_args!(context, "mantissa", args, 1, [407		0, x: ty!(number) => Val::Num;408	], {409		Ok(Val::Num(frexp(x).0))410	})411}412413fn builtin_exponent(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {414	parse_args!(context, "exponent", args, 1, [415		0, x: ty!(number) => Val::Num;416	], {417		Ok(Val::Num(frexp(x).1.into()))418	})419}420421fn builtin_ext_var(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {422	parse_args!(context, "extVar", args, 1, [423		0, x: ty!(string) => Val::Str;424	], {425		Ok(with_state(|s| s.settings().ext_vars.get(&x).cloned()).ok_or(UndefinedExternalVariable(x))?)426	})427}428429fn builtin_native(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {430	parse_args!(context, "native", args, 1, [431		0, x: ty!(string) => Val::Str;432	], {433		Ok(with_state(|s| s.settings().ext_natives.get(&x).cloned()).map(|v| Val::Func(Gc::new(FuncVal::NativeExt(x.clone(), v)))).ok_or(UndefinedExternalFunction(x))?)434	})435}436437fn builtin_filter(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {438	parse_args!(context, "filter", args, 2, [439		0, func: ty!(function) => Val::Func;440		1, arr: ty!(array) => Val::Arr;441	], {442		Ok(Val::Arr(arr.filter(|val| func443			.evaluate_values(context.clone(), &[val.clone()])?444			.try_cast_bool("filter predicate"))?))445	})446}447448fn builtin_map(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {449	parse_args!(context, "map", args, 2, [450		0, func: ty!(function) => Val::Func;451		1, arr: ty!(array) => Val::Arr;452	], {453		Ok(Val::Arr(arr.map(|val| func454			.evaluate_values(context.clone(), &[val]))?))455	})456}457458fn builtin_flatmap(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {459	parse_args!(context, "flatMap", args, 2, [460		0, func: ty!(function) => Val::Func;461		1, arr: ty!((array | string));462	], {463		match arr {464			Val::Str(s) => {465				let mut out = String::new();466				for c in s.chars() {467					match func.evaluate_values(context.clone(), &[Val::Str(c.to_string().into())])? {468						Val::Str(o) => out.push_str(&o),469						_ => throw!(RuntimeError("in std.join all items should be strings".into())),470					};471				}472				Ok(Val::Str(out.into()))473			},474			Val::Arr(a) => {475				let mut out = Vec::new();476				for el in a.iter() {477					let el = el?;478					match func.evaluate_values(context.clone(), &[el])? {479						Val::Arr(o) => for oe in o.iter() {480							out.push(oe?)481						},482						_ => throw!(RuntimeError("in std.join all items should be arrays".into())),483					};484				}485				Ok(Val::Arr(out.into()))486			},487			_ => unreachable!(),488		}489	})490}491492fn builtin_foldl(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {493	parse_args!(context, "foldl", args, 3, [494		0, func: ty!(function) => Val::Func;495		1, arr: ty!(array) => Val::Arr;496		2, init: ty!(any);497	], {498		let mut acc = init;499		for i in arr.iter() {500			acc = func.evaluate_values(context.clone(), &[acc, i?])?;501		}502		Ok(acc)503	})504}505506fn builtin_foldr(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {507	parse_args!(context, "foldr", args, 3, [508		0, func: ty!(function) => Val::Func;509		1, arr: ty!(array) => Val::Arr;510		2, init: ty!(any);511	], {512		let mut acc = init;513		for i in arr.iter().rev() {514			acc = func.evaluate_values(context.clone(), &[acc, i?])?;515		}516		Ok(acc)517	})518}519520#[allow(non_snake_case)]521fn builtin_sort_impl(522	context: Context,523	_loc: Option<&ExprLocation>,524	args: &ArgsDesc,525) -> Result<Val> {526	parse_args!(context, "sort", args, 2, [527		0, arr: ty!(array) => Val::Arr;528		1, keyF: ty!(function) => Val::Func;529	], {530		if arr.len() <= 1 {531			return Ok(Val::Arr(arr))532		}533		Ok(Val::Arr(ArrValue::Eager(sort::sort(context, arr.evaluated()?, &keyF)?)))534	})535}536537fn builtin_format(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {538	parse_args!(context, "format", args, 2, [539		0, str: ty!(string) => Val::Str;540		1, vals: ty!(any)541	], {542		std_format(str, vals)543	})544}545546fn builtin_range(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {547	parse_args!(context, "range", args, 2, [548		0, from: ty!(number) => Val::Num;549		1, to: ty!(number) => Val::Num;550	], {551		if to < from {552			return Ok(Val::Arr(ArrValue::new_eager()))553		}554		let mut out = Vec::with_capacity((1+to as usize-from as usize).max(0));555		for i in from as usize..=to as usize {556			out.push(Val::Num(i as f64));557		}558		Ok(Val::Arr(out.into()))559	})560}561562fn builtin_char(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {563	parse_args!(context, "char", args, 1, [564		0, n: ty!(number) => Val::Num;565	], {566		let mut out = String::new();567		out.push(std::char::from_u32(n as u32).ok_or_else(||568			InvalidUnicodeCodepointGot(n as u32)569		)?);570		Ok(Val::Str(out.into()))571	})572}573574fn builtin_encode_utf8(575	context: Context,576	_loc: Option<&ExprLocation>,577	args: &ArgsDesc,578) -> Result<Val> {579	parse_args!(context, "encodeUTF8", args, 1, [580		0, str: ty!(string) => Val::Str;581	], {582		Ok(Val::Arr((str.bytes().map(|b| Val::Num(b as f64)).collect::<Vec<Val>>()).into()))583	})584}585586fn builtin_md5(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {587	parse_args!(context, "md5", args, 1, [588		0, str: ty!(string) => Val::Str;589	], {590		Ok(Val::Str(format!("{:x}", md5::compute(&str.as_bytes())).into()))591	})592}593594fn builtin_trace(context: Context, loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {595	parse_args!(context, "trace", args, 2, [596		0, str: ty!(string) => Val::Str;597		1, rest: ty!(any);598	], {599		eprint!("TRACE:");600		if let Some(loc) = loc {601			with_state(|s|{602				let locs = s.map_source_locations(&loc.0, &[loc.1]);603				eprint!(" {}:{}", loc.0.file_name().unwrap().to_str().unwrap(), locs[0].line);604			});605		}606		eprintln!(" {}", str);607		Ok(rest)608	})609}610611fn builtin_base64(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {612	parse_args!(context, "base64", args, 1, [613		0, input: ty!((string | (Array<number>)));614	], {615		Ok(Val::Str(match input {616			Val::Str(s) => {617				base64::encode(s.bytes().collect::<Vec<_>>()).into()618			},619			Val::Arr(a) => {620				base64::encode(a.iter().map(|v| {621					Ok(v?.unwrap_num()? as u8)622				}).collect::<Result<Vec<_>>>()?).into()623			},624			_ => unreachable!()625		}))626	})627}628629fn builtin_join(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {630	parse_args!(context, "join", args, 2, [631		0, sep: ty!((string | array));632		1, arr: ty!(array) => Val::Arr;633	], {634		Ok(match sep {635			Val::Arr(joiner_items) => {636				let mut out = Vec::new();637638				let mut first = true;639				for item in arr.iter() {640					let item = item?.clone();641					if let Val::Arr(items) = item {642						if !first {643							out.reserve(joiner_items.len());644							// TODO: extend645							for item in joiner_items.iter() {646								out.push(item?);647							}648						}649						first = false;650						out.reserve(items.len());651						// TODO: extend652						for item in items.iter() {653							out.push(item?);654						}655					} else {656						throw!(RuntimeError("in std.join all items should be arrays".into()));657					}658				}659660				Val::Arr(out.into())661			},662			Val::Str(sep) => {663				let mut out = String::new();664665				let mut first = true;666				for item in arr.iter() {667					let item = item?.clone();668					if let Val::Str(item) = item {669						if !first {670							out += &sep;671						}672						first = false;673						out += &item;674					} else {675						throw!(RuntimeError("in std.join all items should be strings".into()));676					}677				}678679				Val::Str(out.into())680			},681			_ => unreachable!()682		})683	})684}685686fn builtin_escape_string_json(687	context: Context,688	_loc: Option<&ExprLocation>,689	args: &ArgsDesc,690) -> Result<Val> {691	parse_args!(context, "escapeStringJson", args, 1, [692		0, str_: ty!(string) => Val::Str;693	], {694		Ok(Val::Str(escape_string_json(&str_).into()))695	})696}697698fn builtin_manifest_json_ex(699	context: Context,700	_loc: Option<&ExprLocation>,701	args: &ArgsDesc,702) -> Result<Val> {703	parse_args!(context, "manifestJsonEx", args, 2, [704		0, value: ty!(any);705		1, indent: ty!(string) => Val::Str;706	], {707		Ok(Val::Str(manifest_json_ex(&value, &ManifestJsonOptions {708			padding: &indent,709			mtype: ManifestType::Std,710		})?.into()))711	})712}713714fn builtin_reverse(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {715	parse_args!(context, "reverse", args, 1, [716		0, value: ty!(array) => Val::Arr;717	], {718		Ok(Val::Arr(value.reversed()))719	})720}721722fn builtin_id(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {723	parse_args!(context, "id", args, 1, [724		0, v: ty!(any);725	], {726		Ok(v)727	})728}729730fn builtin_str_replace(731	context: Context,732	_loc: Option<&ExprLocation>,733	args: &ArgsDesc,734) -> Result<Val> {735	parse_args!(context, "strReplace", args, 3, [736		0, str: ty!(string) => Val::Str;737		1, from: ty!(string) => Val::Str;738		2, to: ty!(string) => Val::Str;739	], {740		let mut out = String::new();741		let mut last_idx = 0;742		while let Some(idx) = (&str[last_idx..]).find(&from as &str) {743			out.push_str(&str[last_idx..last_idx+idx]);744			out.push_str(&to);745			last_idx += idx + from.len();746		}747		if last_idx == 0 {748			return Ok(Val::Str(str))749		}750		out.push_str(&str[last_idx..]);751		Ok(Val::Str(out.into()))752	})753}754755fn builtin_splitlimit(756	context: Context,757	_loc: Option<&ExprLocation>,758	args: &ArgsDesc,759) -> Result<Val> {760	parse_args!(context, "splitLimit", args, 3, [761		0, str: ty!(string) => Val::Str;762		1, c: ty!(char) => Val::Str;763		2, maxsplits: ty!(number) => Val::Num;764	], {765		let maxsplits = maxsplits as isize;766		let c = c.chars().next().unwrap();767768		let out: Vec<Val> = if maxsplits == -1 {769			str.split(c).map(|s| Val::Str(s.into())).collect()770		} else {771			str.splitn(maxsplits as usize + 1, c).map(|s| Val::Str(s.into())).collect()772		};773774		Ok(Val::Arr(out.into()))775	})776}777778pub fn call_builtin(779	context: Context,780	loc: Option<&ExprLocation>,781	name: &str,782	args: &ArgsDesc,783) -> Result<Val> {784	BUILTINS785		.with(|builtins| builtins.get(name).copied())786		.ok_or_else(|| IntrinsicNotFound(name.into()))?(context, loc, args)787}