Proptics core/proptics.internal/Indexed

Indexed

object Indexed extends IndexedInstances
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Indexed.type

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Implicits

Inherited implicits

final implicit def choiceIndexed[P[_, _], I](implicit ev: Choice[P]): Choice[[_, _] =>> Indexed[P, I, _$18, _$19]]
Inherited from:
IndexedInstances
final implicit def profunctorIndexed[P[_, _], I](implicit ev: Profunctor[P]): Profunctor[[_, _] =>> Indexed[P, I, _$5, _$6]]
Inherited from:
IndexedInstances
final implicit def strongIndexed[P[_, _], I](implicit ev: Strong[P]): Strong[[_, _] =>> Indexed[P, I, _$12, _$13]]
Inherited from:
IndexedInstances
final implicit def wanderIndexed[P[_, _], I](implicit ev: Wander[P]): Wander[[_, _] =>> Indexed[P, I, _$26, _$27]]
Inherited from:
IndexedInstances