Module

Data.Profunctor.Costar

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

#Costar Source

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 Source

hoistCostar :: forall b a g f. (g ~> f) -> Costar f a b -> Costar 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