git.delta.rocks / jrsonnet / refs/commits / 068a27ea4069

difftreelog

feat make std.map accept strings

Yaroslav Bolyukin2023-05-03parent: #bd9176f.patch.diff
in: master

5 files changed

modifiedcrates/jrsonnet-evaluator/src/arr/mod.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/arr/mod.rs
+++ b/crates/jrsonnet-evaluator/src/arr/mod.rs
@@ -1,3 +1,5 @@
+use std::rc::Rc;
+
 use jrsonnet_gcmodule::{Cc, Trace};
 use jrsonnet_interner::IBytes;
 use jrsonnet_parser::LocExpr;
@@ -14,6 +16,8 @@
 pub enum ArrValue {
 	/// Layout optimized byte array.
 	Bytes(BytesArray),
+	/// Layout optimized char array.
+	Chars(CharArray),
 	/// Every element is lazy evaluated.
 	Lazy(LazyArray),
 	/// Every element is defined somewhere in source code
@@ -66,6 +70,9 @@
 	pub fn bytes(bytes: IBytes) -> Self {
 		Self::Bytes(BytesArray(bytes))
 	}
+	pub fn chars(chars: impl Iterator<Item = char>) -> Self {
+		Self::Chars(CharArray(Rc::new(chars.collect())))
+	}
 
 	#[must_use]
 	pub fn map(self, mapper: FuncVal) -> Self {
@@ -237,7 +244,9 @@
 	/// Is this vec supports `.get_cheap()?`
 	pub fn is_cheap(&self) -> bool {
 		match self {
-			ArrValue::Eager(_) | ArrValue::Range(..) | ArrValue::Bytes(_) => true,
+			ArrValue::Eager(_) | ArrValue::Range(..) | ArrValue::Bytes(_) | ArrValue::Chars(_) => {
+				true
+			}
 			ArrValue::Extended(v) => v.a.is_cheap() && v.b.is_cheap(),
 			ArrValue::Slice(r) => r.inner.is_cheap(),
 			ArrValue::Reverse(i) => i.0.is_cheap(),
modifiedcrates/jrsonnet-evaluator/src/arr/spec.rsdiffbeforeafterboth
1//! Those implementations are a bit sketchy, as this is mostly performance experiments1//! Those implementations are a bit sketchy, as this is mostly performance experiments
2//! of not yet finished nightly rust features2//! of not yet finished nightly rust features
33
4use std::{cell::RefCell, iter, mem::replace};4use std::{cell::RefCell, iter, mem::replace, rc::Rc};
55
6use jrsonnet_gcmodule::{Cc, Trace};6use jrsonnet_gcmodule::{Cc, Trace};
7use jrsonnet_interner::IBytes;7use jrsonnet_interner::{IBytes, IStr};
8use jrsonnet_parser::LocExpr;8use jrsonnet_parser::LocExpr;
99
10use super::ArrValue;10use super::ArrValue;
11use crate::{11use crate::{
12 error::ErrorKind::InfiniteRecursionDetected, evaluate, function::FuncVal, val::ThunkValue,12 error::ErrorKind::InfiniteRecursionDetected,
13 evaluate,
14 function::FuncVal,
15 val::{StrValue, ThunkValue},
13 Context, Error, Result, Thunk, Val,16 Context, Error, Result, Thunk, Val,
14};17};
1518
153 }156 }
154}157}
158
159#[derive(Trace, Debug, Clone)]
160pub struct CharArray(pub Rc<Vec<char>>);
161#[cfg(feature = "nightly")]
162type CharArrayIter<'t> = impl DoubleEndedIterator<Item = Result<Val>> + ExactSizeIterator + 't;
163#[cfg(feature = "nightly")]
164type CharArrayLazyIter<'t> = impl DoubleEndedIterator<Item = Thunk<Val>> + ExactSizeIterator + 't;
165#[cfg(feature = "nightly")]
166type CharArrayCheapIter<'t> = impl DoubleEndedIterator<Item = Val> + ExactSizeIterator + 't;
167impl ArrayLike for CharArray {
168 #[cfg(feature = "nightly")]
169 type Iter<'t> = CharArrayIter<'t>;
170 #[cfg(feature = "nightly")]
171 type IterLazy<'t> = CharArrayLazyIter<'t>;
172 #[cfg(feature = "nightly")]
173 type IterCheap<'t> = CharArrayCheapIter<'t>;
174
175 fn len(&self) -> usize {
176 self.0.len()
177 }
178
179 fn get(&self, index: usize) -> Result<Option<Val>> {
180 Ok(self.get_cheap(index))
181 }
182
183 fn get_lazy(&self, index: usize) -> Option<Thunk<Val>> {
184 self.get_cheap(index).map(Thunk::evaluated)
185 }
186
187 fn get_cheap(&self, index: usize) -> Option<Val> {
188 self.0
189 .get(index)
190 .map(|v| Val::Str(StrValue::Flat(IStr::from(*v))))
191 }
192
193 #[cfg(feature = "nightly")]
194 fn iter(&self) -> CharArrayIter<'_> {
195 self.0
196 .iter()
197 .map(|v| Ok(Val::Str(StrValue::Flat(IStr::from(*v)))))
198 }
199
200 #[cfg(feature = "nightly")]
201 fn iter_lazy(&self) -> CharArrayLazyIter<'_> {
202 self.0
203 .iter()
204 .map(|v| Thunk::evaluated(Val::Str(StrValue::Flat(IStr::from(*v)))))
205 }
206
207 #[cfg(feature = "nightly")]
208 fn iter_cheap(&self) -> Option<CharArrayCheapIter<'_>> {
209 Some(
210 self.0
211 .iter()
212 .map(|v| Val::Str(StrValue::Flat(IStr::from(*v)))),
213 )
214 }
215}
216impl From<CharArray> for ArrValue {
217 fn from(value: CharArray) -> Self {
218 ArrValue::Chars(value)
219 }
220}
155221
156#[derive(Trace, Debug, Clone)]222#[derive(Trace, Debug, Clone)]
157pub struct BytesArray(pub IBytes);223pub struct BytesArray(pub IBytes);
935 ($t:ident.$m:ident($($ident:ident),*)) => {1001 ($t:ident.$m:ident($($ident:ident),*)) => {
936 match $t {1002 match $t {
937 Self::Bytes(e) => e.$m($($ident)*),1003 Self::Bytes(e) => e.$m($($ident)*),
1004 Self::Chars(e) => e.$m($($ident)*),
938 Self::Expr(e) => e.$m($($ident)*),1005 Self::Expr(e) => e.$m($($ident)*),
939 Self::Lazy(e) => e.$m($($ident)*),1006 Self::Lazy(e) => e.$m($($ident)*),
940 Self::Eager(e) => e.$m($($ident)*),1007 Self::Eager(e) => e.$m($($ident)*),
modifiedcrates/jrsonnet-evaluator/src/val.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/val.rs
+++ b/crates/jrsonnet-evaluator/src/val.rs
@@ -149,6 +149,12 @@
 	Arr(ArrValue),
 }
 impl IndexableVal {
+	pub fn to_array(self) -> ArrValue {
+		match self {
+			IndexableVal::Str(s) => ArrValue::chars(s.chars()),
+			IndexableVal::Arr(arr) => arr,
+		}
+	}
 	/// Slice the value.
 	///
 	/// # Implementation
modifiedcrates/jrsonnet-interner/src/lib.rsdiffbeforeafterboth
--- a/crates/jrsonnet-interner/src/lib.rs
+++ b/crates/jrsonnet-interner/src/lib.rs
@@ -205,6 +205,12 @@
 		s.as_str().into()
 	}
 }
+impl From<char> for IStr {
+	fn from(value: char) -> Self {
+		let mut buf = [0; 5];
+		Self::from(&*value.encode_utf8(&mut buf))
+	}
+}
 impl From<&[u8]> for IBytes {
 	fn from(v: &[u8]) -> Self {
 		intern_bytes(v)
modifiedcrates/jrsonnet-stdlib/src/arrays.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/arrays.rs
+++ b/crates/jrsonnet-stdlib/src/arrays.rs
@@ -45,8 +45,9 @@
 }
 
 #[builtin]
-pub fn builtin_map(func: FuncVal, arr: ArrValue) -> Result<ArrValue> {
-	Ok(arr.map(func))
+pub fn builtin_map(func: FuncVal, arr: IndexableVal) -> ArrValue {
+	let arr = arr.to_array();
+	arr.map(func)
 }
 
 #[builtin]