Re: [Haskell-cafe] web-routes and forms

19 Jan 2011


      Thanks Jeremy.
I had it to work now ;)

Corentin

On Tue, Jan 18, 2011 at 6:01 PM, Jeremy Shaw  wrote:
...
Hello,
trhsx will be installed in ~/.cabal/bin, so you will need to add that
to your PATH.
In order to use the demo code I provided you would need the latest
happstack from darcs because it contains a few differences in the API.
The code can be made to work with what is on hackage though.
The submit issue is actually a bug in digestive-functors-blaze. The
return type should be, Form m i e BlazeFormHtml (). jaspervdj is going
to patch it and upload a new version.
- jeremy
On Thu, Jan 13, 2011 at 2:40 PM, Corentin Dupont
 wrote:
...
Hello,
I'm using the combination happstack + digestive-functors + web-routes +
blazeHTML.
I'm not finding any examples on the net...
I've tried to adapt your example (thanks):
type NomicForm a = HappstackForm IO String BlazeFormHtml a
demoForm :: NomicForm (Text, Text)
demoForm =
    (,) <$> ((TDB.label "greeting: " ++> inputNonEmpty Nothing) <* br)
        <*> ((TDB.label "noun: "     ++> inputNonEmpty Nothing) <* br)
        <*  (submit "submit")
    where
      br :: NomicForm ()
      br = view H.br
      -- make sure the fields are not blank, show errors in line if they
are
      inputNonEmpty :: Maybe Text -> NomicForm Text
      inputNonEmpty v =
          (inputText v `validate` (TD.check "You can not leave this field
blank." (not . T.null)) <++ errors)
But I've got a problem on submit and inputText. I don't see how they are
compatible with HappstackForm.
NomicForm a reduces to:
Form (ServerPartT IO) Input String BlazeFormHtml a
whereas the type of submit is:
submit :: Monad m
=> String                            -- ^ Text on the submit
button
-> Form m String e BlazeFormHtml ()  -- ^ Submit button
Maybe I miss some instance?
BTW, I also tried to execute your exemple, but I can't install some
packages.
...
cabal install digestive-functors-hsp
cabal: Unknown build tool trhsx
Whereas trhsx is in my PATH (under linux).
You said I need the latest happstack from darcs, why?
Cheers,
Corentin
On Sun, Jan 9, 2011 at 8:36 PM, Jeremy Shaw 
wrote:
...
Hello,
newRule also needs to have the type, RoutedNomicServer. The
transformation of RoutedNomicServer into NomicServer is done in the
handleSite function. Something like this:
nomicSpec :: ServerHandle -> Site Route (ServerPartT IO Response)
nomicSpec sh =
     Site { handleSite          = \f url -> unRouteT (nomicSite sh url)
f
...
...
main =
   do ...
     simpleHTTP nullConf $ siteImpl (nomicSpec sh)
Or something like that -- it's hard to tell exactly what is going on
in your app based on the snippets you provided.
Also, I highly recommend using digestive functors instead of formlets.
It is the successor to formlets. Same core idea, better implementation
and actively maintained.
I have attached a quick demo of using:
happstack+digestive-functors+web-routes+HSP
To use it you will need the latest happstack from darcs plus:
hsp
 web-routes
 web-routes-hsp
 web-routes-happstack
 web-routes-mtl
 digestive-functors
 digestive-functors-hsp
I plan to clean up this example and document it better in the crash
course for the upcoming release. Clearly things like the FormInput
instance and the formPart function belong a library.
let me know if you have more questions.
- jeremy
On Sat, Jan 8, 2011 at 6:44 PM, Corentin Dupont
 wrote:
...
Hello,
I have difficulties mixing web-routes and forms:
I have put routes in all my site, except for forms which remains with
the
type ServerPartT IO Response.
How to make them work together?
I have:
type NomicServer             = ServerPartT IO
type RoutedNomicServer = RouteT PlayerCommand NomicServer
newRule :: ServerHandle -> NomicServer Response
newRule sh = do
   methodM POST -- only accept a post method
   mbEntry <- getData -- get the data
   case mbEntry of
      Nothing -> error $ "error: newRule"
      Just (NewRule name text code pn) -> do
         html <- nomicPageComm pn sh (submitRule name text code pn))
         ok $ toResponse html
nomicPageComm :: PlayerNumber -> ServerHandle -> Comm () ->
RoutedNomicServer Html
nomicPageComm pn sh comm =
(..)
launchWebServer :: ServerHandle -> IO ()
launchWebServer sh = do
   putStrLn "Starting web server...\nTo connect, drive your browser to
\"http://localhost:8000/Login\ http://localhost:8000/Login%5C""
   d <- liftIO getDataDir
   simpleHTTP nullConf $ mconcat [dir "postLogin" $ postLogin,
                                  fileServe [] d,
                                  dir "Login" $ ok $ toResponse $
loginPage,
                                  dir "NewRule" $ newRule sh,
                                  dir "NewGame" $ newGameWeb sh,
                                  dir "Nomic" $ do
                                     html <- implSite
"http://localhost:8000/Nomic/" "" (nomicSite sh)
                                     ok $ toResponse html
                                  ]
The red line doesn't compile. I don't know how to transform a
RoutedNomicServer into a NomicServer.
For the future I intend to use formlets: is these some examples of
programs
using happstack + web-routes + formlets?
Thanks,
Corentin
On Fri, Jan 7, 2011 at 5:10 PM, Jeremy Shaw 
wrote:
...
Hello,
The [(String, String)] argument is for adding query parameters.
...
encodePathInfo ["foo", "bar", "baz"] [("key","value")]
"foo/bar/baz?key=value"
Instead of showURL you would use showURLParams.
hope this helps!d
- jeremy
On Fri, Jan 7, 2011 at 8:12 AM, Corentin Dupont
 wrote:
...
Hello Jeremy,
I'm using Web routes with happstack.
I'm following this tutorial:
http://tutorialpedia.org/tutorials/Happstack+type+safe+URLs.html
But It seems out of synch with the latest version of web-routes:
0.23.2.
The haddock documentation seems out of date also:
encodePathInfo :: [String] -> [(String, String)] -> String
For example:
encodePathInfo [\"foo\", \"bar\", \"baz\"]
"foo/bar/baz"
And I can't figure out what this [(String, String)] is for ;)
Thanks,
Corentin