在 PureScript 中将数组转换为列表

Question

XY问题

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

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

实际问题

一定要写这个函数吗？

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

例如Matrix.getRow returns an array which needs to be transformed into a list of 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。