blob: a65c1e881e4fa9103488ebb8faf26a3c28a9bcca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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
|
