diff options
Diffstat (limited to 'docs/users_guide/exts/type_operators.rst')
| -rw-r--r-- | docs/users_guide/exts/type_operators.rst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/users_guide/exts/type_operators.rst b/docs/users_guide/exts/type_operators.rst index d6e343c90e..30886913d5 100644 --- a/docs/users_guide/exts/type_operators.rst +++ b/docs/users_guide/exts/type_operators.rst @@ -8,8 +8,11 @@ Type operators Implies :extension:`ExplicitNamespaces`. :implies: :extension:`ExplicitNamespaces` + :since: 6.8.1 + :status: Included in :extension:`GHC2021` + Allow the use and definition of types with operator names. The language :extension:`TypeOperators` allows you to use infix operators @@ -29,7 +32,7 @@ in types. x :: Int `Either` Bool x = Left 5 - + - There is now some potential ambiguity in import and export lists; for example if you write ``import M( (+) )`` do you mean the *function* ``(+)`` or the *type constructor* ``(+)``? The default is the former, |