1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-|
Module: Instances.Data.Tuple
Copyright: (C) 2014-2017 Ryan Scott
License: BSD-style (see the file LICENSE)
Maintainer: Ryan Scott
Stability: Provisional
Portability: GHC
'Arbitrary' instances for tuple types.
-}
module Instances.Data.Tuple () where
import Generics.Deriving.Instances ()
import Instances.Utils.GenericArbitrary (genericArbitrary)
import Test.QuickCheck (Arbitrary(..))
instance ( Arbitrary a
, Arbitrary b
, Arbitrary c
, Arbitrary d
, Arbitrary e
, Arbitrary f
, Arbitrary g
, Arbitrary h
, Arbitrary i
, Arbitrary j
, Arbitrary k
) => Arbitrary (a, b, c, d, e, f, g, h, i, j, k) where
arbitrary = genericArbitrary
instance ( Arbitrary a
, Arbitrary b
, Arbitrary c
, Arbitrary d
, Arbitrary e
, Arbitrary f
, Arbitrary g
, Arbitrary h
, Arbitrary i
, Arbitrary j
, Arbitrary k
, Arbitrary l
) => Arbitrary (a, b, c, d, e, f, g, h, i, j, k, l) where
arbitrary = genericArbitrary
instance ( Arbitrary a
, Arbitrary b
, Arbitrary c
, Arbitrary d
, Arbitrary e
, Arbitrary f
, Arbitrary g
, Arbitrary h
, Arbitrary i
, Arbitrary j
, Arbitrary k
, Arbitrary l
, Arbitrary m
) => Arbitrary (a, b, c, d, e, f, g, h, i, j, k, l, m) where
arbitrary = genericArbitrary
instance ( Arbitrary a
, Arbitrary b
, Arbitrary c
, Arbitrary d
, Arbitrary e
, Arbitrary f
, Arbitrary g
, Arbitrary h
, Arbitrary i
, Arbitrary j
, Arbitrary k
, Arbitrary l
, Arbitrary m
, Arbitrary n
) => Arbitrary (a, b, c, d, e, f, g, h, i, j, k, l, m, n) where
arbitrary = genericArbitrary
instance ( Arbitrary a
, Arbitrary b
, Arbitrary c
, Arbitrary d
, Arbitrary e
, Arbitrary f
, Arbitrary g
, Arbitrary h
, Arbitrary i
, Arbitrary j
, Arbitrary k
, Arbitrary l
, Arbitrary m
, Arbitrary n
, Arbitrary o
) => Arbitrary (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) where
arbitrary = genericArbitrary
|
