mirror of
https://github.com/commercialhaskell/stackage-server.git
synced 2026-01-12 12:18:29 +01:00
34 lines
952 B
Plaintext
34 lines
952 B
Plaintext
<div .container>
|
|
<div .navbar role=navigation>
|
|
<div .navbar-inner>
|
|
<a .brand href=@{HomeR}>
|
|
Stackage
|
|
<ul .nav>
|
|
<li>
|
|
<a href=@{AllSnapshotsR}>
|
|
All Snapshots
|
|
<li>
|
|
<a href=@{UploadStackageR}>
|
|
Upload
|
|
<ul .nav .pull-right>
|
|
$maybe Entity _ user <- muser
|
|
<li>
|
|
<a href=@{ProfileR}>
|
|
<span .user-handle>
|
|
#{userHandle user}
|
|
<li>
|
|
<a href=@{AuthR LogoutR}>Logout
|
|
$nothing
|
|
<li>
|
|
<a href=@{AuthR LoginR}>Login
|
|
|
|
$maybe msg <- mmsg
|
|
<div .alert .alter-info>#{msg}
|
|
|
|
$case cur
|
|
$of Just (AuthR _)
|
|
<div .container>
|
|
^{widget}
|
|
$of _
|
|
^{widget}
|