[all reports]
| Package |
QuickCheck-2.18.0.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2026-02-26 13:11:49.226802617 UTC
|
| Compiler |
ghc-9.8.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.19.2.0, containers-0.6.8, deepseq-1.5.1.0, random-1.3.1, splitmix-0.1.3.2, template-haskell-2.21.0.0, transformers-0.6.1.0 |
| Flags |
-old-random templatehaskell
|
Code Coverage
| expressions | 51% (3987/7779) |
|---|
| boolean | guards | 23% (20/84) |
|---|
| conditions | 40% (9/22) |
|---|
| qualifiers | 60% (18/30) |
|---|
| alternatives | 44% (200/445) |
|---|
| local declarations | 56% (122/216) |
|---|
| top-level declarations | 31% (503/1591) |
|---|
Build log
[view raw]
Resolving dependencies...
Configuring splitmix-0.1.3.2...
Preprocessing library for splitmix-0.1.3.2..
Building library for splitmix-0.1.3.2..
[1 of 3] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o )
[2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o )
[3 of 3] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o )
Preprocessing library for splitmix-0.1.3.2..
Running Haddock on library for splitmix-0.1.3.2..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, nothing )
[2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, nothing )
[3 of 3] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, nothing )
Haddock coverage:
Warning: 'SMGen' is ambiguous. It is defined
* at src/System/Random/SplitMix.hs:77:14
* at src/System/Random/SplitMix.hs:77:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/SplitMix.hs:77:1
100% ( 22 / 22) in 'System.Random.SplitMix'
Warning: 'SMGen' is ambiguous. It is defined
* at src/System/Random/SplitMix32.hs:61:14
* at src/System/Random/SplitMix32.hs:61:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/SplitMix32.hs:61:1
100% ( 22 / 22) in 'System.Random.SplitMix32'
Documentation created: dist/doc/html/splitmix/,
dist/doc/html/splitmix/splitmix.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/splitmix-0.1.3.2-2SXojlwG8icBs6A9ie9EH9
Completed splitmix-0.1.3.2
Configuring random-1.3.1...
Preprocessing library for random-1.3.1..
Building library for random-1.3.1..
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o )
[5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o )
Preprocessing library for random-1.3.1..
Running Haddock on library for random-1.3.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, nothing )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, nothing )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, nothing )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, nothing )
[5 of 6] Compiling System.Random ( src/System/Random.hs, nothing )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, nothing )
Haddock coverage:
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:606:1
Warning: 'StateGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:612:22
* at src/System/Random/Internal.hs:612:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:612:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'MutableByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ST' is ambiguous. It is defined
* in GHC.ST
* in GHC.ST
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.ST
Warning: 'StateT' is ambiguous. It is defined
* in Control.Monad.Trans.State.Strict
* in Control.Monad.Trans.State.Strict
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Control.Monad.Trans.State.Strict
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'ByteArray' is ambiguous. It is defined
* in Data.Array.Byte
* in Data.Array.Byte
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Array.Byte
Warning: 'ByteString' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'uniformByteStringM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'ShortByteString' is ambiguous. It is defined
* in Data.ByteString.Short.Internal
* in Data.ByteString.Short.Internal
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.ByteString.Short.Internal
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
100% ( 71 / 71) in 'System.Random'
Warning: 'TGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:719:19
* at src/System/Random/Stateful.hs:719:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:719:1
Warning: 'STGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:618:22
* at src/System/Random/Stateful.hs:618:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:618:1
Warning: 'StateGenM' is ambiguous. It is defined
* at src/System/Random/Internal.hs:606:20
* at src/System/Random/Internal.hs:606:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:606:1
Warning: 'IOGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:542:20
* at src/System/Random/Stateful.hs:542:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:542:1
Warning: 'AtomicGenM' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:428:24
* at src/System/Random/Stateful.hs:428:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:428:1
Warning: 'Seed' is ambiguous. It is defined
* at src/System/Random/Internal.hs:134:18
* at src/System/Random/Internal.hs:134:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:134:1
Warning: 'StdGen' is ambiguous. It is defined
* at src/System/Random/Internal.hs:749:18
* at src/System/Random/Internal.hs:749:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Internal.hs:749:1
Warning: 'IOGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:547:19
* at src/System/Random/Stateful.hs:547:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:547:1
Warning: 'STGenM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STM' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'STGen' is ambiguous. It is defined
* at src/System/Random/Stateful.hs:623:19
* at src/System/Random/Stateful.hs:623:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/System/Random/Stateful.hs:623:1
Warning: 'clearBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'testBit' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% (137 /137) in 'System.Random.Stateful'
Warning: System.Random: could not find link destinations for:
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:SeedSizeTGen
Warning: System.Random.Stateful: could not find link destinations for:
- System.Random.GFinite.GFinite
- System.Random.GFinite.cardinality
- System.Random.GFinite.toFinite
- System.Random.GFinite.fromFinite
- System.Random.GFinite.Cardinality
- System.Random.Internal.GUniformRange
- System.Random.Internal.GUniform
- System.Random.Internal.D:R:MutableGenStateGenm
- System.Random.Seed.D:R:SeedSizeSMGen
- System.Random.Seed.D:R:SeedSizeSMGen0
- System.Random.Seed.D:R:SeedSizeStateGen
- System.Random.Seed.D:R:SeedSizeStdGen
- System.Random.Stateful.D:R:MutableGenAtomicGenm
- System.Random.Stateful.D:R:SeedSizeAtomicGen
- System.Random.Stateful.D:R:MutableGenIOGenm
- System.Random.Stateful.D:R:SeedSizeIOGen
- System.Random.Stateful.D:R:MutableGenSTGenST
- System.Random.Stateful.D:R:SeedSizeSTGen
- System.Random.Stateful.D:R:MutableGenTGenSTM
- System.Random.Stateful.D:R:SeedSizeTGen
Documentation created: dist/doc/html/random/, dist/doc/html/random/random.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/random-1.3.1-4YoyfNE8GMC3bv8ZvDq2uc
Completed random-1.3.1
Downloading QuickCheck-2.18.0.0
Downloaded QuickCheck-2.18.0.0
Configuring QuickCheck-2.18.0.0...
Preprocessing library for QuickCheck-2.18.0.0..
Building library for QuickCheck-2.18.0.0..
[ 1 of 18] Compiling Test.QuickCheck.Compat ( src/Test/QuickCheck/Compat.hs, dist/build/Test/QuickCheck/Compat.o, dist/build/Test/QuickCheck/Compat.dyn_o )
[ 2 of 18] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o, dist/build/Test/QuickCheck/Exception.dyn_o )
[ 3 of 18] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o, dist/build/Test/QuickCheck/Random.dyn_o )
[ 4 of 18] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o, dist/build/Test/QuickCheck/Gen.dyn_o )
[ 5 of 18] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o, dist/build/Test/QuickCheck/Gen/Unsafe.dyn_o )
[ 6 of 18] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o, dist/build/Test/QuickCheck/Arbitrary.dyn_o )
[ 7 of 18] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o, dist/build/Test/QuickCheck/Poly.dyn_o )
[ 8 of 18] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o, dist/build/Test/QuickCheck/Modifiers.dyn_o )
[ 9 of 18] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o, dist/build/Test/QuickCheck/Function.dyn_o )
[10 of 18] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o, dist/build/Test/QuickCheck/Text.dyn_o )
[11 of 18] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o, dist/build/Test/QuickCheck/State.dyn_o )
[12 of 18] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o, dist/build/Test/QuickCheck/Property.dyn_o )
[13 of 18] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o, dist/build/Test/QuickCheck/Test.dyn_o )
[14 of 18] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, dist/build/Test/QuickCheck/Monoids.o, dist/build/Test/QuickCheck/Monoids.dyn_o )
[15 of 18] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o, dist/build/Test/QuickCheck/Monadic.dyn_o )
[16 of 18] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o, dist/build/Test/QuickCheck/All.dyn_o )
[17 of 18] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, dist/build/Test/QuickCheck/Features.o, dist/build/Test/QuickCheck/Features.dyn_o )
[18 of 18] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, dist/build/Test/QuickCheck.o, dist/build/Test/QuickCheck.dyn_o )
Preprocessing library for QuickCheck-2.18.0.0..
Running Haddock on library for QuickCheck-2.18.0.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 18] Compiling Test.QuickCheck.Compat ( src/Test/QuickCheck/Compat.hs, nothing )
[ 2 of 18] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, nothing )
[ 3 of 18] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, nothing )
[ 4 of 18] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, nothing )
[ 5 of 18] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, nothing )
[ 6 of 18] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, nothing )
[ 7 of 18] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, nothing )
[ 8 of 18] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, nothing )
[ 9 of 18] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, nothing )
[10 of 18] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, nothing )
[11 of 18] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, nothing )
[12 of 18] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, nothing )
[13 of 18] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, nothing )
[14 of 18] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, nothing )
[15 of 18] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, nothing )
[16 of 18] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, nothing )
[17 of 18] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, nothing )
[18 of 18] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, nothing )
Haddock coverage:
0% ( 0 / 2) in 'Test.QuickCheck.Compat'
Missing documentation for:
Module header
mkSolo (src/Test/QuickCheck/Compat.hs:30)
92% ( 35 / 38) in 'Test.QuickCheck.Gen'
Missing documentation for:
chooseWord64 (src/Test/QuickCheck/Gen.hs:210)
chooseInt64 (src/Test/QuickCheck/Gen.hs:219)
chooseUpTo (src/Test/QuickCheck/Gen.hs:229)
80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe'
Missing documentation for:
Capture (src/Test/QuickCheck/Gen/Unsafe.hs:52)
Warning: '(:*:)' is ambiguous. It is defined
* in GHC.Generics
* in GHC.Generics
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in GHC.Generics
Warning: 'Version' is ambiguous. It is defined
* in Data.Version
* in Data.Version
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Data.Version
88% ( 45 / 51) in 'Test.QuickCheck.Arbitrary'
Missing documentation for:
arbitrary1 (src/Test/QuickCheck/Arbitrary.hs:333)
shrink1 (src/Test/QuickCheck/Arbitrary.hs:336)
arbitrary2 (src/Test/QuickCheck/Arbitrary.hs:345)
shrink2 (src/Test/QuickCheck/Arbitrary.hs:348)
RecursivelyShrink (src/Test/QuickCheck/Arbitrary.hs:360)
GSubterms (src/Test/QuickCheck/Arbitrary.hs:391)
Warning: 'A' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:29:13
* at src/Test/QuickCheck/Poly.hs:29:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Poly.hs:29:1
Warning: 'B' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:44:13
* at src/Test/QuickCheck/Poly.hs:44:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Poly.hs:44:1
Warning: 'C' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:59:13
* at src/Test/QuickCheck/Poly.hs:59:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Poly.hs:59:1
Warning: 'OrdA' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:77:16
* at src/Test/QuickCheck/Poly.hs:77:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Poly.hs:77:1
Warning: 'OrdB' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:112:16
* at src/Test/QuickCheck/Poly.hs:112:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Poly.hs:112:1
Warning: 'OrdC' is ambiguous. It is defined
* at src/Test/QuickCheck/Poly.hs:146:16
* at src/Test/QuickCheck/Poly.hs:146:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Poly.hs:146:1
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
Missing documentation for:
A (src/Test/QuickCheck/Poly.hs:29)
B (src/Test/QuickCheck/Poly.hs:44)
C (src/Test/QuickCheck/Poly.hs:59)
OrdA (src/Test/QuickCheck/Poly.hs:77)
OrdB (src/Test/QuickCheck/Poly.hs:112)
OrdC (src/Test/QuickCheck/Poly.hs:146)
Warning: 'Blind' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:94:19
* at src/Test/QuickCheck/Modifiers.hs:94:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Modifiers.hs:94:1
Warning: 'NonNegative' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:311:25
* at src/Test/QuickCheck/Modifiers.hs:311:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Modifiers.hs:311:1
Warning: 'Large' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:350:19
* at src/Test/QuickCheck/Modifiers.hs:350:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Modifiers.hs:350:1
95% ( 22 / 23) in 'Test.QuickCheck.Modifiers'
Missing documentation for:
ShrinkState (src/Test/QuickCheck/Modifiers.hs:486)
Warning: 'Fun' is ambiguous. It is defined
* at src/Test/QuickCheck/Function.hs:681:16
* at src/Test/QuickCheck/Function.hs:681:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Function.hs:681:1
100% ( 22 / 22) in 'Test.QuickCheck.Function'
Warning: 'Discard' is ambiguous. It is defined
* at src/Test/QuickCheck/Property.hs:114:16
* at src/Test/QuickCheck/Property.hs:114:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Property.hs:114:1
Warning: 'Confidence' is ambiguous. It is defined
* at src/Test/QuickCheck/State.hs:68:3
* at src/Test/QuickCheck/State.hs:67:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/State.hs:67:1
66% ( 2 / 3) in 'Test.QuickCheck.Monoids'
Missing documentation for:
Module header
83% ( 20 / 24) in 'Test.QuickCheck.Monadic'
Missing documentation for:
stop (src/Test/QuickCheck/Monadic.hs:156)
monadic (src/Test/QuickCheck/Monadic.hs:265)
monadic' (src/Test/QuickCheck/Monadic.hs:268)
runSTGen (src/Test/QuickCheck/Monadic.hs:307)
90% ( 10 / 11) in 'Test.QuickCheck.All'
Missing documentation for:
runQuickCheckAll (src/Test/QuickCheck/All.hs:220)
Warning: 'Fun' is ambiguous. It is defined
* at src/Test/QuickCheck/Function.hs:681:16
* at src/Test/QuickCheck/Function.hs:681:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Function.hs:681:1
Warning: 'Blind' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:94:19
* at src/Test/QuickCheck/Modifiers.hs:94:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Modifiers.hs:94:1
Warning: 'NonNegative' is ambiguous. It is defined
* at src/Test/QuickCheck/Modifiers.hs:311:25
* at src/Test/QuickCheck/Modifiers.hs:311:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/QuickCheck/Modifiers.hs:311:1
94% (204 /215) in 'Test.QuickCheck'
Missing documentation for:
arbitrary1 (src/Test/QuickCheck/Arbitrary.hs:333)
shrink1 (src/Test/QuickCheck/Arbitrary.hs:336)
arbitrary2 (src/Test/QuickCheck/Arbitrary.hs:345)
shrink2 (src/Test/QuickCheck/Arbitrary.hs:348)
chooseWord64 (src/Test/QuickCheck/Gen.hs:210)
chooseInt64 (src/Test/QuickCheck/Gen.hs:219)
chooseUpTo (src/Test/QuickCheck/Gen.hs:229)
ShrinkState (src/Test/QuickCheck/Modifiers.hs:486)
Witness (src/Test/QuickCheck/Property.hs:262)
coerceWitness (src/Test/QuickCheck/Property.hs:268)
castWitness (src/Test/QuickCheck/Property.hs:273)
Warning: Test.QuickCheck.Gen: could not find link destinations for:
- Test.QuickCheck.Random.QCGen
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
- Test.QuickCheck.Arbitrary.GCoArbitrary
- Test.QuickCheck.Arbitrary.GSubtermsIncl
- Test.QuickCheck.Arbitrary.gSubterms
- Test.QuickCheck.Arbitrary.grecursivelyShrink
Warning: Test.QuickCheck.Modifiers: could not find link destinations for:
- Test.QuickCheck.Modifiers.InfiniteListInternalData
Warning: Test.QuickCheck.Function: could not find link destinations for:
- Test.QuickCheck.Function.Shrunk
- Test.QuickCheck.Function.GFunction
Warning: Test.QuickCheck: could not find link destinations for:
- Test.QuickCheck.Exception.AnException
- Test.QuickCheck.Random.QCGen
- Test.QuickCheck.Arbitrary.GCoArbitrary
- Test.QuickCheck.Modifiers.InfiniteListInternalData
- Test.QuickCheck.Function.Shrunk
- Test.QuickCheck.Function.GFunction
- Test.QuickCheck.Property.Result
Documentation created: dist/doc/html/QuickCheck/,
dist/doc/html/QuickCheck/QuickCheck.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/QuickCheck-2.18.0.0-EsDYV4YOFkrI2DddOzhhM0
Completed QuickCheck-2.18.0.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
- ghc-paths-0.1.0.12 (lib:ghc-paths) (requires build)
- split-0.2.5 (lib:split) (requires build)
- splitmix-0.1.3.2 (lib:splitmix) (requires build)
- random-1.3.1 (lib:random) (requires build)
- temporary-1.3 (lib:temporary) (requires build)
- hint-0.9.0.9 (lib:hint) (requires download & build)
- QuickCheck-2.18.0.0 (first run)
Downloading hint-0.9.0.9
Downloaded hint-0.9.0.9
[1 of 2] Compiling Main ( /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-1056394/ghc-paths-0.1.0.12/dist/setup/setup.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-1056394/ghc-paths-0.1.0.12/dist/setup/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/tmp/src-1056394/ghc-paths-0.1.0.12/dist/setup/setup
Configuring ghc-paths-0.1.0.12...
Preprocessing library for ghc-paths-0.1.0.12..
Building library for ghc-paths-0.1.0.12..
[1 of 1] Compiling GHC.Paths ( GHC/Paths.hs, dist/build/GHC/Paths.o, dist/build/GHC/Paths.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1056394/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/ghc-paths-0.1.0.12-752baea774d5a9355b94345c7a0a744cc9812598aa286234fb651daeff14fda1/lib
Configuring split-0.2.5...
Preprocessing library for split-0.2.5..
Building library for split-0.2.5..
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o, dist/build/Data/List/Split/Internals.dyn_o )
[2 of 2] Compiling Data.List.Split ( src/Data/List/Split.hs, dist/build/Data/List/Split.o, dist/build/Data/List/Split.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1056394/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/split-0.2.5-f33af888e5d7aae30da13f4007499ef6436bee09a1ae76cd1167bd51d6698972/lib
Configuring splitmix-0.1.3.2...
Preprocessing library for splitmix-0.1.3.2..
Building library for splitmix-0.1.3.2..
[1 of 3] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o )
[2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o )
[3 of 3] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1056394/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/splitmix-0.1.3.2-58699aacc13c4e36b3742000d11b8933a456dac329521aa0a8cb8d048d296d12/lib
Configuring random-1.3.1...
Preprocessing library for random-1.3.1..
Building library for random-1.3.1..
[1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o )
[2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o )
[3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o )
[4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o )
[5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o )
[6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1056394/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/random-1.3.1-79b1fed16911015b00c8c7a45b14fb4ffea87308faf27dc110c73daa7a9a78c6/lib
Configuring temporary-1.3...
Preprocessing library for temporary-1.3..
Building library for temporary-1.3..
[1 of 1] Compiling System.IO.Temp ( System/IO/Temp.hs, dist/build/System/IO/Temp.o, dist/build/System/IO/Temp.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1056394/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/temporary-1.3-3862d3535781363aa99addfbe548207c114e6ca82a64e8742c64da50dc6d81c9/lib
Configuring hint-0.9.0.9...
Preprocessing library for hint-0.9.0.9..
Building library for hint-0.9.0.9..
[ 1 of 19] Compiling Control.Monad.Ghc ( src/Control/Monad/Ghc.hs, dist/build/Control/Monad/Ghc.o, dist/build/Control/Monad/Ghc.dyn_o )
src/Control/Monad/Ghc.hs:22:1: warning: [GHC-66111] [-Wunused-imports]
The qualified import of GHC.Utils.Exception is redundant
except perhaps to import instances from GHC.Utils.Exception
To import instances alone, use: import GHC.Utils.Exception()
|
22 | import qualified GHC.Utils.Exception as GHC
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 2 of 19] Compiling Hint.CompatPlatform ( src/Hint/CompatPlatform.hs, dist/build/Hint/CompatPlatform.o, dist/build/Hint/CompatPlatform.dyn_o )
[ 3 of 19] Compiling Hint.GHC ( src/Hint/GHC.hs, dist/build/Hint/GHC.o, dist/build/Hint/GHC.dyn_o )
src/Hint/GHC.hs:192:1: warning: [GHC-66111] [-Wunused-imports]
The import of GHC.Driver.CmdLine is redundant
except perhaps to import instances from GHC.Driver.CmdLine
To import instances alone, use: import GHC.Driver.CmdLine()
|
192 | import GHC.Driver.CmdLine (Warn)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 4 of 19] Compiling Hint.Extension ( src/Hint/Extension.hs, dist/build/Hint/Extension.o, dist/build/Hint/Extension.dyn_o )
[ 5 of 19] Compiling Hint.Base ( src/Hint/Base.hs, dist/build/Hint/Base.o, dist/build/Hint/Base.dyn_o )
[ 6 of 19] Compiling Hint.Conversions ( src/Hint/Conversions.hs, dist/build/Hint/Conversions.o, dist/build/Hint/Conversions.dyn_o )
[ 7 of 19] Compiling Hint.Annotations ( src/Hint/Annotations.hs, dist/build/Hint/Annotations.o, dist/build/Hint/Annotations.dyn_o )
[ 8 of 19] Compiling Hint.Parsers ( src/Hint/Parsers.hs, dist/build/Hint/Parsers.o, dist/build/Hint/Parsers.dyn_o )
[ 9 of 19] Compiling Hint.Reflection ( src/Hint/Reflection.hs, dist/build/Hint/Reflection.o, dist/build/Hint/Reflection.dyn_o )
[10 of 19] Compiling Hint.Typecheck ( src/Hint/Typecheck.hs, dist/build/Hint/Typecheck.o, dist/build/Hint/Typecheck.dyn_o )
[11 of 19] Compiling Hint.Internal ( src/Hint/Internal.hs, dist/build/Hint/Internal.o, dist/build/Hint/Internal.dyn_o )
[12 of 19] Compiling Hint.Util ( src/Hint/Util.hs, dist/build/Hint/Util.o, dist/build/Hint/Util.dyn_o )
[13 of 19] Compiling Hint.Configuration ( src/Hint/Configuration.hs, dist/build/Hint/Configuration.o, dist/build/Hint/Configuration.dyn_o )
src/Hint/Configuration.hs:20:1: warning: [GHC-66111] [-Wunused-imports]
The import of Data.Maybe is redundant
except perhaps to import instances from Data.Maybe
To import instances alone, use: import Data.Maybe()
|
20 | import Data.Maybe (maybe)
| ^^^^^^^^^^^^^^^^^^^^^^^^^
[14 of 19] Compiling Hint.Context ( src/Hint/Context.hs, dist/build/Hint/Context.o, dist/build/Hint/Context.dyn_o )
[15 of 19] Compiling Hint.InterpreterT ( src/Hint/InterpreterT.hs, dist/build/Hint/InterpreterT.o, dist/build/Hint/InterpreterT.dyn_o )
src/Hint/InterpreterT.hs:22:1: warning: [GHC-66111] [-Wunused-imports]
The import of Control.Concurrent.MVar is redundant
except perhaps to import instances from Control.Concurrent.MVar
To import instances alone, use: import Control.Concurrent.MVar()
|
22 | import Control.Concurrent.MVar
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Hint/InterpreterT.hs:23:1: warning: [GHC-66111] [-Wunused-imports]
The import of System.IO.Unsafe is redundant
except perhaps to import instances from System.IO.Unsafe
To import instances alone, use: import System.IO.Unsafe()
|
23 | import System.IO.Unsafe (unsafePerformIO)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[16 of 19] Compiling Hint.Eval ( src/Hint/Eval.hs, dist/build/Hint/Eval.o, dist/build/Hint/Eval.dyn_o )
[17 of 19] Compiling Language.Haskell.Interpreter ( src/Language/Haskell/Interpreter.hs, dist/build/Language/Haskell/Interpreter.o, dist/build/Language/Haskell/Interpreter.dyn_o )
[18 of 19] Compiling Language.Haskell.Interpreter.Extension ( src/Language/Haskell/Interpreter/Extension.hs, dist/build/Language/Haskell/Interpreter/Extension.o, dist/build/Language/Haskell/Interpreter/Extension.dyn_o )
[19 of 19] Compiling Language.Haskell.Interpreter.Unsafe ( src/Language/Haskell/Interpreter/Unsafe.hs, dist/build/Language/Haskell/Interpreter/Unsafe.o, dist/build/Language/Haskell/Interpreter/Unsafe.dyn_o )
Installing library in /tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/incoming/new-1056394/tmp/hackage-doc-builder/.local/state/cabal/store/ghc-9.8.4/hint-0.9.0.9-0b0f1f59afa5331fcd669e95e5e19c579022fa3133e19d7a95f607aff4320d03/lib
Configuring QuickCheck-2.18.0.0...
Preprocessing library for QuickCheck-2.18.0.0..
Building library for QuickCheck-2.18.0.0..
[ 1 of 18] Compiling Test.QuickCheck.Compat ( src/Test/QuickCheck/Compat.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Compat.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Compat.dyn_o )
[ 2 of 18] Compiling Test.QuickCheck.Exception ( src/Test/QuickCheck/Exception.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Exception.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Exception.dyn_o )
[ 3 of 18] Compiling Test.QuickCheck.Random ( src/Test/QuickCheck/Random.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Random.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Random.dyn_o )
[ 4 of 18] Compiling Test.QuickCheck.Gen ( src/Test/QuickCheck/Gen.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Gen.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Gen.dyn_o )
[ 5 of 18] Compiling Test.QuickCheck.Gen.Unsafe ( src/Test/QuickCheck/Gen/Unsafe.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Gen/Unsafe.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Gen/Unsafe.dyn_o )
[ 6 of 18] Compiling Test.QuickCheck.Arbitrary ( src/Test/QuickCheck/Arbitrary.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Arbitrary.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Arbitrary.dyn_o )
[ 7 of 18] Compiling Test.QuickCheck.Poly ( src/Test/QuickCheck/Poly.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Poly.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Poly.dyn_o )
[ 8 of 18] Compiling Test.QuickCheck.Modifiers ( src/Test/QuickCheck/Modifiers.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Modifiers.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Modifiers.dyn_o )
[ 9 of 18] Compiling Test.QuickCheck.Function ( src/Test/QuickCheck/Function.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Function.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Function.dyn_o )
[10 of 18] Compiling Test.QuickCheck.Text ( src/Test/QuickCheck/Text.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Text.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Text.dyn_o )
[11 of 18] Compiling Test.QuickCheck.State ( src/Test/QuickCheck/State.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/State.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/State.dyn_o )
[12 of 18] Compiling Test.QuickCheck.Property ( src/Test/QuickCheck/Property.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Property.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Property.dyn_o )
[13 of 18] Compiling Test.QuickCheck.Test ( src/Test/QuickCheck/Test.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Test.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Test.dyn_o )
[14 of 18] Compiling Test.QuickCheck.Monoids ( src/Test/QuickCheck/Monoids.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Monoids.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Monoids.dyn_o )
[15 of 18] Compiling Test.QuickCheck.Monadic ( src/Test/QuickCheck/Monadic.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Monadic.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Monadic.dyn_o )
[16 of 18] Compiling Test.QuickCheck.All ( src/Test/QuickCheck/All.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/All.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/All.dyn_o )
[17 of 18] Compiling Test.QuickCheck.Features ( src/Test/QuickCheck/Features.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Features.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck/Features.dyn_o )
[18 of 18] Compiling Test.QuickCheck ( src/Test/QuickCheck.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/Test/QuickCheck.dyn_o )
Preprocessing test suite 'test-quickcheck' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( examples/Heap.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck/test-quickcheck-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck/test-quickcheck
Preprocessing test suite 'test-quickcheck-discard' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-discard' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/DiscardRatio.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-discard/test-quickcheck-discard-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-discard/test-quickcheck-discard
Preprocessing test suite 'test-quickcheck-gcoarbitrary' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-gcoarbitrary' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/GCoArbitraryExample.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-gcoarbitrary/test-quickcheck-gcoarbitrary-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-gcoarbitrary/test-quickcheck-gcoarbitrary
Preprocessing test suite 'test-quickcheck-generators' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-generators' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/Generators.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-generators/test-quickcheck-generators-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-generators/test-quickcheck-generators
Preprocessing test suite 'test-quickcheck-gshrink' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-gshrink' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/GShrinkExample.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-gshrink/test-quickcheck-gshrink-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-gshrink/test-quickcheck-gshrink
Preprocessing test suite 'test-quickcheck-instances' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-instances' for QuickCheck-2.18.0.0..
[1 of 2] Compiling CollectDataTypes ( tests/CollectDataTypes.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-instances/test-quickcheck-instances-tmp/CollectDataTypes.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-instances/test-quickcheck-instances-tmp/CollectDataTypes.dyn_o )
[2 of 2] Compiling Main ( tests/RunCollectDataTypes.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-instances/test-quickcheck-instances-tmp/Main.o )
Control.Applicative
Control.Arrow
Control.Category
Control.Monad
Control.Monad.Fail
Control.Monad.Fix
Control.Monad.IO.Class
Control.Monad.Instances
Control.Monad.Zip
Data.Array.Byte
Data.Bifoldable
Data.Bifoldable1
Data.Bifunctor
Data.Bitraversable
Data.Bits
Data.Bool
Data.Char
Data.Coerce
Data.Complex
Data.Either
Data.Eq
Data.Fixed
Data.Foldable
Data.Foldable1
Data.Function
Data.Functor
Data.Functor.Classes
Data.Functor.Compose
Data.Functor.Const
Data.Functor.Identity
Data.Functor.Product
Data.Functor.Sum
Data.IORef
Data.Int
Data.Ix
Data.Kind
Data.List
Data.List.NonEmpty
Data.Maybe
Data.Monoid
Data.Ord
Data.Proxy
Data.Ratio
Data.STRef
Data.STRef.Lazy
Data.STRef.Strict
Data.Semigroup
Data.String
Data.Traversable
Data.Tuple
Data.Type.Bool
Data.Type.Coercion
Data.Type.Equality
Data.Type.Ord
Data.Unique
Data.Version
Data.Void
Data.Word
Debug.Trace
Numeric
Numeric.Natural
Prelude
System.CPUTime
System.Console.GetOpt
System.Environment
System.Environment.Blank
System.Exit
System.IO
System.IO.Error
System.IO.Unsafe
System.Info
Text.Printf
Text.Show
Text.Show.Functions
Unsafe.Coerce
tests/RunCollectDataTypes.hs:87:2-26: Splicing declarations
createProperties "base"
======>
allProps_a1p0I
= [("prop_ControlApplicativeZipList",
prop_ControlApplicativeZipList_a1oSM),
("prop_co_ControlApplicativeZipList",
prop_co_ControlApplicativeZipList_a1oSN),
("prop_function_ControlApplicativeZipList",
prop_function_ControlApplicativeZipList_a1oSO),
("prop_DataArrayByteByteArray", prop_DataArrayByteByteArray_a1oSS),
("prop_co_DataArrayByteByteArray",
prop_co_DataArrayByteByteArray_a1oST),
("prop_function_DataArrayByteByteArray",
prop_function_DataArrayByteByteArray_a1oSU),
("prop_DataBitsAnd", prop_DataBitsAnd_a1oSY),
("prop_co_DataBitsAnd", prop_co_DataBitsAnd_a1oSZ),
("prop_function_DataBitsAnd", prop_function_DataBitsAnd_a1oT0),
("prop_DataBitsIff", prop_DataBitsIff_a1oT4),
("prop_co_DataBitsIff", prop_co_DataBitsIff_a1oT5),
("prop_function_DataBitsIff", prop_function_DataBitsIff_a1oT6),
("prop_DataBitsIor", prop_DataBitsIor_a1oTa),
("prop_co_DataBitsIor", prop_co_DataBitsIor_a1oTb),
("prop_function_DataBitsIor", prop_function_DataBitsIor_a1oTc),
("prop_DataBitsXor", prop_DataBitsXor_a1oTg),
("prop_co_DataBitsXor", prop_co_DataBitsXor_a1oTh),
("prop_function_DataBitsXor", prop_function_DataBitsXor_a1oTi),
("prop_DataBoolBool", prop_DataBoolBool_a1oTm),
("prop_co_DataBoolBool", prop_co_DataBoolBool_a1oTn),
("prop_function_DataBoolBool", prop_function_DataBoolBool_a1oTo),
("prop_DataCharGeneralCategory",
prop_DataCharGeneralCategory_a1oTs),
("prop_co_DataCharGeneralCategory",
prop_co_DataCharGeneralCategory_a1oTt),
("prop_function_DataCharGeneralCategory",
prop_function_DataCharGeneralCategory_a1oTu),
("prop_DataCharChar", prop_DataCharChar_a1oTy),
("prop_co_DataCharChar", prop_co_DataCharChar_a1oTz),
("prop_function_DataCharChar", prop_function_DataCharChar_a1oTA),
("prop_DataEitherEither", prop_DataEitherEither_a1oTE),
("prop_co_DataEitherEither", prop_co_DataEitherEither_a1oTF),
("prop_function_DataEitherEither",
prop_function_DataEitherEither_a1oTG),
("prop_DataFixedCenti", prop_DataFixedCenti_a1oTK),
("prop_co_DataFixedCenti", prop_co_DataFixedCenti_a1oTL),
("prop_function_DataFixedCenti",
prop_function_DataFixedCenti_a1oTM),
("prop_DataFixedDeci", prop_DataFixedDeci_a1oTQ),
("prop_co_DataFixedDeci", prop_co_DataFixedDeci_a1oTR),
("prop_function_DataFixedDeci", prop_function_DataFixedDeci_a1oTS),
("prop_DataFixedMicro", prop_DataFixedMicro_a1oTW),
("prop_co_DataFixedMicro", prop_co_DataFixedMicro_a1oTX),
("prop_function_DataFixedMicro",
prop_function_DataFixedMicro_a1oTY),
("prop_DataFixedMilli", prop_DataFixedMilli_a1oU2),
("prop_co_DataFixedMilli", prop_co_DataFixedMilli_a1oU3),
("prop_function_DataFixedMilli",
prop_function_DataFixedMilli_a1oU4),
("prop_DataFixedNano", prop_DataFixedNano_a1oU8),
("prop_co_DataFixedNano", prop_co_DataFixedNano_a1oU9),
("prop_function_DataFixedNano", prop_function_DataFixedNano_a1oUa),
("prop_DataFixedPico", prop_DataFixedPico_a1oUe),
("prop_co_DataFixedPico", prop_co_DataFixedPico_a1oUf),
("prop_function_DataFixedPico", prop_function_DataFixedPico_a1oUg),
("prop_DataFixedUni", prop_DataFixedUni_a1oUk),
("prop_co_DataFixedUni", prop_co_DataFixedUni_a1oUl),
("prop_function_DataFixedUni", prop_function_DataFixedUni_a1oUm),
("prop_DataFunctorIdentityIdentity",
prop_DataFunctorIdentityIdentity_a1oUq),
("prop_co_DataFunctorIdentityIdentity",
prop_co_DataFunctorIdentityIdentity_a1oUr),
("prop_function_DataFunctorIdentityIdentity",
prop_function_DataFunctorIdentityIdentity_a1oUs),
("prop_DataIntInt16", prop_DataIntInt16_a1oUw),
("prop_co_DataIntInt16", prop_co_DataIntInt16_a1oUx),
("prop_function_DataIntInt16", prop_function_DataIntInt16_a1oUy),
("prop_DataIntInt32", prop_DataIntInt32_a1oUC),
("prop_co_DataIntInt32", prop_co_DataIntInt32_a1oUD),
("prop_function_DataIntInt32", prop_function_DataIntInt32_a1oUE),
("prop_DataIntInt64", prop_DataIntInt64_a1oUI),
("prop_co_DataIntInt64", prop_co_DataIntInt64_a1oUJ),
("prop_function_DataIntInt64", prop_function_DataIntInt64_a1oUK),
("prop_DataIntInt8", prop_DataIntInt8_a1oUO),
("prop_co_DataIntInt8", prop_co_DataIntInt8_a1oUP),
("prop_function_DataIntInt8", prop_function_DataIntInt8_a1oUQ),
("prop_DataIntInt", prop_DataIntInt_a1oUU),
("prop_co_DataIntInt", prop_co_DataIntInt_a1oUV),
("prop_function_DataIntInt", prop_function_DataIntInt_a1oUW),
("prop_DataListNonEmptyNonEmpty",
prop_DataListNonEmptyNonEmpty_a1oV0),
("prop_co_DataListNonEmptyNonEmpty",
prop_co_DataListNonEmptyNonEmpty_a1oV1),
("prop_function_DataListNonEmptyNonEmpty",
prop_function_DataListNonEmptyNonEmpty_a1oV2),
("prop_DataMaybeMaybe", prop_DataMaybeMaybe_a1oV6),
("prop_co_DataMaybeMaybe", prop_co_DataMaybeMaybe_a1oV7),
("prop_function_DataMaybeMaybe",
prop_function_DataMaybeMaybe_a1oV8),
("prop_DataMonoidFirst", prop_DataMonoidFirst_a1oVc),
("prop_co_DataMonoidFirst", prop_co_DataMonoidFirst_a1oVd),
("prop_function_DataMonoidFirst",
prop_function_DataMonoidFirst_a1oVe),
("prop_DataMonoidLast", prop_DataMonoidLast_a1oVi),
("prop_co_DataMonoidLast", prop_co_DataMonoidLast_a1oVj),
("prop_function_DataMonoidLast",
prop_function_DataMonoidLast_a1oVk),
("prop_DataMonoidAll", prop_DataMonoidAll_a1oVo),
("prop_co_DataMonoidAll", prop_co_DataMonoidAll_a1oVp),
("prop_function_DataMonoidAll", prop_function_DataMonoidAll_a1oVq),
("prop_DataMonoidAny", prop_DataMonoidAny_a1oVu),
("prop_co_DataMonoidAny", prop_co_DataMonoidAny_a1oVv),
("prop_function_DataMonoidAny", prop_function_DataMonoidAny_a1oVw),
("prop_DataMonoidDual", prop_DataMonoidDual_a1oVA),
("prop_co_DataMonoidDual", prop_co_DataMonoidDual_a1oVB),
("prop_function_DataMonoidDual",
prop_function_DataMonoidDual_a1oVC),
("prop_DataMonoidProduct", prop_DataMonoidProduct_a1oVG),
("prop_co_DataMonoidProduct", prop_co_DataMonoidProduct_a1oVH),
("prop_function_DataMonoidProduct",
prop_function_DataMonoidProduct_a1oVI),
("prop_DataMonoidSum", prop_DataMonoidSum_a1oVM),
("prop_co_DataMonoidSum", prop_co_DataMonoidSum_a1oVN),
("prop_function_DataMonoidSum", prop_function_DataMonoidSum_a1oVO),
("prop_DataOrdDown", prop_DataOrdDown_a1oVS),
("prop_co_DataOrdDown", prop_co_DataOrdDown_a1oVT),
("prop_function_DataOrdDown", prop_function_DataOrdDown_a1oVU),
("prop_DataOrdOrdering", prop_DataOrdOrdering_a1oVY),
("prop_co_DataOrdOrdering", prop_co_DataOrdOrdering_a1oVZ),
("prop_function_DataOrdOrdering",
prop_function_DataOrdOrdering_a1oW0),
("prop_DataRatioRatio", prop_DataRatioRatio_a1oW4),
("prop_co_DataRatioRatio", prop_co_DataRatioRatio_a1oW5),
("prop_function_DataRatioRatio",
prop_function_DataRatioRatio_a1oW6),
("prop_DataRatioRational", prop_DataRatioRational_a1oWa),
("prop_co_DataRatioRational", prop_co_DataRatioRational_a1oWb),
("prop_function_DataRatioRational",
prop_function_DataRatioRational_a1oWc),
("prop_DataSemigroupArg", prop_DataSemigroupArg_a1oWg),
("prop_co_DataSemigroupArg", prop_co_DataSemigroupArg_a1oWh),
("prop_function_DataSemigroupArg",
prop_function_DataSemigroupArg_a1oWi),
("prop_DataSemigroupArgMax", prop_DataSemigroupArgMax_a1oWm),
("prop_co_DataSemigroupArgMax", prop_co_DataSemigroupArgMax_a1oWn),
("prop_function_DataSemigroupArgMax",
prop_function_DataSemigroupArgMax_a1oWo),
("prop_DataSemigroupArgMin", prop_DataSemigroupArgMin_a1oWs),
("prop_co_DataSemigroupArgMin", prop_co_DataSemigroupArgMin_a1oWt),
("prop_function_DataSemigroupArgMin",
prop_function_DataSemigroupArgMin_a1oWu),
("prop_DataSemigroupFirst", prop_DataSemigroupFirst_a1oWy),
("prop_co_DataSemigroupFirst", prop_co_DataSemigroupFirst_a1oWz),
("prop_function_DataSemigroupFirst",
prop_function_DataSemigroupFirst_a1oWA),
("prop_DataSemigroupLast", prop_DataSemigroupLast_a1oWE),
("prop_co_DataSemigroupLast", prop_co_DataSemigroupLast_a1oWF),
("prop_function_DataSemigroupLast",
prop_function_DataSemigroupLast_a1oWG),
("prop_DataSemigroupMax", prop_DataSemigroupMax_a1oWK),
("prop_co_DataSemigroupMax", prop_co_DataSemigroupMax_a1oWL),
("prop_function_DataSemigroupMax",
prop_function_DataSemigroupMax_a1oWM),
("prop_DataSemigroupMin", prop_DataSemigroupMin_a1oWQ),
("prop_co_DataSemigroupMin", prop_co_DataSemigroupMin_a1oWR),
("prop_function_DataSemigroupMin",
prop_function_DataSemigroupMin_a1oWS),
("prop_DataSemigroupWrappedMonoid",
prop_DataSemigroupWrappedMonoid_a1oWW),
("prop_co_DataSemigroupWrappedMonoid",
prop_co_DataSemigroupWrappedMonoid_a1oWX),
("prop_function_DataSemigroupWrappedMonoid",
prop_function_DataSemigroupWrappedMonoid_a1oWY),
("prop_DataSemigroupAll", prop_DataSemigroupAll_a1oX2),
("prop_co_DataSemigroupAll", prop_co_DataSemigroupAll_a1oX3),
("prop_function_DataSemigroupAll",
prop_function_DataSemigroupAll_a1oX4),
("prop_DataSemigroupAny", prop_DataSemigroupAny_a1oX8),
("prop_co_DataSemigroupAny", prop_co_DataSemigroupAny_a1oX9),
("prop_function_DataSemigroupAny",
prop_function_DataSemigroupAny_a1oXa),
("prop_DataSemigroupDual", prop_DataSemigroupDual_a1oXe),
("prop_co_DataSemigroupDual", prop_co_DataSemigroupDual_a1oXf),
("prop_function_DataSemigroupDual",
prop_function_DataSemigroupDual_a1oXg),
("prop_DataSemigroupProduct", prop_DataSemigroupProduct_a1oXk),
("prop_co_DataSemigroupProduct",
prop_co_DataSemigroupProduct_a1oXl),
("prop_function_DataSemigroupProduct",
prop_function_DataSemigroupProduct_a1oXm),
("prop_DataSemigroupSum", prop_DataSemigroupSum_a1oXq),
("prop_co_DataSemigroupSum", prop_co_DataSemigroupSum_a1oXr),
("prop_function_DataSemigroupSum",
prop_function_DataSemigroupSum_a1oXs),
("prop_DataStringString", prop_DataStringString_a1oXw),
("prop_co_DataStringString", prop_co_DataStringString_a1oXx),
("prop_function_DataStringString",
prop_function_DataStringString_a1oXy),
("prop_DataTupleSolo", prop_DataTupleSolo_a1oXC),
("prop_co_DataTupleSolo", prop_co_DataTupleSolo_a1oXD),
("prop_function_DataTupleSolo", prop_function_DataTupleSolo_a1oXE),
("prop_DataVersionVersion", prop_DataVersionVersion_a1oXI),
("prop_co_DataVersionVersion", prop_co_DataVersionVersion_a1oXJ),
("prop_function_DataVersionVersion",
prop_function_DataVersionVersion_a1oXK),
("prop_DataWordWord16", prop_DataWordWord16_a1oXO),
("prop_co_DataWordWord16", prop_co_DataWordWord16_a1oXP),
("prop_function_DataWordWord16",
prop_function_DataWordWord16_a1oXQ),
("prop_DataWordWord32", prop_DataWordWord32_a1oXU),
("prop_co_DataWordWord32", prop_co_DataWordWord32_a1oXV),
("prop_function_DataWordWord32",
prop_function_DataWordWord32_a1oXW),
("prop_DataWordWord64", prop_DataWordWord64_a1oY0),
("prop_co_DataWordWord64", prop_co_DataWordWord64_a1oY1),
("prop_function_DataWordWord64",
prop_function_DataWordWord64_a1oY2),
("prop_DataWordWord8", prop_DataWordWord8_a1oY6),
("prop_co_DataWordWord8", prop_co_DataWordWord8_a1oY7),
("prop_function_DataWordWord8", prop_function_DataWordWord8_a1oY8),
("prop_DataWordWord", prop_DataWordWord_a1oYc),
("prop_co_DataWordWord", prop_co_DataWordWord_a1oYd),
("prop_function_DataWordWord", prop_function_DataWordWord_a1oYe),
("prop_NumericNaturalNatural", prop_NumericNaturalNatural_a1oYi),
("prop_co_NumericNaturalNatural",
prop_co_NumericNaturalNatural_a1oYj),
("prop_function_NumericNaturalNatural",
prop_function_NumericNaturalNatural_a1oYk),
("prop_PreludeEither", prop_PreludeEither_a1oYo),
("prop_co_PreludeEither", prop_co_PreludeEither_a1oYp),
("prop_function_PreludeEither", prop_function_PreludeEither_a1oYq),
("prop_PreludeFilePath", prop_PreludeFilePath_a1oYu),
("prop_co_PreludeFilePath", prop_co_PreludeFilePath_a1oYv),
("prop_function_PreludeFilePath",
prop_function_PreludeFilePath_a1oYw),
("prop_PreludeRational", prop_PreludeRational_a1oYA),
("prop_co_PreludeRational", prop_co_PreludeRational_a1oYB),
("prop_function_PreludeRational",
prop_function_PreludeRational_a1oYC),
("prop_PreludeOrdering", prop_PreludeOrdering_a1oYG),
("prop_co_PreludeOrdering", prop_co_PreludeOrdering_a1oYH),
("prop_function_PreludeOrdering",
prop_function_PreludeOrdering_a1oYI),
("prop_PreludeString", prop_PreludeString_a1oYM),
("prop_co_PreludeString", prop_co_PreludeString_a1oYN),
("prop_function_PreludeString", prop_function_PreludeString_a1oYO),
("prop_PreludeMaybe", prop_PreludeMaybe_a1oYS),
("prop_co_PreludeMaybe", prop_co_PreludeMaybe_a1oYT),
("prop_function_PreludeMaybe", prop_function_PreludeMaybe_a1oYU),
("prop_PreludeInteger", prop_PreludeInteger_a1oYY),
("prop_co_PreludeInteger", prop_co_PreludeInteger_a1oYZ),
("prop_function_PreludeInteger",
prop_function_PreludeInteger_a1oZ0),
("prop_PreludeBool", prop_PreludeBool_a1oZ4),
("prop_co_PreludeBool", prop_co_PreludeBool_a1oZ5),
("prop_function_PreludeBool", prop_function_PreludeBool_a1oZ6),
("prop_PreludeChar", prop_PreludeChar_a1oZa),
("prop_co_PreludeChar", prop_co_PreludeChar_a1oZb),
("prop_function_PreludeChar", prop_function_PreludeChar_a1oZc),
("prop_PreludeDouble", prop_PreludeDouble_a1oZg),
("prop_co_PreludeDouble", prop_co_PreludeDouble_a1oZh),
("prop_function_PreludeDouble", prop_function_PreludeDouble_a1oZi),
("prop_PreludeFloat", prop_PreludeFloat_a1oZm),
("prop_co_PreludeFloat", prop_co_PreludeFloat_a1oZn),
("prop_function_PreludeFloat", prop_function_PreludeFloat_a1oZo),
("prop_PreludeInt", prop_PreludeInt_a1oZs),
("prop_co_PreludeInt", prop_co_PreludeInt_a1oZt),
("prop_function_PreludeInt", prop_function_PreludeInt_a1oZu),
("prop_PreludeWord", prop_PreludeWord_a1oZy),
("prop_co_PreludeWord", prop_co_PreludeWord_a1oZz),
("prop_function_PreludeWord", prop_function_PreludeWord_a1oZA),
("prop_SystemExitExitCode", prop_SystemExitExitCode_a1oZE),
("prop_co_SystemExitExitCode", prop_co_SystemExitExitCode_a1oZF),
("prop_function_SystemExitExitCode",
prop_function_SystemExitExitCode_a1oZG),
("prop_SystemIOFilePath", prop_SystemIOFilePath_a1oZK),
("prop_co_SystemIOFilePath", prop_co_SystemIOFilePath_a1oZL),
("prop_function_SystemIOFilePath",
prop_function_SystemIOFilePath_a1oZM),
("prop_SystemIOSeekMode", prop_SystemIOSeekMode_a1oZQ),
("prop_co_SystemIOSeekMode", prop_co_SystemIOSeekMode_a1oZR),
("prop_function_SystemIOSeekMode",
prop_function_SystemIOSeekMode_a1oZS),
("prop_SystemIOBufferMode", prop_SystemIOBufferMode_a1oZW),
("prop_co_SystemIOBufferMode", prop_co_SystemIOBufferMode_a1oZX),
("prop_function_SystemIOBufferMode",
prop_function_SystemIOBufferMode_a1oZY),
("prop_SystemIONewline", prop_SystemIONewline_a1p02),
("prop_co_SystemIONewline", prop_co_SystemIONewline_a1p03),
("prop_function_SystemIONewline",
prop_function_SystemIONewline_a1p04),
("prop_SystemIONewlineMode", prop_SystemIONewlineMode_a1p08),
("prop_co_SystemIONewlineMode", prop_co_SystemIONewlineMode_a1p09),
("prop_function_SystemIONewlineMode",
prop_function_SystemIONewlineMode_a1p0a),
("prop_SystemIOIOMode", prop_SystemIOIOMode_a1p0e),
("prop_co_SystemIOIOMode", prop_co_SystemIOIOMode_a1p0f),
("prop_function_SystemIOIOMode",
prop_function_SystemIOIOMode_a1p0g),
("prop_TextPrintfFieldFormat", prop_TextPrintfFieldFormat_a1p0k),
("prop_co_TextPrintfFieldFormat",
prop_co_TextPrintfFieldFormat_a1p0l),
("prop_function_TextPrintfFieldFormat",
prop_function_TextPrintfFieldFormat_a1p0m),
("prop_TextPrintfFormatAdjustment",
prop_TextPrintfFormatAdjustment_a1p0q),
("prop_co_TextPrintfFormatAdjustment",
prop_co_TextPrintfFormatAdjustment_a1p0r),
("prop_function_TextPrintfFormatAdjustment",
prop_function_TextPrintfFormatAdjustment_a1p0s),
("prop_TextPrintfFormatParse", prop_TextPrintfFormatParse_a1p0w),
("prop_co_TextPrintfFormatParse",
prop_co_TextPrintfFormatParse_a1p0x),
("prop_function_TextPrintfFormatParse",
prop_function_TextPrintfFormatParse_a1p0y),
("prop_TextPrintfFormatSign", prop_TextPrintfFormatSign_a1p0C),
("prop_co_TextPrintfFormatSign",
prop_co_TextPrintfFormatSign_a1p0D),
("prop_function_TextPrintfFormatSign",
prop_function_TextPrintfFormatSign_a1p0E)]
prop_ControlApplicativeZipList_a1oSM
= forAllBlind
(arbitrary :: Gen (ZipList Int))
(\ x_a1oSP -> (x_a1oSP `seq` True))
prop_co_ControlApplicativeZipList_a1oSN
= forAllBlind
(arbitrary :: Gen (ZipList Int -> Integer))
(\ x_a1oSQ -> (x_a1oSQ `seq` True))
prop_function_ControlApplicativeZipList_a1oSO
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (ZipList Int) Integer))
(\ x_a1oSR -> (x_a1oSR `seq` True))
prop_DataArrayByteByteArray_a1oSS
= forAllBlind
(arbitrary :: Gen ByteArray) (\ x_a1oSV -> (x_a1oSV `seq` True))
prop_co_DataArrayByteByteArray_a1oST
= forAllBlind
(arbitrary :: Gen (ByteArray -> Integer))
(\ x_a1oSW -> (x_a1oSW `seq` True))
prop_function_DataArrayByteByteArray_a1oSU
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) ByteArray Integer))
(\ x_a1oSX -> (x_a1oSX `seq` True))
prop_DataBitsAnd_a1oSY
= forAllBlind
(arbitrary :: Gen (And Int)) (\ x_a1oT1 -> (x_a1oT1 `seq` True))
prop_co_DataBitsAnd_a1oSZ
= forAllBlind
(arbitrary :: Gen (And Int -> Integer))
(\ x_a1oT2 -> (x_a1oT2 `seq` True))
prop_function_DataBitsAnd_a1oT0
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (And Int) Integer))
(\ x_a1oT3 -> (x_a1oT3 `seq` True))
prop_DataBitsIff_a1oT4
= forAllBlind
(arbitrary :: Gen (Iff Int)) (\ x_a1oT7 -> (x_a1oT7 `seq` True))
prop_co_DataBitsIff_a1oT5
= forAllBlind
(arbitrary :: Gen (Iff Int -> Integer))
(\ x_a1oT8 -> (x_a1oT8 `seq` True))
prop_function_DataBitsIff_a1oT6
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Iff Int) Integer))
(\ x_a1oT9 -> (x_a1oT9 `seq` True))
prop_DataBitsIor_a1oTa
= forAllBlind
(arbitrary :: Gen (Ior Int)) (\ x_a1oTd -> (x_a1oTd `seq` True))
prop_co_DataBitsIor_a1oTb
= forAllBlind
(arbitrary :: Gen (Ior Int -> Integer))
(\ x_a1oTe -> (x_a1oTe `seq` True))
prop_function_DataBitsIor_a1oTc
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Ior Int) Integer))
(\ x_a1oTf -> (x_a1oTf `seq` True))
prop_DataBitsXor_a1oTg
= forAllBlind
(arbitrary :: Gen (Xor Int)) (\ x_a1oTj -> (x_a1oTj `seq` True))
prop_co_DataBitsXor_a1oTh
= forAllBlind
(arbitrary :: Gen (Xor Int -> Integer))
(\ x_a1oTk -> (x_a1oTk `seq` True))
prop_function_DataBitsXor_a1oTi
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Xor Int) Integer))
(\ x_a1oTl -> (x_a1oTl `seq` True))
prop_DataBoolBool_a1oTm
= forAllBlind
(arbitrary :: Gen Bool) (\ x_a1oTp -> (x_a1oTp `seq` True))
prop_co_DataBoolBool_a1oTn
= forAllBlind
(arbitrary :: Gen (Bool -> Integer))
(\ x_a1oTq -> (x_a1oTq `seq` True))
prop_function_DataBoolBool_a1oTo
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Bool Integer))
(\ x_a1oTr -> (x_a1oTr `seq` True))
prop_DataCharGeneralCategory_a1oTs
= forAllBlind
(arbitrary :: Gen GeneralCategory)
(\ x_a1oTv -> (x_a1oTv `seq` True))
prop_co_DataCharGeneralCategory_a1oTt
= forAllBlind
(arbitrary :: Gen (GeneralCategory -> Integer))
(\ x_a1oTw -> (x_a1oTw `seq` True))
prop_function_DataCharGeneralCategory_a1oTu
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) GeneralCategory Integer))
(\ x_a1oTx -> (x_a1oTx `seq` True))
prop_DataCharChar_a1oTy
= forAllBlind
(arbitrary :: Gen Char) (\ x_a1oTB -> (x_a1oTB `seq` True))
prop_co_DataCharChar_a1oTz
= forAllBlind
(arbitrary :: Gen (Char -> Integer))
(\ x_a1oTC -> (x_a1oTC `seq` True))
prop_function_DataCharChar_a1oTA
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Char Integer))
(\ x_a1oTD -> (x_a1oTD `seq` True))
prop_DataEitherEither_a1oTE
= forAllBlind
(arbitrary :: Gen (Either Int Int))
(\ x_a1oTH -> (x_a1oTH `seq` True))
prop_co_DataEitherEither_a1oTF
= forAllBlind
(arbitrary :: Gen (Either Int Int -> Integer))
(\ x_a1oTI -> (x_a1oTI `seq` True))
prop_function_DataEitherEither_a1oTG
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Either Int Int) Integer))
(\ x_a1oTJ -> (x_a1oTJ `seq` True))
prop_DataFixedCenti_a1oTK
= forAllBlind
(arbitrary :: Gen Centi) (\ x_a1oTN -> (x_a1oTN `seq` True))
prop_co_DataFixedCenti_a1oTL
= forAllBlind
(arbitrary :: Gen (Centi -> Integer))
(\ x_a1oTO -> (x_a1oTO `seq` True))
prop_function_DataFixedCenti_a1oTM
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Centi Integer))
(\ x_a1oTP -> (x_a1oTP `seq` True))
prop_DataFixedDeci_a1oTQ
= forAllBlind
(arbitrary :: Gen Deci) (\ x_a1oTT -> (x_a1oTT `seq` True))
prop_co_DataFixedDeci_a1oTR
= forAllBlind
(arbitrary :: Gen (Deci -> Integer))
(\ x_a1oTU -> (x_a1oTU `seq` True))
prop_function_DataFixedDeci_a1oTS
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Deci Integer))
(\ x_a1oTV -> (x_a1oTV `seq` True))
prop_DataFixedMicro_a1oTW
= forAllBlind
(arbitrary :: Gen Micro) (\ x_a1oTZ -> (x_a1oTZ `seq` True))
prop_co_DataFixedMicro_a1oTX
= forAllBlind
(arbitrary :: Gen (Micro -> Integer))
(\ x_a1oU0 -> (x_a1oU0 `seq` True))
prop_function_DataFixedMicro_a1oTY
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Micro Integer))
(\ x_a1oU1 -> (x_a1oU1 `seq` True))
prop_DataFixedMilli_a1oU2
= forAllBlind
(arbitrary :: Gen Milli) (\ x_a1oU5 -> (x_a1oU5 `seq` True))
prop_co_DataFixedMilli_a1oU3
= forAllBlind
(arbitrary :: Gen (Milli -> Integer))
(\ x_a1oU6 -> (x_a1oU6 `seq` True))
prop_function_DataFixedMilli_a1oU4
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Milli Integer))
(\ x_a1oU7 -> (x_a1oU7 `seq` True))
prop_DataFixedNano_a1oU8
= forAllBlind
(arbitrary :: Gen Nano) (\ x_a1oUb -> (x_a1oUb `seq` True))
prop_co_DataFixedNano_a1oU9
= forAllBlind
(arbitrary :: Gen (Nano -> Integer))
(\ x_a1oUc -> (x_a1oUc `seq` True))
prop_function_DataFixedNano_a1oUa
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Nano Integer))
(\ x_a1oUd -> (x_a1oUd `seq` True))
prop_DataFixedPico_a1oUe
= forAllBlind
(arbitrary :: Gen Pico) (\ x_a1oUh -> (x_a1oUh `seq` True))
prop_co_DataFixedPico_a1oUf
= forAllBlind
(arbitrary :: Gen (Pico -> Integer))
(\ x_a1oUi -> (x_a1oUi `seq` True))
prop_function_DataFixedPico_a1oUg
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Pico Integer))
(\ x_a1oUj -> (x_a1oUj `seq` True))
prop_DataFixedUni_a1oUk
= forAllBlind
(arbitrary :: Gen Uni) (\ x_a1oUn -> (x_a1oUn `seq` True))
prop_co_DataFixedUni_a1oUl
= forAllBlind
(arbitrary :: Gen (Uni -> Integer))
(\ x_a1oUo -> (x_a1oUo `seq` True))
prop_function_DataFixedUni_a1oUm
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Uni Integer))
(\ x_a1oUp -> (x_a1oUp `seq` True))
prop_DataFunctorIdentityIdentity_a1oUq
= forAllBlind
(arbitrary :: Gen (Identity Int))
(\ x_a1oUt -> (x_a1oUt `seq` True))
prop_co_DataFunctorIdentityIdentity_a1oUr
= forAllBlind
(arbitrary :: Gen (Identity Int -> Integer))
(\ x_a1oUu -> (x_a1oUu `seq` True))
prop_function_DataFunctorIdentityIdentity_a1oUs
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Identity Int) Integer))
(\ x_a1oUv -> (x_a1oUv `seq` True))
prop_DataIntInt16_a1oUw
= forAllBlind
(arbitrary :: Gen Int16) (\ x_a1oUz -> (x_a1oUz `seq` True))
prop_co_DataIntInt16_a1oUx
= forAllBlind
(arbitrary :: Gen (Int16 -> Integer))
(\ x_a1oUA -> (x_a1oUA `seq` True))
prop_function_DataIntInt16_a1oUy
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Int16 Integer))
(\ x_a1oUB -> (x_a1oUB `seq` True))
prop_DataIntInt32_a1oUC
= forAllBlind
(arbitrary :: Gen Int32) (\ x_a1oUF -> (x_a1oUF `seq` True))
prop_co_DataIntInt32_a1oUD
= forAllBlind
(arbitrary :: Gen (Int32 -> Integer))
(\ x_a1oUG -> (x_a1oUG `seq` True))
prop_function_DataIntInt32_a1oUE
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Int32 Integer))
(\ x_a1oUH -> (x_a1oUH `seq` True))
prop_DataIntInt64_a1oUI
= forAllBlind
(arbitrary :: Gen Int64) (\ x_a1oUL -> (x_a1oUL `seq` True))
prop_co_DataIntInt64_a1oUJ
= forAllBlind
(arbitrary :: Gen (Int64 -> Integer))
(\ x_a1oUM -> (x_a1oUM `seq` True))
prop_function_DataIntInt64_a1oUK
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Int64 Integer))
(\ x_a1oUN -> (x_a1oUN `seq` True))
prop_DataIntInt8_a1oUO
= forAllBlind
(arbitrary :: Gen Int8) (\ x_a1oUR -> (x_a1oUR `seq` True))
prop_co_DataIntInt8_a1oUP
= forAllBlind
(arbitrary :: Gen (Int8 -> Integer))
(\ x_a1oUS -> (x_a1oUS `seq` True))
prop_function_DataIntInt8_a1oUQ
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Int8 Integer))
(\ x_a1oUT -> (x_a1oUT `seq` True))
prop_DataIntInt_a1oUU
= forAllBlind
(arbitrary :: Gen Int) (\ x_a1oUX -> (x_a1oUX `seq` True))
prop_co_DataIntInt_a1oUV
= forAllBlind
(arbitrary :: Gen (Int -> Integer))
(\ x_a1oUY -> (x_a1oUY `seq` True))
prop_function_DataIntInt_a1oUW
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Int Integer))
(\ x_a1oUZ -> (x_a1oUZ `seq` True))
prop_DataListNonEmptyNonEmpty_a1oV0
= forAllBlind
(arbitrary :: Gen (NonEmpty Int))
(\ x_a1oV3 -> (x_a1oV3 `seq` True))
prop_co_DataListNonEmptyNonEmpty_a1oV1
= forAllBlind
(arbitrary :: Gen (NonEmpty Int -> Integer))
(\ x_a1oV4 -> (x_a1oV4 `seq` True))
prop_function_DataListNonEmptyNonEmpty_a1oV2
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (NonEmpty Int) Integer))
(\ x_a1oV5 -> (x_a1oV5 `seq` True))
prop_DataMaybeMaybe_a1oV6
= forAllBlind
(arbitrary :: Gen (Maybe Int)) (\ x_a1oV9 -> (x_a1oV9 `seq` True))
prop_co_DataMaybeMaybe_a1oV7
= forAllBlind
(arbitrary :: Gen (Maybe Int -> Integer))
(\ x_a1oVa -> (x_a1oVa `seq` True))
prop_function_DataMaybeMaybe_a1oV8
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Maybe Int) Integer))
(\ x_a1oVb -> (x_a1oVb `seq` True))
prop_DataMonoidFirst_a1oVc
= forAllBlind
(arbitrary :: Gen (Data.Monoid.First Int))
(\ x_a1oVf -> (x_a1oVf `seq` True))
prop_co_DataMonoidFirst_a1oVd
= forAllBlind
(arbitrary :: Gen (Data.Monoid.First Int -> Integer))
(\ x_a1oVg -> (x_a1oVg `seq` True))
prop_function_DataMonoidFirst_a1oVe
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Monoid.First Int) Integer))
(\ x_a1oVh -> (x_a1oVh `seq` True))
prop_DataMonoidLast_a1oVi
= forAllBlind
(arbitrary :: Gen (Data.Monoid.Last Int))
(\ x_a1oVl -> (x_a1oVl `seq` True))
prop_co_DataMonoidLast_a1oVj
= forAllBlind
(arbitrary :: Gen (Data.Monoid.Last Int -> Integer))
(\ x_a1oVm -> (x_a1oVm `seq` True))
prop_function_DataMonoidLast_a1oVk
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Monoid.Last Int) Integer))
(\ x_a1oVn -> (x_a1oVn `seq` True))
prop_DataMonoidAll_a1oVo
= forAllBlind
(arbitrary :: Gen All) (\ x_a1oVr -> (x_a1oVr `seq` True))
prop_co_DataMonoidAll_a1oVp
= forAllBlind
(arbitrary :: Gen (All -> Integer))
(\ x_a1oVs -> (x_a1oVs `seq` True))
prop_function_DataMonoidAll_a1oVq
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) All Integer))
(\ x_a1oVt -> (x_a1oVt `seq` True))
prop_DataMonoidAny_a1oVu
= forAllBlind
(arbitrary :: Gen Any) (\ x_a1oVx -> (x_a1oVx `seq` True))
prop_co_DataMonoidAny_a1oVv
= forAllBlind
(arbitrary :: Gen (Any -> Integer))
(\ x_a1oVy -> (x_a1oVy `seq` True))
prop_function_DataMonoidAny_a1oVw
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Any Integer))
(\ x_a1oVz -> (x_a1oVz `seq` True))
prop_DataMonoidDual_a1oVA
= forAllBlind
(arbitrary :: Gen (Dual Int)) (\ x_a1oVD -> (x_a1oVD `seq` True))
prop_co_DataMonoidDual_a1oVB
= forAllBlind
(arbitrary :: Gen (Dual Int -> Integer))
(\ x_a1oVE -> (x_a1oVE `seq` True))
prop_function_DataMonoidDual_a1oVC
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Dual Int) Integer))
(\ x_a1oVF -> (x_a1oVF `seq` True))
prop_DataMonoidProduct_a1oVG
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Product Int))
(\ x_a1oVJ -> (x_a1oVJ `seq` True))
prop_co_DataMonoidProduct_a1oVH
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Product Int -> Integer))
(\ x_a1oVK -> (x_a1oVK `seq` True))
prop_function_DataMonoidProduct_a1oVI
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.Product Int) Integer))
(\ x_a1oVL -> (x_a1oVL `seq` True))
prop_DataMonoidSum_a1oVM
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Sum Int))
(\ x_a1oVP -> (x_a1oVP `seq` True))
prop_co_DataMonoidSum_a1oVN
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Sum Int -> Integer))
(\ x_a1oVQ -> (x_a1oVQ `seq` True))
prop_function_DataMonoidSum_a1oVO
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.Sum Int) Integer))
(\ x_a1oVR -> (x_a1oVR `seq` True))
prop_DataOrdDown_a1oVS
= forAllBlind
(arbitrary :: Gen (Down Int)) (\ x_a1oVV -> (x_a1oVV `seq` True))
prop_co_DataOrdDown_a1oVT
= forAllBlind
(arbitrary :: Gen (Down Int -> Integer))
(\ x_a1oVW -> (x_a1oVW `seq` True))
prop_function_DataOrdDown_a1oVU
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Down Int) Integer))
(\ x_a1oVX -> (x_a1oVX `seq` True))
prop_DataOrdOrdering_a1oVY
= forAllBlind
(arbitrary :: Gen Ordering) (\ x_a1oW1 -> (x_a1oW1 `seq` True))
prop_co_DataOrdOrdering_a1oVZ
= forAllBlind
(arbitrary :: Gen (Ordering -> Integer))
(\ x_a1oW2 -> (x_a1oW2 `seq` True))
prop_function_DataOrdOrdering_a1oW0
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) Ordering Integer))
(\ x_a1oW3 -> (x_a1oW3 `seq` True))
prop_DataRatioRatio_a1oW4
= forAllBlind
(arbitrary :: Gen (Ratio Int)) (\ x_a1oW7 -> (x_a1oW7 `seq` True))
prop_co_DataRatioRatio_a1oW5
= forAllBlind
(arbitrary :: Gen (Ratio Int -> Integer))
(\ x_a1oW8 -> (x_a1oW8 `seq` True))
prop_function_DataRatioRatio_a1oW6
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Ratio Int) Integer))
(\ x_a1oW9 -> (x_a1oW9 `seq` True))
prop_DataRatioRational_a1oWa
= forAllBlind
(arbitrary :: Gen Rational) (\ x_a1oWd -> (x_a1oWd `seq` True))
prop_co_DataRatioRational_a1oWb
= forAllBlind
(arbitrary :: Gen (Rational -> Integer))
(\ x_a1oWe -> (x_a1oWe `seq` True))
prop_function_DataRatioRational_a1oWc
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) Rational Integer))
(\ x_a1oWf -> (x_a1oWf `seq` True))
prop_DataSemigroupArg_a1oWg
= forAllBlind
(arbitrary :: Gen (Arg Int Int))
(\ x_a1oWj -> (x_a1oWj `seq` True))
prop_co_DataSemigroupArg_a1oWh
= forAllBlind
(arbitrary :: Gen (Arg Int Int -> Integer))
(\ x_a1oWk -> (x_a1oWk `seq` True))
prop_function_DataSemigroupArg_a1oWi
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Arg Int Int) Integer))
(\ x_a1oWl -> (x_a1oWl `seq` True))
prop_DataSemigroupArgMax_a1oWm
= forAllBlind
(arbitrary :: Gen (ArgMax Int Int))
(\ x_a1oWp -> (x_a1oWp `seq` True))
prop_co_DataSemigroupArgMax_a1oWn
= forAllBlind
(arbitrary :: Gen (ArgMax Int Int -> Integer))
(\ x_a1oWq -> (x_a1oWq `seq` True))
prop_function_DataSemigroupArgMax_a1oWo
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (ArgMax Int Int) Integer))
(\ x_a1oWr -> (x_a1oWr `seq` True))
prop_DataSemigroupArgMin_a1oWs
= forAllBlind
(arbitrary :: Gen (ArgMin Int Int))
(\ x_a1oWv -> (x_a1oWv `seq` True))
prop_co_DataSemigroupArgMin_a1oWt
= forAllBlind
(arbitrary :: Gen (ArgMin Int Int -> Integer))
(\ x_a1oWw -> (x_a1oWw `seq` True))
prop_function_DataSemigroupArgMin_a1oWu
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (ArgMin Int Int) Integer))
(\ x_a1oWx -> (x_a1oWx `seq` True))
prop_DataSemigroupFirst_a1oWy
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.First Int))
(\ x_a1oWB -> (x_a1oWB `seq` True))
prop_co_DataSemigroupFirst_a1oWz
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.First Int -> Integer))
(\ x_a1oWC -> (x_a1oWC `seq` True))
prop_function_DataSemigroupFirst_a1oWA
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.First Int) Integer))
(\ x_a1oWD -> (x_a1oWD `seq` True))
prop_DataSemigroupLast_a1oWE
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Last Int))
(\ x_a1oWH -> (x_a1oWH `seq` True))
prop_co_DataSemigroupLast_a1oWF
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Last Int -> Integer))
(\ x_a1oWI -> (x_a1oWI `seq` True))
prop_function_DataSemigroupLast_a1oWG
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.Last Int) Integer))
(\ x_a1oWJ -> (x_a1oWJ `seq` True))
prop_DataSemigroupMax_a1oWK
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Max Int))
(\ x_a1oWN -> (x_a1oWN `seq` True))
prop_co_DataSemigroupMax_a1oWL
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Max Int -> Integer))
(\ x_a1oWO -> (x_a1oWO `seq` True))
prop_function_DataSemigroupMax_a1oWM
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.Max Int) Integer))
(\ x_a1oWP -> (x_a1oWP `seq` True))
prop_DataSemigroupMin_a1oWQ
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Min Int))
(\ x_a1oWT -> (x_a1oWT `seq` True))
prop_co_DataSemigroupMin_a1oWR
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Min Int -> Integer))
(\ x_a1oWU -> (x_a1oWU `seq` True))
prop_function_DataSemigroupMin_a1oWS
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.Min Int) Integer))
(\ x_a1oWV -> (x_a1oWV `seq` True))
prop_DataSemigroupWrappedMonoid_a1oWW
= forAllBlind
(arbitrary :: Gen (WrappedMonoid Int))
(\ x_a1oWZ -> (x_a1oWZ `seq` True))
prop_co_DataSemigroupWrappedMonoid_a1oWX
= forAllBlind
(arbitrary :: Gen (WrappedMonoid Int -> Integer))
(\ x_a1oX0 -> (x_a1oX0 `seq` True))
prop_function_DataSemigroupWrappedMonoid_a1oWY
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (WrappedMonoid Int) Integer))
(\ x_a1oX1 -> (x_a1oX1 `seq` True))
prop_DataSemigroupAll_a1oX2
= forAllBlind
(arbitrary :: Gen All) (\ x_a1oX5 -> (x_a1oX5 `seq` True))
prop_co_DataSemigroupAll_a1oX3
= forAllBlind
(arbitrary :: Gen (All -> Integer))
(\ x_a1oX6 -> (x_a1oX6 `seq` True))
prop_function_DataSemigroupAll_a1oX4
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) All Integer))
(\ x_a1oX7 -> (x_a1oX7 `seq` True))
prop_DataSemigroupAny_a1oX8
= forAllBlind
(arbitrary :: Gen Any) (\ x_a1oXb -> (x_a1oXb `seq` True))
prop_co_DataSemigroupAny_a1oX9
= forAllBlind
(arbitrary :: Gen (Any -> Integer))
(\ x_a1oXc -> (x_a1oXc `seq` True))
prop_function_DataSemigroupAny_a1oXa
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Any Integer))
(\ x_a1oXd -> (x_a1oXd `seq` True))
prop_DataSemigroupDual_a1oXe
= forAllBlind
(arbitrary :: Gen (Dual Int)) (\ x_a1oXh -> (x_a1oXh `seq` True))
prop_co_DataSemigroupDual_a1oXf
= forAllBlind
(arbitrary :: Gen (Dual Int -> Integer))
(\ x_a1oXi -> (x_a1oXi `seq` True))
prop_function_DataSemigroupDual_a1oXg
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Dual Int) Integer))
(\ x_a1oXj -> (x_a1oXj `seq` True))
prop_DataSemigroupProduct_a1oXk
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Product Int))
(\ x_a1oXn -> (x_a1oXn `seq` True))
prop_co_DataSemigroupProduct_a1oXl
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Product Int -> Integer))
(\ x_a1oXo -> (x_a1oXo `seq` True))
prop_function_DataSemigroupProduct_a1oXm
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.Product Int) Integer))
(\ x_a1oXp -> (x_a1oXp `seq` True))
prop_DataSemigroupSum_a1oXq
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Sum Int))
(\ x_a1oXt -> (x_a1oXt `seq` True))
prop_co_DataSemigroupSum_a1oXr
= forAllBlind
(arbitrary :: Gen (Data.Semigroup.Sum Int -> Integer))
(\ x_a1oXu -> (x_a1oXu `seq` True))
prop_function_DataSemigroupSum_a1oXs
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Data.Semigroup.Sum Int) Integer))
(\ x_a1oXv -> (x_a1oXv `seq` True))
prop_DataStringString_a1oXw
= forAllBlind
(arbitrary :: Gen String) (\ x_a1oXz -> (x_a1oXz `seq` True))
prop_co_DataStringString_a1oXx
= forAllBlind
(arbitrary :: Gen (String -> Integer))
(\ x_a1oXA -> (x_a1oXA `seq` True))
prop_function_DataStringString_a1oXy
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) String Integer))
(\ x_a1oXB -> (x_a1oXB `seq` True))
prop_DataTupleSolo_a1oXC
= forAllBlind
(arbitrary :: Gen (Solo Int)) (\ x_a1oXF -> (x_a1oXF `seq` True))
prop_co_DataTupleSolo_a1oXD
= forAllBlind
(arbitrary :: Gen (Solo Int -> Integer))
(\ x_a1oXG -> (x_a1oXG `seq` True))
prop_function_DataTupleSolo_a1oXE
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Solo Int) Integer))
(\ x_a1oXH -> (x_a1oXH `seq` True))
prop_DataVersionVersion_a1oXI
= forAllBlind
(arbitrary :: Gen Version) (\ x_a1oXL -> (x_a1oXL `seq` True))
prop_co_DataVersionVersion_a1oXJ
= forAllBlind
(arbitrary :: Gen (Version -> Integer))
(\ x_a1oXM -> (x_a1oXM `seq` True))
prop_function_DataVersionVersion_a1oXK
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Version Integer))
(\ x_a1oXN -> (x_a1oXN `seq` True))
prop_DataWordWord16_a1oXO
= forAllBlind
(arbitrary :: Gen Word16) (\ x_a1oXR -> (x_a1oXR `seq` True))
prop_co_DataWordWord16_a1oXP
= forAllBlind
(arbitrary :: Gen (Word16 -> Integer))
(\ x_a1oXS -> (x_a1oXS `seq` True))
prop_function_DataWordWord16_a1oXQ
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Word16 Integer))
(\ x_a1oXT -> (x_a1oXT `seq` True))
prop_DataWordWord32_a1oXU
= forAllBlind
(arbitrary :: Gen Word32) (\ x_a1oXX -> (x_a1oXX `seq` True))
prop_co_DataWordWord32_a1oXV
= forAllBlind
(arbitrary :: Gen (Word32 -> Integer))
(\ x_a1oXY -> (x_a1oXY `seq` True))
prop_function_DataWordWord32_a1oXW
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Word32 Integer))
(\ x_a1oXZ -> (x_a1oXZ `seq` True))
prop_DataWordWord64_a1oY0
= forAllBlind
(arbitrary :: Gen Word64) (\ x_a1oY3 -> (x_a1oY3 `seq` True))
prop_co_DataWordWord64_a1oY1
= forAllBlind
(arbitrary :: Gen (Word64 -> Integer))
(\ x_a1oY4 -> (x_a1oY4 `seq` True))
prop_function_DataWordWord64_a1oY2
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Word64 Integer))
(\ x_a1oY5 -> (x_a1oY5 `seq` True))
prop_DataWordWord8_a1oY6
= forAllBlind
(arbitrary :: Gen Word8) (\ x_a1oY9 -> (x_a1oY9 `seq` True))
prop_co_DataWordWord8_a1oY7
= forAllBlind
(arbitrary :: Gen (Word8 -> Integer))
(\ x_a1oYa -> (x_a1oYa `seq` True))
prop_function_DataWordWord8_a1oY8
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Word8 Integer))
(\ x_a1oYb -> (x_a1oYb `seq` True))
prop_DataWordWord_a1oYc
= forAllBlind
(arbitrary :: Gen Word) (\ x_a1oYf -> (x_a1oYf `seq` True))
prop_co_DataWordWord_a1oYd
= forAllBlind
(arbitrary :: Gen (Word -> Integer))
(\ x_a1oYg -> (x_a1oYg `seq` True))
prop_function_DataWordWord_a1oYe
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Word Integer))
(\ x_a1oYh -> (x_a1oYh `seq` True))
prop_NumericNaturalNatural_a1oYi
= forAllBlind
(arbitrary :: Gen Natural) (\ x_a1oYl -> (x_a1oYl `seq` True))
prop_co_NumericNaturalNatural_a1oYj
= forAllBlind
(arbitrary :: Gen (Natural -> Integer))
(\ x_a1oYm -> (x_a1oYm `seq` True))
prop_function_NumericNaturalNatural_a1oYk
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Natural Integer))
(\ x_a1oYn -> (x_a1oYn `seq` True))
prop_PreludeEither_a1oYo
= forAllBlind
(arbitrary :: Gen (Either Int Int))
(\ x_a1oYr -> (x_a1oYr `seq` True))
prop_co_PreludeEither_a1oYp
= forAllBlind
(arbitrary :: Gen (Either Int Int -> Integer))
(\ x_a1oYs -> (x_a1oYs `seq` True))
prop_function_PreludeEither_a1oYq
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Either Int Int) Integer))
(\ x_a1oYt -> (x_a1oYt `seq` True))
prop_PreludeFilePath_a1oYu
= forAllBlind
(arbitrary :: Gen FilePath) (\ x_a1oYx -> (x_a1oYx `seq` True))
prop_co_PreludeFilePath_a1oYv
= forAllBlind
(arbitrary :: Gen (FilePath -> Integer))
(\ x_a1oYy -> (x_a1oYy `seq` True))
prop_function_PreludeFilePath_a1oYw
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) FilePath Integer))
(\ x_a1oYz -> (x_a1oYz `seq` True))
prop_PreludeRational_a1oYA
= forAllBlind
(arbitrary :: Gen Rational) (\ x_a1oYD -> (x_a1oYD `seq` True))
prop_co_PreludeRational_a1oYB
= forAllBlind
(arbitrary :: Gen (Rational -> Integer))
(\ x_a1oYE -> (x_a1oYE `seq` True))
prop_function_PreludeRational_a1oYC
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) Rational Integer))
(\ x_a1oYF -> (x_a1oYF `seq` True))
prop_PreludeOrdering_a1oYG
= forAllBlind
(arbitrary :: Gen Ordering) (\ x_a1oYJ -> (x_a1oYJ `seq` True))
prop_co_PreludeOrdering_a1oYH
= forAllBlind
(arbitrary :: Gen (Ordering -> Integer))
(\ x_a1oYK -> (x_a1oYK `seq` True))
prop_function_PreludeOrdering_a1oYI
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) Ordering Integer))
(\ x_a1oYL -> (x_a1oYL `seq` True))
prop_PreludeString_a1oYM
= forAllBlind
(arbitrary :: Gen String) (\ x_a1oYP -> (x_a1oYP `seq` True))
prop_co_PreludeString_a1oYN
= forAllBlind
(arbitrary :: Gen (String -> Integer))
(\ x_a1oYQ -> (x_a1oYQ `seq` True))
prop_function_PreludeString_a1oYO
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) String Integer))
(\ x_a1oYR -> (x_a1oYR `seq` True))
prop_PreludeMaybe_a1oYS
= forAllBlind
(arbitrary :: Gen (Maybe Int)) (\ x_a1oYV -> (x_a1oYV `seq` True))
prop_co_PreludeMaybe_a1oYT
= forAllBlind
(arbitrary :: Gen (Maybe Int -> Integer))
(\ x_a1oYW -> (x_a1oYW `seq` True))
prop_function_PreludeMaybe_a1oYU
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) (Maybe Int) Integer))
(\ x_a1oYX -> (x_a1oYX `seq` True))
prop_PreludeInteger_a1oYY
= forAllBlind
(arbitrary :: Gen Integer) (\ x_a1oZ1 -> (x_a1oZ1 `seq` True))
prop_co_PreludeInteger_a1oYZ
= forAllBlind
(arbitrary :: Gen (Integer -> Integer))
(\ x_a1oZ2 -> (x_a1oZ2 `seq` True))
prop_function_PreludeInteger_a1oZ0
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Integer Integer))
(\ x_a1oZ3 -> (x_a1oZ3 `seq` True))
prop_PreludeBool_a1oZ4
= forAllBlind
(arbitrary :: Gen Bool) (\ x_a1oZ7 -> (x_a1oZ7 `seq` True))
prop_co_PreludeBool_a1oZ5
= forAllBlind
(arbitrary :: Gen (Bool -> Integer))
(\ x_a1oZ8 -> (x_a1oZ8 `seq` True))
prop_function_PreludeBool_a1oZ6
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Bool Integer))
(\ x_a1oZ9 -> (x_a1oZ9 `seq` True))
prop_PreludeChar_a1oZa
= forAllBlind
(arbitrary :: Gen Char) (\ x_a1oZd -> (x_a1oZd `seq` True))
prop_co_PreludeChar_a1oZb
= forAllBlind
(arbitrary :: Gen (Char -> Integer))
(\ x_a1oZe -> (x_a1oZe `seq` True))
prop_function_PreludeChar_a1oZc
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Char Integer))
(\ x_a1oZf -> (x_a1oZf `seq` True))
prop_PreludeDouble_a1oZg
= forAllBlind
(arbitrary :: Gen Double) (\ x_a1oZj -> (x_a1oZj `seq` True))
prop_co_PreludeDouble_a1oZh
= forAllBlind
(arbitrary :: Gen (Double -> Integer))
(\ x_a1oZk -> (x_a1oZk `seq` True))
prop_function_PreludeDouble_a1oZi
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Double Integer))
(\ x_a1oZl -> (x_a1oZl `seq` True))
prop_PreludeFloat_a1oZm
= forAllBlind
(arbitrary :: Gen Float) (\ x_a1oZp -> (x_a1oZp `seq` True))
prop_co_PreludeFloat_a1oZn
= forAllBlind
(arbitrary :: Gen (Float -> Integer))
(\ x_a1oZq -> (x_a1oZq `seq` True))
prop_function_PreludeFloat_a1oZo
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Float Integer))
(\ x_a1oZr -> (x_a1oZr `seq` True))
prop_PreludeInt_a1oZs
= forAllBlind
(arbitrary :: Gen Int) (\ x_a1oZv -> (x_a1oZv `seq` True))
prop_co_PreludeInt_a1oZt
= forAllBlind
(arbitrary :: Gen (Int -> Integer))
(\ x_a1oZw -> (x_a1oZw `seq` True))
prop_function_PreludeInt_a1oZu
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Int Integer))
(\ x_a1oZx -> (x_a1oZx `seq` True))
prop_PreludeWord_a1oZy
= forAllBlind
(arbitrary :: Gen Word) (\ x_a1oZB -> (x_a1oZB `seq` True))
prop_co_PreludeWord_a1oZz
= forAllBlind
(arbitrary :: Gen (Word -> Integer))
(\ x_a1oZC -> (x_a1oZC `seq` True))
prop_function_PreludeWord_a1oZA
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Word Integer))
(\ x_a1oZD -> (x_a1oZD `seq` True))
prop_SystemExitExitCode_a1oZE
= forAllBlind
(arbitrary :: Gen ExitCode) (\ x_a1oZH -> (x_a1oZH `seq` True))
prop_co_SystemExitExitCode_a1oZF
= forAllBlind
(arbitrary :: Gen (ExitCode -> Integer))
(\ x_a1oZI -> (x_a1oZI `seq` True))
prop_function_SystemExitExitCode_a1oZG
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) ExitCode Integer))
(\ x_a1oZJ -> (x_a1oZJ `seq` True))
prop_SystemIOFilePath_a1oZK
= forAllBlind
(arbitrary :: Gen FilePath) (\ x_a1oZN -> (x_a1oZN `seq` True))
prop_co_SystemIOFilePath_a1oZL
= forAllBlind
(arbitrary :: Gen (FilePath -> Integer))
(\ x_a1oZO -> (x_a1oZO `seq` True))
prop_function_SystemIOFilePath_a1oZM
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) FilePath Integer))
(\ x_a1oZP -> (x_a1oZP `seq` True))
prop_SystemIOSeekMode_a1oZQ
= forAllBlind
(arbitrary :: Gen SeekMode) (\ x_a1oZT -> (x_a1oZT `seq` True))
prop_co_SystemIOSeekMode_a1oZR
= forAllBlind
(arbitrary :: Gen (SeekMode -> Integer))
(\ x_a1oZU -> (x_a1oZU `seq` True))
prop_function_SystemIOSeekMode_a1oZS
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) SeekMode Integer))
(\ x_a1oZV -> (x_a1oZV `seq` True))
prop_SystemIOBufferMode_a1oZW
= forAllBlind
(arbitrary :: Gen BufferMode) (\ x_a1oZZ -> (x_a1oZZ `seq` True))
prop_co_SystemIOBufferMode_a1oZX
= forAllBlind
(arbitrary :: Gen (BufferMode -> Integer))
(\ x_a1p00 -> (x_a1p00 `seq` True))
prop_function_SystemIOBufferMode_a1oZY
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) BufferMode Integer))
(\ x_a1p01 -> (x_a1p01 `seq` True))
prop_SystemIONewline_a1p02
= forAllBlind
(arbitrary :: Gen Newline) (\ x_a1p05 -> (x_a1p05 `seq` True))
prop_co_SystemIONewline_a1p03
= forAllBlind
(arbitrary :: Gen (Newline -> Integer))
(\ x_a1p06 -> (x_a1p06 `seq` True))
prop_function_SystemIONewline_a1p04
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) Newline Integer))
(\ x_a1p07 -> (x_a1p07 `seq` True))
prop_SystemIONewlineMode_a1p08
= forAllBlind
(arbitrary :: Gen NewlineMode) (\ x_a1p0b -> (x_a1p0b `seq` True))
prop_co_SystemIONewlineMode_a1p09
= forAllBlind
(arbitrary :: Gen (NewlineMode -> Integer))
(\ x_a1p0c -> (x_a1p0c `seq` True))
prop_function_SystemIONewlineMode_a1p0a
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) NewlineMode Integer))
(\ x_a1p0d -> (x_a1p0d `seq` True))
prop_SystemIOIOMode_a1p0e
= forAllBlind
(arbitrary :: Gen IOMode) (\ x_a1p0h -> (x_a1p0h `seq` True))
prop_co_SystemIOIOMode_a1p0f
= forAllBlind
(arbitrary :: Gen (IOMode -> Integer))
(\ x_a1p0i -> (x_a1p0i `seq` True))
prop_function_SystemIOIOMode_a1p0g
= forAllBlind
(arbitrary :: Gen ((Test.QuickCheck.Function.:->) IOMode Integer))
(\ x_a1p0j -> (x_a1p0j `seq` True))
prop_TextPrintfFieldFormat_a1p0k
= forAllBlind
(arbitrary :: Gen FieldFormat) (\ x_a1p0n -> (x_a1p0n `seq` True))
prop_co_TextPrintfFieldFormat_a1p0l
= forAllBlind
(arbitrary :: Gen (FieldFormat -> Integer))
(\ x_a1p0o -> (x_a1p0o `seq` True))
prop_function_TextPrintfFieldFormat_a1p0m
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) FieldFormat Integer))
(\ x_a1p0p -> (x_a1p0p `seq` True))
prop_TextPrintfFormatAdjustment_a1p0q
= forAllBlind
(arbitrary :: Gen FormatAdjustment)
(\ x_a1p0t -> (x_a1p0t `seq` True))
prop_co_TextPrintfFormatAdjustment_a1p0r
= forAllBlind
(arbitrary :: Gen (FormatAdjustment -> Integer))
(\ x_a1p0u -> (x_a1p0u `seq` True))
prop_function_TextPrintfFormatAdjustment_a1p0s
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) FormatAdjustment Integer))
(\ x_a1p0v -> (x_a1p0v `seq` True))
prop_TextPrintfFormatParse_a1p0w
= forAllBlind
(arbitrary :: Gen FormatParse) (\ x_a1p0z -> (x_a1p0z `seq` True))
prop_co_TextPrintfFormatParse_a1p0x
= forAllBlind
(arbitrary :: Gen (FormatParse -> Integer))
(\ x_a1p0A -> (x_a1p0A `seq` True))
prop_function_TextPrintfFormatParse_a1p0y
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) FormatParse Integer))
(\ x_a1p0B -> (x_a1p0B `seq` True))
prop_TextPrintfFormatSign_a1p0C
= forAllBlind
(arbitrary :: Gen FormatSign) (\ x_a1p0F -> (x_a1p0F `seq` True))
prop_co_TextPrintfFormatSign_a1p0D
= forAllBlind
(arbitrary :: Gen (FormatSign -> Integer))
(\ x_a1p0G -> (x_a1p0G `seq` True))
prop_function_TextPrintfFormatSign_a1p0E
= forAllBlind
(arbitrary ::
Gen ((Test.QuickCheck.Function.:->) FormatSign Integer))
(\ x_a1p0H -> (x_a1p0H `seq` True))
[3 of 3] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-instances/test-quickcheck-instances
Preprocessing test suite 'test-quickcheck-misc' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-misc' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/Misc.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-misc/test-quickcheck-misc-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-misc/test-quickcheck-misc
Preprocessing test suite 'test-quickcheck-monadfix' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-monadfix' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/MonadFix.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-monadfix/test-quickcheck-monadfix-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-monadfix/test-quickcheck-monadfix
Preprocessing test suite 'test-quickcheck-monoids' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-monoids' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/Monoids.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-monoids/test-quickcheck-monoids-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-monoids/test-quickcheck-monoids
Preprocessing test suite 'test-quickcheck-split' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-split' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/Split.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-split/test-quickcheck-split-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-split/test-quickcheck-split
Preprocessing test suite 'test-quickcheck-strictness' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-strictness' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/Strictness.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-strictness/test-quickcheck-strictness-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-strictness/test-quickcheck-strictness
Preprocessing test suite 'test-quickcheck-terminal' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-terminal' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/Terminal.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-terminal/test-quickcheck-terminal-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-terminal/test-quickcheck-terminal
Preprocessing test suite 'test-quickcheck-withprogress' for QuickCheck-2.18.0.0..
Building test suite 'test-quickcheck-withprogress' for QuickCheck-2.18.0.0..
[1 of 1] Compiling Main ( tests/WithProgress.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-withprogress/test-quickcheck-withprogress-tmp/Main.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/build/test-quickcheck-withprogress/test-quickcheck-withprogress
Running 13 test suites...
Test suite test-quickcheck: RUNNING...
Test suite test-quickcheck: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck/hpc_index.html
Test suite test-quickcheck-discard: RUNNING...
Test suite test-quickcheck-discard: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-discard/hpc_index.html
Test suite test-quickcheck-gcoarbitrary: RUNNING...
Test suite test-quickcheck-gcoarbitrary: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Poly.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Function.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-gcoarbitrary/hpc_index.html
Test suite test-quickcheck-generators: RUNNING...
Test suite test-quickcheck-generators: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Modifiers.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-generators/hpc_index.html
Test suite test-quickcheck-gshrink: RUNNING...
Test suite test-quickcheck-gshrink: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-gshrink/hpc_index.html
Test suite test-quickcheck-instances: RUNNING...
Test suite test-quickcheck-instances: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Poly.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Function.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-instances/hpc_index.html
Test suite test-quickcheck-misc: RUNNING...
Test suite test-quickcheck-misc: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Modifiers.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-misc/hpc_index.html
Test suite test-quickcheck-monadfix: RUNNING...
Test suite test-quickcheck-monadfix: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Modifiers.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-monadfix/hpc_index.html
Test suite test-quickcheck-monoids: RUNNING...
Test suite test-quickcheck-monoids: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Modifiers.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Monoids.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-monoids/hpc_index.html
Test suite test-quickcheck-split: RUNNING...
Test suite test-quickcheck-split: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-split/hpc_index.html
Test suite test-quickcheck-strictness: RUNNING...
Test suite test-quickcheck-strictness: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-strictness/hpc_index.html
Test suite test-quickcheck-terminal: RUNNING...
Test suite test-quickcheck-terminal: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-terminal/hpc_index.html
Test suite test-quickcheck-withprogress: RUNNING...
Test suite test-quickcheck-withprogress: PASS
Test suite logged to:
/var/lib/hackage-doc-builder/build-cache/tmp-install/reports/QuickCheck-2.18.0.0.test
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/test-quickcheck-withprogress/hpc_index.html
13 of 13 test suites (13 of 13 test cases) passed.
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.All.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Arbitrary.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Compat.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Exception.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Function.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Gen.Unsafe.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Modifiers.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Monoids.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Poly.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Property.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Random.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.State.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Test.hs.html
Writing: QuickCheck-2.18.0.0-inplace/Test.QuickCheck.Text.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/QuickCheck-2.18.0.0/noopt/hpc/vanilla/html/QuickCheck-2.18.0.0/hpc_index.html