representable-profunctors-0.3.1: Representable profunctors

Data.Profunctor.Corepresentable

Documentation

class Functor (Corep k) => CorepresentableProfunctor k whereSource

Associated Types

type Corep k :: * -> *Source

Methods

cotabulatePro :: (d -> Corep k c) -> k d cSource

coindexPro :: k d c -> d -> Corep k cSource

Instances