派生类型及其依赖

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来轻松地找到它们。