Searched refs:isImplicitTyThing (Results 1 – 5 of 5) sorted by relevance
15 , isImplicitTyThing208 isImplicitTyThing :: TyThing -> Bool209 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
104 isImplicitTyThing,2112 isImplicitTyThing :: TyThing -> Bool2113 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
103 isImplicitTyThing,2158 isImplicitTyThing :: TyThing -> Bool2159 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
259 not (isImplicitTyThing entity),