AIHC Haddock

Community
Modules 18

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.

newtype A

A :: Integer -> A

unA :: A -> Integer

newtype B

B :: Integer -> B

unB :: B -> Integer

newtype C

C :: Integer -> C

unC :: C -> Integer

Instances

30
  • instance Eq A
  • instance Show A
  • instance Arbitrary A
  • instance CoArbitrary A
  • instance Eq B
  • instance Show B
  • instance Arbitrary B
  • instance CoArbitrary B
  • instance Eq C
  • instance Show C
  • instance Arbitrary C
  • instance CoArbitrary C
  • instance Eq OrdA
  • instance Ord OrdA
  • instance Num OrdA
  • instance Show OrdA
  • instance Arbitrary OrdA
  • instance CoArbitrary OrdA
  • instance Eq OrdB
  • instance Ord OrdB
  • instance Num OrdB
  • instance Show OrdB
  • instance Arbitrary OrdB
  • instance CoArbitrary OrdB
  • instance Eq OrdC
  • instance Ord OrdC
  • instance Num OrdC
  • instance Show OrdC
  • instance Arbitrary OrdC
  • instance CoArbitrary OrdC
Build record and source files

Community contribution. The service has not verified this documentation. The generator reported 30 diagnostics.

Target: Linux on x86-64. Some inferred types and resolved links are not available.

Generator: aihc-haddock-aa6debbd-web-3

Metadata snapshot: f17ab6aeb2a7b6daf9fba7614097e138beeef85fa92c3fb7fdfed9ed0e49728c

Open the dependency plan · Download the documentation model

Import a package

Enter a package name and an exact version from Hackage. The site contains imported versions only.