棱镜是一种光学,用于聚焦到副产物类型,而是一种光学,可以聚焦在1元素中的0,即AffineTraversal s t a b与(s -> Maybe a, (s, b) -> t)同构。据我所知,当透镜由棱镜组成时,只要使用适当的棱镜编码,我们就可以得到仿射遍历。我感兴趣的是将Maybe (天真的)公式移到设置器的一侧,而不是getter方面,这样我就可以有一个总是提取精确一个元素的光学,但可能不能将它放回原处。
我的用例与精化类型有关。结合一个Lens' C A和refined,我们有一个仿射遍历。