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

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scalaprops-scalazlaws_2.12.0-M4 Show documentation

property based testing library for Scala

The newest version!

package scalaprops
package scalazlaws

import scalaz._

object applicativePlus {
  def all[F[_]](implicit F: ApplicativePlus[F], af: Gen[F[Int]],
                aff: Gen[F[Int => Int]], e: Equal[F[Int]]): Properties[ScalazLaw] =
    Properties.fromProps(ScalazLaw.applicativePlus, applicative.all[F], plusEmpty.all[F])
}