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.

Pretty-prints a FamInst (type/data family instance) with its defining location.