Moduleutility-ht-0.0.17.2Haskell98

Data.Monoid.HT

valuecycle :: Monoid m => m -> m

Generalization of cycle to any monoid.

value(<>) :: Monoid m => m -> m -> m

Infix synonym for mappend.

valuewhen :: Monoid m => Bool -> m -> m

Property

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

Property

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

valuepower :: Monoid m => Integer -> m -> m

Property

prop> 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.

Property

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