Commit 93ffcb02 authored by David Feuer's avatar David Feuer Committed by David Feuer

Document AMP as a Report deviation

`Applicative` as a superclass of `Monad` is non-standard.

Fixes #13196.

[skip ci]

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D3185
parent 00c01200
......@@ -213,8 +213,8 @@ Numbers, basic types, and built-in classes
- Whenever you give a function, instance or class a ``Num t``
constraint, also give it ``Show t`` and ``Eq t`` constraints.
``Bits`` superclasses
The ``Bits`` class does not have a ``Num`` superclasses. It
``Bits`` superclass
The ``Bits`` class does not have a ``Num`` superclass. It
therefore does not have default methods for the ``bit``, ``testBit``
and ``popCount`` methods.
......@@ -239,6 +239,11 @@ Numbers, basic types, and built-in classes
extra methods simply because ``ReadPrec`` is more efficient than ``ReadS``
(the type on which ``readsPrec`` is based).
``Monad`` superclass
The ``Monad`` class has an ``Applicative`` superclass. You cannot write
``Monad`` instances that work for GHC and also for a Haskell 2010
implementation that does not define ``Applicative``.
Extra instances
The following extra instances are defined: ::
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment