• Home
• dev.optics
• monocle-law_sjs1_2.13
• 3.3.0
• source code
• EmptyTests.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.EmptyTests.scala Maven / Gradle / Ivy

package monocle.law.discipline.function

import monocle.function.Empty._
import monocle.function._
import monocle.law.discipline.PrismTests
import org.scalacheck.{Arbitrary, Prop}
import org.typelevel.discipline.Laws

import cats.Eq
import cats.instances.unit._

@deprecated("no replacement", since = "3.0.0-M1")
object EmptyTests extends Laws {
  def apply[S: Arbitrary: Eq: Empty]: RuleSet =
    new RuleSet {
      override def name: String                  = "Empty"
      override def bases: Seq[(String, RuleSet)] = Nil
      override def parents: Seq[RuleSet]         = Nil
      override def props: Seq[(String, Prop)] =
        PrismTests(empty[S]).props
    }
}