Documentation

Generalization of cycle to any monoid.

Infix synonym for mappend.

\b m -> when b m == mfilter (const b) (m::Maybe Ordering)

\b m -> when b m == mfilter (const b) (m::String)

QC.forAll (QC.choose (0,20)) $ \k xs -> power (fromIntegral k) xs == mconcat (replicate k (xs::String))

In contrast to powerAssociative the power function uses mempty only for the zeroth power.

QC.forAll (QC.choose (0,20)) $ \k xs -> power k xs == powerAssociative mappend mempty (xs::String) k