Haskell Hierarchical Libraries (QuickCheck package)ContentsIndex
Debug.QuickCheck.Poly
Portability non-portable (uses Control.Exception, Control.Concurrent)
Stability experimental
Maintainer libraries@haskell.org
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.

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_
Produced by Haddock version 0.6