[Haskell-cafe] Type System vs Test Driven Development

[Ketil Malde]

Serge Le Huitouze <serge.lehuitouze at gmail.com> writes:

> So, do you have any "methodology" for such use cases?

QuickCheck has the ==> operator, which lets you add a precondition.  So
you could limit the testing of your property to values that satisfy the
precondition.

An alternative is to use newtype with a custom generator to produce only
data that makes sense.

Of course, ideally you should design your types so that all possible
values are meaningful :-)

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants