Safe Haskell | None |
---|
Data.Profunctor
Documentation
class Profunctor h whereSource
Instances
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) |
Constructors
DownStar | |
Fields
|
Instances
Functor f => Profunctor (DownStar f) | |
Functor (DownStar f a) |
newtype WrappedArrow k a b Source
Constructors
WrapArrow | |
Fields
|
Instances
(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) |