Data.These

data These : Type -> Type -> Type

This : a -> These a b

That : b -> These a b

Both : a -> b -> These a b

bifold : Monoid m => These m m -> m

bimap : (f : a -> b) -> (g : c -> d) -> These a c -> These b d

bitraverse : Applicative f => (a -> f c) -> (b -> f d) -> These a b -> f (These c d)

fromEither : Either a b -> These a b

fromThat : These a b -> Maybe b

fromThis : These a b -> Maybe a

mapFst : (f : a -> b) -> These a c -> These b c

these : (a -> c) -> (b -> c) -> (a -> b -> c) -> These a b -> c