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 (->)

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

Functor f => CorepresentableProfunctor (UpStar f)

(CorepresentableProfunctor c, CorepresentableProfunctor d) => CorepresentableProfunctor (Procompose c d)