ghcide-2.9.0.0: The core of an IDE

Safe Haskell | None
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 :: HasDefaultDiagnosticOpts (DiagnosticOpts opts) => DiagnosticOpts opts
- data GhcMessage
- data DriverMessage
- data Messages e
- initDiagOpts :: DynFlags -> DiagOpts
- pprMessages :: Diagnostic e => DiagnosticOpts e -> Messages e -> SDoc
- data DiagnosticReason where
  - WarningWithoutFlag
  - WarningWithFlags !(NonEmpty WarningFlag)
  - WarningWithCategory !WarningCategory
  - ErrorWithoutFlag
  - pattern WarningWithFlag :: WarningFlag -> DiagnosticReason
- renderDiagnosticMessageWithHints :: 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

JsRender SDoc |
Instance details Defined in GHC.JS.Ppr Methods (<+?>) :: SDoc -> SDoc -> SDoc # ($$$) :: SDoc -> SDoc -> SDoc # jcat :: [SDoc] -> SDoc # jnest :: SDoc -> SDoc # addSemi :: SDoc -> SDoc #
IsDoc SDoc |

Instance details

Defined in GHC.Utils.Outputable

Associated Types

type Line SDoc |
Instance details Defined in GHC.Utils.Outputable type Line SDoc = SDoc

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 # docWithStyle :: SDoc -> (PprStyle -> SDoc) -> SDoc #
Outputable SDoc |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SDoc -> SDoc #
IsString SDoc |
Instance details Defined in GHC.Utils.Outputable Methods fromString :: String -> 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 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 BCInstr |
Instance details Defined in GHC.ByteCode.Instr Methods ppr :: BCInstr -> SDoc #
Outputable LocalLabel |
Instance details Defined in GHC.ByteCode.Instr Methods ppr :: LocalLabel -> 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 HalfWord |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: HalfWord -> 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 ConInfoTableLocation |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: ConInfoTableLocation -> SDoc #
Outputable ForeignLabelSource |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: ForeignLabelSource -> SDoc #
Outputable IdLabelInfo |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: IdLabelInfo -> SDoc #
Outputable TickyIdInfo |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: TickyIdInfo -> SDoc #
Outputable ParamLocation |
Instance details Defined in GHC.Cmm.CallConv Methods ppr :: ParamLocation -> 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 DominatorSet |
Instance details Defined in GHC.Cmm.Dominators Methods ppr :: DominatorSet -> SDoc #
Outputable RPNum |
Instance details Defined in GHC.Cmm.Dominators Methods ppr :: RPNum -> SDoc #
Outputable Area |
Instance details Defined in GHC.Cmm.Expr Methods ppr :: Area -> SDoc #
Outputable CmmLit |
Instance details Defined in GHC.Cmm.Expr Methods ppr :: CmmLit -> SDoc #
Outputable StackMap |
Instance details Defined in GHC.Cmm.LayoutStack Methods ppr :: StackMap -> SDoc #
Outputable StackSlot |
Instance details Defined in GHC.Cmm.LayoutStack Methods ppr :: StackSlot -> SDoc #
Outputable CmmReturnInfo |
Instance details Defined in GHC.Cmm.Node Methods ppr :: CmmReturnInfo -> SDoc #
Outputable CmmTickScope |
Instance details Defined in GHC.Cmm.Node Methods ppr :: CmmTickScope -> SDoc #
Outputable Convention |
Instance details Defined in GHC.Cmm.Node Methods ppr :: Convention -> SDoc #
Outputable ForeignConvention |
Instance details Defined in GHC.Cmm.Node Methods ppr :: ForeignConvention -> SDoc #
Outputable Status |
Instance details Defined in GHC.Cmm.ProcPoint Methods ppr :: Status -> SDoc #
Outputable CmmReg |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: CmmReg -> SDoc #
Outputable GlobalReg |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: GlobalReg -> SDoc #
Outputable GlobalRegUse |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: GlobalRegUse -> SDoc #
Outputable LocalReg |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: LocalReg -> SDoc #
Outputable CmmCat |
Instance details Defined in GHC.Cmm.Type Methods ppr :: CmmCat -> SDoc #
Outputable CmmType |
Instance details Defined in GHC.Cmm.Type Methods ppr :: CmmType -> SDoc #
Outputable ForeignHint |
Instance details Defined in GHC.Cmm.Type Methods ppr :: ForeignHint -> SDoc #
Outputable Width |
Instance details Defined in GHC.Cmm.Type Methods ppr :: Width -> SDoc #
Outputable JumpDest |
Instance details Defined in GHC.CmmToAsm.AArch64.RegInfo Methods ppr :: JumpDest -> SDoc #
Outputable BlockChain |
Instance details Defined in GHC.CmmToAsm.BlockLayout Methods ppr :: BlockChain -> SDoc #
Outputable BranchInfo |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: BranchInfo -> SDoc #
Outputable CfgEdge |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: CfgEdge -> SDoc #
Outputable EdgeInfo |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: EdgeInfo -> SDoc #
Outputable EdgeWeight |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: EdgeWeight -> SDoc #
Outputable LoopInfo |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: LoopInfo -> SDoc #
Outputable JumpDest |
Instance details Defined in GHC.CmmToAsm.PPC.RegInfo Methods ppr :: JumpDest -> SDoc #
Outputable SpillStats |
Instance details Defined in GHC.CmmToAsm.Reg.Graph.Spill Methods ppr :: SpillStats -> SDoc #
Outputable Store |
Instance details Defined in GHC.CmmToAsm.Reg.Graph.SpillClean Methods ppr :: Store -> SDoc #
Outputable FreeRegs |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.AArch64 Methods ppr :: FreeRegs -> SDoc #
Outputable Loc |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.Base Methods ppr :: Loc -> SDoc #
Outputable FreeRegs |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.PPC Methods ppr :: FreeRegs -> SDoc #
Outputable FreeRegs |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.X86 Methods ppr :: FreeRegs -> SDoc #
Outputable FreeRegs |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.X86_64 Methods ppr :: FreeRegs -> SDoc #
Outputable BrTableInterval |
Instance details Defined in GHC.CmmToAsm.Wasm.Types Methods ppr :: BrTableInterval -> SDoc #
Outputable JumpDest |
Instance details Defined in GHC.CmmToAsm.X86.Instr Methods ppr :: JumpDest -> 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 FloatBind |
Instance details Defined in GHC.Core.Make Methods ppr :: FloatBind -> SDoc #
Outputable IsSubmult |
Instance details Defined in GHC.Core.Multiplicity Methods ppr :: IsSubmult -> SDoc #
Outputable ArityEnv |
Instance details Defined in GHC.Core.Opt.Arity Methods ppr :: ArityEnv -> SDoc #

Outputable ArityType

This is the BNF of the generated output:

    @

    We format

AT [o1,..,on] topDiv`as` o1..on.T`and` AT [o1,..,on] botDiv`as` o1..on.⊥`, respectively. More concretely,` AT [NOI,OS,OS] topDiv`is formatted as` ?11.T`. If the one-shot info is empty, we omit the leading` .@.

Instance details Defined in GHC.Core.Opt.Arity Methods ppr :: ArityType -> SDoc #
Outputable EtaInfo |
Instance details Defined in GHC.Core.Opt.Arity Methods ppr :: EtaInfo -> SDoc #
Outputable CallerCcFilter |
Instance details Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: CallerCcFilter -> SDoc #
Outputable NamePattern |
Instance details Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: NamePattern -> SDoc #
Outputable AnalEnv |
Instance details Defined in GHC.Core.Opt.CprAnal Methods ppr :: AnalEnv -> SDoc #
Outputable SigEnv |
Instance details Defined in GHC.Core.Opt.CprAnal Methods ppr :: SigEnv -> SDoc #
Outputable AnalEnv |
Instance details Defined in GHC.Core.Opt.DmdAnal Methods ppr :: AnalEnv -> SDoc #
Outputable FloatInBind |
Instance details Defined in GHC.Core.Opt.FloatIn Methods ppr :: FloatInBind -> SDoc #
Outputable FloatBinds |
Instance details Defined in GHC.Core.Opt.FloatOut Methods ppr :: FloatBinds -> SDoc #
Outputable FloatOutSwitches |
Instance details Defined in GHC.Core.Opt.Monad Methods ppr :: FloatOutSwitches -> SDoc #
Outputable LocalOcc |
Instance details Defined in GHC.Core.Opt.OccurAnal Methods ppr :: LocalOcc -> SDoc #
Outputable NodeDetails |
Instance details Defined in GHC.Core.Opt.OccurAnal Methods ppr :: NodeDetails -> SDoc #
Outputable OccEncl |
Instance details Defined in GHC.Core.Opt.OccurAnal Methods ppr :: OccEncl -> SDoc #
Outputable SimpleNodeDetails |
Instance details Defined in GHC.Core.Opt.OccurAnal Methods ppr :: SimpleNodeDetails -> SDoc #
Outputable TailUsageDetails |
Instance details Defined in GHC.Core.Opt.OccurAnal Methods ppr :: TailUsageDetails -> SDoc #
Outputable UsageDetails |
Instance details Defined in GHC.Core.Opt.OccurAnal Methods ppr :: UsageDetails -> SDoc #
Outputable CoreToDo |
Instance details Defined in GHC.Core.Opt.Pipeline.Types Methods ppr :: CoreToDo -> SDoc #
Outputable FloatSpec |
Instance details Defined in GHC.Core.Opt.SetLevels Methods ppr :: FloatSpec -> SDoc #
Outputable Level |
Instance details Defined in GHC.Core.Opt.SetLevels Methods ppr :: Level -> SDoc #
Outputable FloatFlag |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: FloatFlag -> SDoc #
Outputable LetFloats |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: LetFloats -> SDoc #
Outputable SimplFloats |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplFloats -> SDoc #
Outputable SimplMode |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplMode -> SDoc #
Outputable SimplSR |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplSR -> SDoc #
Outputable ArgInfo |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: ArgInfo -> SDoc #
Outputable ArgSpec |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: ArgSpec -> SDoc #
Outputable DupFlag |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: DupFlag -> SDoc #
Outputable SimplCont |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: SimplCont -> SDoc #
Outputable ArgOcc |
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: ArgOcc -> SDoc #
Outputable Call |
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: Call -> SDoc #
Outputable CallPat |
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: CallPat -> SDoc #
Outputable HowBound |
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: HowBound -> SDoc #
Outputable ScUsage |
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: ScUsage -> SDoc #
Outputable Value |
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: Value -> SDoc #
Outputable CallInfo |
Instance details Defined in GHC.Core.Opt.Specialise Methods ppr :: CallInfo -> SDoc #
Outputable CallInfoSet |
Instance details Defined in GHC.Core.Opt.Specialise Methods ppr :: CallInfoSet -> SDoc #
Outputable DictBind |
Instance details Defined in GHC.Core.Opt.Specialise Methods ppr :: DictBind -> SDoc #
Outputable FloatedDictBinds |
Instance details Defined in GHC.Core.Opt.Specialise Methods ppr :: FloatedDictBinds -> SDoc #
Outputable SpecArg |
Instance details Defined in GHC.Core.Opt.Specialise Methods ppr :: SpecArg -> SDoc #
Outputable SpecEnv |
Instance details Defined in GHC.Core.Opt.Specialise Methods ppr :: SpecEnv -> SDoc #
Outputable UsageDetails |
Instance details Defined in GHC.Core.Opt.Specialise Methods ppr :: UsageDetails -> SDoc #
Outputable Tick |
Instance details Defined in GHC.Core.Opt.Stats Methods ppr :: Tick -> SDoc #
Outputable IsRecDataConResult |
Instance details Defined in GHC.Core.Opt.WorkWrap.Utils Methods ppr :: IsRecDataConResult -> 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 SimpleOptEnv |
Instance details Defined in GHC.Core.SimpleOpt Methods ppr :: SimpleOptEnv -> SDoc #
Outputable CoreStats |
Instance details Defined in GHC.Core.Stats Methods ppr :: CoreStats -> 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 RecTcChecker |
Instance details Defined in GHC.Core.TyCon.RecWalk Methods ppr :: RecTcChecker -> 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 BindInfo |
Instance details Defined in GHC.CoreToStg.Prep Methods ppr :: BindInfo -> SDoc #
Outputable FloatInfo |
Instance details Defined in GHC.CoreToStg.Prep Methods ppr :: FloatInfo -> 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 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 UnVarGraph |
Instance details Defined in GHC.Data.Graph.UnVar Methods ppr :: UnVarGraph -> SDoc #
Outputable UnVarSet |
Instance details Defined in GHC.Data.Graph.UnVar Methods ppr :: UnVarSet -> SDoc #
Outputable Word64Set |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word64Set -> SDoc #
Outputable HsComponentId |
Instance details Defined in GHC.Driver.Backpack.Syntax Methods ppr :: HsComponentId -> SDoc #
Outputable GhcMode |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: GhcMode -> SDoc #
Outputable ModRenaming |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: ModRenaming -> SDoc #
Outputable PackageArg |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: PackageArg -> SDoc #
Outputable PackageFlag |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: PackageFlag -> 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 JobResources |
Instance details Defined in GHC.Driver.MakeSem Methods ppr :: JobResources -> 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 ABExport |
Instance details Defined in GHC.Hs.Binds Methods ppr :: ABExport -> SDoc #
Outputable NamespaceSpecifier |
Instance details Defined in GHC.Hs.Binds Methods ppr :: NamespaceSpecifier -> 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 HsThingRn |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsThingRn -> 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 XXExprGhcRn |
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcRn -> SDoc #
Outputable XXExprGhcTc |
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcTc -> SDoc #
Outputable OpName |
Instance details Defined in GHC.Hs.Type Methods ppr :: OpName -> 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 GenerateInhabitingPatternsMode |
Instance details Defined in GHC.HsToCore.Pmc.Solver Methods ppr :: GenerateInhabitingPatternsMode -> SDoc #
Outputable PhiCt |
Instance details Defined in GHC.HsToCore.Pmc.Solver Methods ppr :: PhiCt -> SDoc #
Outputable TopNormaliseTypeResult |
Instance details Defined in GHC.HsToCore.Pmc.Solver Methods ppr :: TopNormaliseTypeResult -> 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 GrdVec | Format LYG guards as `| True <- x, let x = 42, !z`
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: GrdVec -> SDoc #
Outputable PmEmptyCase |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmEmptyCase -> SDoc #
Outputable PmGrd | Should not be user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmGrd -> SDoc #
Outputable Precision |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: Precision -> SDoc #
Outputable RedSets |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: RedSets -> SDoc #
Outputable SrcInfo |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: SrcInfo -> 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 WhereFrom |
Instance details Defined in GHC.Iface.Load Methods ppr :: WhereFrom -> 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 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 IfaceStringLiteral |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceStringLiteral -> 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 IfaceWarningTxt |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarningTxt -> SDoc #
Outputable IfaceWarnings |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarnings -> 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 ShowHowMuch |
Instance details Defined in GHC.Iface.Type Methods ppr :: ShowHowMuch -> SDoc #
Outputable JStgExpr |
Instance details Defined in GHC.JS.JStg.Syntax Methods ppr :: JStgExpr -> 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 MetaId |
Instance details Defined in GHC.Llvm.MetaData Methods ppr :: MetaId -> SDoc #
Outputable LlvmCallConvention |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmCallConvention -> SDoc #
Outputable LlvmCastOp |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmCastOp -> SDoc #
Outputable LlvmCmpOp |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmCmpOp -> SDoc #
Outputable LlvmFuncAttr |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmFuncAttr -> SDoc #
Outputable LlvmLinkageType |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmLinkageType -> SDoc #
Outputable LlvmMachOp |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmMachOp -> SDoc #
Outputable LlvmParamAttr |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmParamAttr -> SDoc #
Outputable LlvmType |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmType -> SDoc #
Outputable AddEpAnn |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AddEpAnn -> 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 BindTag |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: BindTag -> SDoc #
Outputable DeclTag |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: DeclTag -> 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 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 ParenType |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: ParenType -> 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 RealReg |
Instance details Defined in GHC.Platform.Reg Methods ppr :: RealReg -> SDoc #
Outputable Reg | Print a reg in a generic manner If you want the architecture specific names, then use the pprReg function from the appropriate Ppr module.
Instance details Defined in GHC.Platform.Reg Methods ppr :: Reg -> SDoc #
Outputable VirtualReg |
Instance details Defined in GHC.Platform.Reg Methods ppr :: VirtualReg -> SDoc #
Outputable RegClass |
Instance details Defined in GHC.Platform.Reg.Class Methods ppr :: RegClass -> SDoc #
Outputable ChildLookupResult |
Instance details Defined in GHC.Rename.Env Methods ppr :: ChildLookupResult -> SDoc #
Outputable DisambigInfo |
Instance details Defined in GHC.Rename.Env Methods ppr :: DisambigInfo -> SDoc #
Outputable HsSigCtxt |
Instance details Defined in GHC.Rename.Env Methods ppr :: HsSigCtxt -> SDoc #
Outputable MonadNames |
Instance details Defined in GHC.Rename.Expr Methods ppr :: MonadNames -> SDoc #
Outputable RnTyKiEnv |
Instance details Defined in GHC.Rename.HsType Methods ppr :: RnTyKiEnv -> SDoc #
Outputable RnTyKiWhat |
Instance details Defined in GHC.Rename.HsType Methods ppr :: RnTyKiWhat -> SDoc #
Outputable WarnUnusedForalls |
Instance details Defined in GHC.Rename.HsType Methods ppr :: WarnUnusedForalls -> SDoc #
Outputable ImpOccItem |
Instance details Defined in GHC.Rename.Names Methods ppr :: ImpOccItem -> 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 Term |
Instance details Defined in GHC.Runtime.Heap.Inspect Methods ppr :: Term -> SDoc #
Outputable ArgDescr |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ArgDescr -> SDoc #
Outputable ClosureTypeInfo |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ClosureTypeInfo -> SDoc #
Outputable SMRep |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: SMRep -> SDoc #
Outputable StgHalfWord |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgHalfWord -> SDoc #
Outputable StgWord |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgWord -> 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 FloatLang |
Instance details Defined in GHC.Stg.Lift.Monad Methods ppr :: FloatLang -> SDoc #
Outputable BinderInfo |
Instance details Defined in GHC.Stg.Lift.Types Methods ppr :: BinderInfo -> SDoc #
Outputable Skeleton |
Instance details Defined in GHC.Stg.Lift.Types 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 UnariseVal |
Instance details Defined in GHC.Stg.Unarise Methods ppr :: UnariseVal -> SDoc #
Outputable Discr |
Instance details Defined in GHC.StgToByteCode Methods ppr :: Discr -> SDoc #
Outputable ArgRep |
Instance details Defined in GHC.StgToCmm.ArgRep Methods ppr :: ArgRep -> SDoc #
Outputable CallMethod |
Instance details Defined in GHC.StgToCmm.Closure Methods ppr :: CallMethod -> SDoc #
Outputable Sequel |
Instance details Defined in GHC.StgToCmm.Sequel Methods ppr :: Sequel -> 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 IPEStats |
Instance details Defined in GHC.StgToCmm.Utils Methods ppr :: IPEStats -> SDoc #
Outputable LinkSpec |
Instance details Defined in GHC.StgToJS.Linker.Linker Methods ppr :: LinkSpec -> SDoc #
Outputable LinkPlan |
Instance details Defined in GHC.StgToJS.Linker.Types Methods ppr :: LinkPlan -> SDoc #
Outputable BlockInfo |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: BlockInfo -> SDoc #
Outputable BlockLocation |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: BlockLocation -> 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 SlotCount |
Instance details Defined in GHC.StgToJS.Utils Methods ppr :: SlotCount -> SDoc #
Outputable EarlyDerivSpec |
Instance details Defined in GHC.Tc.Deriv Methods ppr :: EarlyDerivSpec -> SDoc #
Outputable DerivInstTys |
Instance details Defined in GHC.Tc.Deriv.Generate Methods ppr :: DerivInstTys -> SDoc #
Outputable DerivContext |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivContext -> SDoc #
Outputable DerivEnv |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivEnv -> SDoc #
Outputable DerivSpecMechanism |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivSpecMechanism -> SDoc #
Outputable PredSpec |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: PredSpec -> 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 HsTyVarBndrExistentialFlag |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: HsTyVarBndrExistentialFlag -> SDoc #
Outputable TypeDataForbids |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: TypeDataForbids -> SDoc #
Outputable PromotionErr |
Instance details Defined in GHC.Tc.Errors.Types.PromotionErr Methods ppr :: PromotionErr -> SDoc #
Outputable GeneralisationPlan |
Instance details Defined in GHC.Tc.Gen.Bind Methods ppr :: GeneralisationPlan -> SDoc #
Outputable AppCtxt |
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: AppCtxt -> SDoc #
Outputable EWrap |
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: EWrap -> SDoc #
Outputable ContextKind |
Instance details Defined in GHC.Tc.Gen.HsType Methods ppr :: ContextKind -> SDoc #
Outputable HoleMode |
Instance details Defined in GHC.Tc.Gen.HsType Methods ppr :: HoleMode -> SDoc #
Outputable SAKS_or_CUSK |
Instance details Defined in GHC.Tc.Gen.HsType Methods ppr :: SAKS_or_CUSK -> SDoc #
Outputable TcTyMode |
Instance details Defined in GHC.Tc.Gen.HsType Methods ppr :: TcTyMode -> SDoc #
Outputable LetBndrSpec |
Instance details Defined in GHC.Tc.Gen.Pat Methods ppr :: LetBndrSpec -> SDoc #
Outputable ClsInstResult |
Instance details Defined in GHC.Tc.Instance.Class Methods ppr :: ClsInstResult -> SDoc #
Outputable InferMode |
Instance details Defined in GHC.Tc.Solver Methods ppr :: InferMode -> SDoc #
Outputable InertCans |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InertCans -> SDoc #
Outputable InertSet |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InertSet -> SDoc #
Outputable InteractResult |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InteractResult -> SDoc #
Outputable WorkList |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: WorkList -> SDoc #
Outputable DefaultingProposal |
Instance details Defined in GHC.Tc.Types Methods ppr :: DefaultingProposal -> SDoc #
Outputable IdBindingInfo |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: IdBindingInfo -> SDoc #
Outputable TcBinder |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcBinder -> SDoc #
Outputable TcCompleteSig |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcCompleteSig -> SDoc #
Outputable TcIdSig |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSig -> SDoc #
Outputable TcIdSigInst |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSigInst -> SDoc #
Outputable TcPartialSig |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcPartialSig -> SDoc #
Outputable TcPatSynSig |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcPatSynSig -> SDoc #
Outputable TcSigInfo |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcSigInfo -> SDoc #
Outputable TcTyThing |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcTyThing -> SDoc #
Outputable CanEqLHS |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CanEqLHS -> SDoc #
Outputable CheckTyEqProblem |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqProblem -> 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 DictCt |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: DictCt -> SDoc #
Outputable EqCt |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: EqCt -> 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 IrredCt |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: IrredCt -> 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 FixedRuntimeRepOrigin |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepOrigin -> SDoc #
Outputable InstanceWhat |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: InstanceWhat -> SDoc #
Outputable NakedScFlag |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: NakedScFlag -> 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 Rank |
Instance details Defined in GHC.Tc.Types.Rank Methods ppr :: Rank -> SDoc #
Outputable ThStage |
Instance details Defined in GHC.Tc.Types.TH Methods ppr :: ThStage -> SDoc #
Outputable IsExtraConstraint |
Instance details Defined in GHC.Tc.Utils.Monad Methods ppr :: IsExtraConstraint -> SDoc #
Outputable CandidatesQTvs |
Instance details Defined in GHC.Tc.Utils.TcMType Methods ppr :: CandidatesQTvs -> SDoc #
Outputable ExpPatType |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: ExpPatType -> 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 AreUnifying |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: AreUnifying -> SDoc #
Outputable LevelCheck |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: LevelCheck -> SDoc #
Outputable ExpandMode |
Instance details Defined in GHC.Tc.Validity Methods ppr :: ExpandMode -> SDoc #
Outputable TypeOrKindCtxt |
Instance details Defined in GHC.Tc.Validity Methods ppr :: TypeOrKindCtxt -> SDoc #
Outputable ValidityEnv |
Instance details Defined in GHC.Tc.Validity Methods ppr :: ValidityEnv -> SDoc #
Outputable ZonkEnv |
Instance details Defined in GHC.Tc.Zonk.Env 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 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 DoPmc |
Instance details Defined in GHC.Types.Basic Methods ppr :: DoPmc -> SDoc #
Outputable FunctionOrData |
Instance details Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc #
Outputable GenReason |
Instance details Defined in GHC.Types.Basic Methods ppr :: GenReason -> 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 TypeOrData |
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrData -> 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 LinkedDiagCode |
Instance details Defined in GHC.Types.Error Methods ppr :: LinkedDiagCode -> SDoc #
Outputable ResolvedDiagnosticReason |
Instance details Defined in GHC.Types.Error Methods ppr :: ResolvedDiagnosticReason -> 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 ConInfo |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: ConInfo -> SDoc #
Outputable ConLikeName |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: ConLikeName -> SDoc #
Outputable GREInfo |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: GREInfo -> SDoc #
Outputable RecFieldInfo |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: RecFieldInfo -> 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 Literal |
Instance details Defined in GHC.Types.Literal Methods ppr :: Literal -> 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 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 LookupChild |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: LookupChild -> 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 SlotTy |
Instance details Defined in GHC.Types.RepType Methods ppr :: SlotTy -> 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 DeltaPos |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: DeltaPos -> SDoc #
Outputable NoComments |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: NoComments -> 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 InWarningCategory |
Instance details Defined in GHC.Unit.Module.Warnings Methods ppr :: InWarningCategory -> SDoc #
Outputable WarningCategory |
Instance details Defined in GHC.Unit.Module.Warnings Methods ppr :: WarningCategory -> SDoc #
Outputable UnitPprInfo |
Instance details Defined in GHC.Unit.Ppr Methods ppr :: UnitPprInfo -> 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 JoinPointHood |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: JoinPointHood -> 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 ContainingSyntax |
Instance details Defined in GHC.Wasm.ControlFlow.FromCmm Methods ppr :: ContainingSyntax -> SDoc #
Outputable Context |
Instance details Defined in GHC.Wasm.ControlFlow.FromCmm Methods ppr :: Context -> 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 Void |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Void -> SDoc #
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 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 (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 a => Outputable (ProtoBCO a) |
Instance details Defined in GHC.ByteCode.Instr Methods ppr :: ProtoBCO 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 instr => Outputable (InstrSR instr) |
Instance details Defined in GHC.CmmToAsm.Reg.Liveness Methods ppr :: InstrSR instr -> SDoc #
Outputable instr => Outputable (LiveInstr instr) |
Instance details Defined in GHC.CmmToAsm.Reg.Liveness Methods ppr :: LiveInstr instr -> 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 i => Outputable (UnboxingDecision i) |
Instance details Defined in GHC.Core.Opt.WorkWrap.Utils Methods ppr :: UnboxingDecision i -> 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 a => Outputable (OnOff a) |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: OnOff a -> SDoc #
Outputable (KnotVars a) |
Instance details Defined in GHC.Driver.Env.KnotVars Methods ppr :: KnotVars a -> SDoc #
Outputable a => Outputable (CheckResult a) |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: CheckResult a -> SDoc #
Outputable p => Outputable (PmGRHS p) |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmGRHS p -> SDoc #
Outputable p => Outputable (PmGRHSs p) |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmGRHSs p -> SDoc #
Outputable p => Outputable (PmMatch p) |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmMatch p -> SDoc #
Outputable p => Outputable (PmMatchGroup p) |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmMatchGroup p -> SDoc #
Outputable p => Outputable (PmPatBind p) |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmPatBind p -> 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 tag => Outputable (AnnSortKey tag) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnSortKey tag -> SDoc #
Outputable a => Outputable (EpAnn a) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnn a -> SDoc #
Outputable (ArgPatBuilder GhcPs) |
Instance details Defined in GHC.Parser.PostProcess Methods ppr :: ArgPatBuilder GhcPs -> SDoc #
Outputable (PatBuilder GhcPs) |
Instance details Defined in GHC.Parser.Types Methods ppr :: PatBuilder GhcPs -> SDoc #
Outputable a => Outputable (StmtTree a) |
Instance details Defined in GHC.Rename.Expr Methods ppr :: StmtTree a -> 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 #
Outputable a => Outputable (NonVoid a) |
Instance details Defined in GHC.StgToCmm.Closure Methods ppr :: NonVoid a -> SDoc #
Outputable theta => Outputable (DerivSpec theta) |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivSpec theta -> SDoc #
OutputableBndrId p => Outputable (HsTypeOrSigType (GhcPass p)) |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: HsTypeOrSigType (GhcPass p) -> SDoc #
OutputableBndrId (XPass p) => Outputable (EValArg p) |
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: EValArg p -> SDoc #
OutputableBndrId (XPass p) => Outputable (HsExprArg p) |
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: HsExprArg p -> SDoc #
Outputable (FunDepEqn a) |
Instance details Defined in GHC.Tc.Instance.FunDeps Methods ppr :: FunDepEqn a -> SDoc #
Outputable a => Outputable (StopOrContinue a) |
Instance details Defined in GHC.Tc.Solver.Monad Methods ppr :: StopOrContinue a -> SDoc #
OutputableBndrId a => Outputable (InstInfo (GhcPass a)) |
Instance details Defined in GHC.Tc.Utils.Env Methods ppr :: InstInfo (GhcPass a) -> SDoc #
Outputable (TyEqFamApp a) |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: TyEqFamApp a -> SDoc #
Outputable (TyEqFlags a) |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: TyEqFlags 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 #
Outputable (TyConFlavour tc) |
Instance details Defined in GHC.Types.Basic Methods ppr :: TyConFlavour tc -> 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 info => Outputable (GlobalRdrEltX info) |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: GlobalRdrEltX info -> SDoc #
Outputable (WhichGREs info) |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: WhichGREs info -> SDoc #
Outputable a => Outputable (EpaLocation' a) |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: EpaLocation' 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 (Edit a) |
Instance details Defined in GHC.Types.Unique.FM Methods ppr :: Edit 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 (NonEmpty a) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonEmpty 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 (Arg a b) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Arg a b -> SDoc #
(Outputable key, Outputable elt) => Outputable (Map key elt) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Map key elt -> SDoc #
(OutputableP Platform statics, OutputableP Platform instr) => Outputable (RegAllocStats statics instr) |
Instance details Defined in GHC.CmmToAsm.Reg.Graph.Stats Methods ppr :: RegAllocStats statics instr -> 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 (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 a, Outputable b) => Outputable (PuResult a b) |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: PuResult a b -> SDoc #
(Outputable a, Outputable e) => Outputable (GenLocated (EpAnn a) e) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated (EpAnn a) e -> SDoc #
Outputable e => Outputable (GenLocated EpaLocation e) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated EpaLocation e -> SDoc #
Outputable a => Outputable (GenLocated TokenLocation a) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated TokenLocation a -> SDoc #
Outputable (GenLocated NoCommentsLocation EpaComment) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated NoCommentsLocation EpaComment -> SDoc #
Outputable e => Outputable (GenLocated RealSrcSpan e) |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: GenLocated RealSrcSpan e -> SDoc #
(Outputable k, Outputable a) => Outputable (UniqMap k a) |
Instance details Defined in GHC.Types.Unique.Map Methods ppr :: UniqMap k a -> SDoc #
(Outputable key, Outputable ele) => Outputable (Shared key ele) |
Instance details Defined in GHC.Types.Unique.SDFM Methods ppr :: Shared key ele -> SDoc #
(Outputable key, Outputable ele) => Outputable (UniqSDFM key ele) |
Instance details Defined in GHC.Types.Unique.SDFM Methods ppr :: UniqSDFM key ele -> 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 (Either a b) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Either a b -> SDoc #
(Outputable a, Outputable b) => Outputable (a, b) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b) -> 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 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 `doc`s vertically with dovetailing.

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

Join two `doc`s together horizontally with a gap between them.

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

Join two `doc`s 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 #

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

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 #

type PrintUnqualified = NamePprCtx #

defaultUserStyle :: PprStyle #

withPprStyle :: PprStyle -> SDoc -> SDoc #

# Parser errors

type PsWarning = PsMessage #

type PsError = PsMessage #

defaultDiagnosticOpts :: HasDefaultDiagnosticOpts (DiagnosticOpts opts) => DiagnosticOpts opts #

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 |

Instance details

Defined in GHC.Driver.Errors.Types

type Rep GhcMessage = D1 ('MetaData "GhcMessage" "GHC.Driver.Errors.Types" "ghc-9.10.1-inplace" '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 (DiagnosticOpts GhcMessage)))))))

Methods

from :: GhcMessage -> Rep GhcMessage x #

to :: Rep GhcMessage x -> GhcMessage #

type DiagnosticOpts GhcMessage |
Instance details Defined in GHC.Driver.Errors.Ppr type DiagnosticOpts GhcMessage = GhcMessageOpts
type Rep GhcMessage |

Instance details

Defined in GHC.Driver.Errors.Types

type Rep GhcMessage = D1 ('MetaData "GhcMessage" "GHC.Driver.Errors.Types" "ghc-9.10.1-inplace" '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 (DiagnosticOpts GhcMessage)))))))

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 |

Instance details

Defined in GHC.Driver.Errors.Types

type Rep DriverMessage = D1 ('MetaData "DriverMessage" "GHC.Driver.Errors.Types" "ghc-9.10.1-inplace" 'False) (((((C1 ('MetaCons "DriverUnknownMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnknownDiagnostic (DiagnosticOpts DriverMessage)))) :+: 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]))) :+: (C1 ('MetaCons "DriverInterfaceError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfaceMessage)) :+: C1 ('MetaCons "DriverInconsistentDynFlags" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "DriverSafeHaskellIgnoredExtension" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Extension)) :+: C1 ('MetaCons "DriverPackageTrustIgnored" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DriverUnrecognisedFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "DriverDeprecatedFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))))

Methods

from :: DriverMessage -> Rep DriverMessage x #

to :: Rep DriverMessage x -> DriverMessage #

type DiagnosticOpts DriverMessage |
Instance details Defined in GHC.Driver.Errors.Ppr type DiagnosticOpts DriverMessage = DriverMessageOpts
type Rep DriverMessage |

Instance details

Defined in GHC.Driver.Errors.Types

type Rep DriverMessage = D1 ('MetaData "DriverMessage" "GHC.Driver.Errors.Types" "ghc-9.10.1-inplace" 'False) (((((C1 ('MetaCons "DriverUnknownMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UnknownDiagnostic (DiagnosticOpts DriverMessage)))) :+: 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]))) :+: (C1 ('MetaCons "DriverInterfaceError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IfaceMessage)) :+: C1 ('MetaCons "DriverInconsistentDynFlags" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "DriverSafeHaskellIgnoredExtension" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Extension)) :+: C1 ('MetaCons "DriverPackageTrustIgnored" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DriverUnrecognisedFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "DriverDeprecatedFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))))

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

Functor Messages |
Instance details Defined in GHC.Types.Error Methods fmap :: (a -> b) -> Messages a -> Messages b # (<$) :: a -> Messages b -> Messages a #
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) #
Diagnostic e => ToJson (Messages e) |
Instance details Defined in GHC.Types.Error Methods json :: Messages e -> JsonDoc #
Diagnostic e => Outputable (Messages e) |
Instance details Defined in GHC.Types.Error Methods ppr :: Messages e -> SDoc #
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 #

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.
WarningWithFlags !(NonEmpty WarningFlag) | Warning was enabled with the flag.
WarningWithCategory !WarningCategory | Warning was enabled with a custom category.
ErrorWithoutFlag | Born as an error.

Bundled Patterns

pattern WarningWithFlag :: WarningFlag -> DiagnosticReason | The single warning case `DiagnosticReason` is very common.

#### Instances

Instances details

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

renderDiagnosticMessageWithHints :: 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 #

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 `MsgEnvelope`s are aggregated into `Messages` that are returned to the user.

#### Instances

Instances details

Functor MsgEnvelope |
Instance details Defined in GHC.Types.Error Methods fmap :: (a -> b) -> MsgEnvelope a -> MsgEnvelope b # (<$) :: a -> MsgEnvelope b -> MsgEnvelope a #
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) #
Diagnostic e => ToJson (MsgEnvelope e) |
Instance details Defined in GHC.Types.Error Methods json :: MsgEnvelope e -> JsonDoc #
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 #

type WarnMsg = MsgEnvelope DecoratedSDoc #

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 `SourceError`s 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 # backtraceDesired :: SourceError -> Bool #
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 #

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

mkSrcErr :: Messages GhcMessage -> SourceError #

srcErrorMessages :: SourceError -> Messages GhcMessage #

textDoc :: String -> SDoc #