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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
|
==================== Derived instances ====================
Derived class instances:
instance GHC.Show.Show T14682.Foo where
GHC.Show.showsPrec a (T14682.Foo b1 b2)
= GHC.Show.showParen
(a GHC.Classes.>= 11)
((GHC.Base..)
(GHC.Show.showString "Foo ")
((GHC.Base..)
(GHC.Show.showsPrec 11 b1)
((GHC.Base..) GHC.Show.showSpace (GHC.Show.showsPrec 11 b2))))
instance Language.Haskell.TH.Syntax.Lift T14682.Foo where
Language.Haskell.TH.Syntax.lift (T14682.Foo a1 a2)
= [| T14682.Foo a1 a2 |]
pending(rn) [<a2, Language.Haskell.TH.Syntax.lift a2>,
<a1, Language.Haskell.TH.Syntax.lift a1>]
Language.Haskell.TH.Syntax.liftTyped (T14682.Foo a1 a2)
= [|| T14682.Foo a1 a2 ||]
instance Data.Data.Data T14682.Foo where
Data.Data.gfoldl k z (T14682.Foo a1 a2)
= ((z (\ a1 a2 -> T14682.Foo a1 a2) `k` a1) `k` a2)
Data.Data.gunfold k z _ = k (k (z (\ a1 a2 -> T14682.Foo a1 a2)))
Data.Data.toConstr (T14682.Foo _ _) = $cFoo
Data.Data.dataTypeOf _ = $tFoo
instance GHC.Classes.Eq T14682.Foo where
(GHC.Classes.==) (T14682.Foo a1 a2) (T14682.Foo b1 b2)
= (((a1 GHC.Classes.== b1))
GHC.Classes.&& ((a2 GHC.Classes.== b2)))
instance GHC.Classes.Ord T14682.Foo where
GHC.Classes.compare a b
= case a of
T14682.Foo a1 a2
-> case b of
T14682.Foo b1 b2
-> case (GHC.Classes.compare a1 b1) of
GHC.Types.LT -> GHC.Types.LT
GHC.Types.EQ -> (a2 `GHC.Classes.compare` b2)
GHC.Types.GT -> GHC.Types.GT
(GHC.Classes.<) a b
= case a of
T14682.Foo a1 a2
-> case b of
T14682.Foo b1 b2
-> case (GHC.Classes.compare a1 b1) of
GHC.Types.LT -> GHC.Types.True
GHC.Types.EQ -> (a2 GHC.Classes.< b2)
GHC.Types.GT -> GHC.Types.False
(GHC.Classes.<=) a b = GHC.Classes.not ((GHC.Classes.<) b a)
(GHC.Classes.>) a b = (GHC.Classes.<) b a
(GHC.Classes.>=) a b = GHC.Classes.not ((GHC.Classes.<) a b)
instance GHC.Ix.Ix T14682.Foo where
GHC.Ix.range (T14682.Foo a1 a2, T14682.Foo b1 b2)
= [T14682.Foo c1 c2 |
c1 <- GHC.Ix.range (a1, b1), c2 <- GHC.Ix.range (a2, b2)]
GHC.Ix.unsafeIndex
(T14682.Foo a1 a2, T14682.Foo b1 b2)
(T14682.Foo c1 c2)
= (GHC.Ix.unsafeIndex (a2, b2) c2
GHC.Num.+
(GHC.Ix.unsafeRangeSize (a2, b2)
GHC.Num.* GHC.Ix.unsafeIndex (a1, b1) c1))
GHC.Ix.inRange
(T14682.Foo a1 a2, T14682.Foo b1 b2)
(T14682.Foo c1 c2)
= (GHC.Ix.inRange (a1, b1) c1
GHC.Classes.&& GHC.Ix.inRange (a2, b2) c2)
$tFoo :: Data.Data.DataType
$cFoo :: Data.Data.Constr
$tFoo = Data.Data.mkDataType "T14682.Foo" [$cFoo]
$cFoo = Data.Data.mkConstrTag $tFoo "Foo" 1 [] Data.Data.Prefix
Derived type family instances:
==================== Filling in method body ====================
GHC.Show.Show [T14682.Foo]
GHC.Show.show = GHC.Show.$dmshow @(T14682.Foo)
==================== Filling in method body ====================
GHC.Show.Show [T14682.Foo]
GHC.Show.showList = GHC.Show.$dmshowList @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.dataCast1 = Data.Data.$dmdataCast1 @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.dataCast2 = Data.Data.$dmdataCast2 @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapT = Data.Data.$dmgmapT @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapQl = Data.Data.$dmgmapQl @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapQr = Data.Data.$dmgmapQr @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapQ = Data.Data.$dmgmapQ @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapQi = Data.Data.$dmgmapQi @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapM = Data.Data.$dmgmapM @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapMp = Data.Data.$dmgmapMp @(T14682.Foo)
==================== Filling in method body ====================
Data.Data.Data [T14682.Foo]
Data.Data.gmapMo = Data.Data.$dmgmapMo @(T14682.Foo)
==================== Filling in method body ====================
GHC.Classes.Eq [T14682.Foo]
GHC.Classes./= = GHC.Classes.$dm/= @(T14682.Foo)
==================== Filling in method body ====================
GHC.Classes.Ord [T14682.Foo]
GHC.Classes.max = GHC.Classes.$dmmax @(T14682.Foo)
==================== Filling in method body ====================
GHC.Classes.Ord [T14682.Foo]
GHC.Classes.min = GHC.Classes.$dmmin @(T14682.Foo)
==================== Filling in method body ====================
GHC.Ix.Ix [T14682.Foo]
GHC.Ix.index = GHC.Ix.$dmindex @(T14682.Foo)
==================== Filling in method body ====================
GHC.Ix.Ix [T14682.Foo]
GHC.Ix.rangeSize = GHC.Ix.$dmrangeSize @(T14682.Foo)
==================== Filling in method body ====================
GHC.Ix.Ix [T14682.Foo]
GHC.Ix.unsafeRangeSize = GHC.Ix.$dmunsafeRangeSize @(T14682.Foo)
|
