• Home
• com.github.scalaprops
• scalaprops-scalaz_native0.5_3
• 0.9.1
• source code
• applicativePlus.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.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])
}