Searched defs:isImplicitTyThing (Results 1 – 4 of 4) sorted by relevance
209 isImplicitTyThing (AConLike cl) = case cl of function212 isImplicitTyThing (AnId id) = isImplicitId id function213 isImplicitTyThing (ATyCon tc) = isImplicitTyCon tc function214 isImplicitTyThing (ACoAxiom ax) = isImplicitCoAxiom ax function
2159 isImplicitTyThing (AConLike cl) = case cl of function2162 isImplicitTyThing (AnId id) = isImplicitId id function2163 isImplicitTyThing (ATyCon tc) = isImplicitTyCon tc function2164 isImplicitTyThing (ACoAxiom ax) = isImplicitCoAxiom ax function
2113 isImplicitTyThing (AConLike cl) = case cl of function2116 isImplicitTyThing (AnId id) = isImplicitId id function2117 isImplicitTyThing (ATyCon tc) = isImplicitTyCon tc function2118 isImplicitTyThing (ACoAxiom ax) = isImplicitCoAxiom ax function