[QuickCheck] field accessors for Modifiers

Henning Thielemann lemming at henning-thielemann.de
Fri Nov 29 16:41:05 GMT 2013


May I wish accessors for all modifiers in Test.QuickCheck.Modifiers?

E.g. I want to run a test on a type without Show instance like so

    quickCheck (propFoobar . getBlind)

which requires the definition

    data Blind a = Blind {getBlind :: a}



More information about the QuickCheck mailing list