Re: [Haskell-cafe] ANN: quickcheck-properties

2011-05-31 Thread Mario Blažević
On 11-05-30 05:05 AM, Alexey Khudyakov wrote: On 30.05.2011 12:26, Bas van Dijk wrote: On 30 May 2011 00:14, Alexey Khudyakov wrote: It always puzzled me why there are no packages for for testing general type classes laws. (Monoid laws, monad laws etc). It looks like ideal case for quickcheck a

Re: [Haskell-cafe] ANN: quickcheck-properties

2011-05-30 Thread Alexey Khudyakov
On 30.05.2011 14:45, Henning Thielemann wrote: Alexey Khudyakov schrieb: On 30.05.2011 12:26, Bas van Dijk wrote: How about 'checkers' by Conal Elliott: http://hackage.haskell.org/package/checkers We really need better search on hackage than C-f in browser. I didn't find them. Thank you for

Re: [Haskell-cafe] ANN: quickcheck-properties

2011-05-30 Thread Henning Thielemann
Alexey Khudyakov schrieb: > On 30.05.2011 12:26, Bas van Dijk wrote: >> >> How about 'checkers' by Conal Elliott: >> http://hackage.haskell.org/package/checkers >> > We really need better search on hackage than C-f in browser. I didn't > find them. Thank you for pointers. google with site:hackage.

Re: [Haskell-cafe] ANN: quickcheck-properties

2011-05-30 Thread Alexey Khudyakov
On 30.05.2011 12:26, Bas van Dijk wrote: On 30 May 2011 00:14, Alexey Khudyakov wrote: It always puzzled me why there are no packages for for testing general type classes laws. (Monoid laws, monad laws etc). It looks like ideal case for quickcheck and smallcheck. How about 'checkers' by Conal

Re: [Haskell-cafe] ANN: quickcheck-properties

2011-05-30 Thread Bas van Dijk
On 30 May 2011 00:14, Alexey Khudyakov wrote: > It always puzzled me why there are no packages for for testing general > type classes laws. (Monoid laws, monad laws etc). It looks like ideal > case for quickcheck and smallcheck. How about 'checkers' by Conal Elliott: http://hackage.haskell.org/pa

[Haskell-cafe] ANN: quickcheck-properties

2011-05-29 Thread Alexey Khudyakov
Hello It always puzzled me why there are no packages for for testing general type classes laws. (Monoid laws, monad laws etc). It looks like ideal case for quickcheck and smallcheck. I'm glad to present package quickcheck-properties[1]. It containt set of generic properties for semiroups, monoid