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

Arrays 如何在purescript中将字符列表转换为字符串,arrays,string,purescript,Arrays,String,Purescript,我正在寻找一种惯用方法,用Purescript编写函数List Char->String 这似乎是一件简单的事情,但我对Purescript是新手,已经浏览文档一段时间了,没有任何进展 背景信息:我正在将一个简单函数从Haskell移植到Purescript generateId :: Int -> [Char] 这将生成指定长度的字符串。将代码转换为使用List Char操作非常容易(其中List来自Purescript中的Data.List)。在Haskell中,[Char]与字符串

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

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

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

generateId :: Int -> [Char]
这将生成指定长度的字符串。将代码转换为使用
List Char
操作非常容易(其中
List
来自Purescript中的
Data.List
)。在Haskell中,
[Char]
字符串
相同,因此不需要其他处理,但是,我在Purescript中找不到从
列表字符
转换为本机
字符串
的函数

我的搜索导致我在
Data.String
中找到
fromCharray::Array Char->String
,但是我找不到从
列表Char
转换为
数组Char
的方法

我可以通过折叠
列表字符
并使用
snoc
构建一个
数组字符
来手动在它们之间进行转换,但我肯定缺少了一个内置的解决方案,它在Purescript中看起来像是基本的字符串操作!


编辑:
fromList
用于将任何可展开的
列表(如数组)转换为
列表。仍然保留这个问题,以防有更惯用的方法实现这一点。

我同意您的编辑<代码>Data.String.fromCharArray[于2021年1月更新]

在PureScript 0.13.8中:

导入前奏曲 >导入数据.数组(toUnfoldable) >导入Data.String.CodeUnits(fromCharArray) >fromListChars=FromCharray fromListChars[] ""
Data.String.fromCharArray是的,我将以此作为实现这一点的惯用方法。谢谢@stholzm你应该把它作为一个答案,因为它解决了这个问题。。。