• Home
• com.github.scalaprops
• scalaprops-scalazlaws_sjs0.6_2.12.0-M5
• 0.3.4
• source code
• divisible.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.

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

package scalaprops
package scalazlaws

import scalaprops.Property.forAll
import scalaz._

object divisible {
  def rightIdentity[F[_], A](implicit F: Divisible[F], G: Gen[F[A]], E: Equal[F[A]]): Property =
    forAll(F.divisibleLaw.rightIdentity[A] _)

  def leftIdentity[F[_], A](implicit F: Divisible[F], G: Gen[F[A]], E: Equal[F[A]]): Property =
    forAll(F.divisibleLaw.leftIdentity[A] _)

  def laws[F[_]: Divisible](implicit
    G: Gen[F[Int]], E: Equal[F[Int]]
  ): Properties[ScalazLaw] =
    Properties.properties(ScalazLaw.divisible)(
      ScalazLaw.divisibleRightIdentity -> this.rightIdentity[F, Int],
      ScalazLaw.divisibleLeftIdentity -> this.leftIdentity[F, Int]
    )

  def all[F[_]: Divisible](implicit G: Gen[F[Int]], E: Equal[F[Int]]): Properties[ScalazLaw] =
    Properties.fromProps(ScalazLaw.divisibleAll, divisible.laws[F], divide.all[F])
}