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

package monocle.law.discipline.function

import monocle.function.At._
import monocle.function._
import monocle.law.discipline.LensTests
import org.scalacheck.Arbitrary
import org.typelevel.discipline.Laws

import cats.Eq

object AtTests extends Laws {
  def apply[S: Eq: Arbitrary, I: Arbitrary, A: Eq: Arbitrary](implicit
    evAt: At[S, I, A],
    arbAA: Arbitrary[A => A]
  ): RuleSet =
    new SimpleRuleSet("At", LensTests[S, A, I](at(_)).props: _*)
}