1 Renamer stats: 5 interfaces read
2 4 class decls imported, out of 17 read
3 0 data decls imported (of which 0 abstractly), out of 9 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 1098 read
7 25 instance decls imported, out of 114 read
10 ================================================================================
13 PrelNum.$d35{-rzT,p-} ::
14 {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
15 PrelNum.$d33{-rzR,p-} ::
16 {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
17 PrelNum.$d29{-rzM,p-} ::
18 {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
19 PrelNum.$d18{-rzA,p-} ::
20 {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
21 PrelNum.$d16{-rzy,p-} ::
22 {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
23 PrelNum.$d10{-rzs,p-} ::
24 {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
25 PrelBase.$d8{-rey,p-} ::
26 {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
27 PrelBase.$d7{-rex,p-} ::
28 {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
29 PrelBase.$d54{-res,p-} ::
30 {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
31 PrelBase.$d46{-rej,p-} ::
32 {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
33 PrelBase.$d44{-reh,p-} ::
34 _forall_ [a_rHM] => {PrelBase.Eval{-24,p-} [a_rHM]}
35 PrelBase.$d42{-ref,p-} ::
36 {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
37 PrelBase.$d41{-ree,p-} ::
38 {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
39 PrelBase.$d39{-reb,p-} ::
40 {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
41 PrelBase.$d38{-rea,p-} ::
42 {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
43 PrelBase.$d37{-re9,p-} ::
44 {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
45 PrelBase.$d33{-re5,p-} ::
46 {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
47 PrelBase.$d32{-re4,p-} ::
48 {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
49 PrelBase.$d3{-re1,p-} ::
50 {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
51 PrelBase.$d27{-rdY,p-} ::
54 {PrelBase.Eq{-23,p-} a_rHK}
56 {PrelBase.Eq{-23,p-} [a_rHK]}
57 PrelBase.$d21{-rdS,p-} ::
60 {PrelBase.Show{-2i,p-} a_rHI}
62 {PrelBase.Show{-2i,p-} [a_rHI]}
63 PrelBase.$d2{-rdQ,p-} ::
64 {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
65 PrelBase.$d15{-rdL,p-} ::
66 {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
67 PrelBase.$d11{-rdH,p-} ::
68 {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
69 PrelBase.$d1{-rdF,p-} ::
70 _forall_ [a_rHF b_rHG] => {PrelBase.Show{-2i,p-} (a_rHF -> b_rHG)}
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_rx1] => {PrelBase.Eval{-24,p-} [a_rx1]}
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_rx3}
94 {PrelBase.Eq{-23,p-} [a_rx3]}
97 {PrelBase.Show{-2i,p-} a_rx5}
99 {PrelBase.Show{-2i,p-} [a_rx5]}
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_rx7 -> b_rx8)}
107 PrelBase.$m=={-reH,p-} ::
110 {PrelBase.Eq{-23,p-} a_rkT}
112 a_rkT -> a_rkT -> PrelBase.Bool{-34,p-}
113 PrelBase.$m/={-reE,p-} ::
116 {PrelBase.Eq{-23,p-} a_rkR}
118 a_rkR -> a_rkR -> PrelBase.Bool{-34,p-}
119 class PrelBase.Eq{-23,p-} rlg_rkP where {
121 rlg_rkP -> rlg_rkP -> PrelBase.Bool{-34,p-};
123 rlg_rkP -> rlg_rkP -> PrelBase.Bool{-34,p-};
125 PrelBase.$mshowsPrec{-rf3,p-} ::
128 {PrelBase.Show{-2i,p-} a_rkN}
131 -> a_rkN -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-}
132 type PrelBase.String{-r5k,p-} =
133 [PrelBase.Char{-38,p-}]
134 PrelBase.$mshowList{-rf2,p-} ::
137 {PrelBase.Show{-2i,p-} a_rkK}
139 [a_rkK] -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-}
140 class PrelBase.Show{-2i,p-} riq_rkI where {
143 -> riq_rkI -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-};
145 [riq_rkI] -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-};
147 class PrelBase.Eval{-24,p-} rk6_rkG
148 PrelBase.$m+{-reB,p-} ::
151 {PrelBase.Num{-2c,p-} a_rkE}
153 a_rkE -> a_rkE -> a_rkE
154 PrelBase.$m-{-reD,p-} ::
157 {PrelBase.Num{-2c,p-} a_rkC}
159 a_rkC -> a_rkC -> a_rkC
160 PrelBase.$m*{-reA,p-} ::
163 {PrelBase.Num{-2c,p-} a_rkA}
165 a_rkA -> a_rkA -> a_rkA
166 PrelBase.$mnegate{-rf0,p-} ::
167 _forall_ [a_rky] {PrelBase.Num{-2c,p-} a_rky} => a_rky -> a_rky
168 PrelBase.$mabs{-reM,p-} ::
169 _forall_ [a_rkw] {PrelBase.Num{-2c,p-} a_rkw} => a_rkw -> a_rkw
170 PrelBase.$msignum{-rf4,p-} ::
171 _forall_ [a_rku] {PrelBase.Num{-2c,p-} a_rku} => a_rku -> a_rku
172 PrelBase.$mfromInteger{-reU,p-} ::
175 {PrelBase.Num{-2c,p-} a_rks}
177 PrelBase.Integer{-3h,p-} -> a_rks
178 PrelBase.$mfromInt{-reT,p-} ::
181 {PrelBase.Num{-2c,p-} a_rkq}
183 PrelBase.Int{-3g,p-} -> a_rkq
184 class {PrelBase.Eq{-23,p-} riC_rko, PrelBase.Show{-2i,p-} riC_rko, PrelBase.Eval{-24,p-} riC_rko} => PrelBase.Num{-2c,p-} riC_rko where {
186 riC_rko -> riC_rko -> riC_rko;
188 riC_rko -> riC_rko -> riC_rko;
190 riC_rko -> riC_rko -> riC_rko;
198 PrelBase.Integer{-3h,p-} -> riC_rko;
200 PrelBase.Int{-3g,p-} -> riC_rko;