Skip to content

EPA: Replace Monoid with NoAnn

Alan Zimmerman requested to merge wip/az/T20372-noann-not-monoid into master

We currently use the Monoid class as a constraint on Exact Print Annotation functions, so we can use mempty. But this leads to requiring Semigroup instances too, which do not always make sense.

Instead, introduce a class NoAnn, with a function noAnn analogous to mempty.

Closes #20372 (closed)

Merge request reports