March 2011 - web-devel

cassius and tag folding.
by jason foutz 13 Mar '11

13 Mar '11

I'm getting started with Yesod and some html5 stuff. The actual CSS should look something like .flexbox { display: -webkit-box; -webkit-box-orient: horizontal; display: -moz-box; -moz-box-orient: horizontal; display: box; box-orient: horizontal; } but when i do this in cassius .flexbox display: box display: -moz-box display: -webkit-box box-orient: horizontal -moz-box-orient: horizontal -webkit-box-orient: horizontal the display: get's flattened down to the last value listed. Is there a good way to do this? Thanks for any advice. Jason

3 2

Having difficulty with widgets executable found in yesod-examples 0.7
by Michael Litchard 11 Mar '11

11 Mar '11

When I try and run widgets, I get this barfing on the browser. %meta!keywords=haskell %h1#$i$ Welcome to my first widget!!!%p%a!href=@RootR@ Recursive link.%p%a!href=@FormR@ Check out the form.%p.noscript Your script did not load. :( Brought to you by Yesod Widgets™ I'm not sure how this might happen. Any clues as to what I am doing wrong?

2 1

WAI, HTTP POST , POST request body extract
by Антон Чешков 06 Mar '11

06 Mar '11

Hi Michael. Please explain how to extract POST data from WAI Request. Thanks. -- Best regards, Cheshkov Anton Phone: +7 909 005 18 82 Skype: cheshkov_anton

1 1

Having trouble sorting through the code for haskellers.com
by Michael Litchard 03 Mar '11

03 Mar '11

I tried running the codebase, and got this error. runhaskell fastcgi.hs fastcgi.hs: SqlError {seState = "", seNativeError = 1, seErrorMsg = "connectPostgreSQL: FATAL: password authentication failed for user \"haskellers\"\nFATAL: password authentication failed for user \"haskellers\"\n"} That's fine. I just need to know what the expected password should be, right? Then I can set up the postgres user Haskellers properly. Except I can't find exactly where a password/username are being passed. Telling me which file I should stare at until enlightenment comes would be helpful.

2 2

WAI, http-enumerator, json-enumerator
by Антон Чешков 03 Mar '11

03 Mar '11

Hello All. Could anyone provide simple wai application example to better understand json-enumerator and http-enumerator works. This application must make: 1. takes POST request with json data "{a : 0}" 2. extract json data and with json-enumerator change value of "a" from 0 to 1 3. send post request to URL (for example http://bla-bla.com) with http-enumerator with json data "{a : 1}" 4. recieve response from http://bla-bla.com 5. send response with json data "{a : 1}" Thanks. -- Best regards, Cheshkov Anton Phone: +7 909 005 18 82 Skype: cheshkov_anton

1 0

Fwd: [Haskell-cafe] type safe web forms at compile time Was: Re: Ur vs Haskell
by Alberto G. Corona 03 Mar '11

03 Mar '11

forward to web-devel: WASH is full of wonderful ideas . packed in a not so wonderful syntax. It is worth to evolve it. WASH does force form safety in a similar way to Formlets <http://hackage.haskell.org/package/formlets>: because the form and the form read code are generated automatically by a class instance. So there is no need for, type checking safety The problem comes when the form is generated and/or maintained( edited by some people (some forms have lot of formating in the real world) while the form handling code is .maintained by some other people, the programmers. In this real case , type cheching is very important. 2011/3/2 Marc Weber <marco-oweber(a)gmx.de> Excerpts from Alberto G. Corona's message of Wed Mar 02 20:53:28 +0000 2011: > > Some time ago I forgot to forward this message to thie ur versus Haskell > > <http://www.haskell.org/pipermail/haskell-cafe/2011-January/088060.html > >discussion, > > (as usual) > > --- > > The most impressive feature (of ur) is the compile time checking of > > conformance between the form and the form results. This can be done in > > See WASH (-> hackage). So there is a Haskell implementation. There are > small > differences though: urweb has nicer URLS which should be much more SEO > friendly. > > From my point of view its not only about forms. Its also about checking > SQL queries. And urweb seems to do this very well. > > Marc Weber >

2 1

type safe web forms at compile time Was: Re: [Haskell-cafe] Ur vs Haskell
by Alberto G. Corona 02 Mar '11

02 Mar '11

Hi. Some time ago I forgot to forward this message to thie ur versus Haskell <http://www.haskell.org/pipermail/haskell-cafe/2011-January/088060.html>discussion, (as usual) --- The most impressive feature (of ur) is the compile time checking of conformance between the form and the form results. This can be done in Haskell using HList magic and some class instances, I guess. ---- Since then I have been playing mentally with this. Recently I found something simple an interesting enough to share. (Although crude). It is a kind of typed form fields data Input a= Input String Type a (String -> Either String a) and a kind of heterogeneous list to aggregate form fields and results with the operator (:*): Input a :* Input b ;* Input c.... a :* b :* c and a (simulated for the purpose of demonstration) send-receive function that type match the form fields and the results: *Main> let form = Input "" Text "stringdata" novalidate :* Input "" Text (1::Integer) novalidate *Main> ask form >>= \(a :* b) -> return $ a ++ b <interactive>:1:0: No instance for (FormDigest (Input [Char] :* Input Integer) ([a] :* [a])) ...... notifying that there is no translation defined , because the result requires two lists of the same type when the form gives a string and an Integer But forcing the correct monomorphic types it does pattern match and return the values. *Main> ask form >>= \ (a :* b) -> print ('s':a) >> print ( fromInteger $ b) "sstringdata" 1 ask is just a simulation of HTTP one time interaction. It returns the input values. The whole loop involves the rendering of the form, with render: *Main> render form <input type="Text" name="var1" value="stringdata"/> <input type="Text" name="var2" value=1/> In a real case the results are read and validated from the the post values.They are (or can be) ordered sequentially acording with Input field names. The FormDigest instances do this work. There is no need to define new FormDigest instances. (although non one to one field-result can be created) The text is in literate haskell. There is a more elaborate example at the end. I know that the instances are non tail recursive and there are factorization pending but this is just a proof of concept: > {-# LANGUAGE > FlexibleInstances, > MultiParamTypeClasses, > TypeOperators > #-} > import Control.Monad.State The Heterogeneous list agregator. I tried to use GADTs but they does not easily pattern match > data x :* xs = x :* xs deriving (Read, Show, Eq) > infixr 5 :* > data Type= Hidden | Text deriving (Show, Read) -- to add all the types the input field, with text formatting, initial value and runtime validator > data Input a = Input String Type a (String -> Either [String] a) > instance(Show a)=> Show (Input a) where > show (Input _ _ x _) = show x rendering of the form need a sequentiation of field names. I use a state monad for this > class RenderForm a where > renderForm :: a -> State Int String > instance (Show a) => RenderForm (Input a) where > renderForm input = do > s1 <- render1 input > n <- get > put $ n + 1 > return s1 HList school here: > instance (Show a,RenderForm xs) => RenderForm (Input a :* xs) where > renderForm (input :* xs)= do > n <- get > put $ n+1 > h <- render1 input > s <- renderForm xs > return $ h++s > render1 (Input msg t x _)= do > n <- get > put $ n+1 > return $ msg > ++ "<input type=\"" > ++ show t ++ "\" name=" > ++ "\"var"++show n ++ "\" value=" > ++ show x ++"/>\n" > > render form= putStrLn $ evalState (renderForm form ) 0 processing of the returned form result, in an ordered String list, according with seuquential names of the fields defined in renderForm. > class FormDigest a b where > formDigest :: a -> [String] -> Either [String] b "Input a" is diggested into a type "a" > instance FormDigest (Input a) (a) where > formDigest (Input _ _ x f) (s: ss)= case f s of > Right x -> Right $ x > Left x -> Left x recursively add instances for any list of inputs Input a's are diggested into a's > instance FormDigest as bs > => FormDigest (Input a :* as) (a :* bs) where > formDigest (input :* fs) es@(s:ss) = > let er = formDigest fs ss > e = formDigest input es > in case (e, er) of > (Right x, Right ys) -> Right $ x :* ys > (Right _, Left errs) -> Left errs > (Left err, Left errs) -> Left (err ++ errs) simulated request-response that returns the entered input values > sendRec xs= do > let strs = showValues xs > return $ formDigest xs strs > class ShowValues a where > showValues :: a -> [String] > instance Show x => ShowValues (Input x) where > showValues i = [show i ] > instance (Show x,ShowValues xs) => ShowValues (Input x :* xs) where > showValues (i :* xs)= show i : showValues xs end of simulated request response > ask :: (ShowValues a, FormDigest a b) => a -> IO b > ask form = do > er <- sendRec form > case er of > Left errs -> error "" -- shoud be: "ask1 errs form "·to render form and errors > Right res -> return res EXAMPLE: > data Emp= Emp{name::String, salary :: Int} deriving Show > emp= Emp "Luis" 10000 toy html operators: > b msg = ("<b> " ++ msg ++ " </b>\n") > p msg = ("<p> " ++ msg ++ " </p>\n") > novalidate n= Right $ read n > main= do > > let form = Input > ( b "please enter the name" > ++ p "mas texto") > Text (name emp) novalidate > :* Input > (b "please enter the salary" > ++ p "jkjkjk") > Text (salary emp) novalidate > render form the matching thing > (n :* s ) <- ask form > print emp > print $ Emp n s

1 0

Re: [web-devel] [Yesod] Teach me how to write to access
by Greg Weber 01 Mar '11

01 Mar '11

The default scaffolding site creates a connection pool at startup and stores it in the foundation type. You can access the foundation type in your handler with: y <- getYesod Look at the runDB function. It accesses the connection pool from the foundation type. Without knowing any more specifics of your situation, you probably just want to write a function runDB2 that runs against a different connection pool (to your other database) that you also create at startup. Greg Weber Hi > This might not be the correct answer to your problem, but I asked about how to pass a hashtable to the application in a prevoius mail. > The answer was to pass the ioref in the data constructor - Michael wrote a very good example at: https://github.com/snoyberg/haskell-web-rosetta/blob/master/counter/yesod.hs > It might be you can connect to the database, and then pass it on and handle this second db-connection manually? > Cheers, > Petter Egesund > On Mon, Feb 28, 2011 at 10:05 AM, Katsutoshi Itoh <cutsea110(a)gmail.com> > wrote: > Hi > > I write an application, which must to access 2 databases. > 1st is main database for this application. > 2nd database is used as main database by another application. > > Could you teach me how to write to access 2nd database? > Since there is no access to the 2nd database only partially, I'm a > little problem in an ad hoc way.

1 0