scalaz-core/scalaz/Foldable1/Foldable1Law

Foldable1Law

trait Foldable1Law extends FoldableLaw
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Left fold is consistent with foldMap1.

Left fold is consistent with foldMap1.

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

Right fold is consistent with foldMap1.

Right fold is consistent with foldMap1.

Inherited methods

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

Left fold is consistent with foldMap.

Left fold is consistent with foldMap.

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

Right fold is consistent with foldMap.

Right fold is consistent with foldMap.

Inherited from
FoldableLaw