root/scalaz/Reducer/ReducerLaw

ReducerLaw

trait ReducerLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def consCorrectness(c: C, m: M)(implicit E: Equal[M]): Boolean
def snocCorrectness(m: M, c: C)(implicit E: Equal[M]): Boolean
def unfoldlOptConsistency[B](seed: B, f: B => Maybe[(B, C)])(implicit E: Equal[M]): Boolean
def unfoldrOptConsistency[B](seed: B, f: B => Maybe[(C, B)])(implicit E: Equal[M]): Boolean