[Haskell-cafe] QuickCheck

Tony Morris tonymorris at gmail.com
Fri Nov 8 01:20:55 UTC 2013

I have implemented a function for QuickCheck:

untilJust :: Gen a -> (a -> Maybe b) -> Gen b

I based it on the code for suchThat[1] and suchThatMaybe[2].

I am wondering if I have potentially re-implemented an existing function
in part or full. In other words, is there an easier way of achieving
this function without pulling the generator apart as much as I have in
this implementation: http://lpaste.net/95317

suchThat :: Gen a -> (a -> Bool) -> Gen a

suchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a)

Tony Morris

More information about the Haskell-Cafe mailing list