scalaz-core/scalaz/Foldable/FoldableLaw

FoldableLaw

trait FoldableLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

def leftFMConsistent[A : Equal](fa: F[A]): Boolean

Left fold is consistent with foldMap.

Left fold is consistent with foldMap.

def rightFMConsistent[A : Equal](fa: F[A]): Boolean

Right fold is consistent with foldMap.

Right fold is consistent with foldMap.