Module

Test.QuickCheck.Laws.Data.Semigroup

Package
purescript-quickcheck-laws
Repository
garyb/purescript-quickcheck-laws

#checkSemigroup Source

checkSemigroup :: forall s. Semigroup s => Arbitrary s => Eq s => Proxy s -> Effect Unit
  • Associativity: (x <> y) <> z = x <> (y <> z)