如何将字符列表转换为purescript中的字符串

阿努帕姆·贾恩

我正在寻找一种惯用的方式List Char -> String在Purescript中编写函数

这似乎很简单,但是我是Purescript的新手,已经浏览文档一段时间了,没有任何进展!

背景信息:我正在将一个简单函数从Haskell移植到Purescript

generateId :: Int -> [Char]

这将生成指定长度的字符串。这是相当容易的代码使用转换List Char操作(其中List来自Data.List于Purescript)。在Haskell中[Char]是一样的,String因此不需要其他处理,但是,我找不到在Purescript中可以将其转换List Char为本机String的函数!

我的搜索将我带入 fromCharArray :: Array Char -> String Data.String ,但是我找不到从转换 List Char 为的方法 Array Char

我可以通过折叠 List Char 并构建一个 Array Char using来 在它们之间进行手动转换 snoc ,但是肯定我必须缺少针对Purescript中基本String操作的内置解决方案!

编辑: fromList用于将任何内容Unfoldable(例如数组)转换为List万一有一个更惯用的方法可以解决这个问题,那么这个问题仍然没有解决。

斯托尔兹姆

我同意你的编辑。Data.String.fromCharArray <<< Data.List.fromList对我来说听起来不错。fromCharArray是在原生JS中使用来实现的array.join("")

更新: fromList现已弃用-toUnfoldable改用

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

如何将列表转换为多行字符串?

来自分类Dev

如何将字符串转换为Java列表?

来自分类Dev

如何将列表元素转换为字符串?

来自分类Dev

如何将字符串转换为字典或列表?

来自分类Dev

如何将字符串转换为列表?

来自分类Dev

如何将字符串转换为数组列表

来自分类Dev

如何将列表转换为字符串?

来自分类Dev

如何将Pandas Dataframe中的字符串转换为列表或字符数组?

来自分类Dev

如何将列表的混合列表中的数字字符串转换为int(Python)

来自分类Dev

如何将列表中的字符串转换为单个列表?

来自分类Dev

如何将列表作为字符串从API转换为字符串列表

来自分类Dev

如何将逗号分隔的字符串或/ n分隔的字符串转换为jquery中的列表?

来自分类Dev

如何将字符串(保存迭代字符串的变量)转换为单个列表

来自分类Dev

如何将数字列表转换为k中的字符串?

来自分类Dev

Python-如何将Panda中的元素从列表转换为字符串

来自分类Dev

如何将字符串转换为R中的列表变量?

来自分类Dev

如何将方括号中嵌入的字母字符串转换为嵌入列表

来自分类Dev

如何将下面的json字符串转换为C#中的对象列表

来自分类Dev

如何将列表中的每个元素转换为带引号的字符串

来自分类Dev

如何将列表中的数字和字母字符串转换为整数?

来自分类Dev

如何将整个列表转换为字符串,然后将字符串转换回整个列表

来自分类Dev

如何将字符串列表转换为球拍中的字符串?(保留空格)

来自分类Dev

如何将字符串转换为字符串列表?

来自分类Dev

如何将字符串数组转换为D中的字符串?

来自分类Dev

如何将字符串转换为数组中的字符串数组

来自分类Dev

如何将字符串转换为Unicode字符

来自分类Dev

如何将字符从数组转换为字符串

来自分类Dev

如何将字符数组转换为字符串

来自分类Dev

如何将字符串转换为字符

Related 相关文章

  1. 1

    如何将列表转换为多行字符串?

  2. 2

    如何将字符串转换为Java列表?

  3. 3

    如何将列表元素转换为字符串?

  4. 4

    如何将字符串转换为字典或列表?

  5. 5

    如何将字符串转换为列表?

  6. 6

    如何将字符串转换为数组列表

  7. 7

    如何将列表转换为字符串?

  8. 8

    如何将Pandas Dataframe中的字符串转换为列表或字符数组?

  9. 9

    如何将列表的混合列表中的数字字符串转换为int(Python)

  10. 10

    如何将列表中的字符串转换为单个列表?

  11. 11

    如何将列表作为字符串从API转换为字符串列表

  12. 12

    如何将逗号分隔的字符串或/ n分隔的字符串转换为jquery中的列表?

  13. 13

    如何将字符串(保存迭代字符串的变量)转换为单个列表

  14. 14

    如何将数字列表转换为k中的字符串?

  15. 15

    Python-如何将Panda中的元素从列表转换为字符串

  16. 16

    如何将字符串转换为R中的列表变量?

  17. 17

    如何将方括号中嵌入的字母字符串转换为嵌入列表

  18. 18

    如何将下面的json字符串转换为C#中的对象列表

  19. 19

    如何将列表中的每个元素转换为带引号的字符串

  20. 20

    如何将列表中的数字和字母字符串转换为整数?

  21. 21

    如何将整个列表转换为字符串,然后将字符串转换回整个列表

  22. 22

    如何将字符串列表转换为球拍中的字符串?(保留空格)

  23. 23

    如何将字符串转换为字符串列表?

  24. 24

    如何将字符串数组转换为D中的字符串?

  25. 25

    如何将字符串转换为数组中的字符串数组

  26. 26

    如何将字符串转换为Unicode字符

  27. 27

    如何将字符从数组转换为字符串

  28. 28

    如何将字符数组转换为字符串

  29. 29

    如何将字符串转换为字符

热门标签

归档