diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghci.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index 92dc51e00f..93b72979b8 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2960,6 +2960,11 @@ commonly used commands. *X> :type length length :: Foldable t => t a -> Int +.. ghci-cmd:: :type +v; ⟨expression⟩ + + Infers and prints the type of ⟨expression⟩, binding inferred type variables + with :ref:`*specified* visibility <inferred-vs-specified>`. + .. ghci-cmd:: :type +d; ⟨expression⟩ Infers and prints the type of ⟨expression⟩, instantiating *all* the forall |