::
GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12
Modulethese-1.2.1
assocThese :: These (These a b) c -> These a (These b c)
bimapThese :: (a -> c) -> (b -> d) -> These a b -> These c d
bitraverseThese
:: Applicative f
=> a -> f c
-> b -> f d
-> These a b
-> f (These c d)
catHere :: [These a b] -> [a]
catThat :: [These a b] -> [b]
catThere :: [These a b] -> [b]
catThese :: [These a b] -> [(a, b)]
catThis :: [These a b] -> [a]
hasHere :: These a b -> Bool
hasThere :: These a b -> Bool
isThat :: These a b -> Bool
isThese :: These a b -> Bool
isThis :: These a b -> Bool
justHere :: These a b -> Maybe a
justThat :: These a b -> Maybe b
justThere :: These a b -> Maybe b
justThese :: These a b -> Maybe (a, b)
justThis :: These a b -> Maybe a
mapHere :: (a -> c) -> These a b -> These c b
mapThat :: (b -> b) -> These a b -> These a b
mapThere :: (b -> d) -> These a b -> These a d
mapThese :: ((a, b) -> (a, b)) -> These a b -> These a b
mapThis :: (a -> a) -> These a b -> These a b
swapThese :: These a b -> These b a
unassocThese :: These a (These b c) -> These (These a b) c