1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00

Revert "Add a Monoid instance over Intersection."

This reverts commit fee81dc54f0336f4c07267726d74543f01b50b9f.
This commit is contained in:
Rob Rix 2016-04-14 16:38:43 -04:00
parent ad4d1ab9e4
commit fd4d1a66ac

View File

@ -66,7 +66,3 @@ instance (Monoid a, Monoid b) => Monoid (Union a b) where
Union (Just a) `mappend` _ = Union $ Just a
Union _ `mappend` Union (Just b) = Union $ Just b
_ `mappend` _ = Union Nothing
instance (Monoid a, Monoid b) => Monoid (Intersection a b) where
mempty = Intersection Nothing
Intersection a `mappend` Intersection b = Intersection $ maybe a (maybe Just (apThese . bimap mappend mappend) a) b