From a1f0d55c91c7b180304cc5bc28671eef30f78d76 Mon Sep 17 00:00:00 2001
From: Felix Leitz <felix.leitz92@gmail.com>
Date: Thu, 7 Sep 2023 18:54:23 +0200
Subject: [PATCH] Fix documentation around extension implication for
MultiParamTypeClasses/ConstrainedClassMethods.
---
docs/users_guide/exts/constrained_class_methods.rst | 3 +++
docs/users_guide/exts/multi_param_type_classes.rst | 1 +
2 files changed, 4 insertions(+)
diff --git a/docs/users_guide/exts/constrained_class_methods.rst b/docs/users_guide/exts/constrained_class_methods.rst
index c1630fbd5402..37ca499c6cea 100644
--- a/docs/users_guide/exts/constrained_class_methods.rst
+++ b/docs/users_guide/exts/constrained_class_methods.rst
@@ -5,11 +5,14 @@ Constrained class method types
.. extension:: ConstrainedClassMethods
:shortdesc: Enable constrained class methods.
+ Implied by :extension:`MultiParamTypeClasses`.
:since: 6.8.1
:status: Included in :extension:`GHC2021`
+ :implied by: :extension:`MultiParamTypeClasses`
+
Allows the definition of further constraints on individual class methods.
Haskell 98 prohibits class method types to mention constraints on the
diff --git a/docs/users_guide/exts/multi_param_type_classes.rst b/docs/users_guide/exts/multi_param_type_classes.rst
index 9f732dfc7df2..cb2ebdc8af36 100644
--- a/docs/users_guide/exts/multi_param_type_classes.rst
+++ b/docs/users_guide/exts/multi_param_type_classes.rst
@@ -6,6 +6,7 @@ Multi-parameter type classes
.. extension:: MultiParamTypeClasses
:shortdesc: Enable multi parameter type classes.
Implied by :extension:`FunctionalDependencies`.
+ Implies :extension:`ConstrainedClassMethods`.
:implies: :extension:`ConstrainedClassMethods`
:implied by: :extension:`FunctionalDependencies`
--
GitLab