Checking multiple functions on the same data

[russel]

QuickCheck, Hypothesis, etc. allow for checks parameterized by a value (I am thinking here of references to functions) where all the data values are used. This is great for checking different implementations of something using a single check. If one fails the output states which item failed and continues with all the others. I am guessing that this can be handled by having a parameter to the check lambda, but how to say "work sequentially through these" rather than "select randomly from these". THough the second is also good to have for other purposes.

[emil-e]

I'm not sure I'm following. Can't you just assert for all of them in the same property lambda?