QuickCheck-1.2.0.1: Automatic testing of Haskell programs

Copyright(c) Andy Gill 2001
LicenseBSD-style (see the file libraries/base/LICENSE)
Maintainerlibraries@haskell.org
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Test.QuickCheck.Poly

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_ Source

type BETA = Poly BETA_ Source

type GAMMA = Poly GAMMA_ Source

type OrdALPHA = Poly OrdALPHA_ Source

type OrdBETA = Poly OrdBETA_ Source

type OrdGAMMA = Poly OrdGAMMA_ Source