haskell - Prelude 中是否有一个函数可以将一个值与应用于函数的值配对？

Question

我正在寻找一个看起来与此类似的函数:
withSelf :: (a -> b) -> a -> (a, b)
withSelf f x = (x, f x)

我已经用 Hoogle 搜索过这样的功能；我搜索了 (a -> b) -> a -> (a, b) 和 a -> (a -> b) -> (a, b) ，两者都不是结论性的。 Hackage page on Data.Tuple 也没有我要找的东西。

我知道编写起来很简单，但我想尽可能地编写惯用的 Haskell，并避免重新发明轮子。

Answer 1

专区(id &&&)做你想做的事:

> import Control.Arrow
> :t (id &&&)
(id &&&) :: (a -> c') -> a -> (a, c')
> (id &&&) succ 4
(4,5)