Module

Test.QuickCheck.Laws.Control.MonadPlus

#checkMonadPlus 

checkMonadPlus :: forall m. MonadPlus m => Arbitrary (m A) => Arbitrary (m B) => Eq (m B) => Proxy m -> Effect Unit
  • Distributivity: (x <|> y) >>= f == (x >>= f) <|> (y >>= f)

#checkMonadPlusGen 

checkMonadPlusGen :: forall m. MonadPlus m => Eq (m B) => Gen (m A) -> Gen (A -> m B) -> Effect Unit

Modules