Proposal #3339: Add (<>) as a synonym for mappend

Yitzchak Gale gale at sefer.org
Sun Aug 14 18:44:37 CEST 2011


Malcolm Wallace wrote:
> For instance, although I can guess at "sconcat", what semantics is "replicate1p" supposed to have?

These are both optional methods, provided only as an opportunity for
optimization,
analogous to mconcat in Monoid.

I have found that to be of great use for sconcat. I agree that
replicate1p is a bit strange.
But, yes, your point is well taken, the package documentation needs
improvement.

Thanks,
Yitz



More information about the Libraries mailing list