Module

Data.Functor.Costar

Package
functors
Repository
purescript/purescript-functors

#Costar Source

newtype Costar :: (Type -> Type) -> Type -> Type -> Typenewtype Costar f b a

Costar turns a Functor into a Profunctor "backwards".

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

Constructors

Instances

#hoistCostar Source

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