All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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