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

package cats
package laws
package discipline

import org.scalacheck.Prop._
import org.scalacheck.Arbitrary
import org.typelevel.discipline.Laws

trait SemigroupKTests[F[_]] extends Laws {
  def laws: SemigroupKLaws[F]

  def semigroupK[A: Arbitrary](implicit
    ArbFA: Arbitrary[F[A]],
    EqFA: Eq[F[A]]
  ): RuleSet = {
    new RuleSet {
      val name = "semigroupK"
      val bases = Nil
      val parents = Nil
      val props = Seq(
        "semigroupK associative" -> forAll(laws.semigroupKAssociative[A] _)
      )
    }
  }
}

object SemigroupKTests {
  def apply[F[_]: SemigroupK]: SemigroupKTests[F] =
    new SemigroupKTests[F] { def laws: SemigroupKLaws[F] = SemigroupKLaws[F] }
}