Test.SmartCheck

Main SmartCheck interface.

smartCheck

User-suppplied counterexample interface.

smartCheckInput

Run QuickCheck and get a result.

runQC

Arguments

Main type class based on Generics.

class SubTypes a

For constructing new instances of SubTypes

gst

grc

gtc

gsf