Test.SmartCheck

Main interface function.

smartCheck

Type of SmartCheck properties.

data ScProperty

Implication for SmartCheck properties.

(-->)

Run QuickCheck and get a result.

runQCInit

Arguments

Main type class based on Generics.

class SubTypes a

For constructing new instances of SubTypes

gst

grc

gtc

gsf

gsz