Proptics core/proptics.internal/Tagged

Tagged

object Tagged extends TaggedInstances
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Tagged.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 val choiceTagged: Choice[Tagged]
Inherited from:
TaggedInstances
final implicit val closedTagged: Closed[Tagged]
Inherited from:
TaggedInstances
final implicit def eqTagged[A, B](implicit ev: Eq[B]): Eq[Tagged[A, B]]
Inherited from:
TaggedInstances
final implicit def foldableTagged[C]: Foldable[[_] =>> Tagged[C, _$4]]
Inherited from:
TaggedInstances
final implicit def functorTagged[F[_], C]: Functor[[_] =>> Tagged[C, _$2]]
Inherited from:
TaggedInstances
final implicit def orderTagged[A, B](implicit ev: Order[B]): Order[Tagged[A, B]]
Inherited from:
TaggedInstances
final implicit val profunctorTagged: Profunctor[Tagged]
Inherited from:
TaggedInstances
final implicit def traverseTagged[C]: Traverse[[_] =>> Tagged[C, _$6]]
Inherited from:
TaggedInstances