Hi,
1. Minor correction for your tutorial: reverse . reverse = id is
called the involution property, not idempotency.
2. Writing haddock documentation would definitely increase the chances
for GenCheck wide adoption.
--
Roman I. Cheplyaka :: http://ro-che.info/
On Tue, Jun 19, 2012 at 4:04 PM, Jacques Carette care...@mcmaster.cawrote:
User beware: this is gencheck-0.1, there are still a few rough edges. We
plan to add a Template Haskell feature to this which should make deriving
enumerators automatic for version 0.2.
Can you provide me a quick
On 12-06-23 04:26 AM, Roman Cheplyaka wrote:
Hi,
1. Minor correction for your tutorial: reverse . reverse = id is
called the involution property, not idempotency.
Indeed! Fixed, thanks.
2. Writing haddock documentation would definitely increase the chances
for GenCheck wide
On 12-06-23 04:38 AM, José Pedro Magalhães wrote:
On Tue, Jun 19, 2012 at 4:04 PM, Jacques Carette care...@mcmaster.ca
mailto:care...@mcmaster.ca wrote:
User beware: this is gencheck-0.1, there are still a few rough
edges. We plan to add a Template Haskell feature to this which
On Tue, 19 Jun 2012, Jacques Carette wrote:
Its main novel features are:
* introduces a number of /testing strategies/ and /strategy combinators/
* introduces a variety of test execution methods
* guarantees uniform sampling (at each rank) for the random strategy
* guarantees both uniqueness
On 20/06/2012 6:56 AM, Henning Thielemann wrote:
QuickCheck is Haskell-98 and thus is very portable. I see that
GenCheck needs some more extensions - type families, multi-parameter
type classes, what else?
FlexibleContexts and FlexibleInstances.
However, I am fairly sure that the
HI Jacques,
This looks very similar to the recently released testing-feat library:
http://hackage.haskell.org/package/testing-feat-0.2
I get a build error on the latest platform:
Test\GenCheck\Base\LabelledPartition.lhs:126:3:
The equation(s) for `new' have two arguments,
but its type
[Only cc:ing cafe]
There are definite similarities, yes - I only became aware of
testing-feat very recently. You seem to have concentrated more on
efficiency, while we have focused more on the high-level modular design
and on strategies. We should probably merge our efforts, if you are
