Module

Data.Functor.Clown

Package
functors
Repository
purescript/purescript-functors

#Clown Source

newtype Clown :: (Type -> Type) -> Type -> Type -> Typenewtype Clown f a b

This advanced type's usage and its relation to Joker 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

#hoistClown Source

hoistClown :: forall f g a b. (f ~> g) -> Clown f a b -> Clown g a b