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

package monocle.law

import monocle.internal.IsEq
import org.scalacheck.Prop
import org.scalacheck.Prop._
import org.scalacheck.util.Pretty

import cats.Eq

package object discipline {
  implicit def isEqToProp[A](isEq: IsEq[A])(implicit A: Eq[A]): Prop =
    if (A.eqv(isEq.lhs, isEq.rhs)) proved
    else
      falsified :| {
        val exp = Pretty.pretty[A](isEq.rhs, Pretty.Params(0))
        val act = Pretty.pretty[A](isEq.lhs, Pretty.Params(0))
        "Expected " + exp + " but got " + act
      }
}