1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 1 1 8 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/TypeInstances.hs" 1 1 1 1
7            , SrcSpan "tests/examples/TypeInstances.hs" 3 1 3 1
8            , SrcSpan "tests/examples/TypeInstances.hs" 3 1 3 1
9            , SrcSpan "tests/examples/TypeInstances.hs" 3 1 3 1
10            , SrcSpan "tests/examples/TypeInstances.hs" 8 1 8 1
11            , SrcSpan "tests/examples/TypeInstances.hs" 8 1 8 1
12            ]
13        }
14      Nothing
15      [ LanguagePragma
16          SrcSpanInfo
17            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 1 1 1 30
18            , srcInfoPoints =
19                [ SrcSpan "tests/examples/TypeInstances.hs" 1 1 1 13
20                , SrcSpan "tests/examples/TypeInstances.hs" 1 27 1 30
21                ]
22            }
23          [ Ident
24              SrcSpanInfo
25                { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 1 14 1 26
26                , srcInfoPoints = []
27                }
28              "TypeFamilies"
29          ]
30      ]
31      []
32      [ ClassDecl
33          SrcSpanInfo
34            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 3 1 7 21
35            , srcInfoPoints =
36                [ SrcSpan "tests/examples/TypeInstances.hs" 3 1 3 6
37                , SrcSpan "tests/examples/TypeInstances.hs" 3 17 3 22
38                , SrcSpan "tests/examples/TypeInstances.hs" 4 3 4 3
39                , SrcSpan "tests/examples/TypeInstances.hs" 5 3 5 3
40                , SrcSpan "tests/examples/TypeInstances.hs" 7 3 7 3
41                , SrcSpan "tests/examples/TypeInstances.hs" 8 1 8 0
42                ]
43            }
44          Nothing
45          (DHApp
46             SrcSpanInfo
47               { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 3 7 3 16
48               , srcInfoPoints = []
49               }
50             (DHead
51                SrcSpanInfo
52                  { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 3 7 3 14
53                  , srcInfoPoints = []
54                  }
55                (Ident
56                   SrcSpanInfo
57                     { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 3 7 3 14
58                     , srcInfoPoints = []
59                     }
60                   "MapType"))
61             (UnkindedVar
62                SrcSpanInfo
63                  { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 3 15 3 16
64                  , srcInfoPoints = []
65                  }
66                (Ident
67                   SrcSpanInfo
68                     { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 3 15 3 16
69                     , srcInfoPoints = []
70                     }
71                   "v")))
72          []
73          (Just
74             [ ClsTyFam
75                 SrcSpanInfo
76                   { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 3 4 18
77                   , srcInfoPoints =
78                       [ SrcSpan "tests/examples/TypeInstances.hs" 4 3 4 7 ]
79                   }
80                 (DHApp
81                    SrcSpanInfo
82                      { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 8 4 13
83                      , srcInfoPoints = []
84                      }
85                    (DHead
86                       SrcSpanInfo
87                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 8 4 11
88                         , srcInfoPoints = []
89                         }
90                       (Ident
91                          SrcSpanInfo
92                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 8 4 11
93                            , srcInfoPoints = []
94                            }
95                          "Key"))
96                    (UnkindedVar
97                       SrcSpanInfo
98                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 12 4 13
99                         , srcInfoPoints = []
100                         }
101                       (Ident
102                          SrcSpanInfo
103                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 12 4 13
104                            , srcInfoPoints = []
105                            }
106                          "v")))
107                 (Just
108                    (KindSig
109                       SrcSpanInfo
110                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 14 4 18
111                         , srcInfoPoints =
112                             [ SrcSpan "tests/examples/TypeInstances.hs" 4 14 4 16 ]
113                         }
114                       (TyStar
115                          SrcSpanInfo
116                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 4 17 4 18
117                            , srcInfoPoints = []
118                            })))
119                 Nothing
120             , ClsTyDef
121                 SrcSpanInfo
122                   { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 3 5 34
123                   , srcInfoPoints =
124                       [ SrcSpan "tests/examples/TypeInstances.hs" 5 3 5 7
125                       , SrcSpan "tests/examples/TypeInstances.hs" 5 8 5 16
126                       ]
127                   }
128                 (TypeEqn
129                    SrcSpanInfo
130                      { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 17 5 34
131                      , srcInfoPoints =
132                          [ SrcSpan "tests/examples/TypeInstances.hs" 5 23 5 24 ]
133                      }
134                    (TyApp
135                       SrcSpanInfo
136                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 17 5 22
137                         , srcInfoPoints = []
138                         }
139                       (TyCon
140                          SrcSpanInfo
141                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 17 5 20
142                            , srcInfoPoints = []
143                            }
144                          (UnQual
145                             SrcSpanInfo
146                               { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 17 5 20
147                               , srcInfoPoints = []
148                               }
149                             (Ident
150                                SrcSpanInfo
151                                  { srcInfoSpan =
152                                      SrcSpan "tests/examples/TypeInstances.hs" 5 17 5 20
153                                  , srcInfoPoints = []
154                                  }
155                                "Key")))
156                       (TyVar
157                          SrcSpanInfo
158                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 21 5 22
159                            , srcInfoPoints = []
160                            }
161                          (Ident
162                             SrcSpanInfo
163                               { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 21 5 22
164                               , srcInfoPoints = []
165                               }
166                             "v")))
167                    (TyApp
168                       SrcSpanInfo
169                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 25 5 34
170                         , srcInfoPoints = []
171                         }
172                       (TyCon
173                          SrcSpanInfo
174                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 25 5 32
175                            , srcInfoPoints = []
176                            }
177                          (UnQual
178                             SrcSpanInfo
179                               { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 25 5 32
180                               , srcInfoPoints = []
181                               }
182                             (Ident
183                                SrcSpanInfo
184                                  { srcInfoSpan =
185                                      SrcSpan "tests/examples/TypeInstances.hs" 5 25 5 32
186                                  , srcInfoPoints = []
187                                  }
188                                "TileKey")))
189                       (TyVar
190                          SrcSpanInfo
191                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 33 5 34
192                            , srcInfoPoints = []
193                            }
194                          (Ident
195                             SrcSpanInfo
196                               { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 5 33 5 34
197                               , srcInfoPoints = []
198                               }
199                             "v"))))
200             , ClsTyFam
201                 SrcSpanInfo
202                   { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 3 7 21
203                   , srcInfoPoints =
204                       [ SrcSpan "tests/examples/TypeInstances.hs" 7 3 7 7 ]
205                   }
206                 (DHApp
207                    SrcSpanInfo
208                      { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 8 7 16
209                      , srcInfoPoints = []
210                      }
211                    (DHead
212                       SrcSpanInfo
213                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 8 7 14
214                         , srcInfoPoints = []
215                         }
216                       (Ident
217                          SrcSpanInfo
218                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 8 7 14
219                            , srcInfoPoints = []
220                            }
221                          "Source"))
222                    (UnkindedVar
223                       SrcSpanInfo
224                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 15 7 16
225                         , srcInfoPoints = []
226                         }
227                       (Ident
228                          SrcSpanInfo
229                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 15 7 16
230                            , srcInfoPoints = []
231                            }
232                          "v")))
233                 (Just
234                    (KindSig
235                       SrcSpanInfo
236                         { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 17 7 21
237                         , srcInfoPoints =
238                             [ SrcSpan "tests/examples/TypeInstances.hs" 7 17 7 19 ]
239                         }
240                       (TyStar
241                          SrcSpanInfo
242                            { srcInfoSpan = SrcSpan "tests/examples/TypeInstances.hs" 7 20 7 21
243                            , srcInfoPoints = []
244                            })))
245                 Nothing
246             ])
247      ]
248  , []
249  )
250