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

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

...

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

On Sat, Jan 8, 2011 at 6:44 PM, Corentin Dupont wrote: 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