Data.Functor.Joker

newtype Joker g a b

Constructors

• Joker (g 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)
• (Apply f) => Apply (Joker f a)
• (Applicative f) => Applicative (Joker f a)
• (Bind f) => Bind (Joker f a)
• (Monad m) => Monad (Joker m a)
• (Functor g) => Bifunctor (Joker g)
• (Apply g) => Biapply (Joker g)
• (Applicative g) => Biapplicative (Joker g)
• (Functor f) => Profunctor (Joker f)
• (Functor f) => Choice (Joker f)

hoistJoker :: forall f g a b. (f ~> g) -> Joker f a b -> Joker g a b