Module

Test.QuickCheck.Laws.Data.Monoid

#checkMonoid 

checkMonoid :: forall m. Monoid m => Arbitrary m => Eq m => Proxy m -> Effect Unit
  • Left identity: mempty <> x = x
  • Right identity: x <> mempty = x

#checkMonoidGen 

checkMonoidGen :: forall m. Monoid m => Eq m => Gen m -> Effect Unit

Modules