Searched refs:CheckNamedWhere (Results 1 – 4 of 4) sorted by relevance
72 CheckNamedWhere{} -> True195 CheckNamedWhere{} -> False
2591 | CheckNamedWhere ModuleName constructor2625 pretty CheckNamedWhere{} = "CheckNamedWhere"2662 getRange (CheckNamedWhere m) = getRange m
151 CheckNamedWhere m -> fsep $
1207 ensureNoNamedWhereInRefinedContext (Just m) = traceCall (CheckNamedWhere m) $ do