Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- distributive :: Alternative f => Applicative f => Eq (f b) => f (a -> b) -> f (a -> b) -> f a -> Bool
- annihilation :: Alternative f => Applicative f => Eq (f b) => f (a -> b) -> Bool
Documentation
distributive :: Alternative f => Applicative f => Eq (f b) => f (a -> b) -> f (a -> b) -> f a -> Bool Source #
annihilation :: Alternative f => Applicative f => Eq (f b) => f (a -> b) -> Bool Source #
empty * x == empty