Commit 96219591 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Document :kind! in GHCi

parent b347eff0
...@@ -2256,14 +2256,18 @@ Prelude> :. cmds.ghci ...@@ -2256,14 +2256,18 @@ Prelude> :. cmds.ghci
<varlistentry> <varlistentry>
<term> <term>
<literal>:kind</literal> <replaceable>type</replaceable> <literal>:kind</literal><optional><literal>!</literal></optional>
<replaceable>type</replaceable>
<indexterm><primary><literal>:kind</literal></primary></indexterm> <indexterm><primary><literal>:kind</literal></primary></indexterm>
</term> </term>
<listitem> <listitem>
<para>Infers and prints the kind of <para>Infers and prints the kind of
<replaceable>type</replaceable>. The latter can be an arbitrary <replaceable>type</replaceable>. The latter can be an arbitrary
type expression, including a partial application of a type constructor, 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> </listitem>
</varlistentry> </varlistentry>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment