Module

Test.StrongCheck.Laws.Control.Bind

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

#checkBind Source

checkBind :: forall m. Bind m => Arbitrary (m A) => Eq (m A) => Proxy2 m -> Effect Unit
  • Associativity: (x >>= f) >>= g = x >>= (\k → f k >>= g)