• Home
• io.7mind.izumi
• fundamentals-bio_2.13
• 1.2.15
• source code
• Bifunctor2.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

izumi.functional.bio.Bifunctor2.scala Maven / Gradle / Ivy

package izumi.functional.bio

import scala.annotation.unused

trait Bifunctor2[F[+_, +_]] extends RootBifunctor[F] {
  def InnerF: Functor2[F]

  def bimap[E, A, E2, A2](r: F[E, A])(f: E => E2, g: A => A2): F[E2, A2]
  def leftMap[E, A, E2](r: F[E, A])(f: E => E2): F[E2, A] = bimap(r)(f, identity)

  @inline final def widenError[E, A, E1](r: F[E, A])(implicit @unused ev: E <:< E1): F[E1, A] = r.asInstanceOf[F[E1, A]]
  @inline final def widenBoth[E, A, E1, A1](r: F[E, A])(implicit @unused ev: E <:< E1, @unused ev2: A <:< A1): F[E1, A1] =
    r.asInstanceOf[F[E1, A1]]
}