Module

Data.Functor.Joker

Package
functors
Repository
purescript/purescript-functors

#Joker Source

newtype Joker :: (Type -> Type) -> Type -> Type -> Typenewtype Joker g a b

This advanced type's usage and its relation to Clown is best understood by reading through "Clowns to the Left, Jokers to the Right (Functional Pearl)" https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.475.6134&rep=rep1&type=pdf

Constructors

Instances

#hoistJoker Source

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