• Home
• org.spire-math
• spire-laws_sjs0.6_2.11
• 0.13.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.

spire.laws.package.scala Maven / Gradle / Ivy

package spire

import spire.algebra._
import spire.implicits._

import org.scalacheck.{Prop, Properties}

import org.typelevel.discipline.Predicate

package object laws {

  implicit def PredicateFromMonoid[A: Eq](implicit A: AdditiveMonoid[A]): Predicate[A] = new Predicate[A] {
    def apply(a: A) = a =!= A.zero
  }

  def propertiesToProp(properties: Properties) = Prop.all(properties.properties.map(_._2): _*)

}

// vim: expandtab:ts=2:sw=2