diff options
Diffstat (limited to 'docs/users_guide/exts/instances.rst')
| -rw-r--r-- | docs/users_guide/exts/instances.rst | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst index b8041cdb8d..e7534a8d11 100644 --- a/docs/users_guide/exts/instances.rst +++ b/docs/users_guide/exts/instances.rst @@ -45,8 +45,11 @@ Relaxed rules for the instance head :shortdesc: Enable type synonyms in instance heads. Implied by :extension:`FlexibleInstances`. + :implied by: :extension:`FlexibleInstances` :since: 6.8.1 + :status: Included in :extension:`GHC2021` + Allow definition of type class instances for type synonyms. .. extension:: FlexibleInstances @@ -54,8 +57,11 @@ Relaxed rules for the instance head Implies :extension:`TypeSynonymInstances`. :implies: :extension:`TypeSynonymInstances` + :since: 6.8.1 + :status: Included in :extension:`GHC2021` + Allow definition of type class instances with arbitrary nested types in the instance head. @@ -326,6 +332,8 @@ Overlapping instances :since: 6.8.1 + :status: Deprecated + Deprecated extension to weaken checks intended to ensure instance resolution termination. @@ -335,6 +343,8 @@ Overlapping instances :since: 6.8.1 + :status: Deprecated + Deprecated extension to weaken checks intended to ensure instance resolution termination. @@ -577,6 +587,8 @@ Instance signatures: type signatures in instance declarations :since: 7.6.1 + :status: Included in :extension:`GHC2021` + Allow type signatures for members in instance definitions. In Haskell, you can't write a type signature in an instance declaration, |