A crate about monoids.

A note about equality

Some sections in the documentation use equality to state rules that must hold. Strictly speaking, this would of course require the types in question to impl [Eq]. However, since these requirements aren't enforced anyway, it is up to the library consumer's discretion to ensure these on a "best effort" basis. For example, you might want to consider f32 and f64 as monoids under addition or multiplication, even tho they are very much non-associative in general, since they are approximately associative for "tame" inputs (not too large and not too small).