purescript-heterogeneous:异构数据类型的地图和折页

纯文本异构的 异构数据类型的地图和折页。 为什么？ PureScript具有非常丰富的类型系统，它使我们可以详细详细地描述数据的形状。 例如，“记录”和“行类型”使我们可以编写符合人体工程学的，多态的，结构化的数据。 但是，在此类数据类型上编写通用操作通常涉及许多繁琐的约束级别的技巧。 该库提供了一个框架，该框架分离了异构数据类型的遍历和汇总逻辑，例如对于同类类型的Functor和Foldable do，因此我们可以在共享实现的同时减少样板和技巧。 如何使用这个库 该库为索引的和未索引的折页和地图导出几个类。 class HMap和hmap class HMap class HMapWithIndex和hmapWithIndex class HFoldl和hfoldl class HFoldl class HFoldlWithIndex和hfoldlWithIndex clas