Module

Test.StrongCheck.Laws.Data.Semigroup

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

#checkSemigroup Source

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