bimap -package:diagrams-lib package:lens

bimap :: Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d
lens Control.Lens.Combinators Control.Lens.Review
Map over both arguments at the same time. 
bimap f g ≡ first f . second g

Examples

>>> bimap toUpper (+1) ('j', 3)
('J',4)

>>> bimap toUpper (+1) (Left 'j')
Left 'J'

>>> bimap toUpper (+1) (Right 3)
Right 4
bimapping :: (Bifunctor f, Bifunctor g) => AnIso s t a b -> AnIso s' t' a' b' -> Iso (f s s') (g t t') (f a a') (g b b')
lens Control.Lens.Combinators Control.Lens.Iso
Lift two Isos into both arguments of a Bifunctor. 
bimapping :: Bifunctor p => Iso s t a b -> Iso s' t' a' b' -> Iso (p s s') (p t t') (p a a') (p b b')
bimapping :: Bifunctor p => Iso' s a -> Iso' s' a' -> Iso' (p s s') (p a a')