2 module OneOfEverything (
7 EqTree(EqLeaf, EqBranch),
14 interface Prelude where
15 import PreludeBuiltin ( trace, Char )
16 import PreludeCore ( Bool, String, ReadS, ShowS, Text )
18 %, numerator, denominator, approxRational )
19 import PreludeComplex (
150 instance (Eq a, Eq b) => Eq (a, b)
151 instance (Ord a, Ord b) => Ord (a, b)
152 instance (Ix a, Ix b) => Ix (a, b)
153 instance (Text a, Text b) => Text (a, b)
154 instance (Binary a, Binary b) => Binary (a, b)
155 instance (Eq a, Eq b, Eq c) => Eq (a, b, c)
156 instance (Ord a, Ord b, Ord c) => Ord (a, b, c)
157 instance (Ix a, Ix b, Ix c) => Ix (a, b, c)
158 instance (Text a, Text b, Text c) => Text (a, b, c)
159 instance (Binary a, Binary b, Binary c) => Binary (a, b, c)
160 instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
161 instance (Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d)
162 instance (Ix a, Ix b, Ix c, Ix d) => Ix (a, b, c, d)
163 instance (Text a, Text b, Text c, Text d) => Text (a, b, c, d)
164 instance (Binary a, Binary b, Binary c, Binary d) => Binary (a,
168 ^ :: (Num b, Integral a) => b -> a -> b
169 ^^ :: (Fractional b, Integral a) => b -> a -> b
170 appendBin :: Bin -> Bin -> Bin
171 asTypeOf :: a -> a -> a
172 atan2 :: RealFloat a => a -> a -> a
174 fromIntegral :: (Integral a, Num b) => a -> b
175 fromRealFrac :: (RealFrac a, Fractional b) => a -> b
176 gcd :: Integral a => a -> a -> a
177 isAlpha :: Char -> Bool
178 isAlphanum :: Char -> Bool
179 isAscii :: Char -> Bool
180 isControl :: Char -> Bool
181 isDigit :: Char -> Bool
182 isLower :: Char -> Bool
183 isNullBin :: Bin -> Bool
184 isPrint :: Char -> Bool
185 isSpace :: Char -> Bool
186 isUpper :: Char -> Bool
187 lcm :: Integral a => a -> a -> a
194 subtract :: Num a => a -> a -> a
195 toLower :: Char -> Char
196 toUpper :: Char -> Char
197 until :: (a -> Bool) -> (a -> a) -> a -> a
198 trace :: String -> a -> a
199 % :: Integral a => a -> a -> Ratio a
200 numerator :: Integral a => Ratio a -> a
201 denominator :: Integral a => Ratio a -> a
202 approxRational :: RealFrac a => a -> a -> Rational
203 cis :: RealFloat a => a -> Complex a
204 conjugate :: RealFloat a => Complex a -> Complex a
205 imagPart :: RealFloat a => Complex a -> a
206 magnitude :: RealFloat a => Complex a -> a
207 mkPolar :: RealFloat a => a -> a -> Complex a
208 phase :: RealFloat a => Complex a -> a
209 polar :: RealFloat a => Complex a -> (a, a)
210 realPart :: RealFloat a => Complex a -> a
211 !! :: Integral a => [b] -> a -> b
212 \\ :: Eq a => [a] -> [a] -> [a]
213 all :: (a -> Bool) -> [a] -> Bool
214 and :: [Bool] -> Bool
215 any :: (a -> Bool) -> [a] -> Bool
216 break :: (a -> Bool) -> [a] -> ([a], [a])
217 concat :: [[a]] -> [a]
219 drop :: Integral a => a -> [b] -> [b]
220 dropWhile :: (a -> Bool) -> [a] -> [a]
221 elem :: Eq a => a -> [a] -> Bool
222 filter :: (a -> Bool) -> [a] -> [a]
223 foldl1 :: (a -> a -> a) -> [a] -> a
224 foldr1 :: (a -> a -> a) -> [a] -> a
225 genericLength :: Num b => [a] -> b
228 iterate :: (a -> a) -> a -> [a]
231 lines :: [Char] -> [[Char]]
232 maximum :: Ord a => [a] -> a
233 minimum :: Ord a => [a] -> a
234 notElem :: Eq a => a -> [a] -> Bool
235 nub :: Eq a => [a] -> [a]
238 partition :: (a -> Bool) -> [a] -> ([a], [a])
239 product :: Num a => [a] -> a
240 products :: Num a => [a] -> [a]
242 reverse :: [a] -> [a]
243 scanl :: (b -> a -> b) -> b -> [a] -> [b]
244 scanl1 :: (a -> a -> a) -> [a] -> [a]
245 scanr :: (a -> b -> b) -> b -> [a] -> [b]
246 scanr1 :: (a -> a -> a) -> [a] -> [a]
247 span :: (a -> Bool) -> [a] -> ([a], [a])
248 splitAt :: Integral a => a -> [b] -> ([b], [b])
249 sum :: Num a => [a] -> a
250 sums :: Num a => [a] -> [a]
252 take :: Integral a => a -> [b] -> [b]
253 takeWhile :: (a -> Bool) -> [a] -> [a]
254 transpose :: [[a]] -> [[a]]
255 unlines :: [[Char]] -> [Char]
256 unwords :: [[Char]] -> [Char]
257 unzip :: [(a, b)] -> ([a], [b])
258 unzip3 :: [(a, b, c)] -> ([a], [b], [c])
259 unzip4 :: [(a, b, c, d)] -> ([a], [b], [c], [d])
260 unzip5 :: [(a, b, c, d, e)] -> ([a], [b], [c], [d], [e])
261 unzip6 :: [(a, b, c, d, e, f)] -> ([a], [b], [c], [d], [e], [f])
263 [(a, b, c, d, e, f, g)]
264 -> ([a], [b], [c], [d], [e], [f], [g])
265 words :: [Char] -> [[Char]]
266 zip :: [a] -> [b] -> [(a, b)]
267 zip3 :: [a] -> [b] -> [c] -> [(a, b, c)]
268 zip4 :: [a] -> [b] -> [c] -> [d] -> [(a, b, c, d)]
269 zip5 :: [a] -> [b] -> [c] -> [d] -> [e] -> [(a, b, c, d, e)]
272 -> [b] -> [c] -> [d] -> [e] -> [f] -> [(a, b, c, d, e, f)]
277 -> [d] -> [e] -> [f] -> [g] -> [(a, b, c, d, e, f, g)]
278 zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
279 zipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
281 (a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e]
283 (a -> b -> c -> d -> e -> f)
284 -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]
286 (a -> b -> c -> d -> e -> f -> g)
287 -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g]
289 (a -> b -> c -> d -> e -> f -> g -> h)
290 -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h]
291 ! :: Ix a => Array a b -> a -> b
292 // :: Ix a => Array a b -> [Assoc a b] -> Array a b
294 Ix b => (c -> a -> c)
295 -> Array b c -> [Assoc b a] -> Array b c
297 Ix b => (c -> a -> c)
298 -> c -> (b, b) -> [Assoc b a] -> Array b c
299 amap :: Ix b => (a -> c) -> Array b a -> Array b c
300 array :: Ix a => (a, a) -> [Assoc a b] -> Array a b
301 assocs :: Ix a => Array a b -> [Assoc a b]
302 bounds :: Ix b => Array b a -> (b, b)
303 elems :: Ix a => Array a b -> [b]
304 indices :: Ix b => Array b a -> [b]
306 (Ix b, Ix a) => (b, b) -> (b -> a) -> Array a c -> Array b c
307 listArray :: Ix a => (a, a) -> [b] -> Array a b
308 read :: Text a => [Char] -> a
309 readDec :: Integral a => [Char] -> [(a, [Char])]
310 readFloat :: RealFloat a => [Char] -> [(a, [Char])]
311 readLitChar :: [Char] -> [(Char, [Char])]
313 Real a => ([Char] -> [(a, [Char])])
314 -> [Char] -> [(a, [Char])]
315 reads :: Text a => [Char] -> [(a, [Char])]
316 show :: Text a => a -> [Char]
317 showChar :: Char -> [Char] -> [Char]
318 showFloat :: RealFloat a => a -> [Char] -> [Char]
319 showInt :: Integral a => a -> [Char] -> [Char]
320 showLitChar :: Char -> [Char] -> [Char]
322 Real a => (a -> [Char] -> [Char])
323 -> Int -> a -> [Char] -> [Char]
324 shows :: Text a => a -> [Char] -> [Char]
325 abort :: IOError -> [Response] -> [Request]
329 -> (IOError -> [Response] -> [Request])
330 -> ([Response] -> [Request]) -> [Response] -> [Request]
334 -> (IOError -> [Response] -> [Request])
335 -> ([Response] -> [Request]) -> [Response] -> [Request]
339 -> (IOError -> [Response] -> [Request])
340 -> ([Response] -> [Request]) -> [Response] -> [Request]
344 -> (IOError -> [Response] -> [Request])
345 -> ([Response] -> [Request]) -> [Response] -> [Request]
347 (IOError -> [Response] -> a)
348 -> (Bin -> [Response] -> a) -> [Response] -> a
351 -> (IOError -> [Response] -> [Request])
352 -> ([Response] -> [Request]) -> [Response] -> [Request]
353 done :: [Response] -> [Request]
356 -> (IOError -> [Response] -> [Request])
357 -> ([Response] -> [Request]) -> [Response] -> [Request]
358 exit :: IOError -> [Response] -> [Request]
360 (IOError -> [Response] -> [Request])
361 -> ([[Char]] -> [Response] -> [Request])
362 -> [Response] -> [Request]
365 -> (IOError -> [Response] -> [Request])
366 -> ([Char] -> [Response] -> [Request])
367 -> [Response] -> [Request]
369 (IOError -> [Response] -> [Request])
370 -> ([Char] -> [Response] -> [Request])
371 -> [Response] -> [Request]
372 interact :: ([Char] -> [Char]) -> [Response] -> [Request]
373 print :: Text a => a -> [Response] -> [Request]
374 prints :: Text a => a -> [Char] -> [Response] -> [Request]
377 -> (IOError -> [Response] -> [Request])
378 -> (Bin -> [Response] -> [Request])
379 -> [Response] -> [Request]
382 -> (IOError -> [Response] -> [Request])
383 -> (Bin -> [Response] -> [Request])
384 -> [Response] -> [Request]
387 -> (IOError -> [Response] -> [Request])
388 -> ([Char] -> [Response] -> [Request])
389 -> [Response] -> [Request]
392 -> (IOError -> [Response] -> [Request])
393 -> ([Char] -> [Response] -> [Request])
394 -> [Response] -> [Request]
398 -> (IOError -> [Response] -> [Request])
399 -> ([Response] -> [Request]) -> [Response] -> [Request]
402 -> (IOError -> [Response] -> [Request])
403 -> ([Char] -> [Response] -> [Request])
404 -> [Response] -> [Request]
407 -> (IOError -> [Response] -> [Request])
408 -> ([Char] -> [Response] -> [Request])
409 -> [Response] -> [Request]
415 (IOError -> [Response] -> a)
416 -> ([Char] -> [Response] -> a) -> [Response] -> a
418 (IOError -> [Response] -> a)
419 -> ([[Char]] -> [Response] -> a) -> [Response] -> a
421 (IOError -> [Response] -> a)
422 -> ([Response] -> a) -> [Response] -> a
426 -> (IOError -> [Response] -> [Request])
427 -> ([Response] -> [Request]) -> [Response] -> [Request]
431 -> (IOError -> [Response] -> [Request])
432 -> ([Response] -> [Request]) -> [Response] -> [Request]
436 import OneB ( fB ) renaming (fB to fBa)
439 data Ord a => DataAB a
443 class Ord a => ClassA a where
448 renaming (fA to renamedA)
464 renaming (fc to renamedC)
498 type Pair a b = (a, b)
503 data Eq a => EqTree a
505 | EqBranch (EqLeaf a) (EqLeaf a)
506 class Eq a => EqClass a where
509 class Ord a => OrdClass a where
513 instance Eq a => EqClass EqTree a where
515 default (Integer, Rational)
516 bindwith :: (OrdClass a, OrdClass b) => a -> b -> b
517 g :: (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
535 mat a b c d | foof a b = d
541 expr a b c d = ((((((((a + ((:) a b)) + (a : b))
542 + (((1 - 'c') - "abc") - 1.2929999999999999))
543 + ((\ x y z -> x) 42))
553 + ([ z | z <- c, isSpace z ]))
557 in (((((((y + ([1, 2, 3, 4])) + ((4, 3, 2, 1)))
558 + ((4 :: Num a => a)))
559 + (if 42 == 42.000000000000000 then 1 else 4))
579 doRenamings:tossing them away
582 Unknown name in export list: FooDataC
583 "read001.hs", line 38: undefined type constructor: EqLeaf
584 "read001.hs", line 38: undefined type constructor: EqLeaf
585 "read001.hs", line 112: undefined type constructor: Foo
586 "read001.hs", line 95: undefined value: x
587 "read001.hs", line 95: undefined value: x
588 "read001.hs", line 95: undefined value: foo
589 "read001.hs", line 107: undefined value: Foo
590 "read001.hs", line 107: undefined value: Bar
591 Fail: Compilation errors found
593 ghc: execution of the Haskell compiler had trouble