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. abstract class IndexedInstances extends AnyRef
  10. 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_

  11. abstract class MarketInstances extends AnyRef
  12. 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.

  13. abstract class ReInstances extends AnyRef
  14. trait RunBazaar[P[_, _], A, B, S, T] extends Serializable
  15. 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()
  16. abstract class SellableInstances extends AnyRef
  17. 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_

  18. abstract class ShopInstances extends AnyRef
  19. 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_

  20. abstract class StallInstances extends AnyRef
  21. 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

  22. abstract class TaggedInstances extends AnyRef
  23. 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_

  24. 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