Module

Test.QuickCheck.Laws.Control.MonadZero

#checkMonadZero

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

Modules