Module

Test.StrongCheck.Laws.Control.Monad

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

#checkMonad Source

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