Type Members

1.  trait Choice[P[_, _]] extends Profunctor[P]

   The Choice type class extends cats.arrow.Profunctor with combinators for working with sum types.

   The Choice type class extends cats.arrow.Profunctor with combinators for working with sum types.

   P

   type constructor of kind (* -> * -> *)

   Annotations

   @implicitNotFound("Could not find an instance of Choice[${P}]")

   See also

   Choice#left and Choice#right lift values in a cats.arrow.Profunctor to act on the Left and Right components of a sum, respectively.

2.  abstract class ChoiceInstances extends AnyRef
3.  trait Closed[P[_, _]] extends Profunctor[P]

   The Closed type class extends the Profunctor class to work with functions.

   The Closed type class extends the Profunctor class to work with functions.

   A cats.arrow.Strong cats.arrow.Profunctor allows the monoidal structure to pass through.

   A Closed cats.arrow.Profunctor allows the closed structure to pass through

   Annotations

   @implicitNotFound("Could not find an instance of Closed[${P}]")

4.  abstract class ClosedInstances extends AnyRef
5.  trait Cochoice[P[_, _]] extends Profunctor[P]

   The Cochoice type class provides the dual operations of the Choice.

   The Cochoice type class provides the dual operations of the Choice.

   P

   a type constructor of kind (* -> * -> *)

   Annotations

   @implicitNotFound("Could not find an instance of Cochoice[${P}]")

6.  trait Corepresentable[P[_, _]] extends Serializable

   The Corepresentable is a cats.arrow.Profunctor of P[_, _], if there exists a cats.Functor of F[_] such that P[A, B] c is isomorphic to F[B] => A.

   The Corepresentable is a cats.arrow.Profunctor of P[_, _], if there exists a cats.Functor of F[_] such that P[A, B] c is isomorphic to F[B] => A.

   P

   cats.arrow.Profunctor

   Annotations

   @implicitNotFound("Could not find an instance of Corepresentable[${P}]")

7.  abstract class CorepresentableInstances extends AnyRef
8.  type Costar[F[_], A, B] = Cokleisli[F, A, B]

   Costar turns a cats.Functor into a cats.arrow.Profunctor "backwards".

   Costar turns a cats.Functor into a cats.arrow.Profunctor "backwards".

   Costar is a type alias of cats.data.Cokleisli

9.  abstract class CostarInstances extends AnyRef
10.  type Star[F[_], -A, B] = Kleisli[F, A, B]

    A Star turns a cats.Functor into a cats.arrow.Profunctor "forwards".

    A Star turns a cats.Functor into a cats.arrow.Profunctor "forwards".

    A Star is a type alias of

11.  abstract class StarInstances extends AnyRef
12.  trait Traversing[S, T, A, B] extends AnyRef
13.  trait Wander[P[_, _]] extends Strong[P] with Choice[P]

    Class for profunctors that support polymorphic traversals

    Class for profunctors that support polymorphic traversals

    Annotations

    @implicitNotFound("Could not find an instance of Wander[${P}]")

14.  abstract class WanderInstances extends AnyRef