proptics.indices

Type members

Classlikes

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