Proptics core/proptics.data

proptics.data

package proptics.data

Type members

Classlikes

final case class Additive[A](runAdditive: A)

cats.Monoid and cats.Semigroup under addition

cats.Monoid and cats.Semigroup under addition

Companion:
object
object Additive extends AdditiveInstances
Companion:
class
trait AdditiveCompat extends Serializable
abstract class AdditiveInstances extends AdditiveCompat
final case class Conj[A](runConj: A)

cats.Monoid and cats.Semigroup for conjunction

cats.Monoid and cats.Semigroup for conjunction

Companion:
object
object Conj extends ConjInstances
Companion:
class
trait ConjCompat extends Serializable
abstract class ConjInstances extends ConjCompat
final case class Disj[A](runDisj: A)

cats.Monoid and cats.Semigroup for disjunction

cats.Monoid and cats.Semigroup for disjunction

Companion:
object
object Disj extends DisjInstances
Companion:
class
trait DisjCompat extends Serializable
abstract class DisjInstances extends DisjCompat
final case class Dual[A](runDual: A)

The dual of a cats.Monoid

The dual of a cats.Monoid

Companion:
object
object Dual extends DualInstances
Companion:
class
abstract class DualInstances
final case class Endo[C[_, _], A](runEndo: C[A, A])

cats.Monoid and cats.Semigroup for category endomorphisms.

cats.Monoid and cats.Semigroup for category endomorphisms.

When c is instantiated with -> this composes functions of type a -> a

Companion:
object
object Endo extends EndoInstances
Companion:
class
abstract class EndoInstances
final case class First[A](runFirst: Option[A]) extends AnyVal

cats.Semigroup where combine always takes the first option

cats.Semigroup where combine always takes the first option

Companion:
object
object First extends FirstInstances
Companion:
class
abstract class FirstInstances
final case class Last[A](runLast: Option[A]) extends AnyVal

cats.Semigroup where combine always takes the last option

cats.Semigroup where combine always takes the last option

Companion:
object
object Last extends LastInstances
Companion:
class
abstract class LastInstances
final case class Multiplicative[A](runMultiplicative: A)

cats.Monoid and cats.Semigroup under multiplication

cats.Monoid and cats.Semigroup under multiplication

Companion:
object
object Multiplicative extends MultiplicativeInstances
Companion:
class
trait MultiplicativeCompat extends Serializable
abstract class MultiplicativeInstances extends MultiplicativeCompat