Re: [Haskell-cafe] unsafeInterleaveST (and IO) is really unsafe

2013-04-19 Thread Alexander Solla
On Fri, Apr 12, 2013 at 3:37 PM, Timon Gehr wrote: > > Please see Sec >> 10.2 Unique supply trees -- you might see some familiar code. Although >> my example was derived independently, it has the same kernel of >> badness as the example in Launchbury and Peyton-Jones. The authors >> point out a

Re: [Haskell-cafe] a library for abstract algebra?

2013-04-19 Thread Mikhail Glushenkov
Hi, Petr Pudlák gmail.com> writes: > > Hi, > is there a Haskell library for defining and working with algebraic structures [...] ? There is also http://hackage.haskell.org/package/HaskellForMaths ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.

Re: [Haskell-cafe] ANN: Groundhog 0.3 - mysql, schemas and enhanced queries

2013-04-19 Thread Boris Lykah
Thank you, Tom. I've uploaded a new version of groundhog-th which builds on GHC 7.6.2. The new documentation will be generated soon. Please use this link http://hackage.haskell.org/packages/archive/groundhog-th/latest/doc/html/Database-Groundhog-TH.html On Fri, Apr 19, 2013 at 12:43 PM, Tom El

Re: [Haskell-cafe] ANN: Groundhog 0.3 - mysql, schemas and enhanced queries

2013-04-19 Thread Tom Ellis
On Fri, Apr 19, 2013 at 11:42:14AM +0300, Boris Lykah wrote: > The full description of the configuration options is available at > http://hackage.haskell.org/packages/archive/groundhog-th/0.3.0/doc/html/Database-Groundhog-TH.html Hi Boris, the docs for 0.3.0 don't currently seem to exist. Tom __

[Haskell-cafe] ANN: Groundhog 0.3 - mysql, schemas and enhanced queries

2013-04-19 Thread Boris Lykah
I am happy to announce release of Groundhog 0.3! Groundhog is a library for high-level database access. It has support for Sqlite, PostgreSQL, and a new MySQL backend. Advanced migration capabilities allow you to precisely specify the schema description, fitting it to an existing database, or crea