派生類型及其依賴

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來輕鬆地找到它們。