30 lines
744 B
Plaintext
30 lines
744 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> #{userDisplayName}
|
|
<dt> E-Mail
|
|
<dd> #{userEmail}
|
|
$maybe matrnr <- userMatrikelnummer
|
|
<dt> Matrikelnummer
|
|
<dd> #{matrnr}
|
|
<dt> E-Mail Sprachen
|
|
$forall lang <- mailLanguages userMailLanguages
|
|
<dd> #{lang}
|
|
<dt> Zeit
|
|
<dd> #{rtime}
|
|
<p style="white-space: pre">
|
|
#{jHelpRequest}
|