You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Cats have InjectionK but their invert function returns Option[F[_]] which they are unwilling to change. It would nice to have InjectionK with invert defined as Try[F[_]] as we have for all our existing injections. While Option[F[_]] maybe more theoretically correct, I have found Try[F[_]] to be more useful as I usually want to do something with he exception when inversion fails!. We would also need FunctionK as well
The text was updated successfully, but these errors were encountered:
Cats have InjectionK but their
invert
function returnsOption[F[_]]
which they are unwilling to change. It would nice to have InjectionK withinvert
defined asTry[F[_]]
as we have for all our existing injections. WhileOption[F[_]]
maybe more theoretically correct, I have foundTry[F[_]]
to be more useful as I usually want to do something with he exception when inversion fails!. We would also needFunctionK
as wellThe text was updated successfully, but these errors were encountered: