Module

Test.StrongCheck.Laws.Control.MonadPlus

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

#checkMonadPlus Source

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