haskell - 有什么方法可以自定义 GeneralizedNewtypeDeriving 实例的一种或两种方法？

Question

Haskell 的 GeneralizedNewtypeDeriving 机制很棒；对于那些没有看过的人，写一些类似的东西

newtype SkewOptT 𝔪 α = SkewOptT (StateT Bool 𝔪 α)
    deriving (Applicative, Functor, Monad, MonadTrans)

将自动生成实例，例如，

instance [overlap ok] Monad 𝔪 => Monad (SkewOptT 𝔪)

但是，对于我的一个类型类，我想自定义一些方法。有没有办法覆盖或禁用 GeneralizedNewtypeDeriving 对这些方法的作用？ typeclass 编码一些基本的 DSL 指令，如 for (一个循环)， parfor (并行循环)， fcndef (添加一个新函数)等，并没有一种完美的方法可以将其拆分为多个类型类[然后自动派生一个，然后手动编写另一个]。

Answer 1

不，这是不可能的。 Default signatures (GHC 7.2 中的新功能)可能会帮助您在这里拆分类；由于您可以根据其他类型类定义方法的默认实现，因此您可能能够派生一些实例，并且只在另一个类的实例中填写要覆盖的方法。

其实除了Show和 Read , newtype deriving 只是检查一些前提条件是否满足，然后直接重用字典(因为 newtypes 与底层类型具有相同的表示)；见 the documentation了解更多详情。