(a -> b) -> (a, a) -> (b, b) +base

(^<<) :: Arrow a => (c -> d) -> a b c -> a b d
base Control.Arrow
Postcomposition with a pure function (right-to-left variant).
(>>^) :: Arrow a => a b c -> (c -> d) -> a b d
base Control.Arrow
Postcomposition with a pure function.
(^>>) :: Arrow a => (b -> c) -> a c d -> a b d
base Control.Arrow
Precomposition with a pure function.
(<<^) :: Arrow a => a c d -> (b -> c) -> a b d
base Control.Arrow
Precomposition with a pure function (right-to-left variant).