map: A => B,
contraMap: B => A
)
По ссылке более развёрнуто:
https://scastie.scala-lang.org/znBS7p3STwuZ3u3MOPnpcA
Invariant?
Это похоже на изоморфизм, но без законов
Я хочу иметь отдельный объект с парой функций, которые применю к инстансам Invariant'а
В монокле были свои изоморфизмы для линз. Возможно это то, что нужно
деривация Invariant? https://github.com/typelevel/kittens
Обсуждают сегодня