Module

Data.Profunctor.Star

Package
profunctor
Repository
purescript/purescript-profunctor

#Star Source

newtype Star :: forall k. (k -> Type) -> Type -> k -> Typenewtype Star f a b

Star turns a Functor into a Profunctor.

Star f is also the Kleisli category for f

Constructors

Instances

#hoistStar Source

hoistStar :: forall f g a b. (f ~> g) -> Star f a b -> Star g a b