haskell - 如何从使用 Template Haskell 生成的代码创建非 TH 包？

Question

我正在制作一个小包，它为元组定义包装器并从它们中添加实例，比如

newtype Tuple2 a = Tuple2 { untuple2 :: (a, a) }
  deriving (...)

tuple2 :: a -> a -> Tuple2 a
tuple2 = ...

instance Traversable Tuple2 where ...
instance Foldable Tuple2 where ...
instance Functor Tuple2 where ...
instance Applicative Tuple2 where ...

这从 2 重复到 15 , 所以它看起来像是 Template Haskell 的工作。

生成的代码始终与 Haskell 98 兼容，所以我希望最终结果也是 Haskell 98 兼容包。 是否可以使用 Template Haskell 生成一段代码并从中制作一个不使用 TH 本身的包？ (如果可能的话，我更喜欢自动化的方式。)

Answer 1

有它的工具:

EvilSplicer (从来源 on 13 Oct 2018 中删除)，作者 Joey Hess在他发现之前

zeroth ，它似乎不再处于积极开发中。

免责声明:我自己没有尝试过任何这些。