haskell - Lens.Family2 中的 folded 相当于什么？

Question

folded::Foldable f => Fold (f a) a ( ref ) 在 Lens.Family2 中似乎没有定义;将 folded 与 Lens.Family2 一起使用的正确方法是什么？

Answer 1

traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()是透镜状的。

folded :: Foldable t => Fold (t a) () a b
folded = traverse_

其实我们知道f是Phantom (来自 Fold's definition )— traverse_ 的返回值实际上不包含任何 () — 因此理论上您应该能够概括 Folded 使用 coerce 的类型:

folded :: Foldable t => Fold (t a) u a b
folded f = coerce . traverse_ f

(这应该适用于任何 Fold s t a b；t 和 b 参数始终是幻象。这就是为什么 lens's Fold 只有两个parameters.) las，coerce 似乎不是由 Lens.Family2 导出的，因此您实际上无法编写此代码。我会提交一个功能请求，但我不知道将它发送到哪里。