Test.QuickCheck.Poly

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.

Documentation

type ALPHA = Poly ALPHA_

type BETA = Poly BETA_

type GAMMA = Poly GAMMA_

type OrdALPHA = Poly OrdALPHA_

type OrdBETA = Poly OrdBETA_

type OrdGAMMA = Poly OrdGAMMA_