Module

Test.QuickCheck.Laws.Control.Plus

#checkPlus

checkPlus :: forall f. Plus f => Arbitrary (f A) => Eq (f A) => Eq (f B) => Proxy f -> Effect Unit
  • Left identity: empty <|> x == x
  • Right identity: x <|> empty == x
  • Annihilation: f <$> empty == empty

#checkPlusGen

checkPlusGen :: forall f. Plus f => Eq (f A) => Eq (f B) => Gen (f A) -> Effect Unit

Modules