Packages

p

proptics

profunctor

package profunctor

Source
package.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. profunctor
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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()
    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()
  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()
  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()
  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 cats.data.Kleisli.

  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()
  14. abstract class WanderInstances extends AnyRef

Value Members

  1. object Choice extends ChoiceInstances with Serializable
  2. object Closed extends ClosedInstances with Serializable
  3. object Cochoice extends Serializable
  4. object Corepresentable extends Serializable
  5. object Costar extends CostarInstances
  6. object Star extends StarInstances
  7. object Wander extends WanderInstances with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped