種類とその依存関係の導出

Question

私は回避のバグに私のインデックスのnewtypeのラッパーでプレーしてきた、と私はこのようないくつかのコードを持っています：

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

newtype PersonIdx = PersonIdx Int
  deriving (Enum, Eq, Integral, Num, Ord, Real, Show)

導出Integralに、一方が（型クラスの、したがって上記のリスト）、ならびにそのすべての依存関係を導出する必要があります。

それはそれと一緒にIntegralのすべての依存関係を導出する方法はありますか？私のようなものを想像ます：

newtype PersonIdx = PersonIdx Int
  deriving (Integral(..))

Answer 1

いいえ、ショートカットはありません。あなたは明示的にすべての依存型クラスから派生する必要がありますが、簡単にGHCiの中でタイピングの:i Integralすることにより、これらを見つけることができます。