Proptics core/proptics.data/Additive

Additive

object Additive extends AdditiveInstances
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

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 applicativeAdditive: Applicative[Additive]
Inherited from:
AdditiveInstances
final implicit def applyAdditive: Apply[Additive]
Inherited from:
AdditiveInstances
final implicit def bindAdditive: FlatMap[Additive]
Inherited from:
AdditiveInstances
final implicit def eqAdditive[A : Eq]: Eq[Additive[A]]
Inherited from:
AdditiveInstances
final implicit def functorAdditive: Functor[Additive]
Inherited from:
AdditiveInstances
final implicit def monadAdditive: Monad[Additive]
Inherited from:
AdditiveInstances
final implicit def ordAdditive[A : Order]: Order[Additive[A]]
Inherited from:
AdditiveInstances
final implicit def showAdditive[A : Show]: Show[Additive[A]]
Inherited from:
AdditiveInstances