haskell - 如何在 Haskell 中使用镜头操作列表

Question

我是镜头库的初学者。我正在尝试从某些数据结构中提取列表。

我想知道如何实现满足以下条件的 f:

("a",[(0,'a'),(1,'b'),(2,'c')]) ^. _2 . f === [0,1,2]

经过一番挣扎，我找到了答案。

g :: Functor f => Getting a s a -> (forall b. Getting (f b) (f s) (f a))
g = to . fmap . view
f = g _1 

有没有g对应的库函数？否则，有没有更优雅的方式来实现这样的f？

Answer 1

我会去

("a",[(0,'a'),(1,'b'),(2,'c')]) ^.. _2 . traverse . _1

(注意 ^.. 而不是 ^. 因为这是遍历。)