second is:exact

second :: Arrow a => a b c -> a (d, b) (d, c)

Send the second component of the input through the argument arrow, and copy the rest unchanged to the output. The default definition may be overridden with a more efficient version if desired.

d ╭─────╮ d
>───┼─────┼───>
>───┼─ f ─┼───>
b ╰─────╯ c

second :: Bifunctor p => (b -> c) -> p a b -> p a c

base Data.Bifunctor

Map covariantly over the second argument.

second ≡ bimap id

Examples

>>> second (+1) ('j', 3)
('j',4)

>>> second (+1) (Right 3)
Right 4