Safe Haskell	Safe
Language	Haskell2010

Test.Abides.Control.Alternative

Synopsis

distributive :: Alternative f => Applicative f => Eq (f b) => f a -> f (a -> b) -> f (a -> b) -> Bool
annihilation :: Alternative f => Applicative f => Eq (f b) => f (a -> b) -> Bool

Documentation

distributive :: Alternative f => Applicative f => Eq (f b) => f a -> f (a -> b) -> f (a -> b) -> Bool Source #

(f | g) * x == (f * x) | (g | x)

empty * x == empty