All Downloads are FREE. Search and download functionalities are using the official Maven repository.

cats.laws.discipline.package.scala Maven / Gradle / Ivy

The newest version!
package cats
package laws

import algebra.laws._

import org.scalacheck.Prop

package object discipline {
  implicit def isEqToProp[A: Eq](isEq: IsEq[A]): Prop =
    isEq.lhs ?== isEq.rhs
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy