Traversal to combine multiple map operations into single ADT

后端 未结 0 1712
后悔当初
后悔当初 2021-01-18 03:15

Given a record consisting of multiple maps, how can I write a traversal (or prism, or Lens\' TestLens (Maybe Interim)) that allows me to group together lookups?

相关标签:
回答
  • 消灭零回复
提交回复
热议问题