Searched refs:EmptyPrivate (Results 1 – 4 of 4) sorted by relevance
71 | EmptyPrivate Range -- ^ Empty @private@ block. constructor131 EmptyPrivate{} -> EmptyPrivate_171 EmptyPrivate{} -> False234 getRange (EmptyPrivate r) = r328 pretty (EmptyPrivate _) = fsep $ pwords "Empty private block."
169 EmptyPrivate a -> icodeN 8 EmptyPrivate a203 [8, a] -> valuN EmptyPrivate a
482 EmptyPrivate{} -> deadcodeHighlighting w
441 Private r UserWritten [] -> justWarning $ EmptyPrivate r