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

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 - 2024 Weber Informatics LLC | Privacy Policy