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

Modules