monocle.law.discipline.function.EachTests.scala Maven / Gradle / Ivy
package monocle.law.discipline.function
import monocle.function.Each._
import monocle.function._
import monocle.law.discipline.TraversalTests
import org.scalacheck.Arbitrary
import org.typelevel.discipline.Laws
import cats.Eq
object EachTests extends Laws {
def apply[S: Eq: Arbitrary, A: Eq: Arbitrary](implicit evEach: Each[S, A], arbAA: Arbitrary[A => A]): RuleSet =
new SimpleRuleSet("Each", TraversalTests(each[S, A]).props: _*)
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy