Module

Test.StrongCheck.Laws.Control.Apply

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-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)