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 (->) | |
(Profunctor (Kleisli m), Functor (Corep (Kleisli m)), Monad m, Functor m) => CorepresentableProfunctor (Kleisli m) | |
(Profunctor (UpStar f), Functor (Corep (UpStar f)), Functor f) => CorepresentableProfunctor (UpStar f) | |
(Profunctor (Procompose c d), Functor (Corep (Procompose c d)), CorepresentableProfunctor c, CorepresentableProfunctor d) => CorepresentableProfunctor (Procompose c d) |