Module

Test.QuickCheck.Laws.Control.Alt

#checkAlt 

checkAlt :: forall f. Alt f => Arbitrary (f A) => Eq (f A) => Eq (f B) => Proxy f -> Effect Unit
  • Associativity: (x <|> y) <|> z == x <|> (y <|> z)
  • Distributivity: f <$> (x <|> y) == (f <$> x) <|> (f <$> y)

#checkAltGen 

checkAltGen :: forall f. Alt f => Eq (f A) => Eq (f B) => Gen (f A) -> Effect Unit

Modules