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 <jer...@n-heptane.com> 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
> <corentin.dup...@gmail.com> 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 <jer...@n-heptane.com>
> 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
> >> <corentin.dup...@gmail.com> 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
