QuickCheck-2.1.0.2: Automatic testing of Haskell programs

Test.QuickCheck.Poly

Documentation

newtype A Source

Constructors

A
Fields unA :: Integer

Instances

Eq A
Show A
CoArbitrary A
Arbitrary A
FunArbitrary A

newtype B Source

Constructors

B
Fields unB :: Integer

Instances

Eq B
Show B
CoArbitrary B
Arbitrary B
FunArbitrary B

newtype C Source

Constructors

C
Fields unC :: Integer

Instances

Eq C
Show C
CoArbitrary C
Arbitrary C
FunArbitrary C

newtype OrdA Source

Constructors

OrdA
Fields unOrdA :: Integer

Instances

Eq OrdA
Ord OrdA
Show OrdA
CoArbitrary OrdA
Arbitrary OrdA
FunArbitrary OrdA

newtype OrdB Source

Constructors

OrdB
Fields unOrdB :: Integer

Instances

Eq OrdB
Ord OrdB
Show OrdB
CoArbitrary OrdB
Arbitrary OrdB
FunArbitrary OrdB

newtype OrdC Source

Constructors

OrdC
Fields unOrdC :: Integer

Instances

Eq OrdC
Ord OrdC
Show OrdC
CoArbitrary OrdC
Arbitrary OrdC
FunArbitrary OrdC