IO.widen should apply to the A not the E

scalaz / ioeffect

An effect monad for Scalaz 7.2

Other

55 stars 9 forks source link

Closed fommil closed 6 years ago

fommil commented 6 years ago

This is inconsistent with Functor.widen

final def widen[E2](implicit ev: E <~< E2): IO[E2, A]

how about .ewiden ? Consistent with .emap

ktonga commented 6 years ago

Fixed in ~~Dotty~~ ZIO :blush:. It was renamed to widenError

fommil commented 6 years ago

did that other weird thing get renamed to emap too?

We should keep it open here though, unless zio is going to have a 7.2 backport.

ktonga commented 6 years ago

It will, I'm working on it scalaz/scalaz-zio#42