Module

Data.Profunctor.Star

Package: purescript-profunctor
Repository: purescript/purescript-profunctor

#Star Source

newtype Star f a b

Star turns a Functor into a Profunctor.

Star f is also the Kleisli category for f

Constructors

Star (a -> f b)

Instances

Newtype (Star f a b) _
(Bind f) => Semigroupoid (Star f)
(Monad f) => Category (Star f)
(Functor f) => Functor (Star f a)
(Invariant f) => Invariant (Star f a)
(Apply f) => Apply (Star f a)
(Applicative f) => Applicative (Star f a)
(Bind f) => Bind (Star f a)
(Monad f) => Monad (Star f a)
(Alt f) => Alt (Star f a)
(Plus f) => Plus (Star f a)
(Alternative f) => Alternative (Star f a)
(MonadZero f) => MonadZero (Star f a)
(MonadPlus f) => MonadPlus (Star f a)
(Distributive f) => Distributive (Star f a)
(Functor f) => Profunctor (Star f)
(Functor f) => Strong (Star f)
(Applicative f) => Choice (Star f)
(Distributive f) => Closed (Star f)

#hoistStar Source

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

Modules: Data.Profunctor; Data.Profunctor.Choice; Data.Profunctor.Closed; Data.Profunctor.Clown; Data.Profunctor.Cochoice; Data.Profunctor.Costar; Data.Profunctor.Costrong; Data.Profunctor.Cowrap; Data.Profunctor.Join; Data.Profunctor.Joker; Data.Profunctor.Split; Data.Profunctor.Star; Data.Profunctor.Strong; Data.Profunctor.Wrap