Запитання з тегом «monocle-scala»

1
Чи є представлення ван Лаарховена `Необов’язково '
Багато типів оптики мають представлення ван Лаарховена. Наприклад, Lensтип Lens s t a b може бути представлений у вигляді: Functor f => (a -> f b) -> s -> f t Аналогічно a Traversal, можна представити аналогічним чином, змінюючи Functorобмеження на Applicative: Applicative f => (a -> f b) -> …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.