Eq1/Ord1タイプクラスの目的とセマンティクス

Question

次のタイプを考慮して、Eq1インスタンスをどのように実装する必要がありますか？

data Foo a = Bar String | Baz a [a] 

instance Eq1 Foo where 
    liftEq _ (Bar a) (Bar b) = a == b -- can't use f 
    liftEq f (Baz a aa) (Baz b bb) = f a b && liftEq f aa bb -- instance for lists 
    liftEq _ _ _ = False 

上記のインスタンスは正しいですか？ GHC 8.0.2で手作業で実装するはずですか？ THを使用するderiving-compatライブラリがありますが、それはなぜ-compatと呼ばれていますか？

Answer 1

Eq1や友人の点は型コンストラクタを取る型構成で使用することを意味するもの制約提供している - 例えば、モナド変圧器、またはFix（参照How to derive instances in recursion schemesを） - 必要としないようにして整然とFlexibleContextsまたはUndecidableInstancesなどの拡張機能。

上記のインスタンスは正しいですか？

はい、あります。

私はGHC 8.0.2で手作業で実装する予定ですか？

現在、Eq1のGHC提供の派生はありません。ここにはlibraries mailing list discussion of that matterがあります。

私はそのライブラリも最近GHCsが古いために提供しないインスタンスの導出を提供していますので、「compatのは」単にそこにあると信じてありTHを使用していますderiving-compatライブラリですが、なぜそれが-compat?

と呼ばれていますGHCs。