是否可以使这个`getIndex`光学器件成为可能？

Question

是否可以制作具有以下类型的光学元件：

getIndex :: Lens.IndexedGetter i a i

我找不到一个现有的并且在尝试写一个没有成功的时候我觉得它无法完成，但如果是这样的话我想知道原因的解释。

Answer 1

索引由getter任意定义，因此没有通用的方法来创建索引。

Maven与IndexedGetter i s i同构，通过以下双射：

s -> (i, i)

ito :: (s -> (i, a)) -> IndexedGetter i s a iview :: IndexedGetter i s a -> s -> (i, a) （完全量化的forall s i. IndexedGetter i s i类型）将与{​​{1}}同构，但这不是有人居住的（它会暗示getIndex与forall s i. s -> (i, i)和() -> (Void, Void)）。