Data.Profunctor.Corepresentable

Documentation

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

Functor m => CorepresentableProfunctor (Kleisli m)

Functor f => CorepresentableProfunctor (UpStar f)

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