scalaprops-all/scalaprops.scalazlaws/reducer

reducer

object reducer
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[A : Gen, B : Equal](implicit evidence$10: Gen[A], evidence$11: Gen[B], evidence$12: Equal[B], R: Reducer[A, B]): Properties[ScalazLaw]
def consCorrectness[A : Gen, B : Equal](implicit evidence$1: Gen[A], evidence$2: Gen[B], evidence$3: Equal[B], R: Reducer[A, B]): Property
def laws[A : Gen, B : Equal](implicit evidence$7: Gen[A], evidence$8: Gen[B], evidence$9: Equal[B], R: Reducer[A, B]): Properties[ScalazLaw]
def snocCorrectness[A : Gen, B : Equal](implicit evidence$4: Gen[A], evidence$5: Gen[B], evidence$6: Equal[B], R: Reducer[A, B]): Property