Gdzie jest zdefiniowany operator Haskell (. :)?

Question

Podobno nazwa zwykła dla operatora ((.).(.)) to (.:). Gdzie zdefiniowano (.:)? Czy muszę sam to zdefiniować?

Answer 1

Można go znaleźć w bibliotece composition wraz z innymi kompozycjami funkcji wyższego rzędu. Ten operator nie jest zdefiniowany w base. Jeśli nie chcemy dodać (bardzo mały) pakiet jako zależność potem po prostu zdefiniować siebie, chociaż chciałbym użyć wersji bardziej uogólnić, który używa fmap:

(.:) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) 
(.:) = fmap fmap fmap 

który właśnie fmap funkcja sa przez dwie warstwy funktorów. W przypadku funkcji wszystkie trzy z tych fmap s specjalizują się w (.).