• Home
• com.github.julien-truffaut
• monocle-law_sjs1_3.0.0-M3
• 3.0.0-M1
• source code
• Snoc1Tests.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.

monocle.law.discipline.function.Snoc1Tests.scala Maven / Gradle / Ivy

package monocle.law.discipline.function

import monocle.function.Snoc1._
import monocle.function._
import monocle.law.discipline.{IsoTests, LensTests}
import org.scalacheck.Arbitrary
import org.typelevel.discipline.Laws

import cats.Eq
import cats.instances.tuple._

@deprecated("no replacement", since = "3.0.0-M1")
object Snoc1Tests extends Laws {
  def apply[S: Eq: Arbitrary, I: Eq: Arbitrary, L: Eq: Arbitrary](implicit
    evSnoc1: Snoc1[S, I, L],
    arbSLSL: Arbitrary[((I, L)) => ((I, L))],
    arbSS: Arbitrary[I => I],
    arbLL: Arbitrary[L => L]
  ): RuleSet =
    new SimpleRuleSet(
      "Snoc1",
      IsoTests(snoc1[S, I, L]).props ++
        LensTests(init[S, I, L]).props ++
        LensTests(last[S, I, L]).props: _*
    )
}