Re: collecting requirements for FDs

2006-04-13 Thread Claus Reinke
What other libraries should Haskell' support, and what are their requirements? useful initiative! will your collection be available anywhere? may I suggest that you (a) ask on the main Haskell and library lists for better coverage (I would have thought that the alternative Num prelude suggest

Re: collecting requirements for FDs

2006-04-12 Thread Ross Paterson
On Wed, Apr 12, 2006 at 03:57:31PM +0100, Henrik Nilsson wrote: > Here are some classes from Yampa/earlier versions of FRP. The instances are probably more important, especially instances that violate the following restriction (from the original description of FDs, christened the "coverage conditi

Re: collecting requirements for FDs

2006-04-12 Thread Henrik Nilsson
Dear all, Ross Peterson wrote: > The favourite customer for FDs has been the monad transformer library. > ... > What other libraries should Haskell' support, and what are their > requirements? Here are some classes from Yampa/earlier versions of FRP. I shouldn't think they're particularly dema

Re: collecting requirements for FDs

2006-04-12 Thread Jean-Philippe Bernardy
Hello, I just moved the documentation (still accessible from the below wiki page) to here: http://users.skynet.be/jyp/html/collections/Data.Collections.html the source being: http://darcs.haskell.org/packages/collections/Data/Collections.hs And, since you asked for it, there is something I think

Re: collecting requirements for FDs

2006-04-11 Thread Bulat Ziganshin
Hello Ross, Tuesday, April 11, 2006, 3:43:18 AM, you wrote: > The favourite customer for FDs has been the monad transformer library. > What other libraries should Haskell' support, and what are their > requirements? why you think that FD are required only for libs? :) i think it's better to as

Re: collecting requirements for FDs

2006-04-10 Thread Jim Apple
On 4/10/06, Ross Paterson <[EMAIL PROTECTED]> wrote: > What other libraries should Haskell' support, and what are their > requirements? http://hackage.haskell.org/trac/ghc/wiki/CollectionClassFramework There are two "range arguments" here, IIUC. Jim __

collecting requirements for FDs

2006-04-10 Thread Ross Paterson
The favourite customer for FDs has been the monad transformer library. (There are at least two versions, but they have the same requirements.) In this library, all the dependencies are full, i.e. involve all (both) the arguments of the class, e.g. class (Monoid w, Monad m) => MonadWriter