Data.Profunctor.Costar

newtype Costar f b a

Costar turns a Functor into a Profunctor "backwards".

Costar f is also the co-Kleisli category for f.

Constructors

• Costar (f b -> a)

Instances

• Newtype (Costar f a b) _
• (Extend f) => Semigroupoid (Costar f)
• (Comonad f) => Category (Costar f)
• Functor (Costar f a)
• Invariant (Costar f a)
• Apply (Costar f a)
• Applicative (Costar f a)
• Bind (Costar f a)
• Monad (Costar f a)
• Distributive (Costar f a)
• (Functor f) => Profunctor (Costar f)
• (Comonad f) => Strong (Costar f)
• (Functor f) => Costrong (Costar f)
• (Applicative f) => Cochoice (Costar f)
• (Functor f) => Closed (Costar f)

hoistCostar :: forall b a g f. (g ~> f) -> Costar f a b -> Costar g a b