scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/reducer

reducer

object reducer
class Object
trait Matchable
class Any

Value members

Concrete methods

def consCorrectness[C, M](implicit R: Reducer[C, M], ac: Arbitrary[C], am: Arbitrary[M], eqm: Equal[M]): Prop
def laws[C : Arbitrary, M : Equal](implicit evidence$10: Arbitrary[C], evidence$11: Arbitrary[M], evidence$12: Equal[M], R: Reducer[C, M]): Properties
def snocCorrectness[C, M](implicit R: Reducer[C, M], ac: Arbitrary[C], am: Arbitrary[M], eqm: Equal[M]): Prop