[英]How to manipulate lists with lens in Haskell
我是镜头库的初学者。 我正在尝试从某些数据结构中提取列表。
我想知道如何实现满足的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
?
我会去的
("a",[(0,'a'),(1,'b'),(2,'c')]) ^.. _2 . traverse . _1
(注意^..
而不是^.
因为这是遍历。)
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.