Kombajny funkcji do funkcji, która zwraca krotki

Question

Czy istnieje funkcja w Haskell standardowej biblioteki, która zajmuje dwie funkcje i zwraca funkcję, która zwróci wyniki obu tych funkcji w krotki, coś takiego:

(><) :: (a -> b) -> (a -> c) -> a -> (b, c) 
f >< g = \a -> (f a, g a) 

więc, że:

((+2) >< (+3)) 10 == (12,13) 
((:[1,2,3]) >< (*2)) 5 == ([5,1,2,3],10) 

Answer 1

&&& z Control.Arrow ma podpis:

(&&&) :: Control.Arrow.Arrow a => a b c -> a b c' -> a b (c, c') 

który jest bardziej ogólne niż to, co można opisać, ale jak pokazano here, gdy stosuje się do funkcji, to postanawia:

(b -> c) -> (b -> c') -> (b -> (c, c')) 

i robi to, co można opisać:

\> import Control.Arrow ((&&&)) 

\> (+2) &&& (+3) $ 10 
(12,13) 

\> (:[1,2,3]) &&& (*2) $ 5 
([5,1,2,3],10) 

Answer 2

Użyj instancji Applicative dla funkcji:

ghci> :t liftA2 (,) 
liftA2 (,) :: Applicative f => f a -> f b -> f (a, b) 

Aby podpis był bardziej konkretny, wyspecjalizowaliśmy się w f Funkcja użyciu TypeApplications (GHC> = 8):

ghci> :set -XTypeApplications 
ghci> :t liftA2 @((->) _) (,) 
liftA2 @((->)_) (,) :: (t -> a) -> (t -> b) -> t -> (a, b)