profunctors-0.1.1: Haskell 98 Profunctors

Data.Profunctor

Documentation

class Profunctor h whereSource

Methods

lmap :: (a -> b) -> h b c -> h a cSource

rmap :: (b -> c) -> h a b -> h a cSource

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)

newtype UpStar f d c Source

Constructors

UpStar
Fields runUpStar :: d -> f c

Instances

Functor f => Profunctor (UpStar f)
Functor f => Functor (UpStar f a)

newtype DownStar f d c Source

Constructors

DownStar
Fields runDownStar :: f d -> c

Instances

Functor f => Profunctor (DownStar f)
Functor (DownStar f a)

newtype WrappedArrow k a b Source

Constructors

WrapArrow
Fields unwrapArrow :: k a b

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)