Documentation
class Functor (Corep k) => CorepresentableProfunctor k whereSource
cotabulatePro :: (d -> Corep k c) -> k d cSource
coindexPro :: k d c -> d -> Corep k cSource
CorepresentableProfunctor (->) | |
Functor m => CorepresentableProfunctor (Kleisli m) | |
Functor f => CorepresentableProfunctor (UpStar f) | |
(CorepresentableProfunctor c, CorepresentableProfunctor d) => CorepresentableProfunctor (Compose c d) |