algebra.laws.Platform.scala Maven / Gradle / Ivy
The newest version!
package algebra
package laws
import org.scalacheck.{Arbitrary, Prop}
import org.scalacheck.Prop._
import Prop.{False, Proof, Result}
private[laws] object Platform {
// Scala-js does not implement the Serializable interface, so we just retuen true.
@inline
def serializable[M](m: M): (String, Prop) = "serializable" -> Prop { _ =>
Result(status = Proof)
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy