Module

Test.Abides.Control.Alternative

#distributive 

distributive :: forall f a b. Alternative f => Applicative f => Eq (f b) => f a -> f (a -> b) -> f (a -> b) -> Boolean

(f <|> g) <> x == (f <> x) <|> (g <|> x)

#annihilation 

annihilation :: forall f a b. Alternative f => Applicative f => Eq (f b) => f (a -> b) -> Boolean

empty <*> x == empty

Modules