lib: simplify stringToCharacters
This commit is contained in:
parent
a0782587aa
commit
57ca44c0ae
1 changed files with 2 additions and 1 deletions
|
@ -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.
|
||||
|
|
Loading…
Reference in a new issue