Module

Test.QuickCheck.Laws.Control.Semigroupoid

#checkSemigroupoid 

checkSemigroupoid :: forall a. Semigroupoid a => Arbitrary (a B C) => Arbitrary (a C D) => Arbitrary (a D E) => Eq (a B E) => Proxy a -> Effect Unit
  • Associativity: p <<< (q <<< r) = (p <<< q) <<< r

#checkSemigroupoidGen 

checkSemigroupoidGen :: forall a. Semigroupoid a => Eq (a B E) => Gen (a B C) -> Gen (a C D) -> Gen (a D E) -> Effect Unit

Modules