Arrays 如何在purescript中将字符列表转换为字符串
我正在寻找一种惯用方法,用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]与字符串
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你应该把它作为一个答案,因为它解决了这个问题。。。