smartcheck-0.2.2: A smarter QuickCheck.
Test.SmartCheck.ConstructorGen
Synopsis
constrsGen :: (SubTypes a, Generic a, ConNames (Rep a)) => ScArgs -> a -> (a -> Property) -> [Idx] -> IO [Idx] Source
Entry point to generalize constructors. We pass in a list of indexes from value generalizations so we don't try to generalize those constructors (or anything below).