Safe Haskell	Safe-Inferred
Language	GHC2021

Development.IDE.GHC.Compat.Outputable

Contents

Parser errors
Error infrastructure

Synopsis

data SDoc
class Outputable a
showSDoc :: DynFlags -> SDoc -> String
showSDocUnsafe :: SDoc -> String
showSDocForUser :: DynFlags -> UnitState -> NamePprCtx -> SDoc -> String
ppr :: Outputable a => a -> SDoc
pprPanic :: HasCallStack => String -> SDoc -> a
text :: IsLine doc => String -> doc
vcat :: IsDoc doc => [doc] -> doc
(<+>) :: IsLine doc => doc -> doc -> doc
($$) :: IsDoc doc => doc -> doc -> doc
empty :: IsOutput doc => doc
hang :: SDoc -> Int -> SDoc -> SDoc
nest :: Int -> SDoc -> SDoc
punctuate :: IsLine doc => doc -> [doc] -> [doc]
printSDocQualifiedUnsafe :: PrintUnqualified -> SDoc -> String
printWithoutUniques :: Outputable a => a -> String
mkPrintUnqualifiedDefault :: HscEnv -> GlobalRdrEnv -> PrintUnqualified
type PrintUnqualified = NamePprCtx
defaultUserStyle :: PprStyle
withPprStyle :: PprStyle -> SDoc -> SDoc
type PsWarning = PsMessage
type PsError = PsMessage
defaultDiagnosticOpts :: Diagnostic a => DiagnosticOpts a
data GhcMessage
data DriverMessage
data Messages e
initDiagOpts :: DynFlags -> DiagOpts
pprMessages :: Diagnostic e => DiagnosticOpts e -> Messages e -> SDoc
data DiagnosticReason
- = WarningWithoutFlag
- | WarningWithFlag !WarningFlag
- | ErrorWithoutFlag
renderDiagnosticMessageWithHints :: forall a. Diagnostic a => a -> DecoratedSDoc
pprMsgEnvelopeBagWithLoc :: Diagnostic e => DiagnosticOpts e -> Bag (MsgEnvelope e) -> [SDoc]
getMessages :: Messages e -> Bag (MsgEnvelope e)
renderWithContext :: SDocContext -> SDoc -> String
defaultSDocContext :: SDocContext
errMsgDiagnostic :: MsgEnvelope e -> e
unDecorated :: DecoratedSDoc -> [SDoc]
diagnosticMessage :: Diagnostic a => DiagnosticOpts a -> a -> DecoratedSDoc
data DecoratedSDoc
data MsgEnvelope e
type ErrMsg = MsgEnvelope DecoratedSDoc
type WarnMsg = MsgEnvelope DecoratedSDoc
newtype SourceError = SourceError (Messages GhcMessage)
errMsgSpan :: MsgEnvelope e -> SrcSpan
errMsgSeverity :: MsgEnvelope e -> Severity
formatErrorWithQual :: DynFlags -> MsgEnvelope DecoratedSDoc -> String
mkWarnMsg :: DynFlags -> Maybe DiagnosticReason -> b -> SrcSpan -> PrintUnqualified -> SDoc -> MsgEnvelope DecoratedSDoc
mkSrcErr :: Messages GhcMessage -> SourceError
srcErrorMessages :: SourceError -> Messages GhcMessage
textDoc :: String -> SDoc

Documentation

data SDoc #

Represents a pretty-printable document.

To display an SDoc, use printSDoc, printSDocLn, bufLeftRenderSDoc, or renderWithContext. Avoid calling runSDoc directly as it breaks the abstraction layer.

Instances

Instances details

IsString SDoc
Instance details Defined in GHC.Utils.Outputable Methods fromString :: String -> SDoc #
IsDoc SDoc
Instance details Defined in GHC.Utils.Outputable Associated Types type Line SDoc = (r :: Type) # Methods line :: Line SDoc -> SDoc # ($$) :: SDoc -> SDoc -> SDoc # lines_ :: [Line SDoc] -> SDoc # vcat :: [SDoc] -> SDoc # dualDoc :: SDoc -> HDoc -> SDoc #
IsLine SDoc
Instance details Defined in GHC.Utils.Outputable Methods char :: Char -> SDoc # text :: String -> SDoc # ftext :: FastString -> SDoc # ztext :: FastZString -> SDoc # (<>) :: SDoc -> SDoc -> SDoc # (<+>) :: SDoc -> SDoc -> SDoc # sep :: [SDoc] -> SDoc # fsep :: [SDoc] -> SDoc # hcat :: [SDoc] -> SDoc # hsep :: [SDoc] -> SDoc # dualLine :: SDoc -> HLine -> SDoc #
IsOutput SDoc
Instance details Defined in GHC.Utils.Outputable Methods empty :: SDoc # docWithContext :: (SDocContext -> SDoc) -> SDoc #
Outputable SDoc
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SDoc -> SDoc #
OutputableP env SDoc
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> SDoc -> SDoc #
type Line SDoc
Instance details Defined in GHC.Utils.Outputable type Line SDoc = SDoc

class Outputable a #

Class designating that some type has an SDoc representation

Minimal complete definition

ppr

Instances

Instances details

Outputable Fingerprint
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Fingerprint -> SDoc #
Outputable Int16
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int16 -> SDoc #
Outputable Int32
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int32 -> SDoc #
Outputable Int64
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int64 -> SDoc #
Outputable Int8
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int8 -> SDoc #
Outputable Word16
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word16 -> SDoc #
Outputable Word32
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word32 -> SDoc #
Outputable Word64
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word64 -> SDoc #
Outputable Word8
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word8 -> SDoc #
Outputable IntSet
Instance details Defined in GHC.Utils.Outputable Methods ppr :: IntSet -> SDoc #
Outputable CoreModule
Instance details Defined in GHC Methods ppr :: CoreModule -> SDoc #
Outputable PrimCall
Instance details Defined in GHC.Builtin.PrimOps Methods ppr :: PrimCall -> SDoc #
Outputable PrimOp
Instance details Defined in GHC.Builtin.PrimOps Methods ppr :: PrimOp -> SDoc #
Outputable ByteOff
Instance details Defined in GHC.ByteCode.Types Methods ppr :: ByteOff -> SDoc #
Outputable CgBreakInfo
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CgBreakInfo -> SDoc #
Outputable CompiledByteCode
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CompiledByteCode -> SDoc #
Outputable NativeCallInfo
Instance details Defined in GHC.ByteCode.Types Methods ppr :: NativeCallInfo -> SDoc #
Outputable RegBitmap
Instance details Defined in GHC.ByteCode.Types Methods ppr :: RegBitmap -> SDoc #
Outputable UnlinkedBCO
Instance details Defined in GHC.ByteCode.Types Methods ppr :: UnlinkedBCO -> SDoc #
Outputable WordOff
Instance details Defined in GHC.ByteCode.Types Methods ppr :: WordOff -> SDoc #
Outputable CmmStackInfo
Instance details Defined in GHC.Cmm Methods ppr :: CmmStackInfo -> SDoc #
Outputable CmmStatic
Instance details Defined in GHC.Cmm Methods ppr :: CmmStatic -> SDoc #
Outputable Label
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: Label -> SDoc #
Outputable LabelSet
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelSet -> SDoc #
Outputable AltCon
Instance details Defined in GHC.Core Methods ppr :: AltCon -> SDoc #
Outputable Class
Instance details Defined in GHC.Core.Class Methods ppr :: Class -> SDoc #
Outputable LiftingContext
Instance details Defined in GHC.Core.Coercion Methods ppr :: LiftingContext -> SDoc #
Outputable CoAxBranch
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxBranch -> SDoc #
Outputable CoAxiomRule
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxiomRule -> SDoc #
Outputable ConLike
Instance details Defined in GHC.Core.ConLike Methods ppr :: ConLike -> SDoc #
Outputable DataCon
Instance details Defined in GHC.Core.DataCon Methods ppr :: DataCon -> SDoc #
Outputable EqSpec
Instance details Defined in GHC.Core.DataCon Methods ppr :: EqSpec -> SDoc #
Outputable HsImplBang
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsImplBang -> SDoc #
Outputable HsSrcBang
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsSrcBang -> SDoc #
Outputable StrictnessMark
Instance details Defined in GHC.Core.DataCon Methods ppr :: StrictnessMark -> SDoc #
Outputable FamInst
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInst -> SDoc #
Outputable FamInstEnv
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstEnv -> SDoc #
Outputable FamInstMatch
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstMatch -> SDoc #
Outputable ClsInst
Instance details Defined in GHC.Core.InstEnv Methods ppr :: ClsInst -> SDoc #
Outputable InstEnv
Instance details Defined in GHC.Core.InstEnv Methods ppr :: InstEnv -> SDoc #
Outputable InstMatches
Instance details Defined in GHC.Core.InstEnv Methods ppr :: InstMatches -> SDoc #
Outputable PotentialUnifiers
Instance details Defined in GHC.Core.InstEnv Methods ppr :: PotentialUnifiers -> SDoc #
Outputable IsSubmult
Instance details Defined in GHC.Core.Multiplicity Methods ppr :: IsSubmult -> SDoc #
Outputable CallerCcFilter
Instance details Defined in GHC.Core.Opt.CallerCC Methods ppr :: CallerCcFilter -> SDoc #
Outputable NamePattern
Instance details Defined in GHC.Core.Opt.CallerCC Methods ppr :: NamePattern -> SDoc #
Outputable PatSyn
Instance details Defined in GHC.Core.PatSyn Methods ppr :: PatSyn -> SDoc #
Outputable EqRel
Instance details Defined in GHC.Core.Predicate Methods ppr :: EqRel -> SDoc #
Outputable Reduction
Instance details Defined in GHC.Core.Reduction Methods ppr :: Reduction -> SDoc #
Outputable RoughMatchLookupTc
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchLookupTc -> SDoc #
Outputable RoughMatchTc
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchTc -> SDoc #
Outputable CoSel
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoSel -> SDoc #
Outputable Coercion
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Coercion -> SDoc #
Outputable CoercionHole
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoercionHole -> SDoc #
Outputable FunSel
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: FunSel -> SDoc #
Outputable MCoercion
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: MCoercion -> SDoc #
Outputable TyLit
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: TyLit -> SDoc #
Outputable Type
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Type -> SDoc #
Outputable UnivCoProvenance
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: UnivCoProvenance -> SDoc #
Outputable Subst
Instance details Defined in GHC.Core.TyCo.Subst Methods ppr :: Subst -> SDoc #
Outputable AlgTyConFlav
Instance details Defined in GHC.Core.TyCon Methods ppr :: AlgTyConFlav -> SDoc #
Outputable FamTyConFlav
Instance details Defined in GHC.Core.TyCon Methods ppr :: FamTyConFlav -> SDoc #
Outputable PrimElemRep
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimElemRep -> SDoc #
Outputable PrimRep
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimRep -> SDoc #
Outputable TyCon
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyCon -> SDoc #
Outputable TyConBndrVis
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyConBndrVis -> SDoc #
Outputable TyConFlavour
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyConFlavour -> SDoc #
Outputable ArgSummary
Instance details Defined in GHC.Core.Unfold Methods ppr :: ArgSummary -> SDoc #
Outputable CallCtxt
Instance details Defined in GHC.Core.Unfold Methods ppr :: CallCtxt -> SDoc #
Outputable ExprSize
Instance details Defined in GHC.Core.Unfold Methods ppr :: ExprSize -> SDoc #
Outputable MaybeApartReason
Instance details Defined in GHC.Core.Unify Methods ppr :: MaybeApartReason -> SDoc #
Outputable Usage
Instance details Defined in GHC.Core.UsageEnv Methods ppr :: Usage -> SDoc #
Outputable UsageEnv
Instance details Defined in GHC.Core.UsageEnv Methods ppr :: UsageEnv -> SDoc #
Outputable ArgInfo
Instance details Defined in GHC.CoreToStg.Prep Methods ppr :: ArgInfo -> SDoc #
Outputable FloatingBind
Instance details Defined in GHC.CoreToStg.Prep Methods ppr :: FloatingBind -> SDoc #
Outputable Floats
Instance details Defined in GHC.CoreToStg.Prep Methods ppr :: Floats -> SDoc #
Outputable OkToSpec
Instance details Defined in GHC.CoreToStg.Prep Methods ppr :: OkToSpec -> SDoc #
Outputable FastString
Instance details Defined in GHC.Utils.Outputable Methods ppr :: FastString -> SDoc #
Outputable LexicalFastString
Instance details Defined in GHC.Utils.Outputable Methods ppr :: LexicalFastString -> SDoc #
Outputable NonDetFastString
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonDetFastString -> SDoc #
Outputable EdgeType
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: EdgeType -> SDoc #
Outputable Time
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: Time -> SDoc #
Outputable HsComponentId
Instance details Defined in GHC.Driver.Backpack.Syntax Methods ppr :: HsComponentId -> SDoc #
Outputable WarnReason
Instance details Defined in GHC.Driver.CmdLine Methods ppr :: WarnReason -> SDoc #
Outputable Language
Instance details Defined in GHC.Driver.Flags Methods ppr :: Language -> SDoc #
Outputable BuildPlan
Instance details Defined in GHC.Driver.Make Methods ppr :: BuildPlan -> SDoc #
Outputable CachedIface
Instance details Defined in GHC.Driver.Make Methods ppr :: CachedIface -> SDoc #
Outputable CodeGenEnable
Instance details Defined in GHC.Driver.Make Methods ppr :: CodeGenEnable -> SDoc #
Outputable ModuleGraphNodeWithBootFile
Instance details Defined in GHC.Driver.Make Methods ppr :: ModuleGraphNodeWithBootFile -> SDoc #
Outputable Phase
Instance details Defined in GHC.Driver.Phases Methods ppr :: Phase -> SDoc #
Outputable PluginRecompile
Instance details Defined in GHC.Driver.Plugins Methods ppr :: PluginRecompile -> SDoc #
Outputable GhcMode
Instance details Defined in GHC.Driver.Session Methods ppr :: GhcMode -> SDoc #
Outputable ModRenaming
Instance details Defined in GHC.Driver.Session Methods ppr :: ModRenaming -> SDoc #
Outputable PackageArg
Instance details Defined in GHC.Driver.Session Methods ppr :: PackageArg -> SDoc #
Outputable PackageFlag
Instance details Defined in GHC.Driver.Session Methods ppr :: PackageFlag -> SDoc #
Outputable ABExport
Instance details Defined in GHC.Hs.Binds Methods ppr :: ABExport -> SDoc #
Outputable TcSpecPrag
Instance details Defined in GHC.Hs.Binds Methods ppr :: TcSpecPrag -> SDoc #
Outputable XViaStrategyPs
Instance details Defined in GHC.Hs.Decls Methods ppr :: XViaStrategyPs -> SDoc #
Outputable DocStructureItem
Instance details Defined in GHC.Hs.Doc Methods ppr :: DocStructureItem -> SDoc #
Outputable Docs
Instance details Defined in GHC.Hs.Doc Methods ppr :: Docs -> SDoc #
Outputable HsDocString
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocString -> SDoc #
Outputable HsDocStringChunk
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringChunk -> SDoc #
Outputable HsDocStringDecorator
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringDecorator -> SDoc #
Outputable GrhsAnn
Instance details Defined in GHC.Hs.Expr Methods ppr :: GrhsAnn -> SDoc #
Outputable PendingRnSplice
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingRnSplice -> SDoc #
Outputable PendingTcSplice
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingTcSplice -> SDoc #
Outputable SyntaxExprRn
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprRn -> SDoc #
Outputable SyntaxExprTc
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprTc -> SDoc #
Outputable XXExprGhcTc
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcTc -> SDoc #
Outputable DsMatchContext
Instance details Defined in GHC.HsToCore.Monad Methods ppr :: DsMatchContext -> SDoc #
Outputable EquationInfo
Instance details Defined in GHC.HsToCore.Monad Methods ppr :: EquationInfo -> SDoc #
Outputable BotInfo
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: BotInfo -> SDoc #
Outputable Nabla
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nabla -> SDoc #
Outputable Nablas
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nablas -> SDoc #
Outputable PmAltCon
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltCon -> SDoc #
Outputable PmAltConApp
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConApp -> SDoc #
Outputable PmAltConSet
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConSet -> SDoc #
Outputable PmEquality
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmEquality -> SDoc #
Outputable PmLit
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLit -> SDoc #
Outputable PmLitValue
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLitValue -> SDoc #
Outputable ResidualCompleteMatches
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: ResidualCompleteMatches -> SDoc #
Outputable TmState	Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TmState -> SDoc #
Outputable TyState	Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TyState -> SDoc #
Outputable VarInfo	Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: VarInfo -> SDoc #
Outputable BindType
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: BindType -> SDoc #
Outputable ContextInfo
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: ContextInfo -> SDoc #
Outputable DeclType
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: DeclType -> SDoc #
Outputable EvBindDeps
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: EvBindDeps -> SDoc #
Outputable EvVarSource
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: EvVarSource -> SDoc #
Outputable HieName
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieName -> SDoc #
Outputable IEType
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: IEType -> SDoc #
Outputable NodeAnnotation
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeAnnotation -> SDoc #
Outputable NodeOrigin
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeOrigin -> SDoc #
Outputable RecFieldContext
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: RecFieldContext -> SDoc #
Outputable Scope
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: Scope -> SDoc #
Outputable TyVarScope
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: TyVarScope -> SDoc #
Outputable CompileReason
Instance details Defined in GHC.Iface.Recomp Methods ppr :: CompileReason -> SDoc #
Outputable IfaceDeclExtras
Instance details Defined in GHC.Iface.Recomp Methods ppr :: IfaceDeclExtras -> SDoc #
Outputable RecompReason
Instance details Defined in GHC.Iface.Recomp Methods ppr :: RecompReason -> SDoc #
Outputable RecompileRequired
Instance details Defined in GHC.Iface.Recomp Methods ppr :: RecompileRequired -> SDoc #
Outputable IfGuidance
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfGuidance -> SDoc #
Outputable IfaceAT
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAT -> SDoc #
Outputable IfaceAnnotation
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAnnotation -> SDoc #
Outputable IfaceClassOp
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClassOp -> SDoc #
Outputable IfaceClsInst
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClsInst -> SDoc #
Outputable IfaceCompleteMatch
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceCompleteMatch -> SDoc #
Outputable IfaceConAlt
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceConAlt -> SDoc #
Outputable IfaceDecl
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceDecl -> SDoc #
Outputable IfaceExpr
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceExpr -> SDoc #
Outputable IfaceFamInst
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceFamInst -> SDoc #
Outputable IfaceIdDetails
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceIdDetails -> SDoc #
Outputable IfaceInfoItem
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceInfoItem -> SDoc #
Outputable IfaceJoinInfo
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceJoinInfo -> SDoc #
Outputable IfaceLFInfo
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceLFInfo -> SDoc #
Outputable IfaceMaybeRhs
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceMaybeRhs -> SDoc #
Outputable IfaceRule
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceRule -> SDoc #
Outputable IfaceTopBndrInfo
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceTopBndrInfo -> SDoc #
Outputable IfaceTyConParent
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceTyConParent -> SDoc #
Outputable IfaceUnfolding
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceUnfolding -> SDoc #
Outputable ShowHowMuch
Instance details Defined in GHC.Iface.Syntax Methods ppr :: ShowHowMuch -> SDoc #
Outputable IfaceAppArgs
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceAppArgs -> SDoc #
Outputable IfaceBndr
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceBndr -> SDoc #
Outputable IfaceCoercion
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceCoercion -> SDoc #
Outputable IfaceOneShot
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceOneShot -> SDoc #
Outputable IfaceTyCon
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyCon -> SDoc #
Outputable IfaceTyConInfo
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConInfo -> SDoc #
Outputable IfaceTyConSort
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConSort -> SDoc #
Outputable IfaceTyLit
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyLit -> SDoc #
Outputable IfaceType
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceType -> SDoc #
Outputable LibrarySpec
Instance details Defined in GHC.Linker.Types Methods ppr :: LibrarySpec -> SDoc #
Outputable Linkable
Instance details Defined in GHC.Linker.Types Methods ppr :: Linkable -> SDoc #
Outputable LoadedPkgInfo
Instance details Defined in GHC.Linker.Types Methods ppr :: LoadedPkgInfo -> SDoc #
Outputable SptEntry
Instance details Defined in GHC.Linker.Types Methods ppr :: SptEntry -> SDoc #
Outputable Unlinked
Instance details Defined in GHC.Linker.Types Methods ppr :: Unlinked -> SDoc #
Outputable AddEpAnn
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AddEpAnn -> SDoc #
Outputable Anchor
Instance details Defined in GHC.Parser.Annotation Methods ppr :: Anchor -> SDoc #
Outputable AnchorOperation
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnchorOperation -> SDoc #
Outputable AnnContext
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnContext -> SDoc #
Outputable AnnKeywordId
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnKeywordId -> SDoc #
Outputable AnnList
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnList -> SDoc #
Outputable AnnListItem
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnListItem -> SDoc #
Outputable AnnPragma
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnPragma -> SDoc #
Outputable AnnSortKey
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnSortKey -> SDoc #
Outputable DeltaPos
Instance details Defined in GHC.Parser.Annotation Methods ppr :: DeltaPos -> SDoc #
Outputable EpAnnComments
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnnComments -> SDoc #
Outputable EpaComment
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpaComment -> SDoc #
Outputable EpaLocation
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpaLocation -> SDoc #
Outputable IsUnicodeSyntax
Instance details Defined in GHC.Parser.Annotation Methods ppr :: IsUnicodeSyntax -> SDoc #
Outputable NameAdornment
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAdornment -> SDoc #
Outputable NameAnn
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAnn -> SDoc #
Outputable NoEpAnns
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NoEpAnns -> SDoc #
Outputable TrailingAnn
Instance details Defined in GHC.Parser.Annotation Methods ppr :: TrailingAnn -> SDoc #
Outputable Token
Instance details Defined in GHC.Parser.Lexer Methods ppr :: Token -> SDoc #
Outputable DataConBuilder
Instance details Defined in GHC.Parser.Types Methods ppr :: DataConBuilder -> SDoc #
Outputable InteractiveImport
Instance details Defined in GHC.Runtime.Context Methods ppr :: InteractiveImport -> SDoc #
Outputable GetDocsFailure
Instance details Defined in GHC.Runtime.Eval Methods ppr :: GetDocsFailure -> SDoc #
Outputable TagInfo
Instance details Defined in GHC.Stg.InferTags.TagSig Methods ppr :: TagInfo -> SDoc #
Outputable TagSig
Instance details Defined in GHC.Stg.InferTags.TagSig Methods ppr :: TagSig -> SDoc #
Outputable BinderInfo
Instance details Defined in GHC.Stg.Lift.Analysis Methods ppr :: BinderInfo -> SDoc #
Outputable Skeleton
Instance details Defined in GHC.Stg.Lift.Analysis Methods ppr :: Skeleton -> SDoc #
Outputable AltType
Instance details Defined in GHC.Stg.Syntax Methods ppr :: AltType -> SDoc #
Outputable ConstructorNumber
Instance details Defined in GHC.Stg.Syntax Methods ppr :: ConstructorNumber -> SDoc #
Outputable NoExtFieldSilent
Instance details Defined in GHC.Stg.Syntax Methods ppr :: NoExtFieldSilent -> SDoc #
Outputable StgArg
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgArg -> SDoc #
Outputable StgOp
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgOp -> SDoc #
Outputable UpdateFlag
Instance details Defined in GHC.Stg.Syntax Methods ppr :: UpdateFlag -> SDoc #
Outputable Discr
Instance details Defined in GHC.StgToByteCode Methods ppr :: Discr -> SDoc #
Outputable LambdaFormInfo
Instance details Defined in GHC.StgToCmm.Types Methods ppr :: LambdaFormInfo -> SDoc #
Outputable StandardFormInfo
Instance details Defined in GHC.StgToCmm.Types Methods ppr :: StandardFormInfo -> SDoc #
Outputable Deps
Instance details Defined in GHC.StgToJS.Object Methods ppr :: Deps -> SDoc #
Outputable DepsLocation
Instance details Defined in GHC.StgToJS.Object Methods ppr :: DepsLocation -> SDoc #
Outputable ExportedFun
Instance details Defined in GHC.StgToJS.Object Methods ppr :: ExportedFun -> SDoc #
Outputable StaticArg
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticArg -> SDoc #
Outputable StaticLit
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticLit -> SDoc #
Outputable TypedExpr
Instance details Defined in GHC.StgToJS.Types Methods ppr :: TypedExpr -> SDoc #
Outputable HoleFit
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFit -> SDoc #
Outputable HoleFitCandidate
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFitCandidate -> SDoc #
Outputable TypedHole
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: TypedHole -> SDoc #
Outputable ErrorItem
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: ErrorItem -> SDoc #
Outputable Exported
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: Exported -> SDoc #
Outputable PromotionErr
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: PromotionErr -> SDoc #
Outputable TypeDataForbids
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: TypeDataForbids -> SDoc #
Outputable TouchabilityTestResult
Instance details Defined in GHC.Tc.Solver.Monad Methods ppr :: TouchabilityTestResult -> SDoc #
Outputable DefaultingProposal
Instance details Defined in GHC.Tc.Types Methods ppr :: DefaultingProposal -> SDoc #
Outputable IdBindingInfo
Instance details Defined in GHC.Tc.Types Methods ppr :: IdBindingInfo -> SDoc #
Outputable TcBinder
Instance details Defined in GHC.Tc.Types Methods ppr :: TcBinder -> SDoc #
Outputable TcIdSigInfo
Instance details Defined in GHC.Tc.Types Methods ppr :: TcIdSigInfo -> SDoc #
Outputable TcIdSigInst
Instance details Defined in GHC.Tc.Types Methods ppr :: TcIdSigInst -> SDoc #
Outputable TcPatSynInfo
Instance details Defined in GHC.Tc.Types Methods ppr :: TcPatSynInfo -> SDoc #
Outputable TcSigInfo
Instance details Defined in GHC.Tc.Types Methods ppr :: TcSigInfo -> SDoc #
Outputable TcTyThing
Instance details Defined in GHC.Tc.Types Methods ppr :: TcTyThing -> SDoc #
Outputable ThStage
Instance details Defined in GHC.Tc.Types Methods ppr :: ThStage -> SDoc #
Outputable WhereFrom
Instance details Defined in GHC.Tc.Types Methods ppr :: WhereFrom -> SDoc #
Outputable CanEqLHS
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CanEqLHS -> SDoc #
Outputable CheckTyEqResult
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqResult -> SDoc #
Outputable Ct
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Ct -> SDoc #
Outputable CtEvidence
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtEvidence -> SDoc #
Outputable CtFlavour
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtFlavour -> SDoc #
Outputable CtIrredReason
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtIrredReason -> SDoc #
Outputable DelayedError
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: DelayedError -> SDoc #
Outputable HasGivenEqs
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: HasGivenEqs -> SDoc #
Outputable Hole
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Hole -> SDoc #
Outputable HoleSort
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: HoleSort -> SDoc #
Outputable ImplicStatus
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: ImplicStatus -> SDoc #
Outputable Implication
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Implication -> SDoc #
Outputable NotConcreteError
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: NotConcreteError -> SDoc #
Outputable QCInst
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: QCInst -> SDoc #
Outputable RewriterSet
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: RewriterSet -> SDoc #
Outputable SubGoalDepth
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: SubGoalDepth -> SDoc #
Outputable TcEvDest
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: TcEvDest -> SDoc #
Outputable WantedConstraints
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: WantedConstraints -> SDoc #
Outputable EvBind
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBind -> SDoc #
Outputable EvBindMap
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBindMap -> SDoc #
Outputable EvBindsVar
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBindsVar -> SDoc #
Outputable EvCallStack
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvCallStack -> SDoc #
Outputable EvTerm
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvTerm -> SDoc #
Outputable EvTypeable
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvTypeable -> SDoc #
Outputable HoleExprRef
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: HoleExprRef -> SDoc #
Outputable HsWrapper
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: HsWrapper -> SDoc #
Outputable TcEvBinds
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: TcEvBinds -> SDoc #
Outputable CtOrigin
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: CtOrigin -> SDoc #
Outputable FRRArrowContext
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FRRArrowContext -> SDoc #
Outputable FixedRuntimeRepContext
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepContext -> SDoc #
Outputable NakedScFlag
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: NakedScFlag -> SDoc #
Outputable RepPolyFun
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: RepPolyFun -> SDoc #
Outputable SkolemInfo
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfo -> SDoc #
Outputable SkolemInfoAnon
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfoAnon -> SDoc #
Outputable StmtOrigin
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: StmtOrigin -> SDoc #
Outputable TyVarBndrs
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: TyVarBndrs -> SDoc #
Outputable TypedThing
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: TypedThing -> SDoc #
Outputable IsExtraConstraint
Instance details Defined in GHC.Tc.Utils.Monad Methods ppr :: IsExtraConstraint -> SDoc #
Outputable ExpType
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: ExpType -> SDoc #
Outputable InferResult
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: InferResult -> SDoc #
Outputable MetaDetails
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaDetails -> SDoc #
Outputable MetaInfo
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaInfo -> SDoc #
Outputable PatersonSize
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: PatersonSize -> SDoc #
Outputable TcLevel
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcLevel -> SDoc #
Outputable TcTyVarDetails
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcTyVarDetails -> SDoc #
Outputable ZonkEnv
Instance details Defined in GHC.Tc.Utils.Zonk Methods ppr :: ZonkEnv -> SDoc #
Outputable Annotation
Instance details Defined in GHC.Types.Annotations Methods ppr :: Annotation -> SDoc #
Outputable AvailInfo
Instance details Defined in GHC.Types.Avail Methods ppr :: AvailInfo -> SDoc #
Outputable GreName
Instance details Defined in GHC.Types.Avail Methods ppr :: GreName -> SDoc #
Outputable Activation
Instance details Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc #
Outputable Alignment
Instance details Defined in GHC.Types.Basic Methods ppr :: Alignment -> SDoc #
Outputable CbvMark
Instance details Defined in GHC.Types.Basic Methods ppr :: CbvMark -> SDoc #
Outputable CompilerPhase
Instance details Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc #
Outputable DefaultingStrategy
Instance details Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc #
Outputable FunctionOrData
Instance details Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc #
Outputable InlinePragma
Instance details Defined in GHC.Types.Basic Methods ppr :: InlinePragma -> SDoc #
Outputable InlineSpec
Instance details Defined in GHC.Types.Basic Methods ppr :: InlineSpec -> SDoc #
Outputable IntWithInf
Instance details Defined in GHC.Types.Basic Methods ppr :: IntWithInf -> SDoc #
Outputable LeftOrRight
Instance details Defined in GHC.Types.Basic Methods ppr :: LeftOrRight -> SDoc #
Outputable Levity
Instance details Defined in GHC.Types.Basic Methods ppr :: Levity -> SDoc #
Outputable NonStandardDefaultingStrategy
Instance details Defined in GHC.Types.Basic Methods ppr :: NonStandardDefaultingStrategy -> SDoc #
Outputable OccInfo
Instance details Defined in GHC.Types.Basic Methods ppr :: OccInfo -> SDoc #
Outputable OneShotInfo
Instance details Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc #
Outputable Origin
Instance details Defined in GHC.Types.Basic Methods ppr :: Origin -> SDoc #
Outputable OverlapFlag
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc #
Outputable OverlapMode
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapMode -> SDoc #
Outputable RecFlag
Instance details Defined in GHC.Types.Basic Methods ppr :: RecFlag -> SDoc #
Outputable RuleMatchInfo
Instance details Defined in GHC.Types.Basic Methods ppr :: RuleMatchInfo -> SDoc #
Outputable SuccessFlag
Instance details Defined in GHC.Types.Basic Methods ppr :: SuccessFlag -> SDoc #
Outputable SwapFlag
Instance details Defined in GHC.Types.Basic Methods ppr :: SwapFlag -> SDoc #
Outputable TailCallInfo
Instance details Defined in GHC.Types.Basic Methods ppr :: TailCallInfo -> SDoc #
Outputable TopLevelFlag
Instance details Defined in GHC.Types.Basic Methods ppr :: TopLevelFlag -> SDoc #
Outputable TupleSort
Instance details Defined in GHC.Types.Basic Methods ppr :: TupleSort -> SDoc #
Outputable TypeOrKind
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc #
Outputable UnboxedTupleOrSum
Instance details Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc #
Outputable UnfoldingSource
Instance details Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> SDoc #
Outputable CompleteMatch
Instance details Defined in GHC.Types.CompleteMatch Methods ppr :: CompleteMatch -> SDoc #
Outputable CostCentre
Instance details Defined in GHC.Types.CostCentre Methods ppr :: CostCentre -> SDoc #
Outputable CostCentreStack
Instance details Defined in GHC.Types.CostCentre Methods ppr :: CostCentreStack -> SDoc #
Outputable Cpr	BNF: cpr ::= '' -- TopCpr \| n -- FlatConCpr n \| n '(' cpr1 ',' cpr2 ',' ... ')' -- ConCpr n [cpr1,cpr2,...] \| 'b' -- BotCpr Examples: * `f x = f x` has result CPR `b` * `1(1,)` is a valid (nested) `Cpr` denotation for `(I# 42#, f 42)`.
Instance details Defined in GHC.Types.Cpr Methods ppr :: Cpr -> SDoc #
Outputable CprSig	Only print the CPR result
Instance details Defined in GHC.Types.Cpr Methods ppr :: CprSig -> SDoc #
Outputable CprType	BNF: cpr_ty ::= cpr -- short form if arty == 0 \| '\' arty '.' cpr -- if arty > 0 Examples: * `f x y z = f x y z` has denotation `3.b` * `g !x = (x+1, x+2)` has denotation `1.1(1,1)`.
Instance details Defined in GHC.Types.Cpr Methods ppr :: CprType -> SDoc #
Outputable Card	See Note [Demand notation] Current syntax was discussed in #19016.
Instance details Defined in GHC.Types.Demand Methods ppr :: Card -> SDoc #
Outputable Demand	See Note [Demand notation]
Instance details Defined in GHC.Types.Demand Methods ppr :: Demand -> SDoc #
Outputable Divergence
Instance details Defined in GHC.Types.Demand Methods ppr :: Divergence -> SDoc #
Outputable DmdEnv
Instance details Defined in GHC.Types.Demand Methods ppr :: DmdEnv -> SDoc #
Outputable DmdSig
Instance details Defined in GHC.Types.Demand Methods ppr :: DmdSig -> SDoc #
Outputable DmdType
Instance details Defined in GHC.Types.Demand Methods ppr :: DmdType -> SDoc #
Outputable SubDemand	See Note [Demand notation]
Instance details Defined in GHC.Types.Demand Methods ppr :: SubDemand -> SDoc #
Outputable TypeShape
Instance details Defined in GHC.Types.Demand Methods ppr :: TypeShape -> SDoc #
Outputable DiagnosticCode
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticCode -> SDoc #
Outputable DiagnosticHint
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticHint -> SDoc #
Outputable DiagnosticReason
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticReason -> SDoc #
Outputable Severity
Instance details Defined in GHC.Types.Error Methods ppr :: Severity -> SDoc #
Outputable DuplicateRecordFields
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: DuplicateRecordFields -> SDoc #
Outputable FieldLabel
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: FieldLabel -> SDoc #
Outputable FieldSelectors
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: FieldSelectors -> SDoc #
Outputable Fixity
Instance details Defined in GHC.Types.Fixity Methods ppr :: Fixity -> SDoc #
Outputable FixityDirection
Instance details Defined in GHC.Types.Fixity Methods ppr :: FixityDirection -> SDoc #
Outputable LexicalFixity
Instance details Defined in GHC.Types.Fixity Methods ppr :: LexicalFixity -> SDoc #
Outputable FixItem
Instance details Defined in GHC.Types.Fixity.Env Methods ppr :: FixItem -> SDoc #
Outputable CCallConv
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallConv -> SDoc #
Outputable CCallSpec
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallSpec -> SDoc #
Outputable CExportSpec
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CExportSpec -> SDoc #
Outputable CType
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CType -> SDoc #
Outputable ForeignCall
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: ForeignCall -> SDoc #
Outputable Header
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Header -> SDoc #
Outputable Safety
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Safety -> SDoc #
Outputable CafInfo
Instance details Defined in GHC.Types.Id.Info Methods ppr :: CafInfo -> SDoc #
Outputable IdDetails
Instance details Defined in GHC.Types.Id.Info Methods ppr :: IdDetails -> SDoc #
Outputable RecSelParent
Instance details Defined in GHC.Types.Id.Info Methods ppr :: RecSelParent -> SDoc #
Outputable TickBoxOp
Instance details Defined in GHC.Types.Id.Info Methods ppr :: TickBoxOp -> SDoc #
Outputable Name
Instance details Defined in GHC.Types.Name Methods ppr :: Name -> SDoc #
Outputable NameSort
Instance details Defined in GHC.Types.Name Methods ppr :: NameSort -> SDoc #
Outputable OccName
Instance details Defined in GHC.Types.Name.Occurrence Methods ppr :: OccName -> SDoc #
Outputable GlobalRdrElt
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: GlobalRdrElt -> SDoc #
Outputable ImportSpec
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: ImportSpec -> SDoc #
Outputable LocalRdrEnv
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: LocalRdrEnv -> SDoc #
Outputable Parent
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: Parent -> SDoc #
Outputable RdrName
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: RdrName -> SDoc #
Outputable PkgQual
Instance details Defined in GHC.Types.PkgQual Methods ppr :: PkgQual -> SDoc #
Outputable RawPkgQual
Instance details Defined in GHC.Types.PkgQual Methods ppr :: RawPkgQual -> SDoc #
Outputable IfaceTrustInfo
Instance details Defined in GHC.Types.SafeHaskell Methods ppr :: IfaceTrustInfo -> SDoc #
Outputable SafeHaskellMode
Instance details Defined in GHC.Types.SafeHaskell Methods ppr :: SafeHaskellMode -> SDoc #
Outputable FractionalLit
Instance details Defined in GHC.Types.SourceText Methods ppr :: FractionalLit -> SDoc #
Outputable IntegralLit
Instance details Defined in GHC.Types.SourceText Methods ppr :: IntegralLit -> SDoc #
Outputable SourceText
Instance details Defined in GHC.Types.SourceText Methods ppr :: SourceText -> SDoc #
Outputable StringLiteral
Instance details Defined in GHC.Types.SourceText Methods ppr :: StringLiteral -> SDoc #
Outputable RealSrcLoc
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: RealSrcLoc -> SDoc #
Outputable RealSrcSpan
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: RealSrcSpan -> SDoc #
Outputable SrcLoc
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: SrcLoc -> SDoc #
Outputable SrcSpan
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: SrcSpan -> SDoc #
Outputable UnhelpfulSpanReason
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: UnhelpfulSpanReason -> SDoc #
Outputable Target
Instance details Defined in GHC.Types.Target Methods ppr :: Target -> SDoc #
Outputable TargetId
Instance details Defined in GHC.Types.Target Methods ppr :: TargetId -> SDoc #
Outputable TickishPlacement
Instance details Defined in GHC.Types.Tickish Methods ppr :: TickishPlacement -> SDoc #
Outputable TyThing
Instance details Defined in GHC.Types.TyThing Methods ppr :: TyThing -> SDoc #
Outputable Unique
Instance details Defined in GHC.Types.Unique Methods ppr :: Unique -> SDoc #
Outputable ForAllTyFlag
Instance details Defined in GHC.Types.Var Methods ppr :: ForAllTyFlag -> SDoc #
Outputable FunTyFlag
Instance details Defined in GHC.Types.Var Methods ppr :: FunTyFlag -> SDoc #
Outputable PiTyBinder
Instance details Defined in GHC.Types.Var Methods ppr :: PiTyBinder -> SDoc #
Outputable Var
Instance details Defined in GHC.Types.Var Methods ppr :: Var -> SDoc #
Outputable InScopeSet
Instance details Defined in GHC.Types.Var.Env Methods ppr :: InScopeSet -> SDoc #
Outputable HomeUnitEnv
Instance details Defined in GHC.Unit.Env Methods ppr :: HomeUnitEnv -> SDoc #
Outputable HomeModLinkable
Instance details Defined in GHC.Unit.Home.ModInfo Methods ppr :: HomeModLinkable -> SDoc #
Outputable PackageId
Instance details Defined in GHC.Unit.Info Methods ppr :: PackageId -> SDoc #
Outputable PackageName
Instance details Defined in GHC.Unit.Info Methods ppr :: PackageName -> SDoc #
Outputable NDModule
Instance details Defined in GHC.Unit.Module.Env Methods ppr :: NDModule -> SDoc #
Outputable ModNodeKeyWithUid
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: ModNodeKeyWithUid -> SDoc #
Outputable ModuleGraphNode
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: ModuleGraphNode -> SDoc #
Outputable NodeKey
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: NodeKey -> SDoc #
Outputable ModLocation
Instance details Defined in GHC.Unit.Module.Location Methods ppr :: ModLocation -> SDoc #
Outputable ModSummary
Instance details Defined in GHC.Unit.Module.ModSummary Methods ppr :: ModSummary -> SDoc #
Outputable HscBackendAction
Instance details Defined in GHC.Unit.Module.Status Methods ppr :: HscBackendAction -> SDoc #
Outputable ModuleOrigin
Instance details Defined in GHC.Unit.State Methods ppr :: ModuleOrigin -> SDoc #
Outputable UnitErr
Instance details Defined in GHC.Unit.State Methods ppr :: UnitErr -> SDoc #
Outputable UnitVisibility
Instance details Defined in GHC.Unit.State Methods ppr :: UnitVisibility -> SDoc #
Outputable UnusableUnitReason
Instance details Defined in GHC.Unit.State Methods ppr :: UnusableUnitReason -> SDoc #
Outputable InstalledModule
Instance details Defined in GHC.Unit.Types Methods ppr :: InstalledModule -> SDoc #
Outputable InstantiatedModule
Instance details Defined in GHC.Unit.Types Methods ppr :: InstantiatedModule -> SDoc #
Outputable InstantiatedUnit
Instance details Defined in GHC.Unit.Types Methods ppr :: InstantiatedUnit -> SDoc #
Outputable Module
Instance details Defined in GHC.Unit.Types Methods ppr :: Module -> SDoc #
Outputable Unit
Instance details Defined in GHC.Unit.Types Methods ppr :: Unit -> SDoc #
Outputable UnitId
Instance details Defined in GHC.Unit.Types Methods ppr :: UnitId -> SDoc #
Outputable PprStyle
Instance details Defined in GHC.Utils.Outputable Methods ppr :: PprStyle -> SDoc #
Outputable QualifyName
Instance details Defined in GHC.Utils.Outputable Methods ppr :: QualifyName -> SDoc #
Outputable SDoc
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SDoc -> SDoc #
Outputable ModuleName
Instance details Defined in GHC.Utils.Outputable Methods ppr :: ModuleName -> SDoc #
Outputable Serialized
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Serialized -> SDoc #
Outputable Extension
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Extension -> SDoc #
Outputable Ordering
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Ordering -> SDoc #
Outputable UTCTime
Instance details Defined in GHC.Utils.Outputable Methods ppr :: UTCTime -> SDoc #
Outputable Integer
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Integer -> SDoc #
Outputable ()
Instance details Defined in GHC.Utils.Outputable Methods ppr :: () -> SDoc #
Outputable Bool
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Bool -> SDoc #
Outputable Double
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Double -> SDoc #
Outputable Float
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Float -> SDoc #
Outputable Int
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int -> SDoc #
Outputable Word
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word -> SDoc #
Outputable a => Outputable (NonEmpty a)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonEmpty a -> SDoc #
Outputable a => Outputable (SCC a)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SCC a -> SDoc #
Outputable elt => Outputable (IntMap elt)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: IntMap elt -> SDoc #
Outputable a => Outputable (Set a)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Set a -> SDoc #
Outputable instr => Outputable (GenBasicBlock instr)
Instance details Defined in GHC.Cmm Methods ppr :: GenBasicBlock instr -> SDoc #
Outputable instr => Outputable (ListGraph instr)
Instance details Defined in GHC.Cmm Methods ppr :: ListGraph instr -> SDoc #
Outputable a => Outputable (LabelMap a)
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelMap a -> SDoc #
Outputable b => Outputable (TaggedBndr b)
Instance details Defined in GHC.Core Methods ppr :: TaggedBndr b -> SDoc #
Outputable ev => Outputable (NormaliseStepResult ev)
Instance details Defined in GHC.Core.Coercion Methods ppr :: NormaliseStepResult ev -> SDoc #
Outputable (CoAxiom br)
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxiom br -> SDoc #
Outputable a => Outputable (CoreMap a)
Instance details Defined in GHC.Core.Map.Expr Methods ppr :: CoreMap a -> SDoc #
Outputable a => Outputable (TypeMapG a)
Instance details Defined in GHC.Core.Map.Type Methods ppr :: TypeMapG a -> SDoc #
Outputable a => Outputable (RoughMap a)
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMap a -> SDoc #
Outputable a => Outputable (Scaled a)
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Scaled a -> SDoc #
Outputable a => Outputable (UnifyResultM a)
Instance details Defined in GHC.Core.Unify Methods ppr :: UnifyResultM a -> SDoc #
Outputable a => Outputable (Bag a)
Instance details Defined in GHC.Data.Bag Methods ppr :: Bag a -> SDoc #
OutputableBndr a => Outputable (BooleanFormula a)
Instance details Defined in GHC.Data.BooleanFormula Methods ppr :: BooleanFormula a -> SDoc #
Outputable node => Outputable (Edge node)
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: Edge node -> SDoc #
Outputable node => Outputable (Graph node)
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: Graph node -> SDoc #
Outputable a => Outputable (OrdList a)
Instance details Defined in GHC.Data.OrdList Methods ppr :: OrdList a -> SDoc #
Outputable a => Outputable (Pair a)
Instance details Defined in GHC.Data.Pair Methods ppr :: Pair a -> SDoc #
Outputable (KnotVars a)
Instance details Defined in GHC.Driver.Env.KnotVars Methods ppr :: KnotVars a -> SDoc #
Outputable a => Outputable (OnOff a)
Instance details Defined in GHC.Driver.Session Methods ppr :: OnOff a -> SDoc #
Outputable a => Outputable (HieAST a)
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieAST a -> SDoc #
Outputable a => Outputable (HieASTs a)
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieASTs a -> SDoc #
Outputable a => Outputable (IdentifierDetails a)
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: IdentifierDetails a -> SDoc #
Outputable a => Outputable (NodeInfo a)
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeInfo a -> SDoc #
Outputable a => Outputable (SourcedNodeInfo a)
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: SourcedNodeInfo a -> SDoc #
Outputable a => Outputable (EvidenceInfo a)
Instance details Defined in GHC.Iface.Ext.Utils Methods ppr :: EvidenceInfo a -> SDoc #
Outputable a => Outputable (MaybeValidated a)
Instance details Defined in GHC.Iface.Recomp Methods ppr :: MaybeValidated a -> SDoc #
Outputable a => Outputable (EpAnn a)
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnn a -> SDoc #
Outputable a => Outputable (SrcSpanAnn' a)
Instance details Defined in GHC.Parser.Annotation Methods ppr :: SrcSpanAnn' a -> SDoc #
Outputable (PatBuilder GhcPs)
Instance details Defined in GHC.Parser.Types Methods ppr :: PatBuilder GhcPs -> SDoc #
Outputable (TagEnv p)
Instance details Defined in GHC.Stg.InferTags.Types Methods ppr :: TagEnv p -> SDoc #
OutputablePass pass => Outputable (GenStgBinding pass)
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgBinding pass -> SDoc #
OutputablePass pass => Outputable (GenStgExpr pass)
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgExpr pass -> SDoc #
OutputablePass pass => Outputable (GenStgRhs pass)
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgRhs pass -> SDoc #
OutputableBndrId a => Outputable (InstInfo (GhcPass a))
Instance details Defined in GHC.Tc.Utils.Env Methods ppr :: InstInfo (GhcPass a) -> SDoc #
Outputable name => Outputable (AnnTarget name)
Instance details Defined in GHC.Types.Annotations Methods ppr :: AnnTarget name -> SDoc #
Outputable (DefMethSpec ty)
Instance details Defined in GHC.Types.Basic Methods ppr :: DefMethSpec ty -> SDoc #
Diagnostic e => Outputable (Messages e)
Instance details Defined in GHC.Types.Error Methods ppr :: Messages e -> SDoc #
Outputable a => Outputable (OccEnv a)
Instance details Defined in GHC.Types.Name.Occurrence Methods ppr :: OccEnv a -> SDoc #
Outputable e => Outputable (Located e)
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: Located e -> SDoc #
Outputable a => Outputable (UniqDSet a)
Instance details Defined in GHC.Types.Unique.DSet Methods ppr :: UniqDSet a -> SDoc #
Outputable a => Outputable (UniqSet a)
Instance details Defined in GHC.Types.Unique.Set Methods ppr :: UniqSet a -> SDoc #
Outputable (UnitEnvGraph HomeUnitEnv)
Instance details Defined in GHC.Unit.Env Methods ppr :: UnitEnvGraph HomeUnitEnv -> SDoc #
Outputable elt => Outputable (InstalledModuleEnv elt)
Instance details Defined in GHC.Unit.Module.Env Methods ppr :: InstalledModuleEnv elt -> SDoc #
Outputable a => Outputable (ModuleEnv a)
Instance details Defined in GHC.Unit.Module.Env Methods ppr :: ModuleEnv a -> SDoc #
Outputable (WarningTxt pass)
Instance details Defined in GHC.Unit.Module.Warnings Methods ppr :: WarningTxt pass -> SDoc #
Outputable u => Outputable (UnitDatabase u)
Instance details Defined in GHC.Unit.State Methods ppr :: UnitDatabase u -> SDoc #
Outputable unit => Outputable (Definite unit)
Instance details Defined in GHC.Unit.Types Methods ppr :: Definite unit -> SDoc #
Outputable a => Outputable (GenWithIsBoot a)
Instance details Defined in GHC.Unit.Types Methods ppr :: GenWithIsBoot a -> SDoc #
Outputable a => Outputable (Maybe a)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Maybe a -> SDoc #
Outputable a => Outputable [a]
Instance details Defined in GHC.Utils.Outputable Methods ppr :: [a] -> SDoc #
(Outputable a, Outputable b) => Outputable (Either a b)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Either a b -> SDoc #
(Outputable key, Outputable elt) => Outputable (Map key elt)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Map key elt -> SDoc #
(Outputable a, Outputable b) => Outputable (Node a b)
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: Node a b -> SDoc #
(Outputable a, Outputable (m a)) => Outputable (GenMap m a)
Instance details Defined in GHC.Data.TrieMap Methods ppr :: GenMap m a -> SDoc #
(TrieMap m, Outputable a) => Outputable (ListMap m a)
Instance details Defined in GHC.Data.TrieMap Methods ppr :: ListMap m a -> SDoc #
Outputable a => Outputable (WithHsDocIdentifiers a pass)	For compatibility with the existing @-ddump-parsed' output, we only show the docstring. Use `pprHsDoc` to show `HsDoc`'s internals.
Instance details Defined in GHC.Hs.Doc Methods ppr :: WithHsDocIdentifiers a pass -> SDoc #
(Outputable a, Outputable b) => Outputable (HsExpansion a b)	Just print the original expression (the `a`).
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsExpansion a b -> SDoc #
(Outputable a, Outputable b) => Outputable (HsPatExpansion a b)
Instance details Defined in GHC.Hs.Pat Methods ppr :: HsPatExpansion a b -> SDoc #
(Outputable r, Outputable b) => Outputable (IfaceBindingX r b)
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceBindingX r b -> SDoc #
Outputable (GenLocated Anchor EpaComment)
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated Anchor EpaComment -> SDoc #
(Outputable a, Outputable e) => Outputable (GenLocated (SrcSpanAnn' a) e)
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated (SrcSpanAnn' a) e -> SDoc #
Outputable a => Outputable (GenLocated TokenLocation a)
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated TokenLocation a -> SDoc #
Outputable e => Outputable (GenLocated RealSrcSpan e)
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: GenLocated RealSrcSpan e -> SDoc #
Outputable a => Outputable (UniqDFM key a)
Instance details Defined in GHC.Types.Unique.DFM Methods ppr :: UniqDFM key a -> SDoc #
Outputable a => Outputable (UniqFM key a)
Instance details Defined in GHC.Types.Unique.FM Methods ppr :: UniqFM key a -> SDoc #
(Outputable k, Outputable a) => Outputable (UniqMap k a)
Instance details Defined in GHC.Types.Unique.Map Methods ppr :: UniqMap k a -> SDoc #
OutputableBndr tv => Outputable (VarBndr tv TyConBndrVis)
Instance details Defined in GHC.Core.TyCon Methods ppr :: VarBndr tv TyConBndrVis -> SDoc #
Outputable tv => Outputable (VarBndr tv ForAllTyFlag)
Instance details Defined in GHC.Types.Var Methods ppr :: VarBndr tv ForAllTyFlag -> SDoc #
Outputable tv => Outputable (VarBndr tv Specificity)
Instance details Defined in GHC.Types.Var Methods ppr :: VarBndr tv Specificity -> SDoc #
(Outputable a, Outputable b) => Outputable (a, b)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b) -> SDoc #
(Outputable a, Outputable b, Outputable c) => Outputable (a, b, c)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d) => Outputable (a, b, c, d)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e) => Outputable (a, b, c, d, e)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f) => Outputable (a, b, c, d, e, f)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e, f) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f, Outputable g) => Outputable (a, b, c, d, e, f, g)
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e, f, g) -> SDoc #

showSDoc :: DynFlags -> SDoc -> String #

Show a SDoc as a String with the default user style

showSDocUnsafe :: SDoc -> String #

showSDocForUser :: DynFlags -> UnitState -> NamePprCtx -> SDoc -> String #

Allows caller to specify the NamePprCtx to use

ppr :: Outputable a => a -> SDoc #

pprPanic :: HasCallStack => String -> SDoc -> a #

Throw an exception saying "bug in GHC" with a callstack

text :: IsLine doc => String -> doc #

vcat :: IsDoc doc => [doc] -> doc #

Concatenate docs vertically with dovetailing.

(<+>) :: IsLine doc => doc -> doc -> doc #

Join two docs together horizontally with a gap between them.

($$) :: IsDoc doc => doc -> doc -> doc #

Join two docs together vertically. If there is no vertical overlap it "dovetails" the two onto one line.

empty :: IsOutput doc => doc #

hang #

Arguments

:: SDoc	The header
-> Int	Amount to indent the hung body
-> SDoc	The hung body, indented and placed below the header
-> SDoc

nest :: Int -> SDoc -> SDoc #

Indent SDoc some specified amount

punctuate #

Arguments

:: IsLine doc
=> doc	The punctuation
-> [doc]	The list that will have punctuation added between every adjacent pair of elements
-> [doc]	Punctuated list

printSDocQualifiedUnsafe :: PrintUnqualified -> SDoc -> String Source #

printWithoutUniques :: Outputable a => a -> String Source #

A compatible function to print Outputable instances without unique symbols.

It print with a user-friendly style like: a_a4ME as a.

mkPrintUnqualifiedDefault :: HscEnv -> GlobalRdrEnv -> PrintUnqualified Source #

type PrintUnqualified = NamePprCtx Source #

defaultUserStyle :: PprStyle #

withPprStyle :: PprStyle -> SDoc -> SDoc #

Parser errors

type PsWarning = PsMessage #

type PsError = PsMessage #

defaultDiagnosticOpts :: Diagnostic a => DiagnosticOpts a #

data GhcMessage #

The umbrella type that encompasses all the different messages that GHC might output during the different compilation stages. See Note [GhcMessage].

Instances

Instances details

Generic GhcMessage
Instance details Defined in GHC.Driver.Errors.Types Associated Types type Rep GhcMessage :: Type -> Type # Methods from :: GhcMessage -> Rep GhcMessage x # to :: Rep GhcMessage x -> GhcMessage #
type Rep GhcMessage
Instance details Defined in GHC.Driver.Errors.Types type Rep GhcMessage = D1 ('MetaData "GhcMessage" "GHC.Driver.Errors.Types" "ghc" 'False) ((C1 ('MetaCons "GhcPsMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PsMessage)) :+: C1 ('MetaCons "GhcTcRnMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TcRnMessage))) :+: (C1 ('MetaCons "GhcDsMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DsMessage)) :+: (C1 ('MetaCons "GhcDriverMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DriverMessage)) :+: C1 ('MetaCons "GhcUnknownMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnknownDiagnostic)))))
type DiagnosticOpts GhcMessage
Instance details Defined in GHC.Driver.Errors.Ppr type DiagnosticOpts GhcMessage = GhcMessageOpts

data DriverMessage #

A message from the driver.

Instances

Instances details

Generic DriverMessage
Instance details Defined in GHC.Driver.Errors.Types Associated Types type Rep DriverMessage :: Type -> Type # Methods from :: DriverMessage -> Rep DriverMessage x # to :: Rep DriverMessage x -> DriverMessage #
type Rep DriverMessage
Instance details Defined in GHC.Driver.Errors.Types type Rep DriverMessage = D1 ('MetaData "DriverMessage" "GHC.Driver.Errors.Types" "ghc" 'False) ((((C1 ('MetaCons "DriverUnknownMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnknownDiagnostic)) :+: (C1 ('MetaCons "DriverPsHeaderMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PsMessage)) :+: C1 ('MetaCons "DriverMissingHomeModules" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitId) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ModuleName]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BuildingCabalPackage))))) :+: (C1 ('MetaCons "DriverUnknownReexportedModules" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ModuleName])) :+: (C1 ('MetaCons "DriverUnknownHiddenModules" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ModuleName])) :+: C1 ('MetaCons "DriverUnusedPackages" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(UnitId, PackageName, Version, PackageArg)]))))) :+: ((C1 ('MetaCons "DriverUnnecessarySourceImports" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName)) :+: (C1 ('MetaCons "DriverDuplicatedModuleDeclaration" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath])) :+: C1 ('MetaCons "DriverModuleNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName)))) :+: ((C1 ('MetaCons "DriverFileModuleNameMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName)) :+: C1 ('MetaCons "DriverUnexpectedSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BuildingCabalPackage) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenInstantiations UnitId))))) :+: (C1 ('MetaCons "DriverFileNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath)) :+: C1 ('MetaCons "DriverStaticPointersNotSupported" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DriverBackpackModuleNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName)) :+: (C1 ('MetaCons "DriverUserDefinedRuleIgnored" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RuleDecl GhcTc))) :+: C1 ('MetaCons "DriverMixedSafetyImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName)))) :+: (C1 ('MetaCons "DriverCannotLoadInterfaceFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module)) :+: (C1 ('MetaCons "DriverInferredSafeModule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module)) :+: C1 ('MetaCons "DriverMarkedTrustworthyButInferredSafe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module))))) :+: ((C1 ('MetaCons "DriverInferredSafeImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module)) :+: (C1 ('MetaCons "DriverCannotImportUnsafeModule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module)) :+: C1 ('MetaCons "DriverMissingSafeHaskellMode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module)))) :+: ((C1 ('MetaCons "DriverPackageNotTrusted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitState) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitId)) :+: C1 ('MetaCons "DriverCannotImportFromUntrustedPackage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitState) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module))) :+: (C1 ('MetaCons "DriverRedirectedNoMain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName)) :+: C1 ('MetaCons "DriverHomePackagesNotClosed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [UnitId])))))))
type DiagnosticOpts DriverMessage
Instance details Defined in GHC.Driver.Errors.Ppr type DiagnosticOpts DriverMessage = DriverMessageOpts

data Messages e #

A collection of messages emitted by GHC during error reporting. A diagnostic message is typically a warning or an error. See Note [Messages].

INVARIANT: All the messages in this collection must be relevant, i.e. their Severity should not be SevIgnore. The smart constructor mkMessages will filter out any message which Severity is SevIgnore.

Instances

Instances details

Foldable Messages
Instance details Defined in GHC.Types.Error Methods fold :: Monoid m => Messages m -> m # foldMap :: Monoid m => (a -> m) -> Messages a -> m # foldMap' :: Monoid m => (a -> m) -> Messages a -> m # foldr :: (a -> b -> b) -> b -> Messages a -> b # foldr' :: (a -> b -> b) -> b -> Messages a -> b # foldl :: (b -> a -> b) -> b -> Messages a -> b # foldl' :: (b -> a -> b) -> b -> Messages a -> b # foldr1 :: (a -> a -> a) -> Messages a -> a # foldl1 :: (a -> a -> a) -> Messages a -> a # toList :: Messages a -> [a] # null :: Messages a -> Bool # length :: Messages a -> Int # elem :: Eq a => a -> Messages a -> Bool # maximum :: Ord a => Messages a -> a # minimum :: Ord a => Messages a -> a # sum :: Num a => Messages a -> a # product :: Num a => Messages a -> a #
Traversable Messages
Instance details Defined in GHC.Types.Error Methods traverse :: Applicative f => (a -> f b) -> Messages a -> f (Messages b) # sequenceA :: Applicative f => Messages (f a) -> f (Messages a) # mapM :: Monad m => (a -> m b) -> Messages a -> m (Messages b) # sequence :: Monad m => Messages (m a) -> m (Messages a) #
Functor Messages
Instance details Defined in GHC.Types.Error Methods fmap :: (a -> b) -> Messages a -> Messages b # (<$) :: a -> Messages b -> Messages a #
Monoid (Messages e)
Instance details Defined in GHC.Types.Error Methods mempty :: Messages e # mappend :: Messages e -> Messages e -> Messages e # mconcat :: [Messages e] -> Messages e #
Semigroup (Messages e)
Instance details Defined in GHC.Types.Error Methods (<>) :: Messages e -> Messages e -> Messages e # sconcat :: NonEmpty (Messages e) -> Messages e # stimes :: Integral b => b -> Messages e -> Messages e #
Diagnostic e => Outputable (Messages e)
Instance details Defined in GHC.Types.Error Methods ppr :: Messages e -> SDoc #

initDiagOpts :: DynFlags -> DiagOpts #

Initialise the general configuration for printing diagnostic messages For example, this configuration controls things like whether warnings are treated like errors.

pprMessages :: Diagnostic e => DiagnosticOpts e -> Messages e -> SDoc #

data DiagnosticReason #

The reason why a Diagnostic was emitted in the first place. Diagnostic messages are born within GHC with a very precise reason, which can be completely statically-computed (i.e. this is an error or a warning no matter what), or influenced by the specific state of the DynFlags at the moment of the creation of a new Diagnostic. For example, a parsing error is always going to be an error, whereas a 'WarningWithoutFlag Opt_WarnUnusedImports' might turn into an error due to '-Werror' or '-Werror=warn-unused-imports'. Interpreting a DiagnosticReason together with its associated Severity gives us the full picture.

Constructors

WarningWithoutFlag	Born as a warning.
WarningWithFlag !WarningFlag	Warning was enabled with the flag.
ErrorWithoutFlag	Born as an error.

Instances

Instances details

Show DiagnosticReason
Instance details Defined in GHC.Types.Error Methods showsPrec :: Int -> DiagnosticReason -> ShowS # show :: DiagnosticReason -> String # showList :: [DiagnosticReason] -> ShowS #
Outputable DiagnosticReason
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticReason -> SDoc #
Eq DiagnosticReason
Instance details Defined in GHC.Types.Error Methods (==) :: DiagnosticReason -> DiagnosticReason -> Bool # (/=) :: DiagnosticReason -> DiagnosticReason -> Bool #

renderDiagnosticMessageWithHints :: forall a. Diagnostic a => a -> DecoratedSDoc Source #

pprMsgEnvelopeBagWithLoc :: Diagnostic e => DiagnosticOpts e -> Bag (MsgEnvelope e) -> [SDoc] #

getMessages :: Messages e -> Bag (MsgEnvelope e) #

renderWithContext :: SDocContext -> SDoc -> String #

defaultSDocContext :: SDocContext #

Default pretty-printing options

errMsgDiagnostic :: MsgEnvelope e -> e #

unDecorated :: DecoratedSDoc -> [SDoc] #

diagnosticMessage :: Diagnostic a => DiagnosticOpts a -> a -> DecoratedSDoc #

Extract the error message text from a Diagnostic.

Error infrastructure

data DecoratedSDoc #

A DecoratedSDoc is isomorphic to a '[SDoc]' but it carries the invariant that the input '[SDoc]' needs to be rendered decorated into its final form, where the typical case would be adding bullets between each elements of the list. The type of decoration depends on the formatting function used, but in practice GHC uses the formatBulleted.

data MsgEnvelope e #

An envelope for GHC's facts about a running program, parameterised over the domain-specific (i.e. parsing, typecheck-renaming, etc) diagnostics.

To say things differently, GHC emits diagnostics about the running program, each of which is wrapped into a MsgEnvelope that carries specific information like where the error happened, etc. Finally, multiple MsgEnvelopes are aggregated into Messages that are returned to the user.

Instances

Instances details

Foldable MsgEnvelope
Instance details Defined in GHC.Types.Error Methods fold :: Monoid m => MsgEnvelope m -> m # foldMap :: Monoid m => (a -> m) -> MsgEnvelope a -> m # foldMap' :: Monoid m => (a -> m) -> MsgEnvelope a -> m # foldr :: (a -> b -> b) -> b -> MsgEnvelope a -> b # foldr' :: (a -> b -> b) -> b -> MsgEnvelope a -> b # foldl :: (b -> a -> b) -> b -> MsgEnvelope a -> b # foldl' :: (b -> a -> b) -> b -> MsgEnvelope a -> b # foldr1 :: (a -> a -> a) -> MsgEnvelope a -> a # foldl1 :: (a -> a -> a) -> MsgEnvelope a -> a # toList :: MsgEnvelope a -> [a] # null :: MsgEnvelope a -> Bool # length :: MsgEnvelope a -> Int # elem :: Eq a => a -> MsgEnvelope a -> Bool # maximum :: Ord a => MsgEnvelope a -> a # minimum :: Ord a => MsgEnvelope a -> a # sum :: Num a => MsgEnvelope a -> a # product :: Num a => MsgEnvelope a -> a #
Traversable MsgEnvelope
Instance details Defined in GHC.Types.Error Methods traverse :: Applicative f => (a -> f b) -> MsgEnvelope a -> f (MsgEnvelope b) # sequenceA :: Applicative f => MsgEnvelope (f a) -> f (MsgEnvelope a) # mapM :: Monad m => (a -> m b) -> MsgEnvelope a -> m (MsgEnvelope b) # sequence :: Monad m => MsgEnvelope (m a) -> m (MsgEnvelope a) #
Functor MsgEnvelope
Instance details Defined in GHC.Types.Error Methods fmap :: (a -> b) -> MsgEnvelope a -> MsgEnvelope b # (<$) :: a -> MsgEnvelope b -> MsgEnvelope a #
Show (MsgEnvelope DiagnosticMessage)
Instance details Defined in GHC.Types.Error Methods showsPrec :: Int -> MsgEnvelope DiagnosticMessage -> ShowS # show :: MsgEnvelope DiagnosticMessage -> String # showList :: [MsgEnvelope DiagnosticMessage] -> ShowS #

type ErrMsg = MsgEnvelope DecoratedSDoc Source #

type WarnMsg = MsgEnvelope DecoratedSDoc Source #

newtype SourceError #

A source error is an error that is caused by one or more errors in the source code. A SourceError is thrown by many functions in the compilation pipeline. Inside GHC these errors are merely printed via log_action, but API clients may treat them differently, for example, insert them into a list box. If you want the default behaviour, use the idiom:

handleSourceError printExceptionAndWarnings $ do
  ... api calls that may fail ...

The SourceErrors error messages can be accessed via srcErrorMessages. This list may be empty if the compiler failed due to -Werror (Opt_WarnIsError).

See printExceptionAndWarnings for more information on what to take care of when writing a custom error handler.

Constructors

SourceError (Messages GhcMessage)

Instances

Instances details

Exception SourceError
Instance details Defined in GHC.Types.SourceError Methods toException :: SourceError -> SomeException # fromException :: SomeException -> Maybe SourceError # displayException :: SourceError -> String #
Show SourceError
Instance details Defined in GHC.Types.SourceError Methods showsPrec :: Int -> SourceError -> ShowS # show :: SourceError -> String # showList :: [SourceError] -> ShowS #

errMsgSpan :: MsgEnvelope e -> SrcSpan #

The SrcSpan is used for sorting errors into line-number order

errMsgSeverity :: MsgEnvelope e -> Severity #

formatErrorWithQual :: DynFlags -> MsgEnvelope DecoratedSDoc -> String Source #

mkWarnMsg :: DynFlags -> Maybe DiagnosticReason -> b -> SrcSpan -> PrintUnqualified -> SDoc -> MsgEnvelope DecoratedSDoc Source #

mkSrcErr :: Messages GhcMessage -> SourceError #

srcErrorMessages :: SourceError -> Messages GhcMessage #

textDoc :: String -> SDoc Source #