将数组转换为PureScript中的列表

Question

XY问题

如何在PureScript中将数组转换为列表？

arrayToList :: forall a. Array a -> List a
arrayToList = ???

实际问题

我必须必须写这个函数吗？

purescript-arrays和purescript-lists都没有定义这样的函数，这让我想知道在列出函数的上下文中是否存在处理数组的惯用方法。

例如Matrix.getRow返回数组，需要将其转换为Pux Html elements的列表（在将矩阵呈现为HTML）。这样做的最佳方式是什么？

Answer 1

使用编译器version 0.10.2，您只需编写

即可

arrayToList :: forall a. Array a -> List a
arrayToList = ?whatGoesHere

并且编译器将根据类型信息为您提供要填写的内容列表。 ?whatGoesHere被称为类型的洞。

在这种情况下，您可能需要Data.Array.toUnfoldable或Data.List.fromFoldable。