posts: delete button

config/routes

@@ -14,3 +14,4 @@
 /profile ProfileR GET
 / LandingR GET POST
 /posts PostsR GET POST
+/posts/#PostId PostR DELETE

src/Foundation.hs

@@ -174,6 +174,7 @@ instance Yesod App where
     isAuthorized LandingR _ = return Authorized
 
     isAuthorized PostsR _ = return Authorized
+    isAuthorized (PostR _) _ = return Authorized
 
     -- This function creates static content files in the static folder
     -- and names them based on a hash of their content. This allows

src/Handler/Posts.hs

@@ -33,3 +33,8 @@ postPostsR = do
     _ ->
       emptyLayout $ do
         $(widgetFile "posts")
+
+deletePostR :: PostId -> Handler Html
+deletePostR postId = do
+  _ <- runDB $ delete postId
+  redirect PostsR

templates/posts.hamlet

@@ -13,3 +13,5 @@
     <li>
       <h2> #{postTitle $ entityVal post}
       <p> #{postText $ entityVal post}
+      <form method=post action=@{PostR $ entityKey post}?_method=DELETE>
+        <button>Delete