Data.Profunctor.Representable

Documentation

class (Profunctor k, Functor (Rep k)) => RepresentableProfunctor k where

Associated Types

type Rep k :: * -> *

Methods

tabulatePro :: (Rep k d -> c) -> k d c

indexPro :: k d c -> Rep k d -> c

Instances

RepresentableProfunctor (->)

Functor w => RepresentableProfunctor (Cokleisli w)

Functor f => RepresentableProfunctor (DownStar f)

(RepresentableProfunctor f, RepresentableProfunctor g) => RepresentableProfunctor (Procompose f g)