Documentation

Pretty-prints a TyThing.

Pretty-prints a TyThing in context: that is, if the entity is a data constructor, record selector, or class method, then the entity's parent declaration is pretty-printed with irrelevant parts omitted.

Pretty-prints a TyThing with its defining location.

Like pprTyThingInContext, but adds the defining location.

Pretty-prints the TyThing header. For functions and data constructors the function is equivalent to pprTyThing but for type constructors and classes it prints only the header part of the declaration.