[Haskell-cafe] Why isn't ArrowChoice a parent of of ArrowApply?

2013-06-20 Thread Petr Pudlák
In Control.Arrow we have: |leftApp ::ArrowApply a => a b c -> a (Either b d) (Either c d)| Any instance of |ArrowApply| can be made into an instance of |ArrowChoice| by defining |left = leftApp|. So why isn't |ArrowChoice| a parent of |ArrowApply|? Best regards, Petr

Re: [Haskell-cafe] Why isn't ArrowChoice a parent of of ArrowApply?

2013-06-20 Thread Ross Paterson
On Thu, Jun 20, 2013 at 09:02:48AM +0200, Petr Pudlák wrote: > In Control.Arrow we have: > > leftApp :: ArrowApply a => a b c -> a (Either b d) (Either c d) > > Any instance of ArrowApply can be made into an instance of ArrowChoice by > defining left = leftApp. > > So why isn't Arrow

Re: [Haskell-cafe] The promising world of Monadic formlets

2013-06-20 Thread Alberto G. Corona
Here is the example with better rendering and additional information as well as some identifies issues to be solved. http://haskell-web.blogspot.com.es/2013/06/the-promising-land-of-monadic-formlets.html And I made strong statements there. What do you think? If you have questions or want to be

Re: [Haskell-cafe] TH clause Pat selection

2013-06-20 Thread Geoffrey Mainland
Have you tried dataToPatQ and dataToExpQ? http://hackage.haskell.org/packages/archive/template-haskell/latest/doc/html/Language-Haskell-TH-Quote.html Geoff On 06/19/2013 11:23 PM, Brian Lewis wrote: > I want to use TH to generate functions like > foo :: c -> h > foo ... = ... > foo ... = ... > .

[Haskell-cafe] ANNOUNCE: haskell-names-0.1

2013-06-20 Thread Roman Cheplyaka
I am pleased to announce the first public release of haskell-names, a name resolution library for haskell-src-exts AST. Namely, it can do the following: * for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names. * for each

[Haskell-cafe] Ann: Cascading 0.1.0, DSL for Cascading Style Sheets

2013-06-20 Thread Ertugrul Söylemez
Hi there, I've just released the first version of [cascading], library for writing/generating Cascading Style Sheets (CSS) in Haskell. The API design is inspired by many other projects, including blaze-html, HSP and Yesod's Lucius. [cascading]: Fea

Re: [Haskell-cafe] Ann: Cascading 0.1.0, DSL for Cascading Style Sheets

2013-06-20 Thread Ertugrul Söylemez
Ertugrul Söylemez wrote: > vendors $ "borderRadius" $= ("3mm" :: PropValue) Typo: vendors $ "border-radius" $= ("3mm" :: PropValue) Greets, Ertugrul -- Not to be or to be and (not to be or to be and (not to be or to be and (not to be or to be and ... that is the list monad.

Re: [Haskell-cafe] TH clause Pat selection

2013-06-20 Thread Ozgur Akgun
Hi. On 19 June 2013 23:23, Brian Lewis wrote: > The problem is, I don't know how to generate the function's clauses. > "foo 0 = ..." seems to be a LitP pattern. But "foo True = ..." seems to > be a ConP pattern. The appropriate pattern depends on type c. > I've used haskell-src-meta for this pu

Re: [Haskell-cafe] ANNOUNCE: haskell-names-0.1

2013-06-20 Thread Andrew Cowie
On Thu, 2013-06-20 at 18:13 +0300, Roman Cheplyaka wrote: > Namely, it can do the following: > > * for a module, compute its interface, i.e. the set of entities > exported by the module, together with their original names. > > * for each name in the module, figure out what it refers to —

Re: [Haskell-cafe] ANNOUNCE: haskell-names-0.1

2013-06-20 Thread Michael Sloan
Roman: Awesome! I'm really glad that this is ready for use! Andrew: I have a tool that's a step towards doing this. Instead of using haskell suite, it uses ghci via hint to query module exports, and then uses TH to reify them. This has the benefit of supporting everything that GHC supports, whe