Ратный труд обертки-композитора

[deni_ok]

Как известно композиция двух функторов является функтором, причем fmap для этой композиции - это композиция fmap'ов:
GHCi> (fmap . fmap) (^2) [Just 3,Just 5,Nothing] [Just 9,Just 25,Nothing] Левый fmap протаскивает свой аргумент (fmap (^2)) через конструкторы списка, а дальше оставшийся fmap протаскивает свой аргумент (^2) через конструкторы

Comments

[migmit]

А вот композиция двух monad transformer-ов, по уму, должна быть monad transformer-ом... но для классического mtl-овского определения это фиг с два напишешь.

[nponeccop]

Стоит уточнить, что Compose и инстансы уже есть в base и находятся в Data.Functor.Compose

[deni_ok]

Но ни Hoogle, ни Hayoo их до сих пор не находят, поубивалбы.

[kurilka]

Use stackage hoogle, Luke!
https://www.stackage.org/lts-7.9/hoogle?q=Compose

[clayrat]

для пюрскрипта есть https://github.com/DavidHarrison/purescript-functor-compose/

[deni_ok]

Ой, <<< - это оператор композиции функций?

[clayrat]

да, точка зарезервирована под доступ внутрь рекордов
я, кстати, на практике чаще пользуюсь вариантом (>>>), привычнее читать слева направо :)