Searched refs:PolarityPragmasButNotPostulates (Results 1 – 4 of 4) sorted by relevance
100 | PolarityPragmasButNotPostulates [Name] constructor146 PolarityPragmasButNotPostulates{} -> PolarityPragmasButNotPostulates_186 PolarityPragmasButNotPostulates{} -> False225 getRange (PolarityPragmasButNotPostulates xs) = getRange xs316 pretty (PolarityPragmasButNotPostulates xs) = fsep $
163 PolarityPragmasButNotPostulates a -> icodeN 2 PolarityPragmasButNotPostulates a197 [2, a] -> valuN PolarityPragmasButNotPostulates a
503 PolarityPragmasButNotPostulates{} -> mempty
429 warnPolarityPragmasButNotPostulates = scopeWarning . PolarityPragmasButNotPostulates