Relude.Extra.Bifunctor

Documentation

bimapF :: (Functor f, Bifunctor p) => (a -> c) -> (b -> d) -> f (p a b) -> f (p c d)

firstF :: (Functor f, Bifunctor p) => (a -> c) -> f (p a b) -> f (p c b)

secondF :: (Functor f, Bifunctor p) => (b -> d) -> f (p a b) -> f (p a d)