• Home
• org.spire-math
• cats-core_2.10
• 0.3.0
• source code
• Strong.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.

cats.functor.Strong.scala Maven / Gradle / Ivy

package cats
package functor

/**
 * Must obey the laws defined in cats.laws.StrongLaws.
 */
trait Strong[F[_, _]] extends Profunctor[F] {
  def first[A, B, C](fa: F[A, B]): F[(A, C), (B, C)]
  def second[A, B, C](fa: F[A, B]): F[(C, A), (C, B)]
}

object Strong {
  def apply[F[_, _]](implicit ev: Strong[F]): Strong[F] = ev
}