Dérivation un type et ses dépendances

Question

Je joue avec des enveloppes de New Type pour mes index pour éviter les bugs, et j'ai un code comme ceci:

{-# LANGUAGE GeneralizedNewtypeDeriving #-} 

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

Pour tirer Integral, il faut en tirer toutes ses dépendances comme bien (d'où la liste ci-dessus de type-classes).

Y at-il un moyen de lui faire dériver toutes les dépendances de Integral avec elle? J'imagine quelque chose comme:

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

Answer 1

Non, il n'y a pas de raccourci. Vous devrez dériver explicitement de toutes les classes de caractères dépendantes, mais vous pouvez facilement les trouver en tapant :i Integral dans ghci.