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