Haskell库类型类的最低规范？

Question

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

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

Answer 1

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

对照

• Eq: ==或/=.
• 奥德: compare或<=.

数字

• 民:除了全部或者-或negate.
• 真实: toRational.
• 积分: quotRem和toInteger.
• 位: .&.,.|.,xor,complement,无论是shift或两者shiftL和shiftR,要么rotate或两者rotateL和rotateR,bitSize和isSigned.
• 分数: fromRational和任何一个/或recip.
• 浮动: pi,exp,log,sin,cos,sinh,cosh,asin,acos,atan,asinh,acosh和atanh.
• RealFrac : properFraction.
• RealFloat:所有除exponent,significand,scaleFloat和atan2.

函子

• Functor : fmap.
• 适用: pure和<*>.
• Monad: >>=和return.
• MonadPlus: mplus和mzero.
• MonadFix : mfix.
• 可折叠: foldMap或foldr.
• 可穿越:traverse或sequenceA.

箭头

• 类别: .和id.
• 箭头: arr和first.
• ArrowZero : zeroArrow.
• ArrowPlus : <+>.
• ArrowChoice : left.
• ArrowApply : app.
• ArrowLoop : loop.

序列化

• 阅读 :( readsPrec或者,仅适用于GHCreadPrec).
• 显示: show或showsPrec.

杂项

• Enum: toEnum和fromEnum.
• 界:两个minBound和maxBound.
• 九: range,index,inRange.
• Monoid: mempty和mappend.