Module

Test.StrongCheck.Laws.Control.MonadZero

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

#checkMonadZero Source

checkMonadZero :: forall m eff. MonadZero m => Arbitrary (m A) => Arbitrary (m B) => Eq (m B) => Proxy2 m -> SC eff Unit
  • Annihilation: empty >>= f = empty