Proptics profunctor/proptics.profunctor/Corepresentable

Corepresentable

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.

Type parameters:
P

cats.arrow.Profunctor

Companion:
object
class Object
trait Matchable
class Any

Type members

Types

Value members

Abstract methods

def P: Profunctor[P]
def cosieve[A, B](pab: P[A, B])(fa: Corepresentation[A]): B
def cotabulate[A, B](f: Corepresentation[A] => B): P[A, B]