Haskell -- 如何使用新的 4 参数准引号

Question

看起来准引用语法已经更改为现在接受 4 个参数 [ link ].有人用过吗？谢谢。我只想构建一些非常非常简单的东西，网络上的示例现在不起作用。

提前致谢。

Answer 1

QuasiQuoter 的每个部分只是一个函数，它接受一个字符串(准引用的内容)并在 Q monad 中返回一个适当的值。如果您的准引用器不支持在其中某些上下文中使用，则返回一个错误，例如:

someQuoter = QuasiQuoter { quoteType = const $ fail "type context unsupported" 
                         , -- etc ...
                         }

fail 方法调用report True，这会产生编译器错误。这几乎是正确的行为。