{-# OPTIONS_GHC -fno-warn-unused-matches #-} module Handler.Home where import Import getHomeR :: Handler Html getHomeR :: Handler Html getHomeR = do Maybe Text musername <- Handler (Maybe Text) maybeAuthUsername case Maybe Text musername of Maybe Text Nothing -> Route App -> Handler Html forall (m :: * -> *) url a. (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m a redirect (Route Auth -> Route App AuthR Route Auth LoginR) Just Text username -> Route App -> Handler Html forall (m :: * -> *) url a. (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m a redirect (UserNameP -> Route App UserR (Text -> UserNameP UserNameP Text username))