• Home
• org.scalaz
• scalaz-core_native0.5_3
• 7.4.0-M15
• source code
• Split.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.Split.scala Maven / Gradle / Ivy

package scalaz

////
/**
 * A [[scalaz.Compose]] (semigroupoid) permitting products.
 */
////
trait Split[=>:[_, _]] extends Compose[=>:] { self =>
  ////
  def split[A, B, C, D](f: A =>: B, g: C =>: D): (A,  C) =>: (B, D)

  // derived functions

  ////
  val splitSyntax: scalaz.syntax.SplitSyntax[=>:] =
    new scalaz.syntax.SplitSyntax[=>:] { def F = Split.this }
}

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

  import Isomorphism._

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

  ////
  ////
}

trait IsomorphismSplit[F[_, _], G[_, _]] extends Split[F] with IsomorphismCompose[F, G]{
  implicit def G: Split[G]
  ////

  override def split[A, B, C, D](f: F[A, B], g: F[C, D]): F[(A,  C), (B, D)] =
    iso.from(G.split(iso.to(f), iso.to(g)))
  ////
}