diff options
author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-11-10 13:20:04 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-11-20 02:09:51 -0500 |
commit | 3a55b3a2574f913d046f3a6f82db48d7f6df32e3 (patch) | |
tree | 8bf1d05df8b47b59a3d87cc58485d2e331d64bd9 /docs/users_guide/exts/instances.rst | |
parent | 0aec78b6c97cee58ba20bfcb959f1369b80c4e4c (diff) | |
download | haskell-3a55b3a2574f913d046f3a6f82db48d7f6df32e3.tar.gz |
Update user's guide entry on demand analysis and worker/wrapper
The demand signature notation has been undocumented for a long time.
The only source to understand it, apart from reading the `Outputable`
instance, has been an outdated wiki page.
Since the previous commits have reworked the demand lattice, I took
it as an opportunity to also write some documentation about notation.
Diffstat (limited to 'docs/users_guide/exts/instances.rst')
-rw-r--r-- | docs/users_guide/exts/instances.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst index 3422e6b3ef..4dfb7e1ecb 100644 --- a/docs/users_guide/exts/instances.rst +++ b/docs/users_guide/exts/instances.rst @@ -147,7 +147,7 @@ Where: ``(forall a. a)`` and ``(Eq a => a)`` are legal. - ``ctype`` is a ``btype`` that has no restrictions on an outermost ``forall``/``=>``, so ``forall a. a`` and ``Eq a => a`` are legal ``ctype``\s. -- ``arg_type`` is a type that is not allowed to have ``forall``s or ``=>``\s +- ``arg_type`` is a type that is not allowed to have ``forall``\s or ``=>``\s - ``prefix_cls_tycon`` is a class type constructor written prefix (e.g., ``Show`` or ``(&&&)``), while ``infix_cls_tycon`` is a class type constructor written infix (e.g., ``\`Show\``` or ``&&&``). |