Module

Test.QuickCheck.Laws.Control.Apply

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

#checkApply Source

checkApply :: forall f. Apply f => Arbitrary (f A) => Arbitrary (f (A -> B)) => Arbitrary (f (B -> C)) => Eq (f C) => Proxy2 f -> Effect Unit
  • Associative composition: (<<<) <$> f <*> g <*> h = f <*> (g <*> h)