Module
Data.Profunctor.Star
- Package
- profunctor
- Repository
- purescript/purescript-profunctor
#Star Source
newtype Star :: forall k. (k -> Type) -> Type -> k -> Type
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)