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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
{-# LANGUAGE CPP #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-|
Module: Instances.Control.Exception
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 "Control.Exception" module.
-}
module Instances.Control.Exception () where
import Control.Exception hiding (IOException)
import GHC.Generics (Generic)
import GHC.IO.Exception (IOException(..), IOErrorType(..))
#if MIN_VERSION_base(4,11,0)
import GHC.IO.Exception (FixIOException(..))
#endif
import Instances.Foreign.C.Types ()
import Instances.System.IO ()
import Instances.Utils.GenericArbitrary (genericArbitrary)
import Prelude ()
import Prelude.Compat
import Test.QuickCheck (Arbitrary(..), Gen, arbitraryBoundedEnum)
instance Arbitrary SomeException where
arbitrary = SomeException <$> (arbitrary :: Gen AssertionFailed)
instance Arbitrary IOException where
arbitrary = genericArbitrary
deriving instance Bounded IOErrorType
deriving instance Enum IOErrorType
instance Arbitrary IOErrorType where
arbitrary = arbitraryBoundedEnum
deriving instance Bounded ArithException
deriving instance Enum ArithException
instance Arbitrary ArithException where
arbitrary = arbitraryBoundedEnum
instance Arbitrary ArrayException where
arbitrary = genericArbitrary
instance Arbitrary AssertionFailed where
arbitrary = genericArbitrary
instance Arbitrary SomeAsyncException where
arbitrary = SomeAsyncException <$> (arbitrary :: Gen AsyncException)
deriving instance Bounded AsyncException
deriving instance Enum AsyncException
instance Arbitrary AsyncException where
arbitrary = arbitraryBoundedEnum
deriving instance Bounded NonTermination
deriving instance Enum NonTermination
instance Arbitrary NonTermination where
arbitrary = arbitraryBoundedEnum
deriving instance Bounded NestedAtomically
deriving instance Enum NestedAtomically
instance Arbitrary NestedAtomically where
arbitrary = arbitraryBoundedEnum
deriving instance Bounded BlockedIndefinitelyOnMVar
deriving instance Enum BlockedIndefinitelyOnMVar
instance Arbitrary BlockedIndefinitelyOnMVar where
arbitrary = arbitraryBoundedEnum
deriving instance Bounded BlockedIndefinitelyOnSTM
deriving instance Enum BlockedIndefinitelyOnSTM
instance Arbitrary BlockedIndefinitelyOnSTM where
arbitrary = arbitraryBoundedEnum
#if MIN_VERSION_base(4,8,0)
deriving instance Bounded AllocationLimitExceeded
deriving instance Enum AllocationLimitExceeded
instance Arbitrary AllocationLimitExceeded where
arbitrary = arbitraryBoundedEnum
#endif
#if MIN_VERSION_base(4,9,0)
deriving instance Arbitrary TypeError
#endif
#if MIN_VERSION_base(4,10,0)
deriving instance Arbitrary CompactionFailed
#endif
#if MIN_VERSION_base(4,11,0)
deriving instance Bounded FixIOException
deriving instance Enum FixIOException
instance Arbitrary FixIOException where
arbitrary = arbitraryBoundedEnum
#endif
deriving instance Bounded Deadlock
deriving instance Enum Deadlock
instance Arbitrary Deadlock where
arbitrary = arbitraryBoundedEnum
instance Arbitrary NoMethodError where
arbitrary = genericArbitrary
instance Arbitrary PatternMatchFail where
arbitrary = genericArbitrary
instance Arbitrary RecConError where
arbitrary = genericArbitrary
instance Arbitrary RecSelError where
arbitrary = genericArbitrary
instance Arbitrary RecUpdError where
arbitrary = genericArbitrary
instance Arbitrary ErrorCall where
arbitrary = genericArbitrary
deriving instance Bounded MaskingState
deriving instance Enum MaskingState
instance Arbitrary MaskingState where
arbitrary = arbitraryBoundedEnum
deriving instance Generic ArrayException
deriving instance Generic AssertionFailed
deriving instance Generic IOException
deriving instance Generic Deadlock
deriving instance Generic NoMethodError
deriving instance Generic PatternMatchFail
deriving instance Generic RecConError
deriving instance Generic RecSelError
deriving instance Generic RecUpdError
deriving instance Generic ErrorCall
|
