Module

Test.QuickCheck.Laws.Data.Monoid

Package
purescript-quickcheck-laws
Repository
garyb/purescript-quickcheck-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