GHC.Types.TyThing.Ppr

ghc-9.2.5: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Types.TyThing.Ppr

Synopsis

- pprTyThing :: ShowSub -> TyThing -> SDoc
- pprTyThingInContext :: ShowSub -> TyThing -> SDoc
- pprTyThingLoc :: TyThing -> SDoc
- pprTyThingInContextLoc :: TyThing -> SDoc
- pprTyThingHdr :: TyThing -> SDoc
- pprTypeForUser :: Type -> SDoc
- pprFamInst :: FamInst -> SDoc

# Documentation

pprTyThing :: ShowSub -> TyThing -> SDoc Source #

Pretty-prints a `TyThing`.

pprTyThingInContext :: ShowSub -> TyThing -> SDoc Source #

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.

pprTyThingLoc :: TyThing -> SDoc Source #

Pretty-prints a `TyThing` with its defining location.

pprTyThingInContextLoc :: TyThing -> SDoc Source #

Like `pprTyThingInContext`, but adds the defining location.

pprTyThingHdr :: TyThing -> SDoc Source #

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.

pprTypeForUser :: Type -> SDoc Source #

pprFamInst :: FamInst -> SDoc Source #

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