我正在寻找一种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 中看似基本的字符串操作!
编辑: fromList
用于从任何Unfoldable
(例如数组)转换为List
. 如果有更惯用的方法来实现这一点,仍然会留下这个问题。