如何使用Haskell中的镜头复制Python的枚举？
如何使用Haskell中的镜头复制Python的枚举？
提问于 2015-03-18 06:47:07
Python上的枚举可以写成zip [0..]。我看了Control.Lens.Traversal和Control.Lens.Indexed，但我不知道如何使用镜头将其推广到任何合理的容器(我不愿说“可遍历”)。
我猜itraverse或itraverseOf是关键。
回答 3
Stack Overflow用户
回答已采纳
发布于 2015-03-18 07:42:20
如果使用的容器是FunctorWithIndex的实例，那么只需使用imap (,)
> imap (,) "abc"
[(0,'a'),(1,'b'),(2,'c')]但是，如果指数不是这个位置，这是行不通的：
> let m = Map.fromList [('a', "foo"), ('b', "bar"), ('c', "foobar")])
> imap (,) m
fromList [('a',('a',"foo")),('b',('b',"bar")),('c',('c',"foobar"))]相反，您可以使用traversed，它是一个索引遍历，其中索引是元素显示的顺序。这可以用于任何Traversable。不要使用imap，而是使用iover traversed (这与imapOf相同，但已被废弃)：
> iover traversed (,) "abc"
[(0,'a'),(1,'b'),(2,'c')]
> iover traversed (,) m
fromList [('a',(0,"foo")),('b',(1,"bar")),('c',(2,"foobar"))]Stack Overflow用户
发布于 2015-03-18 07:00:35
一种解决方案是将State monad与traverse一起使用，因为它也是Applicative。
enumerate :: (Integral n, Traversable t) => t a -> t (n, a)
enumerate t = evalState (traverse go t) 0
where
go a = do
i <- get
modify (+1)
return (i, a)Stack Overflow用户
发布于 2015-03-18 07:41:52
您忽略了Applicative在itraverse上的上下文。你需要一些东西来配合它。但有些东西可能会很无聊，比如Identity。
imap f = runIdentity . itraverse (\i a -> return (f i a))然后你得到了你想要的：
> imap (,) [1,2,3]
[(0,1),(1,2),(2,3)]页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/29125149
复制![用户登录界面[通俗易懂]](https://ask.qcloudimg.com/http-save/yehe-8223537/a16d36c92e3ff852c45596f4e74c2edd.png)
![[javaSE] GUI（图形用户界面）](https://ask.qcloudimg.com/http-save/yehe-2504969/o04rixnck6.jpg)
相似问题
JHipster主细节用户界面
角用户界面-路由器继承视图
角用户界面路由器嵌套视图
角用户界面路由器生成两个用户界面视图
角用户界面路由器嵌套用户界面视图显示空白
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
