haskell - 如何在 Haskell 中创建具有多个参数的类型的 Foldable 实例？

Question

我有一个数据类型:

data Box a b = Box a b

我想创建一个 Box 的 Foldable 实例，因为必须为 Foldable 实例提供某种类型的东西 * -> *，我将实例声明为:

instance Foldable (Box a) where
  foldr f x (Box r s) = undefined

现在我只能做类似的事情:

foldr f x (Box r s) = f s x

在 foldr 的定义中，但如果不是在 s 上操作，我想做类似的事情:

foldr f x (Box r s) = f r x

编译器不允许我这样做，那么正确的方法是什么？

Answer 1

您已经找到了答案——您只是不喜欢它。无法按照您的要求进行操作，因为唯一可能的行为由 foldr 的签名确定。

一个新类型 newtype Flip t a b = Flip {unFlip::(t b a)} 的建议是解决这个问题的最标准方法，现在你可以写你的折叠在 Flip Box 而不是 Box 上。