Create personal overview page, still blank

src/Handler/Home.hs

@@ -20,39 +20,44 @@ where
 
 import Import hiding ((==.))
 
-import Database.Esqueleto
+import Database.Esqueleto hiding (isNothing)
 import Git
 
 getHomeR :: Handler Html
 getHomeR = do
-    rows <- do
-        repos <- runDB $ select $ from $ \ (sharer, project, repo) -> do
-            where_ $
-                project ^. ProjectSharer ==. sharer ^. SharerId &&.
-                repo ^. RepoProject ==. project ^. ProjectId
-            orderBy
-                [ asc $ sharer ^. SharerIdent
-                , asc $ project ^. ProjectIdent
-                , asc $ repo ^. RepoIdent
-                ]
-            return
-                ( sharer ^. SharerIdent
-                , project ^. ProjectIdent
-                , repo ^. RepoIdent
-                )
-        liftIO $ forM repos $ \ (Value sharer, Value project, Value repo) -> do
-            let path =
-                    unpack $
-                    intercalate "/"
-                        [ "state2"
-                        , sharer
-                        , project
-                        , repo
+    mpid <- maybeAuthId
+    if isNothing mpid
+        then do
+            rows <- do
+                repos <- runDB $ select $ from $ \ (sharer, project, repo) -> do
+                    where_ $
+                        project ^. ProjectSharer ==. sharer ^. SharerId &&.
+                        repo ^. RepoProject ==. project ^. ProjectId
+                    orderBy
+                        [ asc $ sharer ^. SharerIdent
+                        , asc $ project ^. ProjectIdent
+                        , asc $ repo ^. RepoIdent
                         ]
-            dt <- lastChange path
-            ago <- timeAgo dt
-            return (sharer, project, repo, ago)
-    mp <- maybeAuth
-    defaultLayout $ do
-        setTitle "Welcome to Vervis!"
-        $(widgetFile "homepage")
+                    return
+                        ( sharer ^. SharerIdent
+                        , project ^. ProjectIdent
+                        , repo ^. RepoIdent
+                        )
+                liftIO $ forM repos $ \ (Value sharer, Value project, Value repo) -> do
+                    let path =
+                            unpack $
+                            intercalate "/"
+                                [ "state2"
+                                , sharer
+                                , project
+                                , repo
+                                ]
+                    dt <- lastChange path
+                    ago <- timeAgo dt
+                    return (sharer, project, repo, ago)
+            defaultLayout $ do
+                setTitle "Welcome to Vervis!"
+                $(widgetFile "homepage")
+        else defaultLayout $ do
+                setTitle "Vervis > Overview"
+                $(widgetFile "personal-overview")

templates/homepage.hamlet

@@ -19,19 +19,8 @@ $# <http://creativecommons.org/publicdomain/zero/1.0/>.
   platform. It's still in early development, but hopefully making progress
   fast.
 
-<h2>Intended Content
-
 <p>
-  This page, the homepage, is currently planned to be an intro or global
-  overview page when not logged in, and be a user-specific overview page when
-  browsing to it while logged in.
-
-$maybe _ <- mp
-  <p>You're logged in, i.e. you should see a personal overview.
-$nothing
-  <p>
-    You aren't logged in, i.e. you should see a global overview/intro. Also,
-    perhaps you are interested in <a href=@{PersonNewR}>signing up</a>.
+  <a href=@{PersonNewR}>Sign up
 
 <h2>Repos
 

templates/personal-overview.hamlet

@@ -0,0 +1,18 @@
+$# This file is part of Vervis.
+$#
+$# Written in 2016 by fr33domlover <fr33domlover@riseup.net>.
+$#
+$# ♡ Copying is an act of love. Please copy, reuse and share.
+$#
+$# The author(s) have dedicated all copyright and related and neighboring
+$# rights to this software to the public domain worldwide. This software is
+$# distributed without any warranty.
+$#
+$# You should have received a copy of the CC0 Public Domain Dedication along
+$# with this software. If not, see
+$# <http://creativecommons.org/publicdomain/zero/1.0/>.
+
+<p>
+  This is the homepage for logged-in users. You should eventually see a
+  personal overview here. Your projects, repos, news, notifications, settings
+  and so on.