Module

Test.StrongCheck.Laws.Control.Semigroupoid

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

#checkSemigroupoid Source

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