¿Qué functor aplicativo se usa para pasar parámetros compartidos?

Question

Creo que entiendo cómo funcionan los funtores aplicativos en Haskell y los estoy usando para tipos de datos básicos (Tal vez, O bien ...). Sin embargo, encontré this question con el siguiente ejemplo:

withPool pool = bracket (takeConn pool) (putConn pool) 

puede reescribirse en estilo aplicativo:

withPool = bracket <$> takeConn <*> putConn 

Me sorprendió que compila y de hecho funciona como se esperaba, pero podría alguien me cuales Aplicativo decirle Functor se usa para esto y ¿cómo se define?

Actualización: Creo que descubrí cómo funciona, pero no tengo idea de dónde está definido.

Answer 1

Unificar f = (a ->) en las firmas de tipos:

fmap :: (b -> c) -> (a -> b) -> (a -> c) 
pure :: b -> (a -> b) 
(<*>) :: (a -> b -> c) -> (a -> b) -> (a -> c) 

La única razón por las declaraciones son sintácticamente diferentes, ((->) a) vs (a ->), es que no se les permite tomar las secciones en el nivel de tipo. Así que terminan con estos, después de los tipos que persiguen:

instance Functor ((->) a) where 
    fmap = (.) 

instance Applicative ((->) a) where 
    pure = const 
    f <*> g = \x -> f x $ g x 

Estoy bastante seguro de la instancia Functor está en Data.Functor, y la instancia Applicative está en Control.Applicative. La instancia Monad para ((->) a) es la única en un lugar extraño, en Control.Monad.Instances, en lugar de Control.Monad. Al menos si recuerdo correctamente.