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

package cats
package laws
package discipline

import cats.arrow.Choice
import cats.data.Xor
import org.scalacheck.Arbitrary
import org.scalacheck.Prop._

trait ChoiceTests[F[_, _]] extends CategoryTests[F] {
  def laws: ChoiceLaws[F]

  def choice[A, B, C, D](implicit
    ArbFAB: Arbitrary[F[A, B]],
    ArbFAC: Arbitrary[F[A, C]],
    ArbFBC: Arbitrary[F[B, C]],
    ArbFCD: Arbitrary[F[C, D]],
    EqFAB: Eq[F[A, B]],
    EqFAD: Eq[F[A, D]],
    EqFXorABD: Eq[F[Xor[A, B], D]]
  ): RuleSet =
    new DefaultRuleSet(
      name =  "choice",
      parent = Some(category[A, B, C, D]),
      "choice composition distributivity" -> forAll(laws.choiceCompositionDistributivity[A, B, C, D] _))
}

object ChoiceTests {
  def apply[F[_, _]: Choice]: ChoiceTests[F] =
    new ChoiceTests[F] { def laws: ChoiceLaws[F] = ChoiceLaws[F] }
}