$newline never

$# SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>,Steffen Jost <jost@tcs.ifi.lmu.de>
$#
$# SPDX-License-Identifier: AGPL-3.0-or-later

\<!doctype html>
<html>
  <head>
    <meta charset="UTF-8">
    <style>
      .url {
        font-family: monospace;
      }
      .error {
        font-family: monospace;
        white-space: pre-wrap;
      }
  <body>
    <section>
      <dl>
        $case userInfo
          $of Left (Just Address{..})
            $maybe name <- addressName
              <dt>Name
              <dd>#{name}
            <dt>E-Mail
            <dd>#{addressEmail}
          $of Left  Nothing
          $of Right Nothing
            <dt>Ungültige UserId erhalten!
          $of Right (Just (Entity _ User{userDisplayName, userSurname, userIdent, userEmail, userMatrikelnummer, userLanguages}))
            <dt>Name
            <dd>^{const (const (nameHtml userDisplayName userSurname))}
            <dt>Identifikation
            <dd>#{userIdent}
            <dt>E-Mail
            <dd>#{userEmail}
            $maybe matrnr <- userMatrikelnummer
              <dt>Matrikelnummer
              <dd>#{matrnr}
            $maybe langs <- fmap (view _Wrapped) userLanguages
              $if not (null langs)
                <dt>Präferierte E-Mail Sprachen
                $forall lang <- langs
                  <dd>#{lang}
        <dt>Zeit
        <dd>#{rtime}
        $maybe referer <- jReferer
          <dt>Referer
          <dd>
            <a href=#{referer} .url>
              #{referer}
        $maybe err <- jError
          <dt>Fehlermeldung
          <dd .error>
            #{toYAML err}
    $maybe request <- jHelpRequest
      <section>
        #{request}
