1 Renamer stats: 6 interfaces read
2 4 class decls imported, out of 17 read
3 0 data decls imported (of which 0 abstractly), out of 11 read
4 0 newtype decls imported (of which 0 abstractly), out of 0 read
5 1 type synonym decls imported, out of 5 read
6 37 value signatures imported, out of 1101 read
7 25 instance decls imported, out of 114 read
10 ================================================================================
13 PrelNum.$d35{-ry8,p-} ::
14 {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
15 PrelNum.$d33{-ry6,p-} ::
16 {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
17 PrelNum.$d29{-ry1,p-} ::
18 {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
19 PrelNum.$d18{-rxP,p-} ::
20 {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
21 PrelNum.$d16{-rxN,p-} ::
22 {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
23 PrelNum.$d10{-rxH,p-} ::
24 {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
25 PrelBase.$d8{-rc4,p-} ::
26 {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
27 PrelBase.$d7{-rc3,p-} ::
28 {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
29 PrelBase.$d54{-rbY,p-} ::
30 {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
31 PrelBase.$d46{-rbP,p-} ::
32 {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
33 PrelBase.$d44{-rbN,p-} ::
34 _forall_ [a_rGZ] => {PrelBase.Eval{-24,p-} [a_rGZ]}
35 PrelBase.$d42{-rbL,p-} ::
36 {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
37 PrelBase.$d41{-rbK,p-} ::
38 {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
39 PrelBase.$d39{-rbH,p-} ::
40 {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
41 PrelBase.$d38{-rbG,p-} ::
42 {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
43 PrelBase.$d37{-rbF,p-} ::
44 {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
45 PrelBase.$d33{-rbB,p-} ::
46 {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
47 PrelBase.$d32{-rbA,p-} ::
48 {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
49 PrelBase.$d3{-rbx,p-} ::
50 {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
51 PrelBase.$d27{-rbu,p-} ::
54 {PrelBase.Eq{-23,p-} a_rGX}
56 {PrelBase.Eq{-23,p-} [a_rGX]}
57 PrelBase.$d21{-rbo,p-} ::
60 {PrelBase.Show{-2i,p-} a_rGV}
62 {PrelBase.Show{-2i,p-} [a_rGV]}
63 PrelBase.$d2{-rbm,p-} ::
64 {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
65 PrelBase.$d15{-rbh,p-} ::
66 {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
67 PrelBase.$d11{-rbd,p-} ::
68 {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
69 PrelBase.$d1{-rbb,p-} ::
70 _forall_ [a_rGS b_rGT] => {PrelBase.Show{-2i,p-} (a_rGS -> b_rGT)}
71 instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
72 instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
73 instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
74 instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
75 instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
76 instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
77 instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
78 instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
79 instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
80 instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
81 instance _forall_ [a_rvg] => {PrelBase.Eval{-24,p-} [a_rvg]}
82 instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
83 instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
84 instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
85 instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
86 instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
87 instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
88 instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
89 instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
92 {PrelBase.Eq{-23,p-} a_rvi}
94 {PrelBase.Eq{-23,p-} [a_rvi]}
97 {PrelBase.Show{-2i,p-} a_rvk}
99 {PrelBase.Show{-2i,p-} [a_rvk]}
100 instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
101 instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
102 instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
106 {PrelBase.Show{-2i,p-} (a_rvm -> b_rvn)}
107 PrelBase.$m=={-rcd,p-} ::
110 {PrelBase.Eq{-23,p-} a_rj7}
112 a_rj7 -> a_rj7 -> PrelBase.Bool{-34,p-}
113 PrelBase.$m/={-rca,p-} ::
116 {PrelBase.Eq{-23,p-} a_rj5}
118 a_rj5 -> a_rj5 -> PrelBase.Bool{-34,p-}
119 class PrelBase.Eq{-23,p-} rlg_rj3 where {
121 rlg_rj3 -> rlg_rj3 -> PrelBase.Bool{-34,p-};
123 rlg_rj3 -> rlg_rj3 -> PrelBase.Bool{-34,p-};
125 PrelBase.$mshowsPrec{-rcz,p-} ::
128 {PrelBase.Show{-2i,p-} a_rj1}
131 -> a_rj1 -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-}
132 type PrelBase.String{-rdj,p-} =
133 [PrelBase.Char{-38,p-}]
134 PrelBase.$mshowList{-rcy,p-} ::
137 {PrelBase.Show{-2i,p-} a_riY}
139 [a_riY] -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-}
140 class PrelBase.Show{-2i,p-} riq_riW where {
143 -> riq_riW -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-};
145 [riq_riW] -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-};
147 PrelBase.$m+{-rc7,p-} ::
150 {PrelBase.Num{-2c,p-} a_riU}
152 a_riU -> a_riU -> a_riU
153 PrelBase.$m-{-rc9,p-} ::
156 {PrelBase.Num{-2c,p-} a_riS}
158 a_riS -> a_riS -> a_riS
159 PrelBase.$m*{-rc6,p-} ::
162 {PrelBase.Num{-2c,p-} a_riQ}
164 a_riQ -> a_riQ -> a_riQ
165 PrelBase.$mnegate{-rcw,p-} ::
166 _forall_ [a_riO] {PrelBase.Num{-2c,p-} a_riO} => a_riO -> a_riO
167 PrelBase.$mabs{-rci,p-} ::
168 _forall_ [a_riM] {PrelBase.Num{-2c,p-} a_riM} => a_riM -> a_riM
169 PrelBase.$msignum{-rcA,p-} ::
170 _forall_ [a_riK] {PrelBase.Num{-2c,p-} a_riK} => a_riK -> a_riK
171 PrelBase.$mfromInteger{-rcq,p-} ::
174 {PrelBase.Num{-2c,p-} a_riI}
176 PrelBase.Integer{-3h,p-} -> a_riI
177 PrelBase.$mfromInt{-rcp,p-} ::
180 {PrelBase.Num{-2c,p-} a_riG}
182 PrelBase.Int{-3g,p-} -> a_riG
183 class {PrelBase.Eq{-23,p-} riC_riE, PrelBase.Show{-2i,p-} riC_riE, PrelBase.Eval{-24,p-} riC_riE} => PrelBase.Num{-2c,p-} riC_riE where {
185 riC_riE -> riC_riE -> riC_riE;
187 riC_riE -> riC_riE -> riC_riE;
189 riC_riE -> riC_riE -> riC_riE;
197 PrelBase.Integer{-3h,p-} -> riC_riE;
199 PrelBase.Int{-3g,p-} -> riC_riE;
201 class PrelBase.Eval{-24,p-} rk6_riC
205 instance {FOO{-r3y,x-} Foo{-r3A,x-}} where
209 class FOO{-r3y,x-} a_r3v where {
211 a_r3v -> PrelBase.Int{-3g,i-};