Module

Test.StrongCheck.Laws.Control.Plus

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

#checkPlus Source

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