Die case Anweisung dient zur Auswertung eines Ausdrucks
und der Auswahl (in Abhängigkeit des Ergebnisses) einer
von (mglw.) mehreren Alternativen. Die Syntax lautet:
case exp of
pat1 -> exp1
pat2 -> exp2
...
patn -> expn
Beispiele:
case list of
[] -> "leere Liste"
otherwise -> "Liste nicht leer"
Trifft keine Alternative auf den ausgewerteten Ausdruck
zu, erfolgt eine Fehlermeldung. Auf der rechten Seite
einer Alternativen (pat -> exp) können zusätzlich Guards
(s.a. Guarded Equations) verwendet werden: