Module

Test.QuickCheck.Laws.Data.Semigroup

#checkSemigroup

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

#checkSemigroupGen

checkSemigroupGen :: forall s. Semigroup s => Eq s => Gen s -> Effect Unit

Modules