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
|
{-# LANGUAGE CPP #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-|
Module: Instances.GHC.Generics
Copyright: (C) 2014-2017 Ryan Scott
License: BSD-style (see the file LICENSE)
Maintainer: Ryan Scott
Stability: Provisional
Portability: GHC
'Arbitrary' instances for data types in the "GHC.Generics" module.
-}
module Instances.GHC.Generics () where
import Data.Orphans ()
import Generics.Deriving.Base
import Instances.Utils.GenericArbitrary (genericArbitrary)
import Test.QuickCheck (Arbitrary(..), arbitraryBoundedEnum)
instance Arbitrary (U1 p) where
arbitrary = genericArbitrary
deriving instance Arbitrary p => Arbitrary (Par1 p)
deriving instance Arbitrary (f p) => Arbitrary (Rec1 f p)
deriving instance Arbitrary c => Arbitrary (K1 i c p)
deriving instance Arbitrary (f p) => Arbitrary (M1 i c f p)
deriving instance Arbitrary (f (g p)) => Arbitrary ((f :.: g) p)
instance (Arbitrary (f p), Arbitrary (g p)) => Arbitrary ((f :+: g) p) where
arbitrary = genericArbitrary
instance (Arbitrary (f p), Arbitrary (g p)) => Arbitrary ((f :*: g) p) where
arbitrary = genericArbitrary
instance Arbitrary Fixity where
arbitrary = genericArbitrary
instance Arbitrary Associativity where
arbitrary = arbitraryBoundedEnum
#if MIN_VERSION_base(4,9,0)
instance Arbitrary SourceUnpackedness where
arbitrary = arbitraryBoundedEnum
instance Arbitrary SourceStrictness where
arbitrary = arbitraryBoundedEnum
instance Arbitrary DecidedStrictness where
arbitrary = arbitraryBoundedEnum
#else
instance Arbitrary Arity where
arbitrary = genericArbitrary
#endif
instance Arbitrary (UChar p) where
arbitrary = genericArbitrary
instance Arbitrary (UDouble p) where
arbitrary = genericArbitrary
instance Arbitrary (UFloat p) where
arbitrary = genericArbitrary
instance Arbitrary (UInt p) where
arbitrary = genericArbitrary
instance Arbitrary (UWord p) where
arbitrary = genericArbitrary
|
