Module

Test.StrongCheck.Laws.Data.Monoid

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-laws

#checkMonoid Source

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