Safe Haskell | None |
---|
Documentation
class Profunctor h whereSource
Profunctor (->) | |
Monad m => Profunctor (Kleisli m) | |
Functor w => Profunctor (Cokleisli w) | |
Profunctor (Tagged *) | |
Arrow k => Profunctor (WrappedArrow k) | |
Functor f => Profunctor (DownStar f) | |
Functor f => Profunctor (UpStar f) |
DownStar | |
|
Functor f => Profunctor (DownStar f) | |
Functor (DownStar f a) |
newtype WrappedArrow k a b Source
WrapArrow | |
|
(Category (WrappedArrow k), Arrow k) => Arrow (WrappedArrow k) | |
(Arrow (WrappedArrow k), ArrowZero k) => ArrowZero (WrappedArrow k) | |
(Arrow (WrappedArrow k), ArrowChoice k) => ArrowChoice (WrappedArrow k) | |
(Arrow (WrappedArrow k), ArrowApply k) => ArrowApply (WrappedArrow k) | |
(Arrow (WrappedArrow k), ArrowLoop k) => ArrowLoop (WrappedArrow k) | |
Category k => Category (WrappedArrow k) | |
Arrow k => Profunctor (WrappedArrow k) |