Haskell库类型类的最低规范？

Question

Haskell前奏和标准库定义了许多有用的类型类。

是否有某个页面列出了所有这些类的最小完整定义？

Answer 1

这些信息可以分散在Haskell语言报告和GHC文档中，但为了概述，我正在为此开始CW答案。

比较

• Eq： ==或/=。
• Ord： compare或<=。

编号

• Num： 除-或negate以外的所有内容。
• Real： toRational。
• Integral： quotRem和toInteger。
• Bits： .&.，.|.，xor，complement，shift或shiftL和shiftR，rotate或rotateL和rotateR，bitSize和isSigned。
• Fractional： fromRational以及/或recip。
• Floating： pi，exp，log，sin，cos，sinh，cosh，asin，{{ 1}}，acos，atan，asinh和acosh。
• RealFrac： atanh。
• RealFloat： 除properFraction，exponent，significand和scaleFloat以外的所有内容。

函子

• Functor： atan2。
• Applicative： fmap和pure。
• Monad： <*>和>>=。
• MonadPlus： return和mplus。
• MonadFix： mzero。
• Foldable： mfix或foldMap。
• Traversable：foldr或traverse。

箭头

• Category： sequenceA和.。
• Arrow： id和arr。
• ArrowZero： first。
• ArrowPlus： zeroArrow。
• ArrowChoice： <+>。
• ArrowApply： left。
• ArrowLoop： app。

序列化

• Read： loop（或仅限GHC，readsPrec）。
• Show： readPrec或show。

其它

• Enum： showsPrec和toEnum。
• Bounded： fromEnum和minBound。
• Ix： maxBound，range，index。
• Monoid： inRange和mempty。

Answer 2

Haskell报告中有关standard classes的部分描述了您需要为每个类型类实现的内容。