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
We currently have a .wrapAll on zio.prelude.Newtype[A] that works on any F[A] and gives us a F[B].
What is missing is a .wrapAll that I can use on a F[A,C] that gives me a F[B,C] as well as one that works
on a F[C,A] that gives me a F[C,B]. Additionally one that I can use from F[A,C] -> F[B,D]
We currently have a
.wrapAll
onzio.prelude.Newtype[A]
that works on anyF[A]
and gives us aF[B]
.What is missing is a
.wrapAll
that I can use on aF[A,C]
that gives me aF[B,C]
as well as one that workson a
F[C,A]
that gives me aF[C,B]
. Additionally one that I can use fromF[A,C]
->F[B,D]
Current use-case is that I have a
and I want to map a
to
I can do that by
but as far as I know, this will create subpar bytecode and should be avoided.
Ideally, I'd have something like this:
or even better something like
The text was updated successfully, but these errors were encountered: