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

(Profunctor (Cokleisli w), Functor (Rep (Cokleisli w)), Functor w) => RepresentableProfunctor (Cokleisli w)

(Profunctor (DownStar f), Functor (Rep (DownStar f)), Functor f) => RepresentableProfunctor (DownStar f)

RepresentableProfunctor (Tagged *)

(Profunctor (Procompose f g), Functor (Rep (Procompose f g)), RepresentableProfunctor f, RepresentableProfunctor g) => RepresentableProfunctor (Procompose f g)