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
def unfoldlOptConsistency[C, M, S](implicit R: Reducer[C, M], ac: Arbitrary[C], as: Arbitrary[S], cs: Cogen[S], eqm: Equal[M]): Prop
def unfoldrOptConsistency[C, M, S](implicit R: Reducer[C, M], ac: Arbitrary[C], as: Arbitrary[S], cs: Cogen[S], eqm: Equal[M]): Prop