• Home
• org.scalaz
• scalaz-core_2.9.1
• 6.0.4
• source code
• Prod.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.Prod.scala Maven / Gradle / Ivy

package scalaz

object Prod {
  def ProdApplicative[M[_] : Applicative, N[_] : Applicative]: Applicative[({type λ[α]=(M[α], N[α])})#λ] = new Applicative[({type λ[α]=(M[α], N[α])})#λ] {
    import Scalaz._

    def pure[A](a: => A) = (a.η[M], a.η[N])

    override def apply[A, B](f: (M[A => B], N[A => B]), a: (M[A], N[A])) = {
      lazy val fv = f
      lazy val av = a
      (av._1 <*> fv._1, av._2 <*> fv._2)
    }
  }
}