Proptics core/proptics.instances/FoldableWithIndexInstances

FoldableWithIndexInstances

trait FoldableWithIndexInstances
class Object
trait Matchable
class Any
object all.type
object foldableWithIndex.type

Implicits

Implicits

final implicit def foldableWithIndexListMap[K]: FoldableWithIndex[[_] =>> ListMap[K, _$1], K]
final implicit def foldableWithIndexMap[K]: FoldableWithIndex[[_] =>> Map[K, _$3], K]
final implicit def foldableWithIndexNonEmptyMap[K]: FoldableWithIndex[[_] =>> Type[K, _$8], K]
final implicit def foldableWithIndexOneAnd[F[_] : Foldable]: FoldableWithIndex[[_] =>> OneAnd[F, _$6], Int]

Inherited implicits

final implicit val foldableWithIndexArraySeq: FoldableWithIndex[ArraySeq, Int]
Inherited from:
ScalaVersionSpecificFoldableWithIndexInstances
final implicit val foldableWithIndexLazyList: FoldableWithIndex[LazyList, Int]
Inherited from:
ScalaVersionSpecificFoldableWithIndexInstances