This looks cool indeed.
On 2 December 2011 00:02, Oliver Charles
<haskell-cafe@ocharles.org.uk> wrote:
[snip] You have to remember to apply all of
the states of your arbitrary instances, which is a pain, and guaranteed
to be missed.
Why can't you define a helper function which runs the initDb action while picking the entity? Something like:
pickDB = do DBState act e <- pick arbitrary; act; return e
(placing calls to "monadicIO" and "run" appropriately, I am not familiar enough with the monadic API)
Secondly, the initDb action is sensitive to the order actions are
sequenced.
Do you mean with respect to other initDb actions?
Why is this? I thought you were using QuickCheck in order not to assume things about the state of the DB and that the necessary state is prepared solely by running the initDb action. Is this not the case then?