Safe Haskell | None |
---|
Documentation
class (Profunctor k, Functor (Corep k)) => CorepresentableProfunctor k whereSource
cotabulatePro :: (d -> Corep k c) -> k d cSource
coindexPro :: k d c -> d -> Corep k cSource
CorepresentableProfunctor (->) | |
(Monad m, Functor m) => CorepresentableProfunctor (Kleisli m) | |
Functor f => CorepresentableProfunctor (UpStar f) | |
(CorepresentableProfunctor c, CorepresentableProfunctor d) => CorepresentableProfunctor (Procompose c d) |