• Home
• org.spire-math
• cats-laws_2.10
• 0.3.0
• source code
• BifunctorTests.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.laws.discipline.BifunctorTests.scala Maven / Gradle / Ivy

package cats.laws.discipline

import cats.Eq
import cats.functor.Bifunctor
import cats.laws.BifunctorLaws
import org.scalacheck.Arbitrary
import org.scalacheck.Prop._
import org.typelevel.discipline.Laws

trait BifunctorTests[F[_, _]] extends Laws {
  def laws: BifunctorLaws[F]

  def bifunctor[A, A2, A3, B, B2, B3](implicit
      ArbFAB: Arbitrary[F[A, B]],
      ArbA2: Arbitrary[A => A2],
      ArbA3: Arbitrary[A2 => A3],
      ArbB2: Arbitrary[B => B2],
      ArbB3: Arbitrary[B2 => B3],
      EqFAB: Eq[F[A, B]],
      EqFCZ: Eq[F[A3, B3]]
  ): RuleSet = {
    new DefaultRuleSet(
      name = "Bifunctor",
      parent = None,
      "Bifunctor Identity" -> forAll(laws.bifunctorIdentity[A, B] _),
      "Bifunctor associativity" -> forAll(laws.bifunctorComposition[A, A2, A3, B, B2, B3] _)
    )
  }
}

object BifunctorTests {
  def apply[F[_, _] : Bifunctor]: BifunctorTests[F] =
    new BifunctorTests[F] {
      def laws: BifunctorLaws[F] = BifunctorLaws[F]
    }
}