Searched defs:ATyCon (Results 1 – 5 of 5) sorted by relevance
69 | ATyCon TyCon -- TyCons and classes; see Note [ATyCon for classes] constructor
126 | ATyCon TyCon -- TyCons and classes; see Note [ATyCon for classes] constructor
137 | ATyCon TyCon -- TyCons and classes; see Note [ATyCon for classes] constructor
265 = [ (name, ATyCon (get name)) | tc_tycon <- tc_tycons, let name = getName tc_tycon ] function