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

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

Hello, I forgot to upload the version with the fixed type of `submit`. It is on hackage now as digestive-functors-blaze-0.0.2.1. Cheers, Jasper On Fri, Jan 21, 2011 at 9:33 PM, Corentin Dupont wrote:

Hello Jeremy, I'm still trying to integrate web routes, but there is one thing I don't understand: how to deal with multiple forms?

In my former application, each forms used to redirect to a subdirectory of the web site, and an appropriate handler was waiting there. But now with web routes I don't see how to do that. I've tried to push down the decision over subdirectories (with the guard "dir") inside the RouteT monad:

type NomicServer       = ServerPartT IO type RoutedNomicServer = RouteT PlayerCommand NomicServer

nomicSite :: ServerHandle -> Site PlayerCommand (NomicServer Html) nomicSite sh = setDefault (Noop 0) Site {       handleSite         = \f url -> unRouteT (routedNomicHandle sh url) f     , formatPathSegments = \u -> (toPathSegments u, [])     , parsePathSegments  = parseSegments fromPathSegments }

routedNomicHandle :: ServerHandle -> PlayerCommand -> RoutedNomicServer Html routedNomicHandle sh pc = do    d <- liftRouteT $ liftIO getDataDir    msum [dir "Login" $ loginPage,          dir "postLogin" $ postLogin,          --nullDir >> fileServe [] d,          dir "NewRule" $ newRule sh,          dir "NewGame" $ newGameWeb sh,          dir "Nomic" $ routedNomicCommands sh pc]

routedNomicCommands :: ServerHandle -> PlayerCommand -> RoutedNomicServer Html routedNomicCommands sh (Noop pn)                   = nomicPageComm pn sh (return ()) routedNomicCommands sh (JoinGame pn game)          = nomicPageComm pn sh (joinGame game pn) routedNomicCommands sh (LeaveGame pn)              = nomicPageComm pn sh (leaveGame pn) routedNomicCommands sh (SubscribeGame pn game)     = nomicPageComm pn sh (subscribeGame game pn) routedNomicCommands sh (UnsubscribeGame pn game)   = nomicPageComm pn sh (unsubscribeGame game pn) routedNomicCommands sh (Amend pn)                  = nomicPageComm pn sh (amendConstitution pn) routedNomicCommands sh (DoAction pn an ar)         = nomicPageComm pn sh (doAction' an ar pn) routedNomicCommands sh (NewRule pn name text code) = nomicPageComm pn sh (submitRule name text code pn) routedNomicCommands sh (NewGame pn game)           = nomicPageComm pn sh (newGame game pn)

loginPage :: RoutedNomicServer Html loginPage = do    l <- loginForm    ok $ H.html $ do       H.head $ do         H.title (H.string "Login to Nomic")         H.link ! rel "stylesheet" ! type_ "text/css" ! href "/static/css/nomic.css"         H.meta ! A.httpEquiv "Content-Type" ! content "text/html;charset=utf-8"         H.meta ! A.name "keywords" ! A.content "Nomic, game, rules, Haskell, auto-reference"       H.body $ do         H.div ! A.id "container" $ do            H.div ! A.id "header" $ "Login to Nomic"            H.div ! A.id "login" $ l            H.div ! A.id "footer" $ "footer"

loginForm :: RoutedNomicServer Html loginForm = do    ok $ H.form ! A.method "POST" ! A.action "/postLogin" ! enctype "multipart/form-data;charset=UTF-8"  $ do       H.label ! for "login" $ "Login"       input ! type_ "text" ! name "login" ! A.id "login" ! tabindex "1" ! accesskey "L"       H.label ! for "password" $ "Password"       input ! type_ "text" ! name "password" ! A.id "password" ! tabindex "2" ! accesskey "P"       input ! type_  "submit" ! tabindex "3" ! accesskey "S" ! value "Enter Nomic!"

postLogin :: RoutedNomicServer Html postLogin = do   methodM POST -- only accept a post method   mbEntry <- getData -- get the data   case mbEntry of     Nothing -> error $ "error: postLogin"     Just (LoginPass login password)  -> do       mpn <- liftRouteT $ liftIO $ newPlayerWeb login password       case mpn of          Just pn -> do             link <- showURL $ Noop pn             seeOther link $ string "Redirecting..."          Nothing -> seeOther ("/Login?status=fail" :: String) $ string "Redirecting..."

launchWebServer :: ServerHandle -> IO () launchWebServer sh = do    putStrLn "Starting web server...\nTo connect, drive your browser to \"http://localhost:8000/Login\""    simpleHTTP nullConf $ implSite "http://localhost:8000/" "" (nomicSite sh)

But when I drive my browser to "http://localhost:8000/Login/", happstack tell me there is nothing here. Am I doing it right? If yes, I must have made a mistake. (as you can see I'm still far from putting in disgestive functors ;)

If you need, the complete application can be found here (see file Web.hs): https://github.com/cdupont/Nomic

Thanks, Corentin

On Wed, Jan 19, 2011 at 5:12 PM, Corentin Dupont wrote:

...

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\""    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 > >

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Hello Jeremy, Yes it would be fine to use solution 1, but I just don't figured how to mix web routes and forms. My forms are like that: loginForm :: RoutedNomicServer Html loginForm = do ok $ H.form ! A.method "POST" ! A.action "/postLogin" ! enctype "multipart/form-data;charset=UTF-8" $ do H.label ! for "login" $ "Login" input ! type_ "text" ! name "login" ! A.id "login" ! tabindex "1" ! accesskey "L" H.label ! for "password" $ "Password" input ! type_ "text" ! name "password" ! A.id "password" ! tabindex "2" ! accesskey "P" input ! type_ "submit" ! tabindex "3" ! accesskey "S" ! value "Enter Nomic!" And are decoded using a FromData: instance FromData LoginPass where fromData = do login <- look "login" `mplus` (error "need login") password <- look "password" `mplus` (error "need password") return $ LoginPass login password How this can go inside web routes? I cannot pass the parameters in the URL (here login and password), can I? Thanks, Corentin On Sat, Jan 22, 2011 at 9:49 PM, Jeremy Shaw wrote:

Hello,

I believe you problem is because you are trying to use 'dir' inside RouteT after you have already consumed and decode the path info using implSite.

There are two solutions here:

1. just use web-routes for all your URLs instead of using a mixture of type-safe routes and 'dir'. 2. put the calls to dir outside the call to implSite.

For example, something like,

simpleHTTP nullConf $ msum [ dir "Login" $ loginPage, , dir "postLogin" $ postLogin , implSite "http://localhost:8000/" "" (nomicSite sh) ]

You to do that, you would also need to modified loginPage and postLogin to not be in the RoutedNomicServer monad. Since they do not appear to use the RouteT stuff anyway, that should not be hard ?

But, personally, I would just choose option #1. Can you explain why you thought it was better to mix the web-routes stuff with the 'dir' style guards? Maybe there is a short coming in web-routes that needs to be addressed ?

- jeremy

...

Hello Jeremy, I'm still trying to integrate web routes, but there is one thing I don't understand: how to deal with multiple forms?

In my former application, each forms used to redirect to a subdirectory of the web site, and an appropriate handler was waiting there. But now with web routes I don't see how to do that. I've tried to push down the decision over subdirectories (with the guard "dir") inside the RouteT monad:

type NomicServer = ServerPartT IO type RoutedNomicServer = RouteT PlayerCommand NomicServer

nomicSite :: ServerHandle -> Site PlayerCommand (NomicServer Html) nomicSite sh = setDefault (Noop 0) Site { handleSite = \f url -> unRouteT (routedNomicHandle sh url) f , formatPathSegments = \u -> (toPathSegments u, []) , parsePathSegments = parseSegments fromPathSegments }

routedNomicHandle :: ServerHandle -> PlayerCommand -> RoutedNomicServer Html routedNomicHandle sh pc = do d <- liftRouteT $ liftIO getDataDir msum [dir "Login" $ loginPage, dir "postLogin" $ postLogin, --nullDir >> fileServe [] d, dir "NewRule" $ newRule sh, dir "NewGame" $ newGameWeb sh, dir "Nomic" $ routedNomicCommands sh pc]

routedNomicCommands :: ServerHandle -> PlayerCommand -> RoutedNomicServer Html routedNomicCommands sh (Noop pn) = nomicPageComm pn sh (return ()) routedNomicCommands sh (JoinGame pn game) = nomicPageComm pn sh (joinGame game pn) routedNomicCommands sh (LeaveGame pn) = nomicPageComm pn sh (leaveGame pn) routedNomicCommands sh (SubscribeGame pn game) = nomicPageComm pn sh (subscribeGame game pn) routedNomicCommands sh (UnsubscribeGame pn game) = nomicPageComm pn sh (unsubscribeGame game pn) routedNomicCommands sh (Amend pn) = nomicPageComm pn sh (amendConstitution pn) routedNomicCommands sh (DoAction pn an ar) = nomicPageComm pn sh (doAction' an ar pn) routedNomicCommands sh (NewRule pn name text code) = nomicPageComm pn sh (submitRule name text code pn) routedNomicCommands sh (NewGame pn game) = nomicPageComm pn sh (newGame game pn)

loginPage :: RoutedNomicServer Html loginPage = do l <- loginForm ok $ H.html $ do H.head $ do H.title (H.string "Login to Nomic") H.link ! rel "stylesheet" ! type_ "text/css" ! href "/static/css/nomic.css" H.meta ! A.httpEquiv "Content-Type" ! content "text/html;charset=utf-8" H.meta ! A.name "keywords" ! A.content "Nomic, game, rules, Haskell, auto-reference" H.body $ do H.div ! A.id "container" $ do H.div ! A.id "header" $ "Login to Nomic" H.div ! A.id "login" $ l H.div ! A.id "footer" $ "footer"

loginForm :: RoutedNomicServer Html loginForm = do ok $ H.form ! A.method "POST" ! A.action "/postLogin" ! enctype "multipart/form-data;charset=UTF-8" $ do H.label ! for "login" $ "Login" input ! type_ "text" ! name "login" ! A.id "login" ! tabindex "1" ! accesskey "L" H.label ! for "password" $ "Password" input ! type_ "text" ! name "password" ! A.id "password" ! tabindex "2" ! accesskey "P" input ! type_ "submit" ! tabindex "3" ! accesskey "S" ! value "Enter Nomic!"

postLogin :: RoutedNomicServer Html postLogin = do methodM POST -- only accept a post method mbEntry <- getData -- get the data case mbEntry of Nothing -> error $ "error: postLogin" Just (LoginPass login password) -> do mpn <- liftRouteT $ liftIO $ newPlayerWeb login password case mpn of Just pn -> do link <- showURL $ Noop pn seeOther link $ string "Redirecting..." Nothing -> seeOther ("/Login?status=fail" :: String) $ string "Redirecting..."

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"" simpleHTTP nullConf $ implSite "http://localhost:8000/" "" (nomicSite sh)

But when I drive my browser to "http://localhost:8000/Login/", happstack tell me there is nothing here. Am I doing it right? If yes, I must have made a mistake. (as you can see I'm still far from putting in disgestive functors ;)

If you need, the complete application can be found here (see file Web.hs): https://github.com/cdupont/Nomic

Thanks, Corentin

On Wed, Jan 19, 2011 at 5:12 PM, Corentin Dupont < corentin.dupont@gmail.com> wrote:

...

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

...

...

...

...

...

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

On Fri, Jan 21, 2011 at 2:33 PM, Corentin Dupont wrote: + formlets. 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 >> > > >

Hello, I'm doing it like that now, it works fine. What was confusing me was whether I should pass the data of the form on the URL at some point or not (my knowledge of HTML is very low ;) Now turning to digestive functors, I don't see where do goes the "A.action actionURL" part that was in traditionnal forms? It seems I need it for routing the result of the form. I'm doing it like that: type NomicServer = ServerPartT IO type RoutedNomicServer = RouteT PlayerCommand NomicServer type NomicForm a = HappstackForm IO String BlazeFormHtml a data LoginPass = LoginPass { login :: PlayerName, password :: PlayerPassword} loginForm' :: NomicForm LoginPass loginForm' = LoginPass <$> (TDB.label "Login: " *> inputText Nothing) <*> (TDB.label "Password: " *> inputText Nothing) <* (submit "Enter Nomic!") loginPage :: RoutedNomicServer Html loginPage = do (l, _) <- liftRouteT $ runForm loginForm' "prefix" NoEnvironment let html = formHtml (unView l []) defaultHtmlConfig ok $ H.html $ do H.head $ do H.title (H.string "Login to Nomic") H.link ! rel "stylesheet" ! type_ "text/css" ! href "/static/css/nomic.css" H.meta ! A.httpEquiv "Content-Type" ! content "text/html;charset=utf-8" H.meta ! A.name "keywords" ! A.content "Nomic, game, rules, Haskell, auto-reference" H.body $ do H.div ! A.id "container" $ do H.div ! A.id "header" $ "Login to Nomic" H.div ! A.id "login" $ html H.div ! A.id "footer" $ "footer" Also, I don't see how with digestive functors you can set all the HTML properties like id, tabindex, length etc... Thanks, Corentin On Tue, Jan 25, 2011 at 5:42 AM, Jeremy Shaw wrote:

Hello,

I think you should just be able to use showURL to convert the url type into a String that you can use with blaze-html:

data SiteURL = Post_Login | etc

loginForm :: RoutedNomicServer Html loginForm = do actionURL <- showURL Post_Login ok $ H.form ! A.method "POST" ! A.action actionURL ! enctype "multipart/form-data;charset=UTF-8" $ do H.label ! for "login" $ "Login" input ! type_ "text" ! name "login" ! A.id "login" ! tabindex "1" ! accesskey "L" H.label ! for "password" $ "Password" input ! type_ "text" ! name "password" ! A.id "password" ! tabindex "2" ! accesskey "P" input ! type_ "submit" ! tabindex "3" ! accesskey "S" ! value "Enter Nomic!"

Using the HSP stuff you can avoid the explicit call to showURL and do:

<form method=Post_Login enctype="multipart/form-data;charset=utf-8"> ... </form>

But HSP is a fair bit more complex than blaze-html.

If blaze-html provide an HtmlT monad that was a real monad transformer then you could do something similar using blaze. But they decided to trade-off functionality for speed.

- jeremy

...

Hello Jeremy, Yes it would be fine to use solution 1, but I just don't figured how to mix web routes and forms.

My forms are like that: loginForm :: RoutedNomicServer Html loginForm = do ok $ H.form ! A.method "POST" ! A.action "/postLogin" ! enctype "multipart/form-data;charset=UTF-8" $ do H.label ! for "login" $ "Login" input ! type_ "text" ! name "login" ! A.id "login" ! tabindex "1" ! accesskey "L" H.label ! for "password" $ "Password" input ! type_ "text" ! name "password" ! A.id "password" ! tabindex "2" ! accesskey "P" input ! type_ "submit" ! tabindex "3" ! accesskey "S" ! value "Enter Nomic!"

And are decoded using a FromData:

instance FromData LoginPass where fromData = do login <- look "login" `mplus` (error "need login") password <- look "password" `mplus` (error "need password") return $ LoginPass login password

How this can go inside web routes? I cannot pass the parameters in the URL (here login and password), can I?

Thanks, Corentin

On Sat, Jan 22, 2011 at 9:49 PM, Jeremy Shaw wrote:

...

Hello,

I believe you problem is because you are trying to use 'dir' inside RouteT after you have already consumed and decode the path info using implSite.

There are two solutions here:

1. just use web-routes for all your URLs instead of using a mixture of type-safe routes and 'dir'. 2. put the calls to dir outside the call to implSite.

For example, something like,

simpleHTTP nullConf $ msum [ dir "Login" $ loginPage, , dir "postLogin" $ postLogin , implSite "http://localhost:8000/" "" (nomicSite sh) ]

You to do that, you would also need to modified loginPage and postLogin to not be in the RoutedNomicServer monad. Since they do not appear to use the RouteT stuff anyway, that should not be hard ?

But, personally, I would just choose option #1. Can you explain why you thought it was better to mix the web-routes stuff with the 'dir' style guards? Maybe there is a short coming in web-routes that needs to be addressed ?

- jeremy

On Fri, Jan 21, 2011 at 2:33 PM, Corentin Dupont wrote:

...

Hello Jeremy, I'm still trying to integrate web routes, but there is one thing I

don't

...

...

understand: how to deal with multiple forms?

In my former application, each forms used to redirect to a subdirectory of the web site, and an appropriate handler was waiting there. But now with web routes I don't see how to do that. I've tried to push down the decision over subdirectories (with the guard "dir") inside the RouteT monad:

type NomicServer = ServerPartT IO type RoutedNomicServer = RouteT PlayerCommand NomicServer

nomicSite :: ServerHandle -> Site PlayerCommand (NomicServer Html) nomicSite sh = setDefault (Noop 0) Site { handleSite = \f url -> unRouteT (routedNomicHandle sh url) f , formatPathSegments = \u -> (toPathSegments u, []) , parsePathSegments = parseSegments fromPathSegments }

routedNomicHandle :: ServerHandle -> PlayerCommand -> RoutedNomicServer Html routedNomicHandle sh pc = do d <- liftRouteT $ liftIO getDataDir msum [dir "Login" $ loginPage, dir "postLogin" $ postLogin, --nullDir >> fileServe [] d, dir "NewRule" $ newRule sh, dir "NewGame" $ newGameWeb sh, dir "Nomic" $ routedNomicCommands sh pc]

routedNomicCommands :: ServerHandle -> PlayerCommand -> RoutedNomicServer Html routedNomicCommands sh (Noop pn) = nomicPageComm pn sh (return ()) routedNomicCommands sh (JoinGame pn game) = nomicPageComm pn sh (joinGame game pn) routedNomicCommands sh (LeaveGame pn) = nomicPageComm pn sh (leaveGame pn) routedNomicCommands sh (SubscribeGame pn game) = nomicPageComm pn sh (subscribeGame game pn) routedNomicCommands sh (UnsubscribeGame pn game) = nomicPageComm pn sh (unsubscribeGame game pn) routedNomicCommands sh (Amend pn) = nomicPageComm pn sh (amendConstitution pn) routedNomicCommands sh (DoAction pn an ar) = nomicPageComm pn sh (doAction' an ar pn) routedNomicCommands sh (NewRule pn name text code) = nomicPageComm pn sh (submitRule name text code pn) routedNomicCommands sh (NewGame pn game) = nomicPageComm pn sh (newGame game pn)

loginPage :: RoutedNomicServer Html loginPage = do l <- loginForm ok $ H.html $ do H.head $ do H.title (H.string "Login to Nomic") H.link ! rel "stylesheet" ! type_ "text/css" ! href "/static/css/nomic.css" H.meta ! A.httpEquiv "Content-Type" ! content "text/html;charset=utf-8" H.meta ! A.name "keywords" ! A.content "Nomic, game, rules, Haskell, auto-reference" H.body $ do H.div ! A.id "container" $ do H.div ! A.id "header" $ "Login to Nomic" H.div ! A.id "login" $ l H.div ! A.id "footer" $ "footer"

loginForm :: RoutedNomicServer Html loginForm = do ok $ H.form ! A.method "POST" ! A.action "/postLogin" ! enctype "multipart/form-data;charset=UTF-8" $ do H.label ! for "login" $ "Login" input ! type_ "text" ! name "login" ! A.id "login" ! tabindex "1" ! accesskey "L" H.label ! for "password" $ "Password" input ! type_ "text" ! name "password" ! A.id "password" ! tabindex "2" ! accesskey "P" input ! type_ "submit" ! tabindex "3" ! accesskey "S" ! value "Enter Nomic!"

postLogin :: RoutedNomicServer Html postLogin = do methodM POST -- only accept a post method mbEntry <- getData -- get the data case mbEntry of Nothing -> error $ "error: postLogin" Just (LoginPass login password) -> do mpn <- liftRouteT $ liftIO $ newPlayerWeb login password case mpn of Just pn -> do link <- showURL $ Noop pn seeOther link $ string "Redirecting..." Nothing -> seeOther ("/Login?status=fail" :: String) $ string "Redirecting..."

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"" simpleHTTP nullConf $ implSite "http://localhost:8000/" "" (nomicSite sh)

But when I drive my browser to "http://localhost:8000/Login/", happstack tell me there is nothing here. Am I doing it right? If yes, I must have made a mistake. (as you can see I'm still far from putting in disgestive functors ;)

If you need, the complete application can be found here (see file Web.hs): https://github.com/cdupont/Nomic

Thanks, Corentin

On Wed, Jan 19, 2011 at 5:12 PM, Corentin Dupont wrote:

...

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

...

...

...

...

...

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

...

...

...

...

...

> field > blank." (not . T.null)) <++ errors) > > > But I've got a problem on submit and inputText. I don't see how

...

...

...

...

...

> 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

...

...

...

...

...

>> 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

On Sat, Jan 22, 2011 at 3:19 PM, Corentin Dupont wrote: that this they the 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 >> >> > >> > >> > > >