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
|
{-# LANGUAGE CPP #-}
#if MIN_VERSION_base(4,8,1)
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
#endif
{-|
Module: Instances.GHC.Stack
Copyright: (C) 2014-2017 Ryan Scott
License: BSD-style (see the file LICENSE)
Maintainer: Ryan Scott
Stability: Provisional
Portability: GHC
'Arbitrary' instances for 'CallStack' and 'SrcLoc'.
-}
module Instances.GHC.Stack () where
#if MIN_VERSION_base(4,8,1)
# if MIN_VERSION_base(4,9,0)
import GHC.Stack.Types (CallStack(..), SrcLoc(..))
import Instances.Utils ((<@>))
import Test.QuickCheck (oneof)
# else
import GHC.SrcLoc (SrcLoc)
import GHC.Stack (CallStack)
# endif
# if !(MIN_VERSION_base(4,15,0))
import qualified Generics.Deriving.TH as Generics (deriveAll0)
# endif
import Instances.Utils.GenericArbitrary (genericArbitrary)
import Test.QuickCheck (Arbitrary(..))
# if !(MIN_VERSION_base(4,9,0))
$(Generics.deriveAll0 ''CallStack)
# endif
# if !(MIN_VERSION_base(4,15,0))
$(Generics.deriveAll0 ''SrcLoc)
# endif
instance Arbitrary CallStack where
# if MIN_VERSION_base(4,9,0)
arbitrary = oneof [ pure EmptyCallStack
, PushCallStack <$> arbitrary <*> arbitrary <@> EmptyCallStack
, pure $ FreezeCallStack EmptyCallStack
]
# else
arbitrary = genericArbitrary
# endif
instance Arbitrary SrcLoc where
arbitrary = genericArbitrary
#endif
|
