Question

我第一次使用Edward Kmett的镜头库，发现它相当不错，但我碰到了一个障碍......

[1]中的问题解释了存在量词会破坏makeLenses。我真的很想以某种方式使用存在镜头。

作为背景，我有班级：

class (TextShow file, Eq file, Ord file, Typeable file) => File file where
  fromAnyFile :: AnyFile -> Maybe file
  fileType :: Simple Lens file FileType
  path :: Simple Lens file Text.Text
  provenance :: Simple Lens file Provenance

对于实际问题，我希望有类型：

data AnyFile = forall file . File file => AnyFile { _anyFileAnyFile :: File }

我希望能够写下以下内容：

instance File AnyFile where
  fromAnyFile (AnyFile file) = cast file
  fileType (AnyFile file) = fileType . anyFile
  path (AnyFile file) = path . anyFile
  provenance (AnyFile file) = provenance . anyFile

由于[1]中解释的原因，这不起作用。如果我通过编译-ddump-splices要求GHC调试信息，我得到：

Haskell/Main.hs:1:1: Splicing declarations
    makeLenses ''AnyFile ======> Haskell/Main.hs:59:1-20

拼接本身是空白的，这表明我没有声明它。这部分我现在期待并理解我已阅读[1]。

我想知道的是我如何做到这一点 - 我可以做些什么来解决这个问题？我该怎么办才能避免在上游游泳？我希望能够通过组合镜头的路径访问我的结构的任何部分，但因为我有其他类型的字段，如Set AnyFile类型，我不能这样做，除非我可以访问{的内容{1}}带镜头。

[1] Existential quantifier silently disrupts Template Haskell (makeLenses). Why?

Answer 1

在最糟糕的情况下，您可以自己实施镜头，而不依赖于模板Haskell。

例如，给定您的类型的getter和setter函数，您可以使用lens函数创建镜头：

 lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b

我相信这可能不是最高效的选择，但它肯定是最简单的。

我不知道如何为你的情况（或一般的存在类型）做这个，但这里是一个使用记录的简单例子：

data Foo = Foo { _field :: Int }
foo = lens _field (\ foo new -> foo { _field = new })

希望这足以说明这个想法适用于您的代码。

如何解决无法使用具有存在类型的镜片的问题？

1 个答案: