scalaprops.scalazlaws.cobind.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scalaprops-scalaz_native0.5_3 Show documentation

property based testing library for Scala

The newest version!

package scalaprops
package scalazlaws

import scalaprops.Property.forAll
import scalaz._
import scalaz.std.anyVal._

object cobind {
  def cobindAssociative[F[_], A, B, C, D](implicit
    F: Cobind[F],
    D: Equal[D],
    fa: Gen[F[A]],
    f: Gen[F[A] => B],
    g: Gen[F[B] => C],
    h: Gen[F[C] => D]
  ): Property =
    forAll(F.cobindLaw.cobindAssociative[A, B, C, D] _)

  def laws[F[_]](implicit a: Cobind[F], am: Gen[F[Int]], g: Gen[F[Int] => Int]): Properties[ScalazLaw] =
    Properties.fromChecks(ScalazLaw.cobind)(
      ScalazLaw.cobindAssociative -> Check(
        cobindAssociative[F, Int, Int, Int, Int],
        Param.maxSize(10)
      )
    )

  def all[F[_]](implicit
    a: Cobind[F],
    am: Gen[F[Int]],
    e: Equal[F[Int]],
    g: Gen[F[Int] => Int]
  ): Properties[ScalazLaw] =
    Properties.fromProps(ScalazLaw.cobindAll, cobind.laws[F], functor.all[F])
}