اشتقاق نوع وتبعياته
-
21-09-2019 - |
سؤال
لقد كنت ألعب مع أغلفة جديدة لفهارساتي لتجنب الأخطاء ، ولدي بعض التعليمات البرمجية مثل هذا:
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
newtype PersonIdx = PersonIdx Int
deriving (Enum, Eq, Integral, Num, Ord, Real, Show)
ليشتق Integral
, ، يجب على المرء أن يستمد جميع تبعياته أيضًا (ومن هنا جاءت القائمة أعلاه لفئات الكتابة).
هل هناك طريقة لجعلها تستمد جميع تبعية Integral
جنبا إلى جنب معها؟ أتصور شيئًا مثل:
newtype PersonIdx = PersonIdx Int
deriving (Integral(..))
المحلول
لا ، لا يوجد اختصار. يجب أن تستمد من جميع النماذج المعتمدة بشكل صريح ، ولكن يمكنك العثور عليها بسهولة عن طريق الكتابة :i Integral
في GHCI.
لا تنتمي إلى StackOverflow