Packages

p

proptics

internal

package internal

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. trait Bazaar[P[_, _], A, B, S, T] extends Serializable

    Bazaar is used to characterize a proptics.Traversal_

    Bazaar is used to characterize a proptics.Traversal_

    Annotations
    @implicitNotFound()
  2. abstract class BazaarInstances extends AnyRef
  3. trait CorepresentableInstances extends AnyRef
  4. final case class Exchange[A, B, S, T](view: (S) => A, review: (B) => T) extends Product with Serializable

    The Exchange cats.arrow.Profunctor characterizes an proptics.Iso_

  5. abstract class ExchangeInstances extends AnyRef
  6. final case class Forget[R, A, B](runForget: (A) => R) extends AnyVal with Product with Serializable

    Forget is a cats.arrow.Profunctor that forgets the B value and returns an accumulated value of type R.

  7. abstract class ForgetInstances extends AnyRef
  8. final case class Indexed[P[_, _], I, S, T](runIndex: P[(S, I), T]) extends Product with Serializable

    cats.arrow.Profunctor used for indexed optics

  9. trait IndexedGetter0[I, S, A] extends Serializable
  10. trait IndexedGetter1[I, S, A] extends IndexedGetter0[I, S, A]
  11. abstract class IndexedInstances extends AnyRef
  12. trait IndexedSetter0[I, S, T, A, B] extends Serializable
  13. trait IndexedTraversal0[I, S, T, A, B] extends IndexedSetter0[I, S, T, A, B]
  14. trait IndexedTraversal1[I, S, T, A, B] extends IndexedTraversal0[I, S, T, A, B] with IndexedFold0[I, S, A]
  15. final case class Market[A, B, S, T](viewOrModify: (S) => Either[T, A], review: (B) => T) extends Product with Serializable

    The Market cats.arrow.Profunctor characterizes a proptics.Prism_

  16. abstract class MarketInstances extends AnyRef
  17. final case class Re[P[_, _], S, T, A, B](runRe: (P[B, A]) => P[T, S]) extends AnyVal with Product with Serializable

    Re is a class for optics that can be reversed.

  18. abstract class ReInstances extends AnyRef
  19. trait RunBazaar[P[_, _], A, B, S, T] extends Serializable
  20. trait Sellable[P[_, _], W[_, _, _]] extends Serializable

    The Sellable is used internally to construct a Bazaar

    The Sellable is used internally to construct a Bazaar

    Annotations
    @implicitNotFound()
  21. abstract class SellableInstances extends AnyRef
  22. final case class Shop[A, B, S, T](view: (S) => A, set: (S) => (B) => T) extends Product with Serializable

    The Shop profunctor characterizes a proptics.Lens_

  23. abstract class ShopInstances extends AnyRef
  24. final case class Stall[A, B, S, T](viewOrModify: (S) => Either[T, A], set: (S) => (B) => T) extends Product with Serializable

    The Stall cats.arrow.Profunctor characterizes an proptics.AffineTraversal_

  25. abstract class StallInstances extends AnyRef
  26. final case class Tagged[A, B](runTag: B) extends Product with Serializable

    A Tagged value is a value of type B with an attached phantom type A

  27. abstract class TaggedInstances extends AnyRef
  28. final case class Zipping[A, B](runZipping: (A) => (A) => B) extends AnyVal with Product with Serializable

    The Zipping cats.arrow.Profunctor characterizes an proptics.Grate_

  29. abstract class ZippingInstances extends AnyRef

Value Members

  1. object Bazaar extends BazaarInstances with Serializable
  2. object Corepresentable extends CorepresentableInstances
  3. object Exchange extends ExchangeInstances with Serializable
  4. object Forget extends ForgetInstances with Serializable
  5. object Indexed extends IndexedInstances with Serializable
  6. object Market extends MarketInstances with Serializable
  7. object Re extends ReInstances with Serializable
  8. object Sellable extends SellableInstances with Serializable
  9. object Shop extends ShopInstances with Serializable
  10. object Stall extends StallInstances with Serializable
  11. object Tagged extends TaggedInstances with Serializable
  12. object Zipping extends ZippingInstances with Serializable

Ungrouped