module Handler.Home where import Import import Yesod.Form.Bootstrap3 (BootstrapFormLayout (..), renderBootstrap3, withSmallInput, withPlaceholder, bfs, withAutofocus) -- This is a handler function for the GET request method on the HomeR -- resource pattern. All of your resource patterns are defined in -- config/routes -- -- The majority of the code you will write in Yesod lives in these handler -- functions. You can spread them across multiple files if you are so -- inclined, or create a single monolithic file. getHomeR :: Handler Html getHomeR = do maid <- maybeAuthId (loginWidget, loginEnctype) <- generateFormPost loginForm defaultLayout $ do setTitle "NEAT" [whamlet|

Welcome to NEAT.
Current Auth-ID: #{show maid}. $maybe u <- maid

Data: #{show u}
Logout $nothing Login Login-Page

^{loginWidget}