如何非毫不含糊地回復“也許”一個鏡頭？

Question

像Maybe (Lens' ab)這樣的類型不起作用，因為Lens'在引擎蓋下是Rank-2類型，不能在沒有-XImpredicativeTypes擴展的類型構造函數中-XImpredicativeTypes （在GHC中不支持） 。

因此，提供一個在道德上具有類型的函數的最佳類型是什么

foo :: A -> Maybe (Lens' B C)

一種可能性是將Maybe推遲到一個通過的延續

foo' :: ∀ y . A -> (Lens' B C -> y) -> Maybe y

但我並不特別喜歡。

Answer 1

這就是Control.Lens.Reified模塊的用途。 它包含newtype的包裝lens層次。

foo :: A -> Maybe (ReifiedLens' B C)