HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

ModuleQuickCheck-2.15.0.1Haskell2010

Test.QuickCheck.Poly

Types to help with testing polymorphic properties.

Types A, B and C are newtype wrappers around Integer that implement Eq, Show, Arbitrary and CoArbitrary. Types OrdA, OrdB and OrdC also implement Ord and Num.

See also Test.QuickCheck.All for an automatic way of testing polymorphic properties.

  • 6 types
newtypenewtype A
#

Constructors

Instances5Eq, Show, Arbitrary, CoArbitrary, Function
  • Eq ADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Show ADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Arbitrary ADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • CoArbitrary ADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Function ADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Function
newtypenewtype B
#

Constructors

Instances5Eq, Show, Arbitrary, CoArbitrary, Function
  • Eq BDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Show BDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Arbitrary BDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • CoArbitrary BDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Function BDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Function
newtypenewtype C
#

Constructors

Instances5Eq, Show, Arbitrary, CoArbitrary, Function
  • Eq CDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Show CDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Arbitrary CDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • CoArbitrary CDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Function CDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Function
newtypenewtype OrdA
#

Constructors

Instances7Eq, Num, Ord, Show, Arbitrary, CoArbitrary, …
  • Eq OrdADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Num OrdADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Ord OrdADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Show OrdADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Arbitrary OrdADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • CoArbitrary OrdADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Function OrdADefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Function
newtypenewtype OrdB
#

Constructors

Instances7Eq, Num, Ord, Show, Arbitrary, CoArbitrary, …
  • Eq OrdBDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Num OrdBDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Ord OrdBDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Show OrdBDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Arbitrary OrdBDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • CoArbitrary OrdBDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Function OrdBDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Function
newtypenewtype OrdC
#

Constructors

Instances7Eq, Num, Ord, Show, Arbitrary, CoArbitrary, …
  • Eq OrdCDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Num OrdCDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Ord OrdCDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Show OrdCDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Arbitrary OrdCDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • CoArbitrary OrdCDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Poly
  • Function OrdCDefined in QuickCheck-2.15.0.1 · Test.QuickCheck.Function