1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/SingleClassAsst.hs" 1 1 5 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/SingleClassAsst.hs" 1 1 1 1
7            , SrcSpan "tests/examples/SingleClassAsst.hs" 1 1 1 1
8            , SrcSpan "tests/examples/SingleClassAsst.hs" 3 1 3 1
9            , SrcSpan "tests/examples/SingleClassAsst.hs" 4 1 4 1
10            , SrcSpan "tests/examples/SingleClassAsst.hs" 5 1 5 1
11            , SrcSpan "tests/examples/SingleClassAsst.hs" 5 1 5 1
12            ]
13        }
14      (Just
15         (ModuleHead
16            SrcSpanInfo
17              { srcInfoSpan =
18                  SrcSpan "tests/examples/SingleClassAsst.hs" 1 1 1 18
19              , srcInfoPoints =
20                  [ SrcSpan "tests/examples/SingleClassAsst.hs" 1 1 1 7
21                  , SrcSpan "tests/examples/SingleClassAsst.hs" 1 13 1 18
22                  ]
23              }
24            (ModuleName
25               SrcSpanInfo
26                 { srcInfoSpan =
27                     SrcSpan "tests/examples/SingleClassAsst.hs" 1 8 1 12
28                 , srcInfoPoints = []
29                 }
30               "Test")
31            Nothing
32            Nothing))
33      []
34      []
35      [ TypeSig
36          SrcSpanInfo
37            { srcInfoSpan =
38                SrcSpan "tests/examples/SingleClassAsst.hs" 3 1 3 24
39            , srcInfoPoints =
40                [ SrcSpan "tests/examples/SingleClassAsst.hs" 3 5 3 7 ]
41            }
42          [ Ident
43              SrcSpanInfo
44                { srcInfoSpan = SrcSpan "tests/examples/SingleClassAsst.hs" 3 1 3 4
45                , srcInfoPoints = []
46                }
47              "foo"
48          ]
49          (TyForall
50             SrcSpanInfo
51               { srcInfoSpan =
52                   SrcSpan "tests/examples/SingleClassAsst.hs" 3 8 3 24
53               , srcInfoPoints = []
54               }
55             Nothing
56             (Just
57                (CxSingle
58                   SrcSpanInfo
59                     { srcInfoSpan =
60                         SrcSpan "tests/examples/SingleClassAsst.hs" 3 8 3 17
61                     , srcInfoPoints =
62                         [ SrcSpan "tests/examples/SingleClassAsst.hs" 3 8 3 9
63                         , SrcSpan "tests/examples/SingleClassAsst.hs" 3 13 3 14
64                         , SrcSpan "tests/examples/SingleClassAsst.hs" 3 15 3 17
65                         ]
66                     }
67                   (ParenA
68                      SrcSpanInfo
69                        { srcInfoSpan =
70                            SrcSpan "tests/examples/SingleClassAsst.hs" 3 8 3 17
71                        , srcInfoPoints =
72                            [ SrcSpan "tests/examples/SingleClassAsst.hs" 3 8 3 9
73                            , SrcSpan "tests/examples/SingleClassAsst.hs" 3 13 3 14
74                            , SrcSpan "tests/examples/SingleClassAsst.hs" 3 15 3 17
75                            ]
76                        }
77                      (TypeA
78                         SrcSpanInfo
79                           { srcInfoSpan =
80                               SrcSpan "tests/examples/SingleClassAsst.hs" 3 9 3 13
81                           , srcInfoPoints = []
82                           }
83                         (TyApp
84                            SrcSpanInfo
85                              { srcInfoSpan =
86                                  SrcSpan "tests/examples/SingleClassAsst.hs" 3 9 3 13
87                              , srcInfoPoints = []
88                              }
89                            (TyCon
90                               SrcSpanInfo
91                                 { srcInfoSpan =
92                                     SrcSpan "tests/examples/SingleClassAsst.hs" 3 9 3 13
93                                 , srcInfoPoints = []
94                                 }
95                               (UnQual
96                                  SrcSpanInfo
97                                    { srcInfoSpan =
98                                        SrcSpan "tests/examples/SingleClassAsst.hs" 3 9 3 11
99                                    , srcInfoPoints = []
100                                    }
101                                  (Ident
102                                     SrcSpanInfo
103                                       { srcInfoSpan =
104                                           SrcSpan "tests/examples/SingleClassAsst.hs" 3 9 3 11
105                                       , srcInfoPoints = []
106                                       }
107                                     "Eq")))
108                            (TyVar
109                               SrcSpanInfo
110                                 { srcInfoSpan =
111                                     SrcSpan "tests/examples/SingleClassAsst.hs" 3 12 3 13
112                                 , srcInfoPoints = []
113                                 }
114                               (Ident
115                                  SrcSpanInfo
116                                    { srcInfoSpan =
117                                        SrcSpan "tests/examples/SingleClassAsst.hs" 3 12 3 13
118                                    , srcInfoPoints = []
119                                    }
120                                  "a")))))))
121             (TyFun
122                SrcSpanInfo
123                  { srcInfoSpan =
124                      SrcSpan "tests/examples/SingleClassAsst.hs" 3 18 3 24
125                  , srcInfoPoints =
126                      [ SrcSpan "tests/examples/SingleClassAsst.hs" 3 20 3 22 ]
127                  }
128                (TyVar
129                   SrcSpanInfo
130                     { srcInfoSpan =
131                         SrcSpan "tests/examples/SingleClassAsst.hs" 3 18 3 19
132                     , srcInfoPoints = []
133                     }
134                   (Ident
135                      SrcSpanInfo
136                        { srcInfoSpan =
137                            SrcSpan "tests/examples/SingleClassAsst.hs" 3 18 3 19
138                        , srcInfoPoints = []
139                        }
140                      "a"))
141                (TyVar
142                   SrcSpanInfo
143                     { srcInfoSpan =
144                         SrcSpan "tests/examples/SingleClassAsst.hs" 3 23 3 24
145                     , srcInfoPoints = []
146                     }
147                   (Ident
148                      SrcSpanInfo
149                        { srcInfoSpan =
150                            SrcSpan "tests/examples/SingleClassAsst.hs" 3 23 3 24
151                        , srcInfoPoints = []
152                        }
153                      "a"))))
154      , FunBind
155          SrcSpanInfo
156            { srcInfoSpan =
157                SrcSpan "tests/examples/SingleClassAsst.hs" 4 1 4 10
158            , srcInfoPoints = []
159            }
160          [ Match
161              SrcSpanInfo
162                { srcInfoSpan =
163                    SrcSpan "tests/examples/SingleClassAsst.hs" 4 1 4 10
164                , srcInfoPoints = []
165                }
166              (Ident
167                 SrcSpanInfo
168                   { srcInfoSpan = SrcSpan "tests/examples/SingleClassAsst.hs" 4 1 4 4
169                   , srcInfoPoints = []
170                   }
171                 "foo")
172              [ PVar
173                  SrcSpanInfo
174                    { srcInfoSpan = SrcSpan "tests/examples/SingleClassAsst.hs" 4 5 4 6
175                    , srcInfoPoints = []
176                    }
177                  (Ident
178                     SrcSpanInfo
179                       { srcInfoSpan = SrcSpan "tests/examples/SingleClassAsst.hs" 4 5 4 6
180                       , srcInfoPoints = []
181                       }
182                     "x")
183              ]
184              (UnGuardedRhs
185                 SrcSpanInfo
186                   { srcInfoSpan =
187                       SrcSpan "tests/examples/SingleClassAsst.hs" 4 7 4 10
188                   , srcInfoPoints =
189                       [ SrcSpan "tests/examples/SingleClassAsst.hs" 4 7 4 8 ]
190                   }
191                 (Var
192                    SrcSpanInfo
193                      { srcInfoSpan =
194                          SrcSpan "tests/examples/SingleClassAsst.hs" 4 9 4 10
195                      , srcInfoPoints = []
196                      }
197                    (UnQual
198                       SrcSpanInfo
199                         { srcInfoSpan =
200                             SrcSpan "tests/examples/SingleClassAsst.hs" 4 9 4 10
201                         , srcInfoPoints = []
202                         }
203                       (Ident
204                          SrcSpanInfo
205                            { srcInfoSpan =
206                                SrcSpan "tests/examples/SingleClassAsst.hs" 4 9 4 10
207                            , srcInfoPoints = []
208                            }
209                          "x"))))
210              Nothing
211          ]
212      ]
213  , []
214  )
215