• Home
• org.scalaz
• scalaz-core_native0.5_3
• 7.4.0-M15
• source code
• ProChoice.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.

scalaz.ProChoice.scala Maven / Gradle / Ivy

package scalaz

////
/**
 * Strength on a coproduct.
 */
////
trait ProChoice[=>:[_, _]] extends Profunctor[=>:] { self =>
  ////
  def left[A, B, C](fa: A =>: B): (A \/ C) =>: (B \/ C)

  def right[A, B, C](fa: A =>: B): (C \/ A) =>: (C \/ B)

  ////
  val proChoiceSyntax: scalaz.syntax.ProChoiceSyntax[=>:] =
    new scalaz.syntax.ProChoiceSyntax[=>:] { def F = ProChoice.this }
}

object ProChoice {
  @inline def apply[F[_, _]](implicit F: ProChoice[F]): ProChoice[F] = F

  import Isomorphism._

  def fromIso[F[_, _], G[_, _]](D: F <~~> G)(implicit E: ProChoice[G]): ProChoice[F] =
    new IsomorphismProChoice[F, G] {
      override def G: ProChoice[G] = E
      override def iso: F <~~> G = D
    }

  ////

  ////
}

trait IsomorphismProChoice[F[_, _], G[_, _]] extends ProChoice[F] with IsomorphismProfunctor[F, G]{
  implicit def G: ProChoice[G]
  ////

  override def left[A, B, C](fa: F[A, B]): F[(A \/ C), (B \/ C)] =
    iso.from(G.left(iso.to(fa)))

  override def right[A, B, C](fa: F[A, B]): F[(C \/ A), (C \/ B)] =
    iso.from(G.right(iso.to(fa)))
  ////
}