| ||||||||
| ||||||||
Description | ||||||||
This is an attempt to emulate polymorphic types for the purposes of testing by using abstract monomorphic types. It is likely that future versions of QuickCheck will include some polymorphic emulation testing facility, but this module can be used for now. | ||||||||
type ALPHA = Poly ALPHA_ | ||||||||
type BETA = Poly BETA_ | ||||||||
type GAMMA = Poly GAMMA_ | ||||||||
type OrdALPHA = Poly OrdALPHA_ | ||||||||
type OrdBETA = Poly OrdBETA_ | ||||||||
type OrdGAMMA = Poly OrdGAMMA_ | ||||||||
Produced by Haddock version 0.4 |