diff --git a/docs/users_guide/exts/constrained_class_methods.rst b/docs/users_guide/exts/constrained_class_methods.rst index c1630fbd5402e61995a038c001f3875fe231a590..37ca499c6ceabb7b16ce62fde780df339e434f2d 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 9f732dfc7df2dc2d21d2089758d35bc9779c02cb..cb2ebdc8af360be89571acc2c42f27e048a05fb3 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`