df form validation

README.md

@@ -1,5 +1,6 @@
 # TODO
-  - [ ] pagedown Markdown intergration.
+  - [X] pagedown Markdown intergration.
+    + did some fix to digestive-functor-heist
   - [ ] Admin snaplet like admin site of Django??
     + easy for admin models
   - [X] digestive-functors form
@@ -72,3 +73,6 @@ fn :: `Initializer App App App`
 and  `Initializer App App` is Monad
 when doing glue with do, only last one must have type `Initializer App App App` and others are `Initializer App App a`
 In other words, MonadState/MonadTransform is a Monad as well.
+
+3)
+getRequest in Handler

snaplets/heist/templates/book.tpl

@@ -6,7 +6,7 @@
 	<h1>Book <name/></h1>
 	<p><book/></p>
 
-    <content></content>
+    <bookContent />
 
   </div>
 

src/Controllers/Book.hs

@@ -25,7 +25,7 @@ addBook :: AppHandler ()
 addBook = do
     (view, result) <- runForm "form" bookForm
     case result of
-        Just x -> heistLocal ((bindBook x) . (bindSplices [("content", contentSplice x)])) $ render "book"
+        Just x -> heistLocal ((bindBook x) . (bindSplices [("bookContent", contentSplice x)])) $ render "book"
         Nothing -> heistLocal (bindDigestiveSplices view) $ render "book-form"
   where
     bindBook b = bindStrings [ ("book", T.pack $ show b) ]

src/Views/BookForm.hs

@@ -3,7 +3,9 @@ module Views.BookForm where
 
 import Control.Applicative ((<$>), (<*>))
 
+import Data.Maybe
 import Data.Text (Text)
+import qualified Data.Text as T
 import Text.Digestive
 
 data Lang = EN | CN
@@ -17,6 +19,12 @@ data Book = Book
 
 bookForm :: Monad m => Form Text m Book
 bookForm = Book
-    <$> "name" .: text (Just "Real World Haskell")
+    <$> "name" .: check "Book Name is Required." requiredBookName (text Nothing)
     <*> "description" .: text Nothing
     <*> "language" .: choice [(EN, "English"), (CN, "Chinese")] Nothing
+
+requiredBookName :: Text -> Bool
+requiredBookName = not . T.null
+
+checkEmail :: Text -> Bool
+checkEmail = isJust . T.find (== '@')