Split glasgow_exts into several files (#17316)

1 files changed, 28 insertions, 0 deletions

diff --git a/docs/users_guide/exts/lambda_case.rst b/docs/users_guide/exts/lambda_case.rst
new file mode 100644
index 0000000000..a65c1e881e
--- /dev/null
+++ b/docs/users_guide/exts/lambda_case.rst
@@ -0,0 +1,28 @@
+.. _lambda-case:
+
+Lambda-case
+-----------
+
+.. extension:: LambdaCase
+    :shortdesc: Enable lambda-case expressions.
+
+    :since: 7.6.1
+
+    Allow the use of lambda-case syntax.
+
+The :extension:`LambdaCase` extension enables expressions of the form ::
+
+      \case { p1 -> e1; ...; pN -> eN }
+
+which is equivalent to ::
+
+      \freshName -> case freshName of { p1 -> e1; ...; pN -> eN }
+
+Note that ``\case`` starts a layout, so you can write ::
+
+      \case
+        p1 -> e1
+        ...
+        pN -> eN
+
+