Haskell: "Append"类型类

Question

据我了解Foldable基本上表示具有多个可以迭代的相同类型元素的结构，即列表、映射、集合等。

是否有像 Appendable 或 Insertable 这样的类，它基本上表示可以添加元素的结构？当然，无法保证检索元素的顺序。

如果已经有一个类，我宁愿不自己创建一个类。

Answer 1

您应该查看 Data.Collections包裹。它包含具有以下方法的 Unfoldable 类型类:

class Unfoldable c i | c -> i where
  insert :: i -> c -> c
  empty :: c
  singleton :: i -> c

它还提供了 insertMany 和 insertManySorted 方法，将 Foldable 中的所有元素插入到 Unfoldable 中>.

如果您将您的类型设置为 Foldable 和 Unfoldable 的实例，那么您就可以从中插入和检索元素。