• Home
• com.github.scalaprops
• scalaprops-scalazlaws_sjs0.6_2.12.0-M5
• 0.3.4
• source code
• foldable1.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.foldable1.scala Maven / Gradle / Ivy

package scalaprops
package scalazlaws

import scalaprops.Property.forAll
import scalaz._
import scalaz.std.anyVal._

object foldable1 {

  def leftFM1Consistent[F[_], A](implicit F: Foldable1[F], fa: Gen[F[A]], ea: Equal[A]) =
    forAll(F.foldable1Law.leftFM1Consistent[A] _)

  def rightFM1Consistent[F[_], A](implicit F: Foldable1[F], fa: Gen[F[A]], ea: Equal[A]) =
    forAll(F.foldable1Law.rightFM1Consistent[A] _)

  def laws[F[_]: Foldable1](implicit fa: Gen[F[Int]]) =
    Properties.properties(ScalazLaw.foldable1) (
      ScalazLaw.foldable1LeftFM1Consistent -> leftFM1Consistent[F, Int],
      ScalazLaw.foldable1RightFM1Consistent -> rightFM1Consistent[F, Int]
    )

  def all[F[_]: Foldable1](implicit fa: Gen[F[Int]]) =
    Properties.fromProps(ScalazLaw.foldable1All, foldable1.laws[F], foldable.laws[F])
}