Proptics law/proptics.law/FoldableWithIndexLaws

FoldableWithIndexLaws

trait FoldableWithIndexLaws[F[_], I]
Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def foldRightLazy[A](fa: F[A]): Boolean
def leftFoldConsistentWithFoldMap[A, B](fa: F[A], f: A => B)(implicit M: Monoid[B]): IsEq[B]
def leftFoldWithIndexConsistentWithFoldMapWithIndex[A, B](fa: F[A], f: (A, I) => B)(implicit ev: Monoid[B]): IsEq[B]
def rightFoldConsistentWithFoldMap[A, B](fa: F[A], f: A => B)(implicit M: Monoid[B]): IsEq[B]
def rightFoldWithIndexConsistentWithFoldMapWithIndex[A, B](fa: F[A], f: (A, I) => B)(implicit ev: Monoid[B]): IsEq[B]

Implicits

Implicits

implicit def F: FoldableWithIndex[F, I]