3 (succ (minBound::Int)) = -2147483647
4 (succ (maxBound::Int)) = error "Prelude.Enum.succ{Int}: tried to take `succ' of maxBound"
6 pred (maxBound::Int) = 2147483646
7 pred (minBound::Int) = error "Prelude.Enum.pred{Int}: tried to take `pred' of minBound"
8 (map (toEnum::Int->Int) [1,minBound,maxBound]) = [1,-2147483648,2147483647]
9 (map fromEnum [(1::Int),minBound,maxBound]) = [1,-2147483648,2147483647]
10 (take 7 [(1::Int)..]) = [1,2,3,4,5,6,7]
11 (take 7 [((maxBound::Int)-5)..]) = [2147483642,2147483643,2147483644,2147483645,2147483646,2147483647]
12 (take 7 [(1::Int),2..]) = [1,2,3,4,5,6,7]
13 (take 7 [(1::Int),7..]) = [1,7,13,19,25,31,37]
14 (take 7 [(1::Int),1..]) = [1,1,1,1,1,1,1]
15 (take 7 [(1::Int),0..]) = [1,0,-1,-2,-3,-4,-5]
16 (take 7 [(5::Int),2..]) = [5,2,-1,-4,-7,-10,-13]
17 (take 7 [x, x-1 ..]) = [-2147483647,-2147483648]
18 (take 7 [x, x-1 ..]) = [-2147483643,-2147483644,-2147483645,-2147483646,-2147483647,-2147483648]
19 (take 7 [x, (x+1) ..]) = [2147483642,2147483643,2147483644,2147483645,2147483646,2147483647]
20 (take 7 ([(1::Int) .. 5])) = [1,2,3,4,5]
21 (take 4 ([(1::Int) .. 1])) = [1]
22 (take 7 ([(1::Int) .. 0])) = []
23 (take 7 ([(5::Int) .. 0])) = []
24 (take 7 ([(maxBound-(5::Int)) .. maxBound])) = [2147483642,2147483643,2147483644,2147483645,2147483646,2147483647]
25 (take 7 ([(minBound+(5::Int)) .. minBound])) = []
26 (take 7 [(5::Int),4..1]) = [5,4,3,2,1]
27 (take 7 [(5::Int),3..1]) = [5,3,1]
28 (take 7 [(5::Int),3..2]) = [5,3]
29 (take 7 [(1::Int),2..1]) = [1]
30 (take 7 [(2::Int),1..2]) = [2]
31 (take 7 [(2::Int),1..1]) = [2,1]
32 (take 7 [(2::Int),3..1]) = []
33 (take 7 [x,(x+1)..maxBound]) = [2147483643,2147483644,2147483645,2147483646,2147483647]
34 (take 7 [x,(x-1)..minBound]) = [-2147483643,-2147483644,-2147483645,-2147483646,-2147483647,-2147483648]
36 (succ (0::Integer)) = 1
37 (succ ((-1)::Integer)) = 0
39 pred (0::Integer) = -1
40 (map (toEnum::Int->Integer) [1,minBound,maxBound]) = [1,-2147483648,2147483647]
41 (map fromEnum [(1::Integer),42,45]) = [1,42,45]
42 (take 7 [(1::Integer)..]) = [1,2,3,4,5,6,7]
43 (take 7 [(-5::Integer)..]) = [-5,-4,-3,-2,-1,0,1]
44 (take 7 [(1::Integer),2..]) = [1,2,3,4,5,6,7]
45 (take 7 [(1::Integer),7..]) = [1,7,13,19,25,31,37]
46 (take 7 [(1::Integer),1..]) = [1,1,1,1,1,1,1]
47 (take 7 [(1::Integer),0..]) = [1,0,-1,-2,-3,-4,-5]
48 (take 7 [(5::Integer),2..]) = [5,2,-1,-4,-7,-10,-13]
49 (take 7 ([(1::Integer) .. 5])) = [1,2,3,4,5]
50 (take 4 ([(1::Integer) .. 1])) = [1]
51 (take 7 ([(1::Integer) .. 0])) = []
52 (take 7 ([(5::Integer) .. 0])) = []
53 (take 7 [(5::Integer),4..1]) = [5,4,3,2,1]
54 (take 7 [(5::Integer),3..1]) = [5,3,1]
55 (take 7 [(5::Integer),3..2]) = [5,3]
56 (take 7 [(1::Integer),2..1]) = [1]
57 (take 7 [(2::Integer),1..2]) = [2]
58 (take 7 [(2::Integer),1..1]) = [2,1]
59 (take 7 [(2::Integer),3..1]) = []
62 (succ (minBound::Char)) = '\SOH'
63 (succ (maxBound::Char)) = error "Prelude.Enum.Char.succ: bad argument"
65 pred (maxBound::Char) = '\254'
66 pred (minBound::Char) = error "Prelude.Enum.Char.pred: bad argument"
67 (map (toEnum::Int->Char) [123,ord (minBound::Char), ord(maxBound::Char)]) = "{\NUL\255"
68 (toEnum::Int->Char) (minBound::Int) = error "Prelude.chr: bad argument"
69 (map fromEnum ['X',minBound,maxBound]) = [88,0,255]
70 (take 7 ['\NUL' .. ]) = "\NUL\SOH\STX\ETX\EOT\ENQ\ACK"
71 (take 7 ['\250' .. ]) = "\250\251\252\253\254\255"
72 (take 7 ['a','b'..]) = "abcdefg"
73 (take 7 ['a','e'..]) = "aeimquy"
74 (take 7 ['a','a'..]) = "aaaaaaa"
75 (take 7 ['z','y'..]) = "zyxwvut"
76 (take 7 ['z','v'..]) = "zvrnjfb"
77 (take 7 ['\1', '\0' ..]) = "\SOH\NUL"
78 (take 7 ['\5', '\4' ..]) = "\ENQ\EOT\ETX\STX\SOH\NUL"
79 (take 7 ['\250', '\251' ..]) = "\250\251\252\253\254\255"
80 (take 7 (['a' .. 'e'])) = "abcde"
81 (take 4 (['a' .. 'a'])) = "a"
82 (take 7 (['b' .. 'a'])) = ""
83 (take 7 (['e' .. 'a'])) = ""
84 (take 7 (['\250' .. '\255'])) = "\250\251\252\253\254\255"
85 (take 7 (['\5' .. '\0'])) = ""
86 (take 7 ['f','e' .. 'b']) = "fedcb"
87 (take 7 ['g','e' .. 'b']) = "gec"
88 (take 7 ['g','d' .. 'c']) = "gd"
89 (take 7 ['b','c' .. 'b']) = "b"
90 (take 7 ['c','b' .. 'c']) = "c"
91 (take 7 ['c','b' .. 'b']) = "cb"
92 (take 7 ['c','d' .. 'b']) = ""
93 (take 7 ['\251', '\252' .. maxBound]) = "\251\252\253\254\255"
94 (take 7 ['\5', '\4' .. minBound]) = "\ENQ\EOT\ETX\STX\SOH\NUL"
96 (succ ()) = error "Prelude.Enum.().succ: bad argment"
97 (succ (minBound::())) = error "Prelude.Enum.().succ: bad argment"
98 (succ (maxBound::())) = error "Prelude.Enum.().succ: bad argment"
99 (pred ()) = error "Prelude.Enum.().pred: bad argument"
100 (pred (minBound::())) = error "Prelude.Enum.().pred: bad argument"
101 (pred (maxBound::())) = error "Prelude.Enum.().pred: bad argument"
103 (toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument"
109 Testing Enum Ordering (derived):
111 (succ (minBound::Ordering)) = EQ
112 (succ (maxBound::Ordering)) = error "Prelude.Enum.Ordering.succ: bad argment"
114 (pred (maxBound::Ordering)) = EQ
115 (pred (minBound::Ordering)) = error "Prelude.Enum.Ordering.pred: bad argment"
116 (toEnum 0)::Ordering = LT
117 (toEnum 5)::Ordering = error "Prelude.Enum.Ordering.toEnum: bad argment"
121 ([LT ..]) = [LT,EQ,GT]
124 ([LT,EQ ..]) = [LT,EQ,GT]
125 ([EQ,GT ..]) = [EQ,GT]
126 ([EQ,LT ..]) = [EQ,LT]
127 ([LT,GT ..]) = [LT,GT]
128 ([GT,LT ..]) = [GT,LT]
129 take 7 (([GT,GT ..])) = [GT,GT,GT,GT,GT,GT,GT]
130 take 7 (([LT,LT ..])) = [LT,LT,LT,LT,LT,LT,LT]
131 ([LT .. GT]) = [LT,EQ,GT]
132 ([LT .. EQ]) = [LT,EQ]
137 ([LT,EQ .. GT]) = [LT,EQ,GT]
138 ([GT,EQ .. LT]) = [GT,EQ,LT]
139 ([GT,EQ .. EQ]) = [GT,EQ]
140 ([GT,EQ .. GT]) = [GT]
141 ([GT,EQ .. LT]) = [GT,EQ,LT]
142 ([LT,EQ .. LT]) = [LT]
143 ([LT,EQ .. GT]) = [LT,EQ,GT]
144 take 7 (([LT,LT .. GT])) = [LT,LT,LT,LT,LT,LT,LT]
145 take 7 (([GT,GT .. LT])) = []
148 (succ (minBound::Bool)) = True
149 (succ (maxBound::Bool)) = error "Prelude.Enum.Bool.succ: bad argment"
151 (pred (maxBound::Bool)) = False
152 (pred (minBound::Bool)) = error "Prelude.Enum.Bool.pred: bad argment"
153 (toEnum 0)::Bool = False
154 (toEnum 5)::Bool = error "Prelude.Enum.Bool.toEnum: bad argment"
157 ([False ..]) = [False,True]
159 ([False,True ..]) = [False,True]
160 ([True,False ..]) = [True,False]
161 (take 7 ([False,False ..])) = [False,False,False,False,False,False,False]
162 (take 7 ([True,True ..])) = [True,True,True,True,True,True,True]
163 ([False .. True]) = [False,True]
164 ([True .. False]) = []
165 take 7 ([False,False .. False]) = [False,False,False,False,False,False,False]
166 take 7 ([False,False .. True]) = [False,False,False,False,False,False,False]
167 take 7 ([False,True .. False]) = [False]
168 take 7 ([False,True .. True]) = [False,True]
169 take 7 ([True,False .. False]) = [True,False]
170 take 7 ([True,False .. True]) = [True]
171 take 7 ([True,True .. False]) = []
172 take 7 ([True,True .. True]) = [True,True,True,True,True,True,True]
173 Testing Enum Rational:
174 (succ (0::Rational)) = 1 % 1
175 (succ ((-1)::Rational)) = 0 % 1
176 pred (1::Rational) = 0 % 1
177 pred (0::Rational) = -1 % 1
178 (map (toEnum::Int->Rational) [1,minBound,maxBound]) = [1 % 1,-2147483648 % 1,2147483647 % 1]
179 (map fromEnum [(1::Rational),42,45]) = [1,42,45]
180 (take 7 [(1::Rational)..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
181 (take 7 [(-5::Rational)..]) = [-5 % 1,-4 % 1,-3 % 1,-2 % 1,-1 % 1,0 % 1,1 % 1]
182 (take 7 [(1::Rational),2..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
183 (take 7 [(1::Rational),7..]) = [1 % 1,7 % 1,13 % 1,19 % 1,25 % 1,31 % 1,37 % 1]
184 (take 7 [(1::Rational),1..]) = [1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1]
185 (take 7 [(1::Rational),0..]) = [1 % 1,0 % 1,-1 % 1,-2 % 1,-3 % 1,-4 % 1,-5 % 1]
186 (take 7 [(5::Rational),2..]) = [5 % 1,2 % 1,-1 % 1,-4 % 1,-7 % 1,-10 % 1,-13 % 1]
187 (take 7 ([(1::Rational) .. 5])) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1]
188 (take 4 ([(1::Rational) .. 1])) = [1 % 1]
189 (take 7 ([(1::Rational) .. 0])) = []
190 (take 7 ([(5::Rational) .. 0])) = []
191 (take 7 [(5::Rational),4..1]) = [5 % 1,4 % 1,3 % 1,2 % 1,1 % 1]
192 (take 7 [(5::Rational),3..1]) = [5 % 1,3 % 1,1 % 1]
193 (take 7 [(5::Rational),3..2]) = [5 % 1,3 % 1]
194 (take 7 [(1::Rational),2..1]) = [1 % 1]
195 (take 7 [(2::Rational),1..2]) = [2 % 1]
196 (take 7 [(2::Rational),1..1]) = [2 % 1,1 % 1]
197 (take 7 [(2::Rational),3..1]) = []
198 Testing Enum (Ratio Int):
199 (succ (0::Ratio Int)) = 1 % 1
200 (succ ((-1)::Ratio Int)) = 0 % 1
201 pred (1::Ratio Int) = 0 % 1
202 pred (0::Ratio Int) = -1 % 1
203 (map (toEnum::Int->Ratio Int) [1,minBound,maxBound]) = [1 % 1,-2147483648 % 1,2147483647 % 1]
204 (map fromEnum [(1::Ratio Int),42,45]) = [1,42,45]
205 (take 7 [(1::Ratio Int)..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
206 (take 7 [(-5::Ratio Int)..]) = [-5 % 1,-4 % 1,-3 % 1,-2 % 1,-1 % 1,0 % 1,1 % 1]
207 (take 7 [((toEnum ((maxBound::Int)-5))::Ratio Int)..]) = [2147483642 % 1,2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 1]
208 (take 7 [(1::Ratio Int),2..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1]
209 (take 7 [(1::Ratio Int),7..]) = [1 % 1,7 % 1,13 % 1,19 % 1,25 % 1,31 % 1,37 % 1]
210 (take 7 [(1::Ratio Int),1..]) = [1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1]
211 (take 7 [(1::Ratio Int),0..]) = [1 % 1,0 % 1,-1 % 1,-2 % 1,-3 % 1,-4 % 1,-5 % 1]
212 (take 7 [(5::Ratio Int),2..]) = [5 % 1,2 % 1,-1 % 1,-4 % 1,-7 % 1,-10 % 1,-13 % 1]
213 (take 7 [x, x-1 ..]) = [-2147483647 % 1,-2147483648 % 1]
214 (take 7 [x, x-1 ..]) = [-2147483643 % 1,-2147483644 % 1,-2147483645 % 1,-2147483646 % 1,-2147483647 % 1,-2147483648 % 1]
215 (take 7 [x, (x+1) ..]) = [2147483642 % 1,2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 1]
216 (take 7 ([(1::Ratio Int) .. 5])) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1]
217 (take 4 ([(1::Ratio Int) .. 1])) = [1 % 1]
218 (take 7 ([(1::Ratio Int) .. 0])) = []
219 (take 7 ([(5::Ratio Int) .. 0])) = []
220 (take 7 ([x..y])) = [2147483642 % 1,2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 1]
221 (take 7 ([x..y])) = []
222 (take 7 [(5::Ratio Int),4..1]) = [5 % 1,4 % 1,3 % 1,2 % 1,1 % 1]
223 (take 7 [(5::Ratio Int),3..1]) = [5 % 1,3 % 1,1 % 1]
224 (take 7 [(5::Ratio Int),3..2]) = [5 % 1,3 % 1]
225 (take 7 [(1::Ratio Int),2..1]) = [1 % 1]
226 (take 7 [(2::Ratio Int),1..2]) = [2 % 1]
227 (take 7 [(2::Ratio Int),1..1]) = [2 % 1,1 % 1]
228 (take 7 [(2::Ratio Int),3..1]) = []
229 (take 7 [x,(x+1)..y]) = [2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 1]
230 (take 7 [x,(x-1)..y]) = [-2147483643 % 1,-2147483644 % 1,-2147483645 % 1,-2147483646 % 1,-2147483647 % 1,-2147483648 % 1]