haskell-hedgehog-classes icon indicating copy to clipboard operation
haskell-hedgehog-classes copied to clipboard

Published 20 hours ago • verified publisher icon hedgehogqa

`stimes` should be defined on `0` for all monoids

Open sol opened this issue 1 year ago • 1 comments

I assume that stimes 0 xs should be mempty for all monoids.

However, this is something that is easy to miss + many of the implementations out there are "broken" in that regard.

Should we test for this in monoidLaws?

sol avatar Nov 17 '23 16:11 sol

I assume that stimes 0 xs should be mempty for all monoids.

However, this is something that is easy to miss + many of the implementations out there are "broken" in that regard.

Should we test for this in monoidLaws?

Yes, sounds good to me.

chessai avatar Nov 17 '23 16:11 chessai