scalaprops.scalazlaws.applicativePlus.scala Maven / Gradle / Ivy
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])
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy