Data.Profunctor

Documentation

class Profunctor h where

Methods

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

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

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)

newtype UpStar f d c

Constructors

UpStar

Fields

runUpStar :: d -> f c

Instances

Functor f => Profunctor (UpStar f)

Functor f => Functor (UpStar f a)

newtype DownStar f d c

Constructors

DownStar

Fields

runDownStar :: f d -> c

Instances

Functor f => Profunctor (DownStar f)

Functor (DownStar f a)

newtype WrappedArrow k a b

Constructors

WrapArrow

Fields

unwrapArrow :: k a b

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)