Searched refs:ttToVarSet (Results 1 – 4 of 4) sorted by relevance
239 unionVarSets $ map ttToVarSet tts241 ttToVarSet (AnId id) = tyCoVarsOfType $ idType id function242 ttToVarSet (AConLike cl) = case cl of function245 ttToVarSet (ATyCon tc)249 ttToVarSet (ACoAxiom _) = emptyVarSet function
2143 unionVarSets $ map ttToVarSet tts2145 ttToVarSet (AnId id) = tyCoVarsOfType $ idType id function2146 ttToVarSet (AConLike cl) = case cl of function2149 ttToVarSet (ATyCon tc)2153 ttToVarSet (ACoAxiom _) = emptyVarSet function
2189 unionVarSets $ map ttToVarSet tts2191 ttToVarSet (AnId id) = tyCoVarsOfType $ idType id function2192 ttToVarSet (AConLike cl) = case cl of function2195 ttToVarSet (ATyCon tc)2199 ttToVarSet (ACoAxiom _) = emptyVarSet function