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