haskell - タイプとその依存関係の導出

Question

バグを回避するために、インデックスのnewtypeラッパーで遊んでいますが、次のようなコードがあります。

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

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

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

Integralそれに伴うすべての依存関係を派生させる方法はありますか？私は次のようなものを想像します：

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

score 6 · Accepted Answer

いいえ、近道はありません。すべての依存型クラスから明示的に派生する必要がありますが:i Integral、ghciと入力することでこれらを簡単に見つけることができます。

1 に答える 1