Merge pull request #239255 from figsoda/string

This commit is contained in:
figsoda 2023-06-30 22:14:10 -04:00 committed by GitHub
commit 0fda9628c3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,6 +18,7 @@ rec {
elemAt
filter
fromJSON
genList
head
isInt
isList
@ -346,7 +347,7 @@ rec {
=> [ "<EFBFBD>" "<EFBFBD>" "<EFBFBD>" "<EFBFBD>" ]
*/
stringToCharacters = s:
map (p: substring p 1 s) (lib.range 0 (stringLength s - 1));
genList (p: substring p 1 s) (stringLength s);
/* Manipulate a string character by character and replace them by
strings before concatenating the results.