proptics.profunctor
Type members
Classlikes
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.
- Type parameters:
- P
type constructor of kind (* -> * -> *)
- 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.
- Companion:
- object
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
- Companion:
- object
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.
- Type parameters:
- Companion:
- object
Class for profunctors that support polymorphic traversals
Class for profunctors that support polymorphic traversals
- Companion:
- object
Types
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
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.