Module

Test.StrongCheck.Laws.Control.Alternative

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

#checkAlternative Source

checkAlternative :: forall f. Alternative f => Arbitrary (f (A -> B)) => Arbitrary (f A) => Eq (f A) => Eq (f B) => Proxy2 f -> Effect Unit
  • Distributivity: (f <|> g) <*> x == (f <*> x) <|> (g <*> x)
  • Annihilation: empty <*> x = empty