Proptics core/proptics.indices/FoldableWithIndex

FoldableWithIndex

@implicitNotFound("Could not find an instance of FoldableWithIndex[${F}, ${I}]")
trait FoldableWithIndex[F[_], I] extends Serializable
Companion:
object
class Object
trait Matchable
class Any
trait TraverseWithIndex[F, I]

Value members

Abstract methods

def exists[A](fa: F[A])(f: A => Boolean): Boolean
def foldLeftWithIndex[A, B](f: (B, (A, I)) => B)(fa: F[A], b: B): B
def foldRightWithIndex[A, B](f: ((A, I), Eval[B]) => Eval[B])(fa: F[A], lb: Eval[B]): Eval[B]

Concrete methods

def foldLeft[A, B](fa: F[A], b: B)(f: (B, A) => B): B
def foldMap[A, B](fa: F[A])(f: A => B)(implicit B: Monoid[B]): B
final def foldMapWithIndex[A, B](f: (A, I) => B)(fa: F[A])(implicit ev: Monoid[B]): B
def foldRight[A, B](fa: F[A], lb: Eval[B])(f: (A, Eval[B]) => Eval[B]): Eval[B]
def isEmpty[A](fa: F[A]): Boolean
def nonEmpty[A](fa: F[A]): Boolean