Module

Test.QuickCheck.Laws.Control.Bind

#checkBind

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

#checkBindGen

checkBindGen :: forall m. Bind m => Eq (m A) => Gen (m A) -> Gen (A -> m A) -> Effect Unit

Modules