Currently we have the following mapBoth function in the Relude.Extra.Tuple module:
|
mapBoth :: (a -> b) -> (a, a) -> (b, b) |
|
mapBoth f (a1, a2) = (f a1, f a2) |
I propose to generalise the type signature of this function so it can work with any Bifunctor:
mapBoth :: Bifunctor f => (a -> b) -> f a a -> f b b
For this we need:
- Move
mapBoth to Relude.Extra.Bifunctor
- Generalise and implement
- Add more examples to the documentation
Currently we have the following
mapBothfunction in theRelude.Extra.Tuplemodule:relude/src/Relude/Extra/Tuple.hs
Lines 64 to 65 in 31ad834
I propose to generalise the type signature of this function so it can work with any
Bifunctor:For this we need:
mapBothtoRelude.Extra.Bifunctor