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
|
Renamed-pass4:
module Imp1000 where
infixl 9 PreludeArray.!
infixl 9 PreludeList.!!
infixl 7 PreludeRatio.%
infixl 7 (*)
infixl 6 (+)
infixl 6 (-)
infixl 7 (/)
infixl 9 PreludeArray.//
infixl 7 `div`
infixl 7 `mod`
infixl 7 `quot`
infixl 7 `rem`
infixr 0 $
infixr 3 &&
infixr 8 (**)
infixr 9 .
infixr 8 Prelude.^
infixr 8 Prelude.^^
infixr 2 ||
infix 4 (/=)
infix 6 :+
infix 1 :=
infix 4 (<)
infix 4 (<=)
infix 4 (==)
infix 4 (>)
infix 4 (>=)
infix 5 PreludeList.\\
data Int10.T1 a
= Int10.C1 a
data Int10.T10 a b c d e
= Int10.T10C1 a
| Int10.T10C2 b
| Int10.T10C3 c
| Int10.T10C4 d
| Int10.T10C5 e
data Int10.T2 a b
= Int10.T2C1 a
| Int10.T2C2 b
data Int10.T3 a b c
= Int10.T3C1 a
| Int10.T3C2 b
| Int10.T3C3 c
data Int10.T4 a b c d
= Int10.T4C1 a
| Int10.T4C2 b
| Int10.T4C3 c
| Int10.T4C4 d
data Int10.T5 a b c d e
= Int10.T5C1 a
| Int10.T5C2 b
| Int10.T5C3 c
| Int10.T5C4 d
| Int10.T5C5 e
data Int10.T6 a
= Int10.T6C6 a
data Int10.T7 a b
= Int10.T7C6 a
| Int10.T7C7 b
data Int10.T8 a b c
= Int10.T8C1 a
| Int10.T8C2 b
| Int10.T8C3 c
data Int10.T9 a b c d
= Int10.T9C1 a
| Int10.T9C2 b
| Int10.T9C3 c
| Int10.T9C4 d
instance (Eq a, Eq b) => Eq (a, b)
instance (Eq a, Eq b, Eq c) => Eq (a, b, c)
instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
instance (Ord a, Ord b) => Ord (a, b)
instance (Ord a, Ord b, Ord c) => Ord (a, b, c)
instance (Ord a, Ord b, Ord c, Ord d) => Ord (a, b, c, d)
instance (Ix a, Ix b) => Ix (a, b)
instance (Ix a, Ix b, Ix c) => Ix (a, b, c)
instance (Ix a, Ix b, Ix c, Ix d) => Ix (a, b, c, d)
instance (Text a, Text b) => Text (a, b)
instance (Text a, Text b, Text c) => Text (a, b, c)
instance (Text a, Text b, Text c, Text d) => Text (a, b, c, d)
instance (Binary a, Binary b) => Binary (a, b)
instance (Binary a, Binary b, Binary c) => Binary (a, b, c)
instance (Binary a, Binary b, Binary c, Binary d) => Binary (a, b, c, d)
PreludeArray.! :: Ix a => Array a b -> a -> b
PreludeList.!! :: Integral a => [b] -> a -> b
PreludeRatio.% :: Integral a => a -> a -> Ratio a
PreludeArray.// :: Ix a => Array a b -> [Assoc a b] -> Array a b
PreludeList.\\ :: Eq a => [a] -> [a] -> [a]
Prelude.^ :: (Num b, Integral a) => b -> a -> b
Prelude.^^ :: (Fractional b, Integral a) => b -> a -> b
PreludeList.or :: [Bool] -> Bool
|
