diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-11-10 13:20:04 +0100 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2020-11-19 13:53:49 +0100 |
| commit | fd1fa0fa20f6b431ef1f0fd8d48313632385dcfb (patch) | |
| tree | ca7b3399ae76406b7089b6e1cdd216a55b9b78f4 /docs/users_guide/exts/instances.rst | |
| parent | 07723a60e07a8b9d9d9b646eaa0ffcf214e02ef8 (diff) | |
| download | haskell-wip/refactor-demand.tar.gz | |
Update user's guide entry on demand analysis and worker/wrapperwip/refactor-demand
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 ``&&&``). |