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