Proptics core/proptics.indices/TraverseWithIndex

TraverseWithIndex

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

Value members

Abstract methods

def traverse[G[_] : Applicative, A, B](fa: F[A])(f: A => G[B]): G[F[B]]

Concrete methods

def sequence[G[_] : Applicative, A](fga: F[G[A]]): G[F[A]]
def traverseWithIndex[G[_] : Applicative, A, B](f: (A, I) => G[B])(fa: F[A]): G[F[B]]

Inherited methods

def exists[A](fa: F[A])(f: A => Boolean): Boolean
Inherited from:
FoldableWithIndex
def foldLeft[A, B](fa: F[A], b: B)(f: (B, A) => B): B
Inherited from:
FoldableWithIndex
def foldLeftWithIndex[A, B](f: (B, (A, I)) => B)(fa: F[A], b: B): B
Inherited from:
FoldableWithIndex
def foldMap[A, B](fa: F[A])(f: A => B)(implicit B: Monoid[B]): B
Inherited from:
FoldableWithIndex
final def foldMapWithIndex[A, B](f: (A, I) => B)(fa: F[A])(implicit ev: Monoid[B]): B
Inherited from:
FoldableWithIndex
def foldRight[A, B](fa: F[A], lb: Eval[B])(f: (A, Eval[B]) => Eval[B]): Eval[B]
Inherited from:
FoldableWithIndex
def foldRightWithIndex[A, B](f: ((A, I), Eval[B]) => Eval[B])(fa: F[A], lb: Eval[B]): Eval[B]
Inherited from:
FoldableWithIndex
def isEmpty[A](fa: F[A]): Boolean
Inherited from:
FoldableWithIndex
def map[A, B](fa: F[A])(f: A => B): F[B]
Inherited from:
FunctorWithIndex
def mapWithIndex[A, B](f: (A, I) => B)(fa: F[A]): F[B]
Inherited from:
FunctorWithIndex
def nonEmpty[A](fa: F[A]): Boolean
Inherited from:
FoldableWithIndex