Module

Data.Profunctor.Joker

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

#Joker Source

newtype Joker f a b

Makes a trivial Profunctor for a covariant Functor.

Constructors

Joker (f b)

Instances

Newtype (Joker f a b) _
(Eq (f b)) => Eq (Joker f a b)
(Ord (f b)) => Ord (Joker f a b)
(Show (f b)) => Show (Joker f a b)
(Functor f) => Functor (Joker f a)
(Functor f) => Profunctor (Joker f)
(Functor f) => Choice (Joker f)
(Apply f) => Apply (Joker f a)
(Applicative f) => Applicative (Joker f a)
(Bind f) => Bind (Joker f a)
(Monad m) => Monad (Joker m a)

#hoistJoker Source

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