Module

Test.QuickCheck.Laws.Control.Monad

#checkMonad 

checkMonad :: forall m. Monad m => Arbitrary (m A) => Eq (m A) => Proxy m -> Effect Unit
  • Left Identity: pure x >>= f = f x
  • Right Identity: x >>= pure = x

#checkMonadGen 

checkMonadGen :: forall m. Monad m => Eq (m A) => Gen (m A) -> Gen (A -> m A) -> Effect Unit

Modules