Safe Haskell | Safe-Infered |
---|
Data.Profunctor
Documentation
class Profunctor h whereSource
Instances
Profunctor (->) | |
Monad m => Profunctor (Kleisli m) | |
Functor w => Profunctor (Cokleisli w) | |
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
Arrow k => Arrow (WrappedArrow k) | |
ArrowZero k => ArrowZero (WrappedArrow k) | |
ArrowChoice k => ArrowChoice (WrappedArrow k) | |
ArrowApply k => ArrowApply (WrappedArrow k) | |
ArrowLoop k => ArrowLoop (WrappedArrow k) | |
Category k => Category (WrappedArrow k) | |
Arrow k => Profunctor (WrappedArrow k) |