33 lines
931 B
Plaintext
33 lines
931 B
Plaintext
$newline never
|
|
\<!doctype html>
|
|
<html>
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<body>
|
|
<dl>
|
|
$case userInfo
|
|
$of Left (Just email)
|
|
<dt>E-Mail
|
|
<dd>#{email}
|
|
$of Left Nothing
|
|
$of Right Nothing
|
|
<dt>Ungültige UserId erhalten!
|
|
$of Right (Just (Entity _ User{..}))
|
|
<dt>Name
|
|
<dd>^{const (const (nameHtml userDisplayName userSurname))}
|
|
<dt>Identifikation
|
|
<dd>#{userIdent}
|
|
<dt>E-Mail
|
|
<dd>#{userEmail}
|
|
$maybe matrnr <- userMatrikelnummer
|
|
<dt>Matrikelnummer
|
|
<dd>#{matrnr}
|
|
$if not (null (mailLanguages userMailLanguages))
|
|
<dt>Präferierte E-Mail Sprachen
|
|
$forall lang <- mailLanguages userMailLanguages
|
|
<dd>#{lang}
|
|
<dt>Zeit
|
|
<dd>#{rtime}
|
|
<p style="white-space: pre-wrap; font-family: monospace">
|
|
#{jHelpRequest}
|