summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/type_signatures.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/users_guide/exts/type_signatures.rst')
-rw-r--r--docs/users_guide/exts/type_signatures.rst15
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/users_guide/exts/type_signatures.rst b/docs/users_guide/exts/type_signatures.rst
new file mode 100644
index 0000000000..19eec9d27f
--- /dev/null
+++ b/docs/users_guide/exts/type_signatures.rst
@@ -0,0 +1,15 @@
+.. _extensions-to-type-signatures:
+
+Type signatures
+===============
+
+.. toctree::
+ :maxdepth: 1
+
+ explicit_forall
+ flexible_contexts_signature
+ ambiguous_types
+ kind_signatures
+ scoped_type_variables
+ implicit_parameters
+ partial_type_signatures