Data.Profunctor.Corepresentable

Documentation

class (Profunctor k, Functor (Corep k)) => CorepresentableProfunctor k where

Associated Types

type Corep k :: * -> *

Methods

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

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

Instances

CorepresentableProfunctor (->)

(Profunctor (Kleisli m), Functor (Corep (Kleisli m)), Monad m, Functor m) => CorepresentableProfunctor (Kleisli m)

(Profunctor (UpStar f), Functor (Corep (UpStar f)), Functor f) => CorepresentableProfunctor (UpStar f)

(Profunctor (Procompose c d), Functor (Corep (Procompose c d)), CorepresentableProfunctor c, CorepresentableProfunctor d) => CorepresentableProfunctor (Procompose c d)