diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-29 09:43:04 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-29 09:43:04 +0100 |
| commit | 962195913a0262b3300332ee0eee02f1bb2125a2 (patch) | |
| tree | 7b0a4614c816a4c37905ce873a2c38973c5d969c /docs | |
| parent | b347eff0cd771ab9e1f3a80c6c91615255e4fe41 (diff) | |
| download | haskell-962195913a0262b3300332ee0eee02f1bb2125a2.tar.gz | |
Document :kind! in GHCi
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghci.xml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index 28c59fa8c3..4be3d15f4c 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -2256,14 +2256,18 @@ Prelude> :. cmds.ghci <varlistentry> <term> - <literal>:kind</literal> <replaceable>type</replaceable> + <literal>:kind</literal><optional><literal>!</literal></optional> + <replaceable>type</replaceable> <indexterm><primary><literal>:kind</literal></primary></indexterm> </term> <listitem> <para>Infers and prints the kind of <replaceable>type</replaceable>. The latter can be an arbitrary type expression, including a partial application of a type constructor, - such as <literal>Either Int</literal>.</para> + such as <literal>Either Int</literal>. If you specify the + optional "<literal>!</literal>", GHC will in addition normalise the type + by expanding out type synonyms and evaluating type-function applications, + and display the normalised result.</para> </listitem> </varlistentry> |