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

Add an Intersection newtype wrapping These.

This commit is contained in:
Rob Rix 2016-04-14 12:05:38 -04:00
parent cde4b78196
commit ddb1898b39

View File

@ -42,6 +42,9 @@ apThese fg ab = uncurry maybeThese $ uncurry (***) (bimap (<*>) (<*>) (unpack fg
newtype Union a b = Union { getUnion :: Maybe (These a b) }
deriving (Eq, Show)
newtype Intersection a b = Intersection { getIntersection :: Maybe (These a b) }
deriving (Eq, Show)
-- Instances