Proptics profunctor/proptics.profunctor

proptics.profunctor

package proptics.profunctor

Type members

Classlikes

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.

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
object Choice extends ChoiceInstances
Companion:
class
abstract class ChoiceInstances
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

Companion:
object
object Closed extends ClosedInstances
Companion:
class
abstract class ClosedInstances
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.

Type parameters:
P

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

Companion:
object
object Cochoice
Companion:
class
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.

Type parameters:
P

cats.arrow.Profunctor

Companion:
object
object Corepresentable
Companion:
class
abstract class CorepresentableInstances
object Costar extends CostarInstances
abstract class CostarInstances
object Star extends StarInstances
abstract class StarInstances
trait Traversing[S, T, A, B]
trait Wander[P[_, _]] extends Strong[P] with Choice[P]

Class for profunctors that support polymorphic traversals

Class for profunctors that support polymorphic traversals

Companion:
object
object Wander extends WanderInstances
Companion:
class
abstract class WanderInstances

Types

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

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.