testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / generics / GenDerivOutput.stderr
1
2 ==================== Derived instances ====================
3 Derived class instances:
4   instance GHC.Generics.Generic (GenDerivOutput.Rose a) where
5     GHC.Generics.from x
6       = GHC.Generics.M1
7           (case x of
8              GenDerivOutput.Empty
9                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
10              GenDerivOutput.Rose g1 g2
11                -> GHC.Generics.R1
12                     (GHC.Generics.M1
13                        ((GHC.Generics.:*:)
14                           (GHC.Generics.M1 (GHC.Generics.K1 g1))
15                           (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
16     GHC.Generics.to (GHC.Generics.M1 x)
17       = case x of
18           (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
19             -> GenDerivOutput.Empty
20           (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
21                                                                 (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
22             -> GenDerivOutput.Rose g1 g2
23   
24   instance GHC.Generics.Generic1 GenDerivOutput.Rose where
25     GHC.Generics.from1 x
26       = GHC.Generics.M1
27           (case x of
28              GenDerivOutput.Empty
29                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
30              GenDerivOutput.Rose g1 g2
31                -> GHC.Generics.R1
32                     (GHC.Generics.M1
33                        ((GHC.Generics.:*:)
34                           (GHC.Generics.M1 (GHC.Generics.Par1 g1))
35                           (GHC.Generics.M1
36                              ((GHC.Base..)
37                                 GHC.Generics.Comp1 (GHC.Base.fmap GHC.Generics.Rec1) g2)))))
38     GHC.Generics.to1 (GHC.Generics.M1 x)
39       = case x of
40           (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
41             -> GenDerivOutput.Empty
42           (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
43                                                                 (GHC.Generics.M1 g2))))
44             -> GenDerivOutput.Rose
45                  (GHC.Generics.unPar1 g1)
46                  ((GHC.Base..)
47                     (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g2)
48   
49   instance GHC.Generics.Generic (GenDerivOutput.List a) where
50     GHC.Generics.from x
51       = GHC.Generics.M1
52           (case x of
53              GenDerivOutput.Nil
54                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
55              GenDerivOutput.Cons g1 g2
56                -> GHC.Generics.R1
57                     (GHC.Generics.M1
58                        ((GHC.Generics.:*:)
59                           (GHC.Generics.M1 (GHC.Generics.K1 g1))
60                           (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
61     GHC.Generics.to (GHC.Generics.M1 x)
62       = case x of
63           (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
64             -> GenDerivOutput.Nil
65           (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
66                                                                 (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
67             -> GenDerivOutput.Cons g1 g2
68   
69   instance GHC.Generics.Generic1 GenDerivOutput.List where
70     GHC.Generics.from1 x
71       = GHC.Generics.M1
72           (case x of
73              GenDerivOutput.Nil
74                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
75              GenDerivOutput.Cons g1 g2
76                -> GHC.Generics.R1
77                     (GHC.Generics.M1
78                        ((GHC.Generics.:*:)
79                           (GHC.Generics.M1 (GHC.Generics.Par1 g1))
80                           (GHC.Generics.M1 (GHC.Generics.Rec1 g2)))))
81     GHC.Generics.to1 (GHC.Generics.M1 x)
82       = case x of
83           (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
84             -> GenDerivOutput.Nil
85           (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
86                                                                 (GHC.Generics.M1 g2))))
87             -> GenDerivOutput.Cons
88                  (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
89   
90   instance GHC.Base.Functor GenDerivOutput.List where
91     GHC.Base.fmap f GenDerivOutput.Nil = GenDerivOutput.Nil
92     GHC.Base.fmap f (GenDerivOutput.Cons a1 a2)
93       = GenDerivOutput.Cons (f a1) (GHC.Base.fmap f a2)
94     (GHC.Base.<$) z GenDerivOutput.Nil = GenDerivOutput.Nil
95     (GHC.Base.<$) z (GenDerivOutput.Cons a1 a2)
96       = GenDerivOutput.Cons ((\ b1 -> z) a1) ((GHC.Base.<$) z a2)
97   
98
99 Derived type family instances:
100   type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1
101                                                     ('GHC.Generics.MetaData
102                                                        "Rose"
103                                                        "GenDerivOutput"
104                                                        "main"
105                                                        'GHC.Types.False)
106                                                     (GHC.Generics.C1
107                                                        ('GHC.Generics.MetaCons
108                                                           "Empty"
109                                                           'GHC.Generics.PrefixI
110                                                           'GHC.Types.False)
111                                                        GHC.Generics.U1
112                                                      GHC.Generics.:+: GHC.Generics.C1
113                                                                         ('GHC.Generics.MetaCons
114                                                                            "Rose"
115                                                                            'GHC.Generics.PrefixI
116                                                                            'GHC.Types.False)
117                                                                         (GHC.Generics.S1
118                                                                            ('GHC.Generics.MetaSel
119                                                                               'GHC.Maybe.Nothing
120                                                                               'GHC.Generics.NoSourceUnpackedness
121                                                                               'GHC.Generics.NoSourceStrictness
122                                                                               'GHC.Generics.DecidedLazy)
123                                                                            (GHC.Generics.Rec0 a)
124                                                                          GHC.Generics.:*: GHC.Generics.S1
125                                                                                             ('GHC.Generics.MetaSel
126                                                                                                'GHC.Maybe.Nothing
127                                                                                                'GHC.Generics.NoSourceUnpackedness
128                                                                                                'GHC.Generics.NoSourceStrictness
129                                                                                                'GHC.Generics.DecidedLazy)
130                                                                                             (GHC.Generics.Rec0
131                                                                                                (GenDerivOutput.List
132                                                                                                   (GenDerivOutput.Rose
133                                                                                                      a)))))
134   type GHC.Generics.Rep1 GenDerivOutput.Rose = GHC.Generics.D1
135                                                  ('GHC.Generics.MetaData
136                                                     "Rose" "GenDerivOutput" "main" 'GHC.Types.False)
137                                                  (GHC.Generics.C1
138                                                     ('GHC.Generics.MetaCons
139                                                        "Empty"
140                                                        'GHC.Generics.PrefixI
141                                                        'GHC.Types.False)
142                                                     GHC.Generics.U1
143                                                   GHC.Generics.:+: GHC.Generics.C1
144                                                                      ('GHC.Generics.MetaCons
145                                                                         "Rose"
146                                                                         'GHC.Generics.PrefixI
147                                                                         'GHC.Types.False)
148                                                                      (GHC.Generics.S1
149                                                                         ('GHC.Generics.MetaSel
150                                                                            'GHC.Maybe.Nothing
151                                                                            'GHC.Generics.NoSourceUnpackedness
152                                                                            'GHC.Generics.NoSourceStrictness
153                                                                            'GHC.Generics.DecidedLazy)
154                                                                         GHC.Generics.Par1
155                                                                       GHC.Generics.:*: GHC.Generics.S1
156                                                                                          ('GHC.Generics.MetaSel
157                                                                                             'GHC.Maybe.Nothing
158                                                                                             'GHC.Generics.NoSourceUnpackedness
159                                                                                             'GHC.Generics.NoSourceStrictness
160                                                                                             'GHC.Generics.DecidedLazy)
161                                                                                          (GenDerivOutput.List
162                                                                                           GHC.Generics.:.: GHC.Generics.Rec1
163                                                                                                              GenDerivOutput.Rose)))
164   type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
165                                                     ('GHC.Generics.MetaData
166                                                        "List"
167                                                        "GenDerivOutput"
168                                                        "main"
169                                                        'GHC.Types.False)
170                                                     (GHC.Generics.C1
171                                                        ('GHC.Generics.MetaCons
172                                                           "Nil"
173                                                           'GHC.Generics.PrefixI
174                                                           'GHC.Types.False)
175                                                        GHC.Generics.U1
176                                                      GHC.Generics.:+: GHC.Generics.C1
177                                                                         ('GHC.Generics.MetaCons
178                                                                            "Cons"
179                                                                            'GHC.Generics.PrefixI
180                                                                            'GHC.Types.True)
181                                                                         (GHC.Generics.S1
182                                                                            ('GHC.Generics.MetaSel
183                                                                               ('GHC.Maybe.Just
184                                                                                  "element")
185                                                                               'GHC.Generics.NoSourceUnpackedness
186                                                                               'GHC.Generics.NoSourceStrictness
187                                                                               'GHC.Generics.DecidedLazy)
188                                                                            (GHC.Generics.Rec0 a)
189                                                                          GHC.Generics.:*: GHC.Generics.S1
190                                                                                             ('GHC.Generics.MetaSel
191                                                                                                ('GHC.Maybe.Just
192                                                                                                   "rest")
193                                                                                                'GHC.Generics.NoSourceUnpackedness
194                                                                                                'GHC.Generics.NoSourceStrictness
195                                                                                                'GHC.Generics.DecidedLazy)
196                                                                                             (GHC.Generics.Rec0
197                                                                                                (GenDerivOutput.List
198                                                                                                   a))))
199   type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1
200                                                  ('GHC.Generics.MetaData
201                                                     "List" "GenDerivOutput" "main" 'GHC.Types.False)
202                                                  (GHC.Generics.C1
203                                                     ('GHC.Generics.MetaCons
204                                                        "Nil" 'GHC.Generics.PrefixI 'GHC.Types.False)
205                                                     GHC.Generics.U1
206                                                   GHC.Generics.:+: GHC.Generics.C1
207                                                                      ('GHC.Generics.MetaCons
208                                                                         "Cons"
209                                                                         'GHC.Generics.PrefixI
210                                                                         'GHC.Types.True)
211                                                                      (GHC.Generics.S1
212                                                                         ('GHC.Generics.MetaSel
213                                                                            ('GHC.Maybe.Just
214                                                                               "element")
215                                                                            'GHC.Generics.NoSourceUnpackedness
216                                                                            'GHC.Generics.NoSourceStrictness
217                                                                            'GHC.Generics.DecidedLazy)
218                                                                         GHC.Generics.Par1
219                                                                       GHC.Generics.:*: GHC.Generics.S1
220                                                                                          ('GHC.Generics.MetaSel
221                                                                                             ('GHC.Maybe.Just
222                                                                                                "rest")
223                                                                                             'GHC.Generics.NoSourceUnpackedness
224                                                                                             'GHC.Generics.NoSourceStrictness
225                                                                                             'GHC.Generics.DecidedLazy)
226                                                                                          (GHC.Generics.Rec1
227                                                                                             GenDerivOutput.List)))
228
229