Added zipWithPar and derived zipPar, zipParLeft and zipParRight

[Adriani277]

closes #1028

[Adriani277]

@neko-kai I know you have mentioned possibly adding a BIOParallel but I was not sure where this would fit in the hierarchy.
I assume BIOParallel would be extended by BIOAsync?

I have 2 commits:

1. Adding functions to BIOAsync3
2. An attempt at creating a BIOParallel sub-hierarchy

Please let me know your thoughts on this

[Adriani277]

I have noticed that parTraverse_ is not final. Should this be made final? If not, why?

[neko-kai]

@Adriani277
This shouldn't be made final because BIOAsyncZio instance overrides it to use ZIO.foreachPar_. This lets it use a native implementation from the effect type that is more optimized and may have enhancements compared to a naive implementation (like, better support for stack-traces, e.g. notice the new ZipLeftFn wrapper in implementation of ZIO.<* - https://github.com/zio/zio/blob/master/core/shared/src/main/scala/zio/ZIO.scala#L108 - this allows the stacktrace where <* occurs to point to the source code line contained inside the user-provided that lambda, instead of the line in ZIO.scala source file that would be there without the new ZipLeftFn)

Generally, the only methods that are final in the hierarchy are those that are trivial enough they can't have better native implementations in the effect type. So, I'd propose to un-final zipParLeft & zipParRight and redirect them to <& and &> in BIOAsyncZio

[Adriani277]

I see, thanks for the explanation.

Will make the changes

[neko-kai]

@Adriani277
I imagined BIOParallel would be entirely off-side, like cats.Parallel, but actually I like what you did much better, it makes a lot more sense, thanks!

Also, the BIOParallel class should be enough to provide a conversion to cats.Parallel in BIOCatsConversions -

izumi/fundamentals/fundamentals-bio/src/main/scala/izumi/functional/bio/BIOCatsConversions.scala

Line 55 in 111390e

trait BIOCatsConversions8 extends BIOCatsConversions9 {

- if you're interested, you could add it in a subsequent PR

[Adriani277]

I can have a look at adding the parallel conversion next.
I would also like to add BIO3Syntax for BIOParallel but I don't understand it enough yet.
Will attempt in the subsequent PR, unless you think BIOParallel should not have syntax added

[neko-kai]

@Adriani277
Adding syntax to BIOParallel would involve

• adding a superclass to BIOAsyncOps here -

  izumi/fundamentals/fundamentals-bio/src/main/scala/izumi/functional/bio/syntax/BIOSyntax.scala

  Line 135 in 111390e

  class BIOAsyncOps[F[+_, +_], +E, +A](override protected[this] val r: F[E, A])(implicit override protected[this] val F: BIOAsync[F]) extends BIOOps(r) {

• Adding overloads named BIOParallel to BIOImplicitPuns2 (check the `BIOAsync overloads above for example) -

  izumi/fundamentals/fundamentals-bio/src/main/scala/izumi/functional/bio/syntax/BIOSyntax.scala

  Line 164 in 111390e

  trait BIOImplicitPuns2 extends BIOImplicitPuns3 {

• Shifting all the ImplicitPuns starting from BIO down by one, such that BIOImplicitPuns11 is now BIOImplicitPuns12

  izumi/fundamentals/fundamentals-bio/src/main/scala/izumi/functional/bio/syntax/BIOSyntax.scala

  Line 209 in 111390e

  trait BIOImplicitPuns11 {

This is for bifunctor BIOSyntax, you'll also need to repeat the same steps for trifunctor BIOSyntax3.

You'll also need to rename BIOParallel to BIOParallel3 and add a type alias BIOParalell into bio package object here -

izumi/fundamentals/fundamentals-bio/src/main/scala/izumi/functional/bio/package.scala

Line 74 in 111390e

type BIOAsync[F[+_, +_]] = BIOAsync3[Lambda[(`-R`, `+E`, `+A`) => F[E, A]]]

[Adriani277]

@neko-kai awesome. Will have a go at adding it