اشتقاق نوع وتبعياته

Question

لقد كنت ألعب مع أغلفة جديدة لفهارساتي لتجنب الأخطاء ، ولدي بعض التعليمات البرمجية مثل هذا:

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

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

ليشتق Integral, ، يجب على المرء أن يستمد جميع تبعياته أيضًا (ومن هنا جاءت القائمة أعلاه لفئات الكتابة).

هل هناك طريقة لجعلها تستمد جميع تبعية Integral جنبا إلى جنب معها؟ أتصور شيئًا مثل:

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

Answer 1

لا ، لا يوجد اختصار. يجب أن تستمد من جميع النماذج المعتمدة بشكل صريح ، ولكن يمكنك العثور عليها بسهولة عن طريق الكتابة :i Integral في GHCI.