是否有可以为任何Applicative
执行此操作的光学元件:
-- Can be used as a Review to return into IO
(theOptic # 5) >>= print
-- Can be used as a Setter to modify items in a list
[2, 3] & theOptic .~ 6
lens
hierarchy并未显示任何同时为Review
和Setter
的内容,因此我猜它可能目前不存在于镜头中。是否可以创建它?