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

package cats
package laws
package discipline

import org.scalacheck.Prop._
import org.scalacheck.Arbitrary

trait MonoidKTests[F[_]] extends SemigroupKTests[F] {
  def laws: MonoidKLaws[F]

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

object MonoidKTests {
  def apply[F[_] : MonoidK]: MonoidKTests[F] =
    new MonoidKTests[F] { def laws: MonoidKLaws[F] = MonoidKLaws[F] }
}