ghc-9.10.3: The GHC API

Safe Haskell | None
Language | GHC2021

GHC.Utils.Outputable

Contents

- Type classes
- Pretty printing combinators
- Converting `SDoc` into strings and outputting it
- Controlling the style in which output is printed

Description

This module defines classes and functions for pretty-printing. It also exports a number of helpful debugging and other utilities such as `trace` and `panic`.

The interface to this module is very similar to the standard Hughes-PJ pretty printing module, except that it exports a number of additional functions that are rarely used, and works over the `SDoc` type.

Synopsis

- class Outputable a where
  - ppr :: a -> SDoc
- class Outputable a => OutputableBndr a where
  - pprBndr :: BindingSite -> a -> SDoc
  - pprPrefixOcc :: a -> SDoc
  - pprInfixOcc :: a -> SDoc
  - bndrIsJoin_maybe :: a -> JoinPointHood
- class OutputableP env a where
  - pdoc :: env -> a -> SDoc
- data BindingSite
  - = LambdaBind
  - | CaseBind
  - | CasePatBind
  - | LetBind
- data JoinPointHood
  - = JoinPoint !Int
  - | NotJoinPoint
- isJoinPoint :: JoinPointHood -> Bool
- class IsOutput doc where
  - empty :: doc
  - docWithContext :: (SDocContext -> doc) -> doc
  - docWithStyle :: doc -> (PprStyle -> SDoc) -> doc
- class IsOutput doc => IsLine doc where
  - char :: Char -> doc
  - text :: String -> doc
  - ftext :: FastString -> doc
  - ztext :: FastZString -> doc
  - (<>) :: doc -> doc -> doc
  - (<+>) :: doc -> doc -> doc
  - sep :: [doc] -> doc
  - fsep :: [doc] -> doc
  - hcat :: [doc] -> doc
  - hsep :: [doc] -> doc
  - dualLine :: SDoc -> HLine -> doc
- class (IsOutput doc, IsLine (Line doc)) => IsDoc doc where
  - type Line doc = (r :: Type) | r -> doc
  - line :: Line doc -> doc
  - ($$) :: doc -> doc -> doc
  - lines_ :: [Line doc] -> doc
  - vcat :: [doc] -> doc
  - dualDoc :: SDoc -> HDoc -> doc
- data HLine
- data HDoc
- data SDoc
- runSDoc :: SDoc -> SDocContext -> Doc
- newtype PDoc a = PDoc a
- docToSDoc :: Doc -> SDoc
- interppSP :: Outputable a => [a] -> SDoc
- interpp'SP :: Outputable a => [a] -> SDoc
- interpp'SP' :: (a -> SDoc) -> [a] -> SDoc
- pprQuotedList :: Outputable a => [a] -> SDoc
- pprWithCommas :: (a -> SDoc) -> [a] -> SDoc
- quotedListWithOr :: [SDoc] -> SDoc
- quotedListWithNor :: [SDoc] -> SDoc
- quotedListWithAnd :: [SDoc] -> SDoc
- pprWithBars :: (a -> SDoc) -> [a] -> SDoc
- spaceIfSingleQuote :: SDoc -> SDoc
- isEmpty :: SDocContext -> SDoc -> Bool
- nest :: Int -> SDoc -> SDoc
- ptext :: PtrString -> SDoc
- int :: IsLine doc => Int -> doc
- intWithCommas :: Integral a => a -> SDoc
- integer :: IsLine doc => Integer -> doc
- word64 :: IsLine doc => Word64 -> doc
- word :: Integer -> SDoc
- float :: IsLine doc => Float -> doc
- double :: IsLine doc => Double -> doc
- rational :: Rational -> SDoc
- doublePrec :: Int -> Double -> SDoc
- parens :: IsLine doc => doc -> doc
- cparen :: Bool -> SDoc -> SDoc
- brackets :: IsLine doc => doc -> doc
- braces :: IsLine doc => doc -> doc
- quotes :: SDoc -> SDoc
- quote :: SDoc -> SDoc
- quoteIfPunsEnabled :: SDoc -> SDoc
- doubleQuotes :: IsLine doc => doc -> doc
- angleBrackets :: IsLine doc => doc -> doc
- semi :: IsLine doc => doc
- comma :: IsLine doc => doc
- colon :: IsLine doc => doc
- dcolon :: SDoc
- space :: IsLine doc => doc
- equals :: IsLine doc => doc
- dot :: IsLine doc => doc
- vbar :: IsLine doc => doc
- arrow :: SDoc
- lollipop :: SDoc
- larrow :: SDoc
- darrow :: SDoc
- arrowt :: SDoc
- larrowt :: SDoc
- arrowtt :: SDoc
- larrowtt :: SDoc
- lambda :: SDoc
- lparen :: IsLine doc => doc
- rparen :: IsLine doc => doc
- lbrack :: IsLine doc => doc
- rbrack :: IsLine doc => doc
- lbrace :: IsLine doc => doc
- rbrace :: IsLine doc => doc
- underscore :: IsLine doc => doc
- blankLine :: SDoc
- forAllLit :: SDoc
- bullet :: SDoc
- ($+$) :: SDoc -> SDoc -> SDoc
- cat :: [SDoc] -> SDoc
- fcat :: [SDoc] -> SDoc
- hang :: SDoc -> Int -> SDoc -> SDoc
- hangNotEmpty :: SDoc -> Int -> SDoc -> SDoc
- punctuate :: IsLine doc => doc -> [doc] -> [doc]
- punctuateFinal :: IsLine doc => doc -> doc -> [doc] -> [doc]
- ppWhen :: IsOutput doc => Bool -> doc -> doc
- ppUnless :: IsOutput doc => Bool -> doc -> doc
- ppWhenOption :: (SDocContext -> Bool) -> SDoc -> SDoc
- ppUnlessOption :: (SDocContext -> Bool) -> SDoc -> SDoc
- speakNth :: Int -> SDoc
- speakN :: Int -> SDoc
- speakNOf :: Int -> SDoc -> SDoc
- plural :: [a] -> SDoc
- singular :: [a] -> SDoc
- isOrAre :: [a] -> SDoc
- doOrDoes :: [a] -> SDoc
- itsOrTheir :: [a] -> SDoc
- thisOrThese :: [a] -> SDoc
- hasOrHave :: [a] -> SDoc
- itOrThey :: [a] -> SDoc
- unicodeSyntax :: SDoc -> SDoc -> SDoc
- coloured :: PprColour -> SDoc -> SDoc
- keyword :: SDoc -> SDoc
- printSDoc :: SDocContext -> Mode -> Handle -> SDoc -> IO ()
- printSDocLn :: SDocContext -> Mode -> Handle -> SDoc -> IO ()
- bufLeftRenderSDoc :: SDocContext -> BufHandle -> SDoc -> IO ()
- pprCode :: SDoc -> SDoc
- showSDocOneLine :: SDocContext -> SDoc -> String
- showSDocUnsafe :: SDoc -> String
- showPprUnsafe :: Outputable a => a -> String
- renderWithContext :: SDocContext -> SDoc -> String
- pprDebugAndThen :: SDocContext -> (String -> a) -> SDoc -> SDoc -> a
- pprInfixVar :: Bool -> SDoc -> SDoc
- pprPrefixVar :: Bool -> SDoc -> SDoc
- pprHsChar :: Char -> SDoc
- pprHsString :: FastString -> SDoc
- pprHsBytes :: ByteString -> SDoc
- primFloatSuffix :: SDoc
- primCharSuffix :: SDoc
- primDoubleSuffix :: SDoc
- primInt8Suffix :: SDoc
- primWord8Suffix :: SDoc
- primInt16Suffix :: SDoc
- primWord16Suffix :: SDoc
- primInt32Suffix :: SDoc
- primWord32Suffix :: SDoc
- primInt64Suffix :: SDoc
- primWord64Suffix :: SDoc
- primIntSuffix :: SDoc
- primWordSuffix :: SDoc
- pprPrimChar :: Char -> SDoc
- pprPrimInt :: Integer -> SDoc
- pprPrimWord :: Integer -> SDoc
- pprPrimInt8 :: Integer -> SDoc
- pprPrimWord8 :: Integer -> SDoc
- pprPrimInt16 :: Integer -> SDoc
- pprPrimWord16 :: Integer -> SDoc
- pprPrimInt32 :: Integer -> SDoc
- pprPrimWord32 :: Integer -> SDoc
- pprPrimInt64 :: Integer -> SDoc
- pprPrimWord64 :: Integer -> SDoc
- pprFastFilePath :: FastString -> SDoc
- pprFilePathString :: IsLine doc => FilePath -> doc
- pprModuleName :: IsLine doc => ModuleName -> doc
- data PprStyle
  - = PprUser NamePprCtx Depth Coloured
  - | PprDump NamePprCtx
  - | PprCode
- data NamePprCtx = QueryQualify {
  - queryQualifyName :: QueryQualifyName
  - queryQualifyModule :: QueryQualifyModule
  - queryQualifyPackage :: QueryQualifyPackage
  - queryPromotionTick :: QueryPromotionTick
  }
- type QueryQualifyName = Module -> OccName -> QualifyName
- type QueryQualifyModule = Module -> Bool
- type QueryQualifyPackage = Unit -> Bool
- type QueryPromotionTick = PromotedItem -> Bool
- data PromotedItem
  - = PromotedItemListSyntax IsEmptyOrSingleton
  - | PromotedItemTupleSyntax
  - | PromotedItemDataCon OccName
- newtype IsEmptyOrSingleton = IsEmptyOrSingleton Bool
- isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton
- data PromotionTickContext = PromTickCtx {
  - ptcListTuplePuns :: !Bool
  - ptcPrintRedundantPromTicks :: !Bool
  }
- reallyAlwaysQualify :: NamePprCtx
- reallyAlwaysQualifyNames :: QueryQualifyName
- alwaysQualify :: NamePprCtx
- alwaysQualifyNames :: QueryQualifyName
- alwaysQualifyModules :: QueryQualifyModule
- neverQualify :: NamePprCtx
- neverQualifyNames :: QueryQualifyName
- neverQualifyModules :: QueryQualifyModule
- alwaysQualifyPackages :: QueryQualifyPackage
- neverQualifyPackages :: QueryQualifyPackage
- alwaysPrintPromTick :: QueryPromotionTick
- data QualifyName
  - = NameUnqual
  - | NameQual ModuleName
  - | NameNotInScope1
  - | NameNotInScope2
- queryQual :: PprStyle -> NamePprCtx
- sdocOption :: (SDocContext -> a) -> (a -> SDoc) -> SDoc
- updSDocContext :: (SDocContext -> SDocContext) -> SDoc -> SDoc
- data SDocContext = SDC {
  - sdocStyle :: !PprStyle
  - sdocColScheme :: !Scheme
  - sdocLastColour :: !PprColour
  - sdocShouldUseColor :: !Bool
  - sdocDefaultDepth :: !Int
  - sdocLineLength :: !Int
  - sdocCanUseUnicode :: !Bool
  - sdocPrintErrIndexLinks :: !Bool
  - sdocHexWordLiterals :: !Bool
  - sdocPprDebug :: !Bool
  - sdocPrintUnicodeSyntax :: !Bool
  - sdocPrintCaseAsLet :: !Bool
  - sdocPrintTypecheckerElaboration :: !Bool
  - sdocPrintAxiomIncomps :: !Bool
  - sdocPrintExplicitKinds :: !Bool
  - sdocPrintExplicitCoercions :: !Bool
  - sdocPrintExplicitRuntimeReps :: !Bool
  - sdocPrintExplicitForalls :: !Bool
  - sdocPrintPotentialInstances :: !Bool
  - sdocPrintEqualityRelations :: !Bool
  - sdocSuppressTicks :: !Bool
  - sdocSuppressTypeSignatures :: !Bool
  - sdocSuppressTypeApplications :: !Bool
  - sdocSuppressIdInfo :: !Bool
  - sdocSuppressCoercions :: !Bool
  - sdocSuppressCoercionTypes :: !Bool
  - sdocSuppressUnfoldings :: !Bool
  - sdocSuppressVarKinds :: !Bool
  - sdocSuppressUniques :: !Bool
  - sdocSuppressModulePrefixes :: !Bool
  - sdocSuppressStgExts :: !Bool
  - sdocSuppressStgReps :: !Bool
  - sdocErrorSpans :: !Bool
  - sdocStarIsType :: !Bool
  - sdocLinearTypes :: !Bool
  - sdocListTuplePuns :: !Bool
  - sdocPrintTypeAbbreviations :: !Bool
  - sdocUnitIdForUser :: !(FastString -> SDoc)
  }
- sdocWithContext :: (SDocContext -> SDoc) -> SDoc
- defaultSDocContext :: SDocContext
- traceSDocContext :: SDocContext
- getPprStyle :: (PprStyle -> SDoc) -> SDoc
- withPprStyle :: PprStyle -> SDoc -> SDoc
- setStyleColoured :: Bool -> PprStyle -> PprStyle
- pprDeeper :: SDoc -> SDoc
- pprDeeperList :: ([SDoc] -> SDoc) -> [SDoc] -> SDoc
- pprSetDepth :: Depth -> SDoc -> SDoc
- codeStyle :: PprStyle -> Bool
- userStyle :: PprStyle -> Bool
- dumpStyle :: PprStyle -> Bool
- qualName :: PprStyle -> QueryQualifyName
- qualModule :: PprStyle -> QueryQualifyModule
- qualPackage :: PprStyle -> QueryQualifyPackage
- promTick :: PprStyle -> QueryPromotionTick
- mkErrStyle :: NamePprCtx -> PprStyle
- defaultErrStyle :: PprStyle
- defaultDumpStyle :: PprStyle
- mkDumpStyle :: NamePprCtx -> PprStyle
- defaultUserStyle :: PprStyle
- mkUserStyle :: NamePprCtx -> Depth -> PprStyle
- cmdlineParserStyle :: PprStyle
- data Depth
  - = AllTheWay
  - | PartWay Int
  - | DefaultDepth
- withUserStyle :: NamePprCtx -> Depth -> SDoc -> SDoc
- withErrStyle :: NamePprCtx -> SDoc -> SDoc
- ifPprDebug :: IsOutput doc => doc -> doc -> doc
- whenPprDebug :: IsOutput doc => doc -> doc
- getPprDebug :: IsOutput doc => (Bool -> doc) -> doc
- bPutHDoc :: BufHandle -> SDocContext -> HDoc -> IO ()

# Type classes

class Outputable a where Source #

Class designating that some type has an `SDoc` representation

Methods

ppr :: a -> SDoc Source #

#### Instances

Instances details

Outputable CoreModule Source # |
Instance details Defined in GHC Methods ppr :: CoreModule -> SDoc Source #
Outputable PrimCall Source # |
Instance details Defined in GHC.Builtin.PrimOps Methods ppr :: PrimCall -> SDoc Source #
Outputable PrimOp Source # |
Instance details Defined in GHC.Builtin.PrimOps Methods ppr :: PrimOp -> SDoc Source #
Outputable BCInstr Source # |
Instance details Defined in GHC.ByteCode.Instr Methods ppr :: BCInstr -> SDoc Source #
Outputable LocalLabel Source # |
Instance details Defined in GHC.ByteCode.Instr Methods ppr :: LocalLabel -> SDoc Source #
Outputable ByteOff Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: ByteOff -> SDoc Source #
Outputable CgBreakInfo Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CgBreakInfo -> SDoc Source #
Outputable CompiledByteCode Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CompiledByteCode -> SDoc Source #
Outputable HalfWord Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: HalfWord -> SDoc Source #
Outputable NativeCallInfo Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: NativeCallInfo -> SDoc Source #
Outputable RegBitmap Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: RegBitmap -> SDoc Source #
Outputable UnlinkedBCO Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: UnlinkedBCO -> SDoc Source #
Outputable WordOff Source # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: WordOff -> SDoc Source #
Outputable CmmStackInfo Source # |
Instance details Defined in GHC.Cmm Methods ppr :: CmmStackInfo -> SDoc Source #
Outputable CmmStatic Source # |
Instance details Defined in GHC.Cmm Methods ppr :: CmmStatic -> SDoc Source #
Outputable ConInfoTableLocation Source # |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: ConInfoTableLocation -> SDoc Source #
Outputable ForeignLabelSource Source # |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: ForeignLabelSource -> SDoc Source #
Outputable ParamLocation Source # |
Instance details Defined in GHC.Cmm.CallConv Methods ppr :: ParamLocation -> SDoc Source #
Outputable Label Source # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: Label -> SDoc Source #
Outputable LabelSet Source # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelSet -> SDoc Source #
Outputable DominatorSet Source # |
Instance details Defined in GHC.Cmm.Dominators Methods ppr :: DominatorSet -> SDoc Source #
Outputable RPNum Source # |
Instance details Defined in GHC.Cmm.Dominators Methods ppr :: RPNum -> SDoc Source #
Outputable Area Source # |
Instance details Defined in GHC.Cmm.Expr Methods ppr :: Area -> SDoc Source #
Outputable CmmLit Source # |
Instance details Defined in GHC.Cmm.Expr Methods ppr :: CmmLit -> SDoc Source #
Outputable CmmReturnInfo Source # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: CmmReturnInfo -> SDoc Source #
Outputable CmmTickScope Source # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: CmmTickScope -> SDoc Source #
Outputable Convention Source # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: Convention -> SDoc Source #
Outputable ForeignConvention Source # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: ForeignConvention -> SDoc Source #
Outputable Status Source # |
Instance details Defined in GHC.Cmm.ProcPoint Methods ppr :: Status -> SDoc Source #
Outputable CmmReg Source # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: CmmReg -> SDoc Source #
Outputable GlobalReg Source # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: GlobalReg -> SDoc Source #
Outputable GlobalRegUse Source # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: GlobalRegUse -> SDoc Source #
Outputable LocalReg Source # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: LocalReg -> SDoc Source #
Outputable CmmType Source # |
Instance details Defined in GHC.Cmm.Type Methods ppr :: CmmType -> SDoc Source #
Outputable ForeignHint Source # |
Instance details Defined in GHC.Cmm.Type Methods ppr :: ForeignHint -> SDoc Source #
Outputable Width Source # |
Instance details Defined in GHC.Cmm.Type Methods ppr :: Width -> SDoc Source #
Outputable JumpDest Source # |
Instance details Defined in GHC.CmmToAsm.AArch64.RegInfo Methods ppr :: JumpDest -> SDoc Source #
Outputable CfgEdge Source # |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: CfgEdge -> SDoc Source #
Outputable EdgeInfo Source # |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: EdgeInfo -> SDoc Source #
Outputable EdgeWeight Source # |
Instance details Defined in GHC.CmmToAsm.CFG Methods ppr :: EdgeWeight -> SDoc Source #
Outputable RegUsage Source # | Get the registers that are being used by this instruction. regUsage doesn't need to do any trickery for jumps and such. Just state precisely the regs read and written by that insn. The consequences of control flow transfers, as far as register allocation goes, are taken care of by the register allocator. RegUsage = RU [regs] [regs]
Instance details Defined in GHC.CmmToAsm.AArch64.Instr Methods ppr :: RegUsage -> SDoc Source #
Outputable JumpDest Source # |
Instance details Defined in GHC.CmmToAsm.PPC.RegInfo Methods ppr :: JumpDest -> SDoc Source #
Outputable SpillStats Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Graph.Spill Methods ppr :: SpillStats -> SDoc Source #
Outputable FreeRegs Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.AArch64 Methods ppr :: FreeRegs -> SDoc Source #
Outputable Loc Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.Base Methods ppr :: Loc -> SDoc Source #
Outputable FreeRegs Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.PPC Methods ppr :: FreeRegs -> SDoc Source #
Outputable FreeRegs Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.X86 Methods ppr :: FreeRegs -> SDoc Source #
Outputable FreeRegs Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Linear.X86_64 Methods ppr :: FreeRegs -> SDoc Source #
Outputable BrTableInterval Source # |
Instance details Defined in GHC.CmmToAsm.Wasm.Types Methods ppr :: BrTableInterval -> SDoc Source #
Outputable JumpDest Source # |
Instance details Defined in GHC.CmmToAsm.X86.Instr Methods ppr :: JumpDest -> SDoc Source #
Outputable AltCon Source # |
Instance details Defined in GHC.Core Methods ppr :: AltCon -> SDoc Source #
Outputable CoreRule Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: CoreRule -> SDoc Source #
Outputable Unfolding Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: Unfolding -> SDoc Source #
Outputable UnfoldingCache Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: UnfoldingCache -> SDoc Source #
Outputable UnfoldingGuidance Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: UnfoldingGuidance -> SDoc Source #
Outputable Class Source # |
Instance details Defined in GHC.Core.Class Methods ppr :: Class -> SDoc Source #
Outputable LiftingContext Source # |
Instance details Defined in GHC.Core.Coercion Methods ppr :: LiftingContext -> SDoc Source #
Outputable CoAxBranch Source # |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxBranch -> SDoc Source #
Outputable CoAxiomRule Source # |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxiomRule -> SDoc Source #
Outputable ConLike Source # |
Instance details Defined in GHC.Core.ConLike Methods ppr :: ConLike -> SDoc Source #
Outputable DataCon Source # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: DataCon -> SDoc Source #
Outputable EqSpec Source # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: EqSpec -> SDoc Source #
Outputable HsImplBang Source # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsImplBang -> SDoc Source #
Outputable HsSrcBang Source # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsSrcBang -> SDoc Source #
Outputable StrictnessMark Source # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: StrictnessMark -> SDoc Source #
Outputable FamInst Source # |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInst -> SDoc Source #
Outputable FamInstEnv Source # |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstEnv -> SDoc Source #
Outputable FamInstMatch Source # |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstMatch -> SDoc Source #
Outputable ClsInst Source # |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: ClsInst -> SDoc Source #
Outputable InstEnv Source # |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: InstEnv -> SDoc Source #
Outputable PotentialUnifiers Source # |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: PotentialUnifiers -> SDoc Source #
Outputable FloatBind Source # |
Instance details Defined in GHC.Core.Make Methods ppr :: FloatBind -> SDoc Source #
Outputable IsSubmult Source # |
Instance details Defined in GHC.Core.Multiplicity Methods ppr :: IsSubmult -> SDoc Source #

Outputable ArityType Source #

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 Source #
Outputable CallerCcFilter Source # |
Instance details Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: CallerCcFilter -> SDoc Source #
Outputable NamePattern Source # |
Instance details Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: NamePattern -> SDoc Source #
Outputable FloatOutSwitches Source # |
Instance details Defined in GHC.Core.Opt.Monad Methods ppr :: FloatOutSwitches -> SDoc Source #
Outputable CoreToDo Source # |
Instance details Defined in GHC.Core.Opt.Pipeline.Types Methods ppr :: CoreToDo -> SDoc Source #
Outputable FloatSpec Source # |
Instance details Defined in GHC.Core.Opt.SetLevels Methods ppr :: FloatSpec -> SDoc Source #
Outputable Level Source # |
Instance details Defined in GHC.Core.Opt.SetLevels Methods ppr :: Level -> SDoc Source #
Outputable LetFloats Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: LetFloats -> SDoc Source #
Outputable SimplFloats Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplFloats -> SDoc Source #
Outputable SimplMode Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplMode -> SDoc Source #
Outputable SimplSR Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplSR -> SDoc Source #
Outputable ArgInfo Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: ArgInfo -> SDoc Source #
Outputable ArgSpec Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: ArgSpec -> SDoc Source #
Outputable DupFlag Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: DupFlag -> SDoc Source #
Outputable SimplCont Source # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: SimplCont -> SDoc Source #
Outputable SpecFailWarning Source # |
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: SpecFailWarning -> SDoc Source #
Outputable Tick Source # |
Instance details Defined in GHC.Core.Opt.Stats Methods ppr :: Tick -> SDoc Source #
Outputable IsRecDataConResult Source # |
Instance details Defined in GHC.Core.Opt.WorkWrap.Utils Methods ppr :: IsRecDataConResult -> SDoc Source #
Outputable PatSyn Source # |
Instance details Defined in GHC.Core.PatSyn Methods ppr :: PatSyn -> SDoc Source #
Outputable EqRel Source # |
Instance details Defined in GHC.Core.Predicate Methods ppr :: EqRel -> SDoc Source #
Outputable Reduction Source # |
Instance details Defined in GHC.Core.Reduction Methods ppr :: Reduction -> SDoc Source #
Outputable RoughMatchLookupTc Source # |
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchLookupTc -> SDoc Source #
Outputable RoughMatchTc Source # |
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchTc -> SDoc Source #
Outputable CoreStats Source # |
Instance details Defined in GHC.Core.Stats Methods ppr :: CoreStats -> SDoc Source #
Outputable CoSel Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoSel -> SDoc Source #
Outputable Coercion Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Coercion -> SDoc Source #
Outputable CoercionHole Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoercionHole -> SDoc Source #
Outputable FunSel Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: FunSel -> SDoc Source #
Outputable MCoercion Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: MCoercion -> SDoc Source #
Outputable TyLit Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: TyLit -> SDoc Source #
Outputable Type Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Type -> SDoc Source #
Outputable UnivCoProvenance Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: UnivCoProvenance -> SDoc Source #
Outputable Subst Source # |
Instance details Defined in GHC.Core.TyCo.Subst Methods ppr :: Subst -> SDoc Source #
Outputable AlgTyConFlav Source # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: AlgTyConFlav -> SDoc Source #
Outputable FamTyConFlav Source # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: FamTyConFlav -> SDoc Source #
Outputable PrimElemRep Source # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimElemRep -> SDoc Source #
Outputable PrimRep Source # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimRep -> SDoc Source #
Outputable TyCon Source # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyCon -> SDoc Source #
Outputable TyConBndrVis Source # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyConBndrVis -> SDoc Source #
Outputable RecTcChecker Source # |
Instance details Defined in GHC.Core.TyCon.RecWalk Methods ppr :: RecTcChecker -> SDoc Source #
Outputable ArgSummary Source # |
Instance details Defined in GHC.Core.Unfold Methods ppr :: ArgSummary -> SDoc Source #
Outputable CallCtxt Source # |
Instance details Defined in GHC.Core.Unfold Methods ppr :: CallCtxt -> SDoc Source #
Outputable ExprSize Source # |
Instance details Defined in GHC.Core.Unfold Methods ppr :: ExprSize -> SDoc Source #
Outputable MaybeApartReason Source # |
Instance details Defined in GHC.Core.Unify Methods ppr :: MaybeApartReason -> SDoc Source #
Outputable Usage Source # |
Instance details Defined in GHC.Core.UsageEnv Methods ppr :: Usage -> SDoc Source #
Outputable UsageEnv Source # |
Instance details Defined in GHC.Core.UsageEnv Methods ppr :: UsageEnv -> SDoc Source #
Outputable FastString Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: FastString -> SDoc Source #
Outputable LexicalFastString Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: LexicalFastString -> SDoc Source #
Outputable NonDetFastString Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonDetFastString -> SDoc Source #
Outputable EdgeType Source # |
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: EdgeType -> SDoc Source #
Outputable UnVarGraph Source # |
Instance details Defined in GHC.Data.Graph.UnVar Methods ppr :: UnVarGraph -> SDoc Source #
Outputable UnVarSet Source # |
Instance details Defined in GHC.Data.Graph.UnVar Methods ppr :: UnVarSet -> SDoc Source #
Outputable Word64Set Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word64Set -> SDoc Source #
Outputable HsComponentId Source # |
Instance details Defined in GHC.Driver.Backpack.Syntax Methods ppr :: HsComponentId -> SDoc Source #
Outputable GhcMode Source # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: GhcMode -> SDoc Source #
Outputable ModRenaming Source # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: ModRenaming -> SDoc Source #
Outputable PackageArg Source # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: PackageArg -> SDoc Source #
Outputable PackageFlag Source # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: PackageFlag -> SDoc Source #
Outputable Language Source # |
Instance details Defined in GHC.Driver.Flags Methods ppr :: Language -> SDoc Source #
Outputable Phase Source # |
Instance details Defined in GHC.Driver.Phases Methods ppr :: Phase -> SDoc Source #
Outputable PluginRecompile Source # |
Instance details Defined in GHC.Driver.Plugins Methods ppr :: PluginRecompile -> SDoc Source #
Outputable ABExport Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: ABExport -> SDoc Source #
Outputable NamespaceSpecifier Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: NamespaceSpecifier -> SDoc Source #
Outputable TcSpecPrag Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: TcSpecPrag -> SDoc Source #
Outputable XViaStrategyPs Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: XViaStrategyPs -> SDoc Source #
Outputable DocStructureItem Source # |
Instance details Defined in GHC.Hs.Doc Methods ppr :: DocStructureItem -> SDoc Source #
Outputable Docs Source # |
Instance details Defined in GHC.Hs.Doc Methods ppr :: Docs -> SDoc Source #
Outputable HsDocString Source # |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocString -> SDoc Source #
Outputable HsDocStringChunk Source # |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringChunk -> SDoc Source #
Outputable HsDocStringDecorator Source # |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringDecorator -> SDoc Source #
Outputable GrhsAnn Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: GrhsAnn -> SDoc Source #
Outputable HsThingRn Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsThingRn -> SDoc Source #
Outputable PendingRnSplice Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingRnSplice -> SDoc Source #
Outputable PendingTcSplice Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingTcSplice -> SDoc Source #
Outputable SyntaxExprRn Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprRn -> SDoc Source #
Outputable SyntaxExprTc Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprTc -> SDoc Source #
Outputable XXExprGhcRn Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcRn -> SDoc Source #
Outputable XXExprGhcTc Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcTc -> SDoc Source #
Outputable OpName Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: OpName -> SDoc Source #
Outputable DsMatchContext Source # |
Instance details Defined in GHC.HsToCore.Monad Methods ppr :: DsMatchContext -> SDoc Source #
Outputable EquationInfo Source # |
Instance details Defined in GHC.HsToCore.Monad Methods ppr :: EquationInfo -> SDoc Source #
Outputable GenerateInhabitingPatternsMode Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver Methods ppr :: GenerateInhabitingPatternsMode -> SDoc Source #
Outputable PhiCt Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver Methods ppr :: PhiCt -> SDoc Source #
Outputable BotInfo Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: BotInfo -> SDoc Source #
Outputable Nabla Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nabla -> SDoc Source #
Outputable Nablas Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nablas -> SDoc Source #
Outputable PmAltCon Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltCon -> SDoc Source #
Outputable PmAltConApp Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConApp -> SDoc Source #
Outputable PmAltConSet Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConSet -> SDoc Source #
Outputable PmEquality Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmEquality -> SDoc Source #
Outputable PmLit Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLit -> SDoc Source #
Outputable PmLitValue Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLitValue -> SDoc Source #
Outputable ResidualCompleteMatches Source # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: ResidualCompleteMatches -> SDoc Source #
Outputable TmState Source # | Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TmState -> SDoc Source #
Outputable TyState Source # | Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TyState -> SDoc Source #
Outputable VarInfo Source # | Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: VarInfo -> SDoc Source #
Outputable GrdVec Source # | Format LYG guards as `| True <- x, let x = 42, !z`
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: GrdVec -> SDoc Source #
Outputable PmEmptyCase Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmEmptyCase -> SDoc Source #
Outputable PmGrd Source # | Should not be user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmGrd -> SDoc Source #
Outputable Precision Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: Precision -> SDoc Source #
Outputable RedSets Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: RedSets -> SDoc Source #
Outputable SrcInfo Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: SrcInfo -> SDoc Source #
Outputable BindType Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: BindType -> SDoc Source #
Outputable ContextInfo Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: ContextInfo -> SDoc Source #
Outputable DeclType Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: DeclType -> SDoc Source #
Outputable EvBindDeps Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: EvBindDeps -> SDoc Source #
Outputable EvVarSource Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: EvVarSource -> SDoc Source #
Outputable HieName Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieName -> SDoc Source #
Outputable IEType Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: IEType -> SDoc Source #
Outputable NodeAnnotation Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeAnnotation -> SDoc Source #
Outputable NodeOrigin Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeOrigin -> SDoc Source #
Outputable RecFieldContext Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: RecFieldContext -> SDoc Source #
Outputable Scope Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: Scope -> SDoc Source #
Outputable TyVarScope Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: TyVarScope -> SDoc Source #
Outputable WhereFrom Source # |
Instance details Defined in GHC.Iface.Load Methods ppr :: WhereFrom -> SDoc Source #
Outputable CompileReason Source # |
Instance details Defined in GHC.Iface.Recomp Methods ppr :: CompileReason -> SDoc Source #
Outputable RecompReason Source # |
Instance details Defined in GHC.Iface.Recomp Methods ppr :: RecompReason -> SDoc Source #
Outputable RecompileRequired Source # |
Instance details Defined in GHC.Iface.Recomp Methods ppr :: RecompileRequired -> SDoc Source #
Outputable IfGuidance Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfGuidance -> SDoc Source #
Outputable IfaceAT Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAT -> SDoc Source #
Outputable IfaceAnnotation Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAnnotation -> SDoc Source #
Outputable IfaceClassOp Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClassOp -> SDoc Source #
Outputable IfaceClsInst Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClsInst -> SDoc Source #
Outputable IfaceCompleteMatch Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceCompleteMatch -> SDoc Source #
Outputable IfaceConAlt Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceConAlt -> SDoc Source #
Outputable IfaceDecl Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceDecl -> SDoc Source #
Outputable IfaceExpr Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceExpr -> SDoc Source #
Outputable IfaceFamInst Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceFamInst -> SDoc Source #
Outputable IfaceIdDetails Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceIdDetails -> SDoc Source #
Outputable IfaceInfoItem Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceInfoItem -> SDoc Source #
Outputable IfaceLFInfo Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceLFInfo -> SDoc Source #
Outputable IfaceMaybeRhs Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceMaybeRhs -> SDoc Source #
Outputable IfaceRule Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceRule -> SDoc Source #
Outputable IfaceStringLiteral Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceStringLiteral -> SDoc Source #
Outputable IfaceTopBndrInfo Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceTopBndrInfo -> SDoc Source #
Outputable IfaceTyConParent Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceTyConParent -> SDoc Source #
Outputable IfaceUnfolding Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceUnfolding -> SDoc Source #
Outputable IfaceWarningTxt Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarningTxt -> SDoc Source #
Outputable IfaceWarnings Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarnings -> SDoc Source #
Outputable IfaceAppArgs Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceAppArgs -> SDoc Source #
Outputable IfaceBndr Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceBndr -> SDoc Source #
Outputable IfaceCoercion Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceCoercion -> SDoc Source #
Outputable IfaceOneShot Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceOneShot -> SDoc Source #
Outputable IfaceTyCon Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyCon -> SDoc Source #
Outputable IfaceTyConInfo Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConInfo -> SDoc Source #
Outputable IfaceTyConSort Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConSort -> SDoc Source #
Outputable IfaceTyLit Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyLit -> SDoc Source #
Outputable IfaceType Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceType -> SDoc Source #
Outputable ShowHowMuch Source # |
Instance details Defined in GHC.Iface.Type Methods ppr :: ShowHowMuch -> SDoc Source #
Outputable JStgExpr Source # |
Instance details Defined in GHC.JS.JStg.Syntax Methods ppr :: JStgExpr -> SDoc Source #
Outputable JExpr Source # |
Instance details Defined in GHC.JS.Ppr Methods ppr :: JExpr -> SDoc Source #
Outputable JVal Source # |
Instance details Defined in GHC.JS.Ppr Methods ppr :: JVal -> SDoc Source #
Outputable LibrarySpec Source # |
Instance details Defined in GHC.Linker.Types Methods ppr :: LibrarySpec -> SDoc Source #
Outputable Linkable Source # |
Instance details Defined in GHC.Linker.Types Methods ppr :: Linkable -> SDoc Source #
Outputable LoadedPkgInfo Source # |
Instance details Defined in GHC.Linker.Types Methods ppr :: LoadedPkgInfo -> SDoc Source #
Outputable SptEntry Source # |
Instance details Defined in GHC.Linker.Types Methods ppr :: SptEntry -> SDoc Source #
Outputable Unlinked Source # |
Instance details Defined in GHC.Linker.Types Methods ppr :: Unlinked -> SDoc Source #
Outputable MetaId Source # |
Instance details Defined in GHC.Llvm.MetaData Methods ppr :: MetaId -> SDoc Source #
Outputable LlvmCallConvention Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmCallConvention -> SDoc Source #
Outputable LlvmCastOp Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmCastOp -> SDoc Source #
Outputable LlvmCmpOp Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmCmpOp -> SDoc Source #
Outputable LlvmFuncAttr Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmFuncAttr -> SDoc Source #
Outputable LlvmLinkageType Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmLinkageType -> SDoc Source #
Outputable LlvmMachOp Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmMachOp -> SDoc Source #
Outputable LlvmParamAttr Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmParamAttr -> SDoc Source #
Outputable LlvmType Source # |
Instance details Defined in GHC.Llvm.Types Methods ppr :: LlvmType -> SDoc Source #
Outputable AddEpAnn Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AddEpAnn -> SDoc Source #
Outputable AnnContext Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnContext -> SDoc Source #
Outputable AnnKeywordId Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnKeywordId -> SDoc Source #
Outputable AnnList Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnList -> SDoc Source #
Outputable AnnListItem Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnListItem -> SDoc Source #
Outputable AnnPragma Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnPragma -> SDoc Source #
Outputable BindTag Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: BindTag -> SDoc Source #
Outputable DeclTag Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: DeclTag -> SDoc Source #
Outputable EpAnnComments Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnnComments -> SDoc Source #
Outputable EpaComment Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpaComment -> SDoc Source #
Outputable IsUnicodeSyntax Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: IsUnicodeSyntax -> SDoc Source #
Outputable NameAdornment Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAdornment -> SDoc Source #
Outputable NameAnn Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAnn -> SDoc Source #
Outputable NoEpAnns Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NoEpAnns -> SDoc Source #
Outputable ParenType Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: ParenType -> SDoc Source #
Outputable TrailingAnn Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: TrailingAnn -> SDoc Source #
Outputable Token Source # |
Instance details Defined in GHC.Parser.Lexer Methods ppr :: Token -> SDoc Source #
Outputable DataConBuilder Source # |
Instance details Defined in GHC.Parser.Types Methods ppr :: DataConBuilder -> SDoc Source #
Outputable RealReg Source # |
Instance details Defined in GHC.Platform.Reg Methods ppr :: RealReg -> SDoc Source #
Outputable Reg Source # | 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 Source #
Outputable VirtualReg Source # |
Instance details Defined in GHC.Platform.Reg Methods ppr :: VirtualReg -> SDoc Source #
Outputable RegClass Source # |
Instance details Defined in GHC.Platform.Reg.Class Methods ppr :: RegClass -> SDoc Source #
Outputable ChildLookupResult Source # |
Instance details Defined in GHC.Rename.Env Methods ppr :: ChildLookupResult -> SDoc Source #
Outputable HsSigCtxt Source # |
Instance details Defined in GHC.Rename.Env Methods ppr :: HsSigCtxt -> SDoc Source #
Outputable WarnUnusedForalls Source # |
Instance details Defined in GHC.Rename.HsType Methods ppr :: WarnUnusedForalls -> SDoc Source #
Outputable InteractiveImport Source # |
Instance details Defined in GHC.Runtime.Context Methods ppr :: InteractiveImport -> SDoc Source #
Outputable GetDocsFailure Source # |
Instance details Defined in GHC.Runtime.Eval Methods ppr :: GetDocsFailure -> SDoc Source #
Outputable Term Source # |
Instance details Defined in GHC.Runtime.Heap.Inspect Methods ppr :: Term -> SDoc Source #
Outputable ArgDescr Source # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ArgDescr -> SDoc Source #
Outputable ClosureTypeInfo Source # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ClosureTypeInfo -> SDoc Source #
Outputable SMRep Source # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: SMRep -> SDoc Source #
Outputable StgHalfWord Source # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgHalfWord -> SDoc Source #
Outputable StgWord Source # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgWord -> SDoc Source #
Outputable TagInfo Source # |
Instance details Defined in GHC.Stg.InferTags.TagSig Methods ppr :: TagInfo -> SDoc Source #
Outputable TagSig Source # |
Instance details Defined in GHC.Stg.InferTags.TagSig Methods ppr :: TagSig -> SDoc Source #
Outputable FloatLang Source # |
Instance details Defined in GHC.Stg.Lift.Monad Methods ppr :: FloatLang -> SDoc Source #
Outputable BinderInfo Source # |
Instance details Defined in GHC.Stg.Lift.Types Methods ppr :: BinderInfo -> SDoc Source #
Outputable Skeleton Source # |
Instance details Defined in GHC.Stg.Lift.Types Methods ppr :: Skeleton -> SDoc Source #
Outputable AltType Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: AltType -> SDoc Source #
Outputable ConstructorNumber Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: ConstructorNumber -> SDoc Source #
Outputable NoExtFieldSilent Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: NoExtFieldSilent -> SDoc Source #
Outputable StgArg Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgArg -> SDoc Source #
Outputable StgOp Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgOp -> SDoc Source #
Outputable UpdateFlag Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: UpdateFlag -> SDoc Source #
Outputable ArgRep Source # |
Instance details Defined in GHC.StgToCmm.ArgRep Methods ppr :: ArgRep -> SDoc Source #
Outputable CallMethod Source # |
Instance details Defined in GHC.StgToCmm.Closure Methods ppr :: CallMethod -> SDoc Source #
Outputable Sequel Source # |
Instance details Defined in GHC.StgToCmm.Sequel Methods ppr :: Sequel -> SDoc Source #
Outputable LambdaFormInfo Source # |
Instance details Defined in GHC.StgToCmm.Types Methods ppr :: LambdaFormInfo -> SDoc Source #
Outputable StandardFormInfo Source # |
Instance details Defined in GHC.StgToCmm.Types Methods ppr :: StandardFormInfo -> SDoc Source #
Outputable IPEStats Source # |
Instance details Defined in GHC.StgToCmm.Utils Methods ppr :: IPEStats -> SDoc Source #
Outputable LinkSpec Source # |
Instance details Defined in GHC.StgToJS.Linker.Linker Methods ppr :: LinkSpec -> SDoc Source #
Outputable LinkPlan Source # |
Instance details Defined in GHC.StgToJS.Linker.Types Methods ppr :: LinkPlan -> SDoc Source #
Outputable BlockInfo Source # |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: BlockInfo -> SDoc Source #
Outputable BlockLocation Source # |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: BlockLocation -> SDoc Source #
Outputable ExportedFun Source # |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: ExportedFun -> SDoc Source #
Outputable StaticArg Source # |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticArg -> SDoc Source #
Outputable StaticLit Source # |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticLit -> SDoc Source #
Outputable TypedExpr Source # |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: TypedExpr -> SDoc Source #
Outputable DerivInstTys Source # |
Instance details Defined in GHC.Tc.Deriv.Generate Methods ppr :: DerivInstTys -> SDoc Source #
Outputable DerivContext Source # |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivContext -> SDoc Source #
Outputable DerivEnv Source # |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivEnv -> SDoc Source #
Outputable DerivSpecMechanism Source # |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivSpecMechanism -> SDoc Source #
Outputable PredSpec Source # |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: PredSpec -> SDoc Source #
Outputable HoleFit Source # |
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFit -> SDoc Source #
Outputable HoleFitCandidate Source # |
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFitCandidate -> SDoc Source #
Outputable TypedHole Source # |
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: TypedHole -> SDoc Source #
Outputable ErrorItem Source # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: ErrorItem -> SDoc Source #
Outputable Exported Source # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: Exported -> SDoc Source #
Outputable HsTyVarBndrExistentialFlag Source # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: HsTyVarBndrExistentialFlag -> SDoc Source #
Outputable ImportError Source # |
Instance details Defined in GHC.Tc.Errors.Ppr Methods ppr :: ImportError -> SDoc Source #
Outputable SolverReportErrCtxt Source # |
Instance details Defined in GHC.Tc.Errors.Ppr Methods ppr :: SolverReportErrCtxt -> SDoc Source #
Outputable TypeDataForbids Source # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: TypeDataForbids -> SDoc Source #
Outputable PromotionErr Source # |
Instance details Defined in GHC.Tc.Errors.Types.PromotionErr Methods ppr :: PromotionErr -> SDoc Source #
Outputable AppCtxt Source # |
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: AppCtxt -> SDoc Source #
Outputable ContextKind Source # |
Instance details Defined in GHC.Tc.Gen.HsType Methods ppr :: ContextKind -> SDoc Source #
Outputable HoleMode Source # |
Instance details Defined in GHC.Tc.Gen.HsType Methods ppr :: HoleMode -> SDoc Source #
Outputable SAKS_or_CUSK Source # |
Instance details Defined in GHC.Tc.Gen.HsType Methods ppr :: SAKS_or_CUSK -> SDoc Source #
Outputable LetBndrSpec Source # |
Instance details Defined in GHC.Tc.Gen.Pat Methods ppr :: LetBndrSpec -> SDoc Source #
Outputable ClsInstResult Source # |
Instance details Defined in GHC.Tc.Instance.Class Methods ppr :: ClsInstResult -> SDoc Source #
Outputable InferMode Source # |
Instance details Defined in GHC.Tc.Solver Methods ppr :: InferMode -> SDoc Source #
Outputable InertCans Source # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InertCans -> SDoc Source #
Outputable InertSet Source # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InertSet -> SDoc Source #
Outputable InteractResult Source # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InteractResult -> SDoc Source #
Outputable WorkList Source # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: WorkList -> SDoc Source #
Outputable DefaultingProposal Source # |
Instance details Defined in GHC.Tc.Types Methods ppr :: DefaultingProposal -> SDoc Source #
Outputable IdBindingInfo Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: IdBindingInfo -> SDoc Source #
Outputable TcBinder Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcBinder -> SDoc Source #
Outputable TcCompleteSig Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcCompleteSig -> SDoc Source #
Outputable TcIdSig Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSig -> SDoc Source #
Outputable TcIdSigInst Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSigInst -> SDoc Source #
Outputable TcPartialSig Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcPartialSig -> SDoc Source #
Outputable TcPatSynSig Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcPatSynSig -> SDoc Source #
Outputable TcSigInfo Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcSigInfo -> SDoc Source #
Outputable TcTyThing Source # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcTyThing -> SDoc Source #
Outputable CanEqLHS Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CanEqLHS -> SDoc Source #
Outputable CheckTyEqProblem Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqProblem -> SDoc Source #
Outputable CheckTyEqResult Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqResult -> SDoc Source #
Outputable Ct Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Ct -> SDoc Source #
Outputable CtEvidence Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtEvidence -> SDoc Source #
Outputable CtFlavour Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtFlavour -> SDoc Source #
Outputable CtIrredReason Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtIrredReason -> SDoc Source #
Outputable DelayedError Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: DelayedError -> SDoc Source #
Outputable DictCt Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: DictCt -> SDoc Source #
Outputable EqCt Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: EqCt -> SDoc Source #
Outputable HasGivenEqs Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: HasGivenEqs -> SDoc Source #
Outputable Hole Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Hole -> SDoc Source #
Outputable HoleSort Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: HoleSort -> SDoc Source #
Outputable ImplicStatus Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: ImplicStatus -> SDoc Source #
Outputable Implication Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Implication -> SDoc Source #
Outputable IrredCt Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: IrredCt -> SDoc Source #
Outputable NotConcreteError Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: NotConcreteError -> SDoc Source #
Outputable QCInst Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: QCInst -> SDoc Source #
Outputable RewriterSet Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: RewriterSet -> SDoc Source #
Outputable SubGoalDepth Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: SubGoalDepth -> SDoc Source #
Outputable TcEvDest Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: TcEvDest -> SDoc Source #
Outputable WantedConstraints Source # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: WantedConstraints -> SDoc Source #
Outputable EvBind Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBind -> SDoc Source #
Outputable EvBindMap Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBindMap -> SDoc Source #
Outputable EvBindsVar Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBindsVar -> SDoc Source #
Outputable EvCallStack Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvCallStack -> SDoc Source #
Outputable EvTerm Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvTerm -> SDoc Source #
Outputable EvTypeable Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvTypeable -> SDoc Source #
Outputable HoleExprRef Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: HoleExprRef -> SDoc Source #
Outputable HsWrapper Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: HsWrapper -> SDoc Source #
Outputable TcEvBinds Source # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: TcEvBinds -> SDoc Source #
Outputable CtOrigin Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: CtOrigin -> SDoc Source #
Outputable FRRArrowContext Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FRRArrowContext -> SDoc Source #
Outputable FixedRuntimeRepContext Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepContext -> SDoc Source #
Outputable FixedRuntimeRepOrigin Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepOrigin -> SDoc Source #
Outputable InstanceWhat Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: InstanceWhat -> SDoc Source #
Outputable NakedScFlag Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: NakedScFlag -> SDoc Source #
Outputable SkolemInfo Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfo -> SDoc Source #
Outputable SkolemInfoAnon Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfoAnon -> SDoc Source #
Outputable StmtOrigin Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: StmtOrigin -> SDoc Source #
Outputable TyVarBndrs Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: TyVarBndrs -> SDoc Source #
Outputable TypedThing Source # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: TypedThing -> SDoc Source #
Outputable Rank Source # |
Instance details Defined in GHC.Tc.Types.Rank Methods ppr :: Rank -> SDoc Source #
Outputable ThStage Source # |
Instance details Defined in GHC.Tc.Types.TH Methods ppr :: ThStage -> SDoc Source #
Outputable IsExtraConstraint Source # |
Instance details Defined in GHC.Tc.Utils.Monad Methods ppr :: IsExtraConstraint -> SDoc Source #
Outputable CandidatesQTvs Source # |
Instance details Defined in GHC.Tc.Utils.TcMType Methods ppr :: CandidatesQTvs -> SDoc Source #
Outputable ExpPatType Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: ExpPatType -> SDoc Source #
Outputable ExpType Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: ExpType -> SDoc Source #
Outputable InferResult Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: InferResult -> SDoc Source #
Outputable MetaDetails Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaDetails -> SDoc Source #
Outputable MetaInfo Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaInfo -> SDoc Source #
Outputable PatersonSize Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: PatersonSize -> SDoc Source #
Outputable TcLevel Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcLevel -> SDoc Source #
Outputable TcTyVarDetails Source # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcTyVarDetails -> SDoc Source #
Outputable AreUnifying Source # |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: AreUnifying -> SDoc Source #
Outputable LevelCheck Source # |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: LevelCheck -> SDoc Source #
Outputable ZonkEnv Source # |
Instance details Defined in GHC.Tc.Zonk.Env Methods ppr :: ZonkEnv -> SDoc Source #
Outputable Annotation Source # |
Instance details Defined in GHC.Types.Annotations Methods ppr :: Annotation -> SDoc Source #
Outputable AvailInfo Source # |
Instance details Defined in GHC.Types.Avail Methods ppr :: AvailInfo -> SDoc Source #
Outputable Activation Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc Source #
Outputable Alignment Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Alignment -> SDoc Source #
Outputable CbvMark Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: CbvMark -> SDoc Source #
Outputable CompilerPhase Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc Source #
Outputable DefaultingStrategy Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc Source #
Outputable DoPmc Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: DoPmc -> SDoc Source #
Outputable FunctionOrData Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc Source #
Outputable GenReason Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: GenReason -> SDoc Source #
Outputable InlinePragma Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlinePragma -> SDoc Source #
Outputable InlineSpec Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlineSpec -> SDoc Source #
Outputable IntWithInf Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: IntWithInf -> SDoc Source #
Outputable LeftOrRight Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: LeftOrRight -> SDoc Source #
Outputable Levity Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Levity -> SDoc Source #
Outputable NonStandardDefaultingStrategy Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: NonStandardDefaultingStrategy -> SDoc Source #
Outputable OccInfo Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OccInfo -> SDoc Source #
Outputable OneShotInfo Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc Source #
Outputable Origin Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Origin -> SDoc Source #
Outputable OverlapFlag Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc Source #
Outputable OverlapMode Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapMode -> SDoc Source #
Outputable RecFlag Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: RecFlag -> SDoc Source #
Outputable RuleMatchInfo Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: RuleMatchInfo -> SDoc Source #
Outputable SuccessFlag Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: SuccessFlag -> SDoc Source #
Outputable SwapFlag Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: SwapFlag -> SDoc Source #
Outputable TailCallInfo Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TailCallInfo -> SDoc Source #
Outputable TopLevelFlag Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TopLevelFlag -> SDoc Source #
Outputable TupleSort Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TupleSort -> SDoc Source #
Outputable TypeOrData Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrData -> SDoc Source #
Outputable TypeOrKind Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc Source #
Outputable UnboxedTupleOrSum Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc Source #
Outputable UnfoldingSource Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> SDoc Source #
Outputable CompleteMatch Source # |
Instance details Defined in GHC.Types.CompleteMatch Methods ppr :: CompleteMatch -> SDoc Source #
Outputable CostCentre Source # |
Instance details Defined in GHC.Types.CostCentre Methods ppr :: CostCentre -> SDoc Source #
Outputable CostCentreStack Source # |
Instance details Defined in GHC.Types.CostCentre Methods ppr :: CostCentreStack -> SDoc Source #

Outputable Cpr Source #

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 Source #
Outputable CprSig Source # | Only print the CPR result
Instance details Defined in GHC.Types.Cpr Methods ppr :: CprSig -> SDoc Source #

Outputable CprType Source #

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 Source #
Outputable Card Source # | See Note [Demand notation] Current syntax was discussed in #19016.
Instance details Defined in GHC.Types.Demand Methods ppr :: Card -> SDoc Source #
Outputable Demand Source # | See Note [Demand notation]
Instance details Defined in GHC.Types.Demand Methods ppr :: Demand -> SDoc Source #
Outputable Divergence Source # |
Instance details Defined in GHC.Types.Demand Methods ppr :: Divergence -> SDoc Source #
Outputable DmdEnv Source # |
Instance details Defined in GHC.Types.Demand Methods ppr :: DmdEnv -> SDoc Source #
Outputable DmdSig Source # |
Instance details Defined in GHC.Types.Demand Methods ppr :: DmdSig -> SDoc Source #
Outputable DmdType Source # |
Instance details Defined in GHC.Types.Demand Methods ppr :: DmdType -> SDoc Source #
Outputable SubDemand Source # | See Note [Demand notation]
Instance details Defined in GHC.Types.Demand Methods ppr :: SubDemand -> SDoc Source #
Outputable TypeShape Source # |
Instance details Defined in GHC.Types.Demand Methods ppr :: TypeShape -> SDoc Source #
Outputable DiagnosticCode Source # |
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticCode -> SDoc Source #
Outputable DiagnosticHint Source # |
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticHint -> SDoc Source #
Outputable DiagnosticReason Source # |
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticReason -> SDoc Source #
Outputable ResolvedDiagnosticReason Source # |
Instance details Defined in GHC.Types.Error Methods ppr :: ResolvedDiagnosticReason -> SDoc Source #
Outputable Severity Source # |
Instance details Defined in GHC.Types.Error Methods ppr :: Severity -> SDoc Source #
Outputable DuplicateRecordFields Source # |
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: DuplicateRecordFields -> SDoc Source #
Outputable FieldLabel Source # |
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: FieldLabel -> SDoc Source #
Outputable FieldSelectors Source # |
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: FieldSelectors -> SDoc Source #
Outputable Fixity Source # |
Instance details Defined in GHC.Types.Fixity Methods ppr :: Fixity -> SDoc Source #
Outputable FixityDirection Source # |
Instance details Defined in GHC.Types.Fixity Methods ppr :: FixityDirection -> SDoc Source #
Outputable LexicalFixity Source # |
Instance details Defined in GHC.Types.Fixity Methods ppr :: LexicalFixity -> SDoc Source #
Outputable FixItem Source # |
Instance details Defined in GHC.Types.Fixity.Env Methods ppr :: FixItem -> SDoc Source #
Outputable CCallConv Source # |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallConv -> SDoc Source #
Outputable CCallSpec Source # |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallSpec -> SDoc Source #
Outputable CExportSpec Source # |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CExportSpec -> SDoc Source #
Outputable CType Source # |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CType -> SDoc Source #
Outputable ForeignCall Source # |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: ForeignCall -> SDoc Source #
Outputable Header Source # |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Header -> SDoc Source #
Outputable Safety Source # |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Safety -> SDoc Source #
Outputable ConInfo Source # |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: ConInfo -> SDoc Source #
Outputable ConLikeName Source # |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: ConLikeName -> SDoc Source #
Outputable GREInfo Source # |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: GREInfo -> SDoc Source #
Outputable RecFieldInfo Source # |
Instance details Defined in GHC.Types.GREInfo Methods ppr :: RecFieldInfo -> SDoc Source #
Outputable GhcHint Source # |
Instance details Defined in GHC.Types.Hint.Ppr Methods ppr :: GhcHint -> SDoc Source #
Outputable CafInfo Source # |
Instance details Defined in GHC.Types.Id.Info Methods ppr :: CafInfo -> SDoc Source #
Outputable IdDetails Source # |
Instance details Defined in GHC.Types.Id.Info Methods ppr :: IdDetails -> SDoc Source #
Outputable IdInfo Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: IdInfo -> SDoc Source #
Outputable RecSelParent Source # |
Instance details Defined in GHC.Types.Id.Info Methods ppr :: RecSelParent -> SDoc Source #
Outputable TickBoxOp Source # |
Instance details Defined in GHC.Types.Id.Info Methods ppr :: TickBoxOp -> SDoc Source #
Outputable Literal Source # |
Instance details Defined in GHC.Types.Literal Methods ppr :: Literal -> SDoc Source #
Outputable Name Source # |
Instance details Defined in GHC.Types.Name Methods ppr :: Name -> SDoc Source #
Outputable OccName Source # |
Instance details Defined in GHC.Types.Name.Occurrence Methods ppr :: OccName -> SDoc Source #
Outputable ImportSpec Source # |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: ImportSpec -> SDoc Source #
Outputable LocalRdrEnv Source # |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: LocalRdrEnv -> SDoc Source #
Outputable LookupChild Source # |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: LookupChild -> SDoc Source #
Outputable Parent Source # |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: Parent -> SDoc Source #
Outputable RdrName Source # |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: RdrName -> SDoc Source #
Outputable PkgQual Source # |
Instance details Defined in GHC.Types.PkgQual Methods ppr :: PkgQual -> SDoc Source #
Outputable RawPkgQual Source # |
Instance details Defined in GHC.Types.PkgQual Methods ppr :: RawPkgQual -> SDoc Source #
Outputable SlotTy Source # |
Instance details Defined in GHC.Types.RepType Methods ppr :: SlotTy -> SDoc Source #
Outputable IfaceTrustInfo Source # |
Instance details Defined in GHC.Types.SafeHaskell Methods ppr :: IfaceTrustInfo -> SDoc Source #
Outputable SafeHaskellMode Source # |
Instance details Defined in GHC.Types.SafeHaskell Methods ppr :: SafeHaskellMode -> SDoc Source #
Outputable FractionalLit Source # |
Instance details Defined in GHC.Types.SourceText Methods ppr :: FractionalLit -> SDoc Source #
Outputable IntegralLit Source # |
Instance details Defined in GHC.Types.SourceText Methods ppr :: IntegralLit -> SDoc Source #
Outputable SourceText Source # |
Instance details Defined in GHC.Types.SourceText Methods ppr :: SourceText -> SDoc Source #
Outputable StringLiteral Source # |
Instance details Defined in GHC.Types.SourceText Methods ppr :: StringLiteral -> SDoc Source #
Outputable DeltaPos Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: DeltaPos -> SDoc Source #
Outputable NoComments Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: NoComments -> SDoc Source #
Outputable RealSrcLoc Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: RealSrcLoc -> SDoc Source #
Outputable RealSrcSpan Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: RealSrcSpan -> SDoc Source #
Outputable SrcLoc Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: SrcLoc -> SDoc Source #
Outputable SrcSpan Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: SrcSpan -> SDoc Source #
Outputable UnhelpfulSpanReason Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: UnhelpfulSpanReason -> SDoc Source #
Outputable Target Source # |
Instance details Defined in GHC.Types.Target Methods ppr :: Target -> SDoc Source #
Outputable TargetId Source # |
Instance details Defined in GHC.Types.Target Methods ppr :: TargetId -> SDoc Source #
Outputable TickishPlacement Source # |
Instance details Defined in GHC.Types.Tickish Methods ppr :: TickishPlacement -> SDoc Source #
Outputable TyThing Source # |
Instance details Defined in GHC.Types.TyThing Methods ppr :: TyThing -> SDoc Source #
Outputable Unique Source # |
Instance details Defined in GHC.Types.Unique Methods ppr :: Unique -> SDoc Source #
Outputable ForAllTyFlag Source # |
Instance details Defined in GHC.Types.Var Methods ppr :: ForAllTyFlag -> SDoc Source #
Outputable FunTyFlag Source # |
Instance details Defined in GHC.Types.Var Methods ppr :: FunTyFlag -> SDoc Source #
Outputable PiTyBinder Source # |
Instance details Defined in GHC.Types.Var Methods ppr :: PiTyBinder -> SDoc Source #
Outputable Var Source # |
Instance details Defined in GHC.Types.Var Methods ppr :: Var -> SDoc Source #
Outputable InScopeSet Source # |
Instance details Defined in GHC.Types.Var.Env Methods ppr :: InScopeSet -> SDoc Source #
Outputable HomeUnitEnv Source # |
Instance details Defined in GHC.Unit.Env Methods ppr :: HomeUnitEnv -> SDoc Source #
Outputable HomeModLinkable Source # |
Instance details Defined in GHC.Unit.Home.ModInfo Methods ppr :: HomeModLinkable -> SDoc Source #
Outputable PackageId Source # |
Instance details Defined in GHC.Unit.Info Methods ppr :: PackageId -> SDoc Source #
Outputable PackageName Source # |
Instance details Defined in GHC.Unit.Info Methods ppr :: PackageName -> SDoc Source #
Outputable ModNodeKeyWithUid Source # |
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: ModNodeKeyWithUid -> SDoc Source #
Outputable ModuleGraphNode Source # |
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: ModuleGraphNode -> SDoc Source #
Outputable NodeKey Source # |
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: NodeKey -> SDoc Source #
Outputable ModLocation Source # |
Instance details Defined in GHC.Unit.Module.Location Methods ppr :: ModLocation -> SDoc Source #
Outputable ModSummary Source # |
Instance details Defined in GHC.Unit.Module.ModSummary Methods ppr :: ModSummary -> SDoc Source #
Outputable HscBackendAction Source # |
Instance details Defined in GHC.Unit.Module.Status Methods ppr :: HscBackendAction -> SDoc Source #
Outputable InWarningCategory Source # |
Instance details Defined in GHC.Unit.Module.Warnings Methods ppr :: InWarningCategory -> SDoc Source #
Outputable WarningCategory Source # |
Instance details Defined in GHC.Unit.Module.Warnings Methods ppr :: WarningCategory -> SDoc Source #
Outputable UnitPprInfo Source # |
Instance details Defined in GHC.Unit.Ppr Methods ppr :: UnitPprInfo -> SDoc Source #
Outputable ModuleOrigin Source # |
Instance details Defined in GHC.Unit.State Methods ppr :: ModuleOrigin -> SDoc Source #
Outputable UnitErr Source # |
Instance details Defined in GHC.Unit.State Methods ppr :: UnitErr -> SDoc Source #
Outputable UnusableUnitReason Source # |
Instance details Defined in GHC.Unit.State Methods ppr :: UnusableUnitReason -> SDoc Source #
Outputable InstalledModule Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: InstalledModule -> SDoc Source #
Outputable InstantiatedModule Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: InstantiatedModule -> SDoc Source #
Outputable InstantiatedUnit Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: InstantiatedUnit -> SDoc Source #
Outputable Module Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: Module -> SDoc Source #
Outputable Unit Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: Unit -> SDoc Source #
Outputable UnitId Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: UnitId -> SDoc Source #
Outputable JoinPointHood Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: JoinPointHood -> SDoc Source #
Outputable PprStyle Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: PprStyle -> SDoc Source #
Outputable QualifyName Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: QualifyName -> SDoc Source #
Outputable SDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SDoc -> SDoc Source #
Outputable Boxity Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Boxity -> SDoc Source #
Outputable FieldLabelString Source # |
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: FieldLabelString -> SDoc Source #
Outputable Role Source # |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: Role -> SDoc Source #
Outputable SrcStrictness Source # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: SrcStrictness -> SDoc Source #
Outputable SrcUnpackedness Source # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: SrcUnpackedness -> SDoc Source #
Outputable NewOrData Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: NewOrData -> SDoc Source #
Outputable SpliceDecoration Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: SpliceDecoration -> SDoc Source #
Outputable HsArrowMatchContext Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsArrowMatchContext -> SDoc Source #
Outputable HsLamVariant Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsLamVariant -> SDoc Source #
Outputable DataConCantHappen Source # |
Instance details Defined in GHC.Hs.Extension Methods ppr :: DataConCantHappen -> SDoc Source #
Outputable NoExtField Source # |
Instance details Defined in GHC.Hs.Extension Methods ppr :: NoExtField -> SDoc Source #
Outputable OverLitVal Source # |
Instance details Defined in GHC.Hs.Lit Methods ppr :: OverLitVal -> SDoc Source #
Outputable ModuleName Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: ModuleName -> SDoc Source #
Outputable HsIPName Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsIPName -> SDoc Source #
Outputable PromotionFlag Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: PromotionFlag -> SDoc Source #
Outputable Serialized Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Serialized -> SDoc Source #
Outputable Extension Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Extension -> SDoc Source #
Outputable Void Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Void -> SDoc Source #
Outputable Fingerprint Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Fingerprint -> SDoc Source #
Outputable Int16 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int16 -> SDoc Source #
Outputable Int32 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int32 -> SDoc Source #
Outputable Int64 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int64 -> SDoc Source #
Outputable Int8 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int8 -> SDoc Source #
Outputable Word16 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word16 -> SDoc Source #
Outputable Word32 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word32 -> SDoc Source #
Outputable Word64 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word64 -> SDoc Source #
Outputable Word8 Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word8 -> SDoc Source #
Outputable Ordering Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Ordering -> SDoc Source #
Outputable UTCTime Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: UTCTime -> SDoc Source #
Outputable Integer Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Integer -> SDoc Source #
Outputable () Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: () -> SDoc Source #
Outputable Bool Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Bool -> SDoc Source #
Outputable Double Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Double -> SDoc Source #
Outputable Float Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Float -> SDoc Source #
Outputable Int Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int -> SDoc Source #
Outputable Word Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word -> SDoc Source #
Outputable a => Outputable (SCC a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SCC a -> SDoc Source #
Outputable elt => Outputable (IntMap elt) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: IntMap elt -> SDoc Source #
Outputable a => Outputable (Set a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Set a -> SDoc Source #
Outputable a => Outputable (ProtoBCO a) Source # |
Instance details Defined in GHC.ByteCode.Instr Methods ppr :: ProtoBCO a -> SDoc Source #
Outputable instr => Outputable (GenBasicBlock instr) Source # |
Instance details Defined in GHC.Cmm Methods ppr :: GenBasicBlock instr -> SDoc Source #
Outputable instr => Outputable (ListGraph instr) Source # |
Instance details Defined in GHC.Cmm Methods ppr :: ListGraph instr -> SDoc Source #
Outputable a => Outputable (LabelMap a) Source # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelMap a -> SDoc Source #
Outputable instr => Outputable (InstrSR instr) Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Liveness Methods ppr :: InstrSR instr -> SDoc Source #
Outputable instr => Outputable (LiveInstr instr) Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Liveness Methods ppr :: LiveInstr instr -> SDoc Source #
OutputableBndr b => Outputable (Alt b) Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: Alt b -> SDoc Source #
OutputableBndr b => Outputable (Bind b) Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: Bind b -> SDoc Source #
OutputableBndr b => Outputable (Expr b) Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: Expr b -> SDoc Source #
Outputable b => Outputable (TaggedBndr b) Source # |
Instance details Defined in GHC.Core Methods ppr :: TaggedBndr b -> SDoc Source #
Outputable ev => Outputable (NormaliseStepResult ev) Source # |
Instance details Defined in GHC.Core.Coercion Methods ppr :: NormaliseStepResult ev -> SDoc Source #
Outputable (CoAxiom br) Source # |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxiom br -> SDoc Source #
Outputable a => Outputable (CoreMap a) Source # |
Instance details Defined in GHC.Core.Map.Expr Methods ppr :: CoreMap a -> SDoc Source #
Outputable a => Outputable (TypeMapG a) Source # |
Instance details Defined in GHC.Core.Map.Type Methods ppr :: TypeMapG a -> SDoc Source #
Outputable i => Outputable (UnboxingDecision i) Source # |
Instance details Defined in GHC.Core.Opt.WorkWrap.Utils Methods ppr :: UnboxingDecision i -> SDoc Source #
Outputable a => Outputable (RoughMap a) Source # |
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMap a -> SDoc Source #
Outputable a => Outputable (Scaled a) Source # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Scaled a -> SDoc Source #
Outputable a => Outputable (UnifyResultM a) Source # |
Instance details Defined in GHC.Core.Unify Methods ppr :: UnifyResultM a -> SDoc Source #
Outputable a => Outputable (Bag a) Source # |
Instance details Defined in GHC.Data.Bag Methods ppr :: Bag a -> SDoc Source #
OutputableBndr a => Outputable (BooleanFormula a) Source # |
Instance details Defined in GHC.Data.BooleanFormula Methods ppr :: BooleanFormula a -> SDoc Source #
Outputable node => Outputable (Graph node) Source # |
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: Graph node -> SDoc Source #
Outputable a => Outputable (OrdList a) Source # |
Instance details Defined in GHC.Data.OrdList Methods ppr :: OrdList a -> SDoc Source #
Outputable a => Outputable (Pair a) Source # |
Instance details Defined in GHC.Data.Pair Methods ppr :: Pair a -> SDoc Source #
Outputable a => Outputable (OnOff a) Source # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: OnOff a -> SDoc Source #
Outputable (KnotVars a) Source # |
Instance details Defined in GHC.Driver.Env.KnotVars Methods ppr :: KnotVars a -> SDoc Source #
Outputable a => Outputable (CheckResult a) Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: CheckResult a -> SDoc Source #
Outputable p => Outputable (PmGRHS p) Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmGRHS p -> SDoc Source #
Outputable p => Outputable (PmGRHSs p) Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmGRHSs p -> SDoc Source #
Outputable p => Outputable (PmMatch p) Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmMatch p -> SDoc Source #
Outputable p => Outputable (PmMatchGroup p) Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmMatchGroup p -> SDoc Source #
Outputable p => Outputable (PmPatBind p) Source # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmPatBind p -> SDoc Source #
Outputable a => Outputable (HieAST a) Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieAST a -> SDoc Source #
Outputable a => Outputable (HieASTs a) Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieASTs a -> SDoc Source #
Outputable a => Outputable (IdentifierDetails a) Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: IdentifierDetails a -> SDoc Source #
Outputable a => Outputable (NodeInfo a) Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: NodeInfo a -> SDoc Source #
Outputable a => Outputable (SourcedNodeInfo a) Source # |
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: SourcedNodeInfo a -> SDoc Source #
Outputable a => Outputable (EvidenceInfo a) Source # |
Instance details Defined in GHC.Iface.Ext.Utils Methods ppr :: EvidenceInfo a -> SDoc Source #
Outputable a => Outputable (MaybeValidated a) Source # |
Instance details Defined in GHC.Iface.Recomp Methods ppr :: MaybeValidated a -> SDoc Source #
Outputable tag => Outputable (AnnSortKey tag) Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnSortKey tag -> SDoc Source #
Outputable a => Outputable (EpAnn a) Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnn a -> SDoc Source #
Outputable (PatBuilder GhcPs) Source # |
Instance details Defined in GHC.Parser.Types Methods ppr :: PatBuilder GhcPs -> SDoc Source #
Outputable (TagEnv p) Source # |
Instance details Defined in GHC.Stg.InferTags.Types Methods ppr :: TagEnv p -> SDoc Source #
OutputablePass pass => Outputable (GenStgBinding pass) Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgBinding pass -> SDoc Source #
OutputablePass pass => Outputable (GenStgExpr pass) Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgExpr pass -> SDoc Source #
OutputablePass pass => Outputable (GenStgRhs pass) Source # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgRhs pass -> SDoc Source #
Outputable a => Outputable (NonVoid a) Source # |
Instance details Defined in GHC.StgToCmm.Closure Methods ppr :: NonVoid a -> SDoc Source #
Outputable theta => Outputable (DerivSpec theta) Source # |
Instance details Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivSpec theta -> SDoc Source #
OutputableBndrId p => Outputable (HsTypeOrSigType (GhcPass p)) Source # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: HsTypeOrSigType (GhcPass p) -> SDoc Source #
OutputableBndrId (XPass p) => Outputable (EValArg p) Source # |
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: EValArg p -> SDoc Source #
OutputableBndrId (XPass p) => Outputable (HsExprArg p) Source # |
Instance details Defined in GHC.Tc.Gen.Head Methods ppr :: HsExprArg p -> SDoc Source #
Outputable (FunDepEqn a) Source # |
Instance details Defined in GHC.Tc.Instance.FunDeps Methods ppr :: FunDepEqn a -> SDoc Source #
Outputable a => Outputable (StopOrContinue a) Source # |
Instance details Defined in GHC.Tc.Solver.Monad Methods ppr :: StopOrContinue a -> SDoc Source #
OutputableBndrId a => Outputable (InstInfo (GhcPass a)) Source # |
Instance details Defined in GHC.Tc.Utils.Env Methods ppr :: InstInfo (GhcPass a) -> SDoc Source #
Outputable (TyEqFamApp a) Source # |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: TyEqFamApp a -> SDoc Source #
Outputable (TyEqFlags a) Source # |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: TyEqFlags a -> SDoc Source #
Outputable name => Outputable (AnnTarget name) Source # |
Instance details Defined in GHC.Types.Annotations Methods ppr :: AnnTarget name -> SDoc Source #
Outputable (DefMethSpec ty) Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: DefMethSpec ty -> SDoc Source #
Outputable (TyConFlavour tc) Source # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TyConFlavour tc -> SDoc Source #
Diagnostic e => Outputable (Messages e) Source # |
Instance details Defined in GHC.Types.Error Methods ppr :: Messages e -> SDoc Source #
Outputable a => Outputable (OccEnv a) Source # |
Instance details Defined in GHC.Types.Name.Occurrence Methods ppr :: OccEnv a -> SDoc Source #
Outputable info => Outputable (GlobalRdrEltX info) Source # |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: GlobalRdrEltX info -> SDoc Source #
Outputable (WhichGREs info) Source # |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: WhichGREs info -> SDoc Source #
Outputable a => Outputable (EpaLocation' a) Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: EpaLocation' a -> SDoc Source #
Outputable e => Outputable (Located e) Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: Located e -> SDoc Source #
Outputable (XTickishId pass) => Outputable (GenTickish pass) Source # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: GenTickish pass -> SDoc Source #
Outputable a => Outputable (UniqDSet a) Source # |
Instance details Defined in GHC.Types.Unique.DSet Methods ppr :: UniqDSet a -> SDoc Source #
Outputable a => Outputable (UniqSet a) Source # |
Instance details Defined in GHC.Types.Unique.Set Methods ppr :: UniqSet a -> SDoc Source #
Outputable (UnitEnvGraph HomeUnitEnv) Source # |
Instance details Defined in GHC.Unit.Env Methods ppr :: UnitEnvGraph HomeUnitEnv -> SDoc Source #
Outputable elt => Outputable (InstalledModuleEnv elt) Source # |
Instance details Defined in GHC.Unit.Module.Env Methods ppr :: InstalledModuleEnv elt -> SDoc Source #
Outputable a => Outputable (ModuleEnv a) Source # |
Instance details Defined in GHC.Unit.Module.Env Methods ppr :: ModuleEnv a -> SDoc Source #
Outputable (WarningTxt pass) Source # |
Instance details Defined in GHC.Unit.Module.Warnings Methods ppr :: WarningTxt pass -> SDoc Source #
Outputable u => Outputable (UnitDatabase u) Source # |
Instance details Defined in GHC.Unit.State Methods ppr :: UnitDatabase u -> SDoc Source #
Outputable unit => Outputable (Definite unit) Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: Definite unit -> SDoc Source #
Outputable a => Outputable (GenWithIsBoot a) Source # |
Instance details Defined in GHC.Unit.Types Methods ppr :: GenWithIsBoot a -> SDoc Source #
Outputable (HsModule GhcPs) Source # |
Instance details Defined in GHC.Hs Methods ppr :: HsModule GhcPs -> SDoc Source #
OutputableBndrId p => Outputable (FixitySig (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: FixitySig (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsIPBinds (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: HsIPBinds (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (IPBind (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: IPBind (GhcPass p) -> SDoc Source #
Outputable (XRec a RdrName) => Outputable (RecordPatSynField a) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: RecordPatSynField a -> SDoc Source #
OutputableBndrId p => Outputable (Sig (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: Sig (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (AnnDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: AnnDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (ClsInstDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: ClsInstDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (ConDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: ConDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (DataFamInstDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: DataFamInstDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (DefaultDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: DefaultDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (DerivClauseTys (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: DerivClauseTys (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (DerivDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: DerivDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (DerivStrategy (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: DerivStrategy (GhcPass p) -> SDoc Source #
Outputable (DocDecl name) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: DocDecl name -> SDoc Source #
OutputableBndrId p => Outputable (FamilyDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: FamilyDecl (GhcPass p) -> SDoc Source #
Outputable (FamilyInfo pass) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: FamilyInfo pass -> SDoc Source #
OutputableBndrId p => Outputable (ForeignDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: ForeignDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (ForeignExport (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: ForeignExport (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (ForeignImport (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: ForeignImport (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (FunDep (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: FunDep (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsDataDefn (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: HsDataDefn (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: HsDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsDerivingClause (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: HsDerivingClause (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsGroup (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: HsGroup (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (InstDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: InstDecl (GhcPass p) -> SDoc Source #
OutputableBndr (IdP (GhcPass p)) => Outputable (RoleAnnotDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: RoleAnnotDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (RuleBndr (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: RuleBndr (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (RuleDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: RuleDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (RuleDecls (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: RuleDecls (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (SpliceDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: SpliceDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (StandaloneKindSig (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: StandaloneKindSig (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (TyClDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: TyClDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (TyClGroup (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: TyClGroup (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (TyFamInstDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: TyFamInstDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (WarnDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: WarnDecl (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (WarnDecls (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: WarnDecls (GhcPass p) -> SDoc Source #
OutputableBndrId idL => Outputable (ApplicativeArg (GhcPass idL)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: ApplicativeArg (GhcPass idL) -> SDoc Source #
OutputableBndrId p => Outputable (ArithSeqInfo (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: ArithSeqInfo (GhcPass p) -> SDoc Source #
UnXRec p => Outputable (DotFieldOcc p) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: DotFieldOcc p -> SDoc Source #
(UnXRec p, Outputable (XRec p FieldLabelString)) => Outputable (FieldLabelStrings p) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: FieldLabelStrings p -> SDoc Source #
OutputableBndrId p => Outputable (HsCmd (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsCmd (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsCmdTop (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsCmdTop (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsExpr (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsExpr (GhcPass p) -> SDoc Source #
Outputable fn => Outputable (HsMatchContext fn) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsMatchContext fn -> SDoc Source #
Outputable (HsPragE (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsPragE (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsQuote (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsQuote (GhcPass p) -> SDoc Source #
Outputable fn => Outputable (HsStmtContext fn) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsStmtContext fn -> SDoc Source #
OutputableBndrId p => Outputable (IE (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.ImpExp Methods ppr :: IE (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (IEWrappedName (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.ImpExp Methods ppr :: IEWrappedName (GhcPass p) -> SDoc Source #
(OutputableBndrId p, Outputable (Anno (IE (GhcPass p))), Outputable (ImportDeclPkgQual (GhcPass p))) => Outputable (ImportDecl (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.ImpExp Methods ppr :: ImportDecl (GhcPass p) -> SDoc Source #
Outputable (HsLit (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Lit Methods ppr :: HsLit (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsOverLit (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Lit Methods ppr :: HsOverLit (GhcPass p) -> SDoc Source #
Outputable (HsTyPat p) => Outputable (HsConPatTyArg p) Source # |
Instance details Defined in GHC.Hs.Pat Methods ppr :: HsConPatTyArg p -> SDoc Source #
OutputableBndrId p => Outputable (Pat (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Pat Methods ppr :: Pat (GhcPass p) -> SDoc Source #
Outputable (AmbiguousFieldOcc (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: AmbiguousFieldOcc (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (ConDeclField (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: ConDeclField (GhcPass p) -> SDoc Source #
Outputable (XRec pass RdrName) => Outputable (FieldOcc pass) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: FieldOcc pass -> SDoc Source #
OutputableBndrId pass => Outputable (HsArrow (GhcPass pass)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsArrow (GhcPass pass) -> SDoc Source #
OutputableBndrId p => Outputable (HsForAllTelescope (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsForAllTelescope (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsPatSigType (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsPatSigType (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsSigType (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsSigType (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsTyLit (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsTyLit (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsTyPat (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsTyPat (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsType (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsType (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (LHsQTyVars (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: LHsQTyVars (GhcPass p) -> SDoc Source #
Outputable a => Outputable (NonEmpty a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonEmpty a -> SDoc Source #
Outputable a => Outputable (Maybe a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Maybe a -> SDoc Source #
Outputable a => Outputable [a] Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: [a] -> SDoc Source #
(Outputable a, Outputable b) => Outputable (Arg a b) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Arg a b -> SDoc Source #
(Outputable key, Outputable elt) => Outputable (Map key elt) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Map key elt -> SDoc Source #
(OutputableP Platform statics, OutputableP Platform instr) => Outputable (RegAllocStats statics instr) Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Graph.Stats Methods ppr :: RegAllocStats statics instr -> SDoc Source #
(Outputable a, Outputable b) => Outputable (Node a b) Source # |
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: Node a b -> SDoc Source #
(Outputable a, Outputable (m a)) => Outputable (GenMap m a) Source # |
Instance details Defined in GHC.Data.TrieMap Methods ppr :: GenMap m a -> SDoc Source #
(TrieMap m, Outputable a) => Outputable (ListMap m a) Source # |
Instance details Defined in GHC.Data.TrieMap Methods ppr :: ListMap m a -> SDoc Source #
Outputable a => Outputable (WithHsDocIdentifiers a pass) Source # | 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 Source #
(Outputable a, Outputable b) => Outputable (HsPatExpansion a b) Source # |
Instance details Defined in GHC.Hs.Pat Methods ppr :: HsPatExpansion a b -> SDoc Source #
(Outputable r, Outputable b) => Outputable (IfaceBindingX r b) Source # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceBindingX r b -> SDoc Source #
(Outputable a, Outputable b) => Outputable (PuResult a b) Source # |
Instance details Defined in GHC.Tc.Utils.Unify Methods ppr :: PuResult a b -> SDoc Source #
(Outputable a, Outputable e) => Outputable (GenLocated (EpAnn a) e) Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated (EpAnn a) e -> SDoc Source #
Outputable e => Outputable (GenLocated EpaLocation e) Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated EpaLocation e -> SDoc Source #
Outputable a => Outputable (GenLocated TokenLocation a) Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated TokenLocation a -> SDoc Source #
Outputable (GenLocated NoCommentsLocation EpaComment) Source # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated NoCommentsLocation EpaComment -> SDoc Source #
Outputable e => Outputable (GenLocated RealSrcSpan e) Source # |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: GenLocated RealSrcSpan e -> SDoc Source #
(Outputable k, Outputable a) => Outputable (UniqMap k a) Source # |
Instance details Defined in GHC.Types.Unique.Map Methods ppr :: UniqMap k a -> SDoc Source #
(Outputable key, Outputable ele) => Outputable (UniqSDFM key ele) Source # |
Instance details Defined in GHC.Types.Unique.SDFM Methods ppr :: UniqSDFM key ele -> SDoc Source #
OutputableBndr tv => Outputable (VarBndr tv TyConBndrVis) Source # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: VarBndr tv TyConBndrVis -> SDoc Source #
Outputable tv => Outputable (VarBndr tv ForAllTyFlag) Source # |
Instance details Defined in GHC.Types.Var Methods ppr :: VarBndr tv ForAllTyFlag -> SDoc Source #
Outputable tv => Outputable (VarBndr tv Specificity) Source # |
Instance details Defined in GHC.Types.Var Methods ppr :: VarBndr tv Specificity -> SDoc Source #
(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsBindLR (GhcPass pl) (GhcPass pr)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: HsBindLR (GhcPass pl) (GhcPass pr) -> SDoc Source #
(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsLocalBindsLR (GhcPass pl) (GhcPass pr)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: HsLocalBindsLR (GhcPass pl) (GhcPass pr) -> SDoc Source #
(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsValBindsLR (GhcPass pl) (GhcPass pr)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: HsValBindsLR (GhcPass pl) (GhcPass pr) -> SDoc Source #
(OutputableBndrId l, OutputableBndrId r) => Outputable (PatSynBind (GhcPass l) (GhcPass r)) Source # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: PatSynBind (GhcPass l) (GhcPass r) -> SDoc Source #
(OutputableBndrId pr, Outputable body) => Outputable (Match (GhcPass pr) body) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: Match (GhcPass pr) body -> SDoc Source #
(Outputable (StmtLR (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))), Outputable (XXParStmtBlock (GhcPass idL) (GhcPass idR))) => Outputable (ParStmtBlock (GhcPass idL) (GhcPass idR)) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: ParStmtBlock (GhcPass idL) (GhcPass idR) -> SDoc Source #
(Outputable p, OutputableBndr p, Outputable arg) => Outputable (HsFieldBind p arg) Source # |
Instance details Defined in GHC.Hs.Pat Methods ppr :: HsFieldBind p arg -> SDoc Source #
(Outputable arg, Outputable (XRec p (HsRecField p arg)), XRec p RecFieldsDotDot ~ LocatedE RecFieldsDotDot) => Outputable (HsRecFields p arg) Source # |
Instance details Defined in GHC.Hs.Pat Methods ppr :: HsRecFields p arg -> SDoc Source #
(OutputableBndrFlag flag p, OutputableBndrFlag flag (NoGhcTcPass p), OutputableBndrId p) => Outputable (HsOuterTyVarBndrs flag (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsOuterTyVarBndrs flag (GhcPass p) -> SDoc Source #
(OutputableBndrId p, OutputableBndrFlag flag p) => Outputable (HsTyVarBndr flag (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsTyVarBndr flag (GhcPass p) -> SDoc Source #
Outputable thing => Outputable (HsWildCardBndrs (GhcPass p) thing) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsWildCardBndrs (GhcPass p) thing -> SDoc Source #
(Outputable a, Outputable b) => Outputable (Either a b) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Either a b -> SDoc Source #
(Outputable a, Outputable b) => Outputable (a, b) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b) -> SDoc Source #
Outputable a => Outputable (UniqDFM key a) Source # |
Instance details Defined in GHC.Types.Unique.DFM Methods ppr :: UniqDFM key a -> SDoc Source #
Outputable a => Outputable (UniqFM key a) Source # |
Instance details Defined in GHC.Types.Unique.FM Methods ppr :: UniqFM key a -> SDoc Source #
(OutputableBndrId pl, OutputableBndrId pr, Anno (StmtLR (GhcPass pl) (GhcPass pr) body) ~ SrcSpanAnnA, Outputable body) => Outputable (StmtLR (GhcPass pl) (GhcPass pr) body) Source # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: StmtLR (GhcPass pl) (GhcPass pr) body -> SDoc Source #
(Outputable tm, Outputable ty) => Outputable (HsArg (GhcPass p) tm ty) Source # | This instance is meant for debug-printing purposes. If you wish to pretty-print an application of `HsArg`s, use `pprHsArgsApp` instead.
Instance details Defined in GHC.Hs.Type Methods ppr :: HsArg (GhcPass p) tm ty -> SDoc Source #
(Outputable tyarg, Outputable arg, Outputable rec) => Outputable (HsConDetails tyarg arg rec) Source # |
Instance details Defined in GHC.Hs.Type Methods ppr :: HsConDetails tyarg arg rec -> SDoc Source #
(Outputable a, Outputable b, Outputable c) => Outputable (a, b, c) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c) -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d) => Outputable (a, b, c, d) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d) -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e) => Outputable (a, b, c, d, e) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e) -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f) => Outputable (a, b, c, d, e, f) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e, f) -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f, Outputable g) => Outputable (a, b, c, d, e, f, g) Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e, f, g) -> SDoc Source #

class Outputable a => OutputableBndr a where Source #

When we print a binder, we often want to print its type too. The `OutputableBndr` class encapsulates this idea.

Minimal complete definition

pprPrefixOcc, pprInfixOcc

Methods

pprBndr :: BindingSite -> a -> SDoc Source #

pprPrefixOcc :: a -> SDoc Source #

pprInfixOcc :: a -> SDoc Source #

bndrIsJoin_maybe :: a -> JoinPointHood Source #

#### Instances

Instances details

OutputableBndr ConLike Source # |
Instance details Defined in GHC.Core.ConLike Methods pprBndr :: BindingSite -> ConLike -> SDoc Source # pprPrefixOcc :: ConLike -> SDoc Source # pprInfixOcc :: ConLike -> SDoc Source # bndrIsJoin_maybe :: ConLike -> JoinPointHood Source #
OutputableBndr DataCon Source # |
Instance details Defined in GHC.Core.DataCon Methods pprBndr :: BindingSite -> DataCon -> SDoc Source # pprPrefixOcc :: DataCon -> SDoc Source # pprInfixOcc :: DataCon -> SDoc Source # bndrIsJoin_maybe :: DataCon -> JoinPointHood Source #
OutputableBndr PatSyn Source # |
Instance details Defined in GHC.Core.PatSyn Methods pprBndr :: BindingSite -> PatSyn -> SDoc Source # pprPrefixOcc :: PatSyn -> SDoc Source # pprInfixOcc :: PatSyn -> SDoc Source # bndrIsJoin_maybe :: PatSyn -> JoinPointHood Source #
OutputableBndr BinderInfo Source # |
Instance details Defined in GHC.Stg.Lift.Types Methods pprBndr :: BindingSite -> BinderInfo -> SDoc Source # pprPrefixOcc :: BinderInfo -> SDoc Source # pprInfixOcc :: BinderInfo -> SDoc Source # bndrIsJoin_maybe :: BinderInfo -> JoinPointHood Source #
OutputableBndr Name Source # |
Instance details Defined in GHC.Types.Name Methods pprBndr :: BindingSite -> Name -> SDoc Source # pprPrefixOcc :: Name -> SDoc Source # pprInfixOcc :: Name -> SDoc Source # bndrIsJoin_maybe :: Name -> JoinPointHood Source #
OutputableBndr OccName Source # |
Instance details Defined in GHC.Types.Name.Occurrence Methods pprBndr :: BindingSite -> OccName -> SDoc Source # pprPrefixOcc :: OccName -> SDoc Source # pprInfixOcc :: OccName -> SDoc Source # bndrIsJoin_maybe :: OccName -> JoinPointHood Source #
OutputableBndr RdrName Source # |
Instance details Defined in GHC.Types.Name.Reader Methods pprBndr :: BindingSite -> RdrName -> SDoc Source # pprPrefixOcc :: RdrName -> SDoc Source # pprInfixOcc :: RdrName -> SDoc Source # bndrIsJoin_maybe :: RdrName -> JoinPointHood Source #
OutputableBndr Var Source # |
Instance details Defined in GHC.Core.Ppr Methods pprBndr :: BindingSite -> Var -> SDoc Source # pprPrefixOcc :: Var -> SDoc Source # pprInfixOcc :: Var -> SDoc Source # bndrIsJoin_maybe :: Var -> JoinPointHood Source #
OutputableBndr HsIPName Source # |
Instance details Defined in GHC.Hs.Type Methods pprBndr :: BindingSite -> HsIPName -> SDoc Source # pprPrefixOcc :: HsIPName -> SDoc Source # pprInfixOcc :: HsIPName -> SDoc Source # bndrIsJoin_maybe :: HsIPName -> JoinPointHood Source #
Outputable b => OutputableBndr (TaggedBndr b) Source # |
Instance details Defined in GHC.Core.Ppr Methods pprBndr :: BindingSite -> TaggedBndr b -> SDoc Source # pprPrefixOcc :: TaggedBndr b -> SDoc Source # pprInfixOcc :: TaggedBndr b -> SDoc Source # bndrIsJoin_maybe :: TaggedBndr b -> JoinPointHood Source #
(UnXRec p, Outputable (XRec p FieldLabelString)) => OutputableBndr (Located (FieldLabelStrings p)) Source # |
Instance details Defined in GHC.Hs.Expr Methods pprBndr :: BindingSite -> Located (FieldLabelStrings p) -> SDoc Source # pprPrefixOcc :: Located (FieldLabelStrings p) -> SDoc Source # pprInfixOcc :: Located (FieldLabelStrings p) -> SDoc Source # bndrIsJoin_maybe :: Located (FieldLabelStrings p) -> JoinPointHood Source #
OutputableBndr (Located (AmbiguousFieldOcc (GhcPass p))) Source # |
Instance details Defined in GHC.Hs.Type Methods pprBndr :: BindingSite -> Located (AmbiguousFieldOcc (GhcPass p)) -> SDoc Source # pprPrefixOcc :: Located (AmbiguousFieldOcc (GhcPass p)) -> SDoc Source # pprInfixOcc :: Located (AmbiguousFieldOcc (GhcPass p)) -> SDoc Source # bndrIsJoin_maybe :: Located (AmbiguousFieldOcc (GhcPass p)) -> JoinPointHood Source #
(UnXRec p, Outputable (XRec p FieldLabelString)) => OutputableBndr (FieldLabelStrings p) Source # |
Instance details Defined in GHC.Hs.Expr Methods pprBndr :: BindingSite -> FieldLabelStrings p -> SDoc Source # pprPrefixOcc :: FieldLabelStrings p -> SDoc Source # pprInfixOcc :: FieldLabelStrings p -> SDoc Source # bndrIsJoin_maybe :: FieldLabelStrings p -> JoinPointHood Source #
OutputableBndrId p => OutputableBndr (IEWrappedName (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.ImpExp Methods pprBndr :: BindingSite -> IEWrappedName (GhcPass p) -> SDoc Source # pprPrefixOcc :: IEWrappedName (GhcPass p) -> SDoc Source # pprInfixOcc :: IEWrappedName (GhcPass p) -> SDoc Source # bndrIsJoin_maybe :: IEWrappedName (GhcPass p) -> JoinPointHood Source #
OutputableBndr (AmbiguousFieldOcc (GhcPass p)) Source # |
Instance details Defined in GHC.Hs.Type Methods pprBndr :: BindingSite -> AmbiguousFieldOcc (GhcPass p) -> SDoc Source # pprPrefixOcc :: AmbiguousFieldOcc (GhcPass p) -> SDoc Source # pprInfixOcc :: AmbiguousFieldOcc (GhcPass p) -> SDoc Source # bndrIsJoin_maybe :: AmbiguousFieldOcc (GhcPass p) -> JoinPointHood Source #
(UnXRec pass, OutputableBndr (XRec pass RdrName)) => OutputableBndr (FieldOcc pass) Source # |
Instance details Defined in GHC.Hs.Type Methods pprBndr :: BindingSite -> FieldOcc pass -> SDoc Source # pprPrefixOcc :: FieldOcc pass -> SDoc Source # pprInfixOcc :: FieldOcc pass -> SDoc Source # bndrIsJoin_maybe :: FieldOcc pass -> JoinPointHood Source #
(Outputable a, OutputableBndr e) => OutputableBndr (GenLocated (EpAnn a) e) Source # |
Instance details Defined in GHC.Parser.Annotation Methods pprBndr :: BindingSite -> GenLocated (EpAnn a) e -> SDoc Source # pprPrefixOcc :: GenLocated (EpAnn a) e -> SDoc Source # pprInfixOcc :: GenLocated (EpAnn a) e -> SDoc Source # bndrIsJoin_maybe :: GenLocated (EpAnn a) e -> JoinPointHood Source #
(UnXRec pass, OutputableBndr (XRec pass RdrName)) => OutputableBndr (GenLocated SrcSpan (FieldOcc pass)) Source # |
Instance details Defined in GHC.Hs.Type Methods pprBndr :: BindingSite -> GenLocated SrcSpan (FieldOcc pass) -> SDoc Source # pprPrefixOcc :: GenLocated SrcSpan (FieldOcc pass) -> SDoc Source # pprInfixOcc :: GenLocated SrcSpan (FieldOcc pass) -> SDoc Source # bndrIsJoin_maybe :: GenLocated SrcSpan (FieldOcc pass) -> JoinPointHood Source #
OutputableBndr (Id, TagSig) Source # |
Instance details Defined in GHC.Stg.InferTags.TagSig Methods pprBndr :: BindingSite -> (Id, TagSig) -> SDoc Source # pprPrefixOcc :: (Id, TagSig) -> SDoc Source # pprInfixOcc :: (Id, TagSig) -> SDoc Source # bndrIsJoin_maybe :: (Id, TagSig) -> JoinPointHood Source #

class OutputableP env a where Source #

Outputable class with an additional environment value

See Note [The OutputableP class]

Methods

pdoc :: env -> a -> SDoc Source #

#### Instances

Instances details

OutputableP Platform CmmGraph Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmGraph -> SDoc Source #
OutputableP Platform CmmInfoTable Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmInfoTable -> SDoc Source #
OutputableP Platform CmmStatic Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmStatic -> SDoc Source #
OutputableP Platform CmmTopInfo Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmTopInfo -> SDoc Source #
OutputableP Platform CLabel Source # |
Instance details Defined in GHC.Cmm.CLabel Methods pdoc :: Platform -> CLabel -> SDoc Source #
OutputableP Platform InfoProvEnt Source # |
Instance details Defined in GHC.Cmm.CLabel Methods pdoc :: Platform -> InfoProvEnt -> SDoc Source #
OutputableP Platform DebugBlock Source # |
Instance details Defined in GHC.Cmm.DebugBlock Methods pdoc :: Platform -> DebugBlock -> SDoc Source #
OutputableP Platform UnwindExpr Source # |
Instance details Defined in GHC.Cmm.DebugBlock Methods pdoc :: Platform -> UnwindExpr -> SDoc Source #
OutputableP Platform UnwindPoint Source # |
Instance details Defined in GHC.Cmm.DebugBlock Methods pdoc :: Platform -> UnwindPoint -> SDoc Source #
OutputableP Platform CmmExpr Source # |
Instance details Defined in GHC.Cmm.Expr Methods pdoc :: Platform -> CmmExpr -> SDoc Source #
OutputableP Platform CmmLit Source # |
Instance details Defined in GHC.Cmm.Expr Methods pdoc :: Platform -> CmmLit -> SDoc Source #
OutputableP Platform ForeignTarget Source # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> ForeignTarget -> SDoc Source #
OutputableP Platform DwarfFrameBlock Source # |
Instance details Defined in GHC.CmmToAsm.Dwarf.Types Methods pdoc :: Platform -> DwarfFrameBlock -> SDoc Source #
OutputableP Platform LiveInfo Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Liveness Methods pdoc :: Platform -> LiveInfo -> SDoc Source #
OutputableP Platform CgLoc Source # |
Instance details Defined in GHC.StgToCmm.Closure Methods pdoc :: Platform -> CgLoc -> SDoc Source #
OutputableP Platform CgIdInfo Source # |
Instance details Defined in GHC.StgToCmm.Monad Methods pdoc :: Platform -> CgIdInfo -> SDoc Source #
OutputableP env Label Source # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods pdoc :: env -> Label -> SDoc Source #
OutputableP env CLabel => OutputableP env ModuleSRTInfo Source # |
Instance details Defined in GHC.Cmm.Info.Build Methods pdoc :: env -> ModuleSRTInfo -> SDoc Source #
OutputableP env GlobalReg Source # |
Instance details Defined in GHC.Cmm.Reg Methods pdoc :: env -> GlobalReg -> SDoc Source #
OutputableP env Alignment Source # |
Instance details Defined in GHC.Types.Basic Methods pdoc :: env -> Alignment -> SDoc Source #
OutputableP env SDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> SDoc -> SDoc Source #
OutputableP env Void Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Void -> SDoc Source #
OutputableP Platform (GenCmmStatics a) Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> GenCmmStatics a -> SDoc Source #
OutputableP env a => OutputableP env (SCC a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> SCC a -> SDoc Source #
OutputableP env a => OutputableP env (Set a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Set a -> SDoc Source #
OutputableP env instr => OutputableP env (GenBasicBlock instr) Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: env -> GenBasicBlock instr -> SDoc Source #
OutputableP env instr => OutputableP env (ListGraph instr) Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: env -> ListGraph instr -> SDoc Source #
OutputableP env a => OutputableP env (LabelMap a) Source # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods pdoc :: env -> LabelMap a -> SDoc Source #
OutputableP env instr => OutputableP env (LiveInstr instr) Source # |
Instance details Defined in GHC.CmmToAsm.Reg.Liveness Methods pdoc :: env -> LiveInstr instr -> SDoc Source #
Outputable a => OutputableP env (PDoc a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> PDoc a -> SDoc Source #
OutputableP env a => OutputableP env (Maybe a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Maybe a -> SDoc Source #
OutputableP env a => OutputableP env [a] Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> [a] -> SDoc Source #
OutputableP Platform (CmmNode e x) Source # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> CmmNode e x -> SDoc Source #
(OutputableP env key, OutputableP env elt) => OutputableP env (Map key elt) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Map key elt -> SDoc Source #
(OutputableP env a, OutputableP env b) => OutputableP env (a, b) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> (a, b) -> SDoc Source #
(OutputableP Platform d, OutputableP Platform info, OutputableP Platform i) => OutputableP Platform (GenCmmDecl d info i) Source # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> GenCmmDecl d info i -> SDoc Source #
OutputableP Platform (Block CmmNode C C) Source # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode C C -> SDoc Source #
OutputableP Platform (Block CmmNode C O) Source # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode C O -> SDoc Source #
OutputableP Platform (Block CmmNode O C) Source # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode O C -> SDoc Source #
OutputableP Platform (Block CmmNode O O) Source # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode O O -> SDoc Source #
OutputableP Platform (Graph CmmNode e x) Source # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Graph CmmNode e x -> SDoc Source #
(OutputableP env a, OutputableP env b, OutputableP env c) => OutputableP env (a, b, c) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> (a, b, c) -> SDoc Source #

data BindingSite Source #

`BindingSite` is used to tell the thing that prints binder what language construct is binding the identifier. This can be used to decide how much info to print. Also see Note [Binding-site specific printing] in GHC.Core.Ppr

Constructors

LambdaBind | The x in (x. e)
CaseBind | The x in case scrut of x { (y,z) -> ... }
CasePatBind | The y,z in case scrut of x { (y,z) -> ... }
LetBind | The x in (let x = rhs in e)

#### Instances

Instances details

Eq BindingSite Source # |
Instance details Defined in GHC.Utils.Outputable Methods (==) :: BindingSite -> BindingSite -> Bool # (/=) :: BindingSite -> BindingSite -> Bool #

data JoinPointHood Source #

Constructors

JoinPoint !Int |
NotJoinPoint |

#### Instances

Instances details

NFData JoinPointHood Source # |
Instance details Defined in GHC.Utils.Outputable Methods rnf :: JoinPointHood -> () Source #
Binary JoinPointHood Source # |
Instance details Defined in GHC.Utils.Binary Methods put_ :: BinHandle -> JoinPointHood -> IO () Source # put :: BinHandle -> JoinPointHood -> IO (Bin JoinPointHood) Source # get :: BinHandle -> IO JoinPointHood Source #
Outputable JoinPointHood Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: JoinPointHood -> SDoc Source #
Eq JoinPointHood Source # |
Instance details Defined in GHC.Utils.Outputable Methods (==) :: JoinPointHood -> JoinPointHood -> Bool # (/=) :: JoinPointHood -> JoinPointHood -> Bool #

isJoinPoint :: JoinPointHood -> Bool Source #

class IsOutput doc where Source #

A superclass for `IsLine` and `IsDoc` that provides an identity, `empty`, as well as access to the shared `SDocContext`.

See Note [The outputable class hierarchy] for more details.

Methods

empty :: doc Source #

docWithContext :: (SDocContext -> doc) -> doc Source #

docWithStyle :: doc -> (PprStyle -> SDoc) -> doc Source #

#### Instances

Instances details

IsOutput HDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: HDoc Source # docWithContext :: (SDocContext -> HDoc) -> HDoc Source # docWithStyle :: HDoc -> (PprStyle -> SDoc) -> HDoc Source #
IsOutput HLine Source # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: HLine Source # docWithContext :: (SDocContext -> HLine) -> HLine Source # docWithStyle :: HLine -> (PprStyle -> SDoc) -> HLine Source #
IsOutput SDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: SDoc Source # docWithContext :: (SDocContext -> SDoc) -> SDoc Source # docWithStyle :: SDoc -> (PprStyle -> SDoc) -> SDoc Source #

class IsOutput doc => IsLine doc where Source #

A class of types that represent a single logical line of text, with support for horizontal composition.

See Note [HLine versus HDoc] and Note [The outputable class hierarchy] for more details.

Minimal complete definition

char, text, ftext, ztext, (<>), (<+>), sep, fsep, dualLine

Methods

char :: Char -> doc Source #

text :: String -> doc Source #

ftext :: FastString -> doc Source #

ztext :: FastZString -> doc Source #

(<>) :: doc -> doc -> doc Source #

Join two `doc`s together horizontally without a gap.

(<+>) :: doc -> doc -> doc Source #

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

sep :: [doc] -> doc Source #

Separate: is either like `hsep` or like `vcat`, depending on what fits.

fsep :: [doc] -> doc Source #

A paragraph-fill combinator. It's much like `sep`, only it keeps fitting things on one line until it can't fit any more.

hcat :: [doc] -> doc Source #

Concatenate `doc`s horizontally without gaps.

hsep :: [doc] -> doc Source #

Concatenate `doc`s horizontally with a space between each one.

dualLine :: SDoc -> HLine -> doc Source #

Prints as either the given `SDoc` or the given `HLine`, depending on which type the result is instantiated to. This should generally be avoided; see Note [dualLine and dualDoc] for details.

#### Instances

Instances details

IsLine HLine Source # |

Instance details

Defined in GHC.Utils.Outputable

Methods

char :: Char -> HLine Source #

text :: String -> HLine Source #

ftext :: FastString -> HLine Source #

ztext :: FastZString -> HLine Source #

(<>) :: HLine -> HLine -> HLine Source #

(<+>) :: HLine -> HLine -> HLine Source #

sep :: [HLine] -> HLine Source #

fsep :: [HLine] -> HLine Source #

hcat :: [HLine] -> HLine Source #

hsep :: [HLine] -> HLine Source #

dualLine :: SDoc -> HLine -> HLine Source #

IsLine SDoc Source # |

Instance details

Defined in GHC.Utils.Outputable

Methods

char :: Char -> SDoc Source #

text :: String -> SDoc Source #

ftext :: FastString -> SDoc Source #

ztext :: FastZString -> SDoc Source #

(<>) :: SDoc -> SDoc -> SDoc Source #

(<+>) :: SDoc -> SDoc -> SDoc Source #

sep :: [SDoc] -> SDoc Source #

fsep :: [SDoc] -> SDoc Source #

hcat :: [SDoc] -> SDoc Source #

hsep :: [SDoc] -> SDoc Source #

dualLine :: SDoc -> HLine -> SDoc Source #

class (IsOutput doc, IsLine (Line doc)) => IsDoc doc where Source #

A class of types that represent a multiline document, with support for vertical composition.

See Note [HLine versus HDoc] and Note [The outputable class hierarchy] for more details.

Minimal complete definition

line, ($$), dualDoc

Associated Types

type Line doc = (r :: Type) | r -> doc Source #

Methods

line :: Line doc -> doc Source #

($$) :: doc -> doc -> doc Source #

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

lines_ :: [Line doc] -> doc Source #

vcat :: [doc] -> doc Source #

Concatenate `doc`s vertically with dovetailing.

dualDoc :: SDoc -> HDoc -> doc Source #

Prints as either the given `SDoc` or the given `HDoc`, depending on which type the result is instantiated to. This should generally be avoided; see Note [dualLine and dualDoc] for details.

#### Instances

Instances details

IsDoc HDoc Source # |

Instance details

Defined in GHC.Utils.Outputable

Associated Types

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

Methods

line :: Line HDoc -> HDoc Source #

($$) :: HDoc -> HDoc -> HDoc Source #

lines_ :: [Line HDoc] -> HDoc Source #

vcat :: [HDoc] -> HDoc Source #

dualDoc :: SDoc -> HDoc -> HDoc Source #

IsDoc SDoc Source # |

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 Source #

($$) :: SDoc -> SDoc -> SDoc Source #

lines_ :: [Line SDoc] -> SDoc Source #

vcat :: [SDoc] -> SDoc Source #

dualDoc :: SDoc -> HDoc -> SDoc Source #

data HLine Source #

Represents a single line of output that can be efficiently printed directly to a `Handle` (actually a `BufHandle`). See Note [SDoc versus HDoc] and Note [HLine versus HDoc] for more details.

#### Instances

Instances details

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

Instance details

Defined in GHC.Utils.Outputable

Methods

char :: Char -> HLine Source #

text :: String -> HLine Source #

ftext :: FastString -> HLine Source #

ztext :: FastZString -> HLine Source #

(<>) :: HLine -> HLine -> HLine Source #

(<+>) :: HLine -> HLine -> HLine Source #

sep :: [HLine] -> HLine Source #

fsep :: [HLine] -> HLine Source #

hcat :: [HLine] -> HLine Source #

hsep :: [HLine] -> HLine Source #

dualLine :: SDoc -> HLine -> HLine Source #

IsOutput HLine Source # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: HLine Source # docWithContext :: (SDocContext -> HLine) -> HLine Source # docWithStyle :: HLine -> (PprStyle -> SDoc) -> HLine Source #

data HDoc Source #

Represents a (possibly empty) sequence of lines that can be efficiently printed directly to a `Handle` (actually a `BufHandle`). See Note [SDoc versus HDoc] and Note [HLine versus HDoc] for more details.

#### Instances

Instances details

IsDoc HDoc Source # |

Instance details

Defined in GHC.Utils.Outputable

Associated Types

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

Methods

line :: Line HDoc -> HDoc Source #

($$) :: HDoc -> HDoc -> HDoc Source #

lines_ :: [Line HDoc] -> HDoc Source #

vcat :: [HDoc] -> HDoc Source #

dualDoc :: SDoc -> HDoc -> HDoc Source #

IsOutput HDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: HDoc Source # docWithContext :: (SDocContext -> HDoc) -> HDoc Source # docWithStyle :: HDoc -> (PprStyle -> SDoc) -> HDoc Source #
type Line HDoc Source # |
Instance details Defined in GHC.Utils.Outputable type Line HDoc = HLine

# Pretty printing combinators

data SDoc Source #

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

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 Source #

($$) :: SDoc -> SDoc -> SDoc Source #

lines_ :: [Line SDoc] -> SDoc Source #

vcat :: [SDoc] -> SDoc Source #

dualDoc :: SDoc -> HDoc -> SDoc Source #

IsLine SDoc Source # |

Instance details

Defined in GHC.Utils.Outputable

Methods

char :: Char -> SDoc Source #

text :: String -> SDoc Source #

ftext :: FastString -> SDoc Source #

ztext :: FastZString -> SDoc Source #

(<>) :: SDoc -> SDoc -> SDoc Source #

(<+>) :: SDoc -> SDoc -> SDoc Source #

sep :: [SDoc] -> SDoc Source #

fsep :: [SDoc] -> SDoc Source #

hcat :: [SDoc] -> SDoc Source #

hsep :: [SDoc] -> SDoc Source #

dualLine :: SDoc -> HLine -> SDoc Source #

IsOutput SDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: SDoc Source # docWithContext :: (SDocContext -> SDoc) -> SDoc Source # docWithStyle :: SDoc -> (PprStyle -> SDoc) -> SDoc Source #
Outputable SDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SDoc -> SDoc Source #
IsString SDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods fromString :: String -> SDoc #
OutputableP env SDoc Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> SDoc -> SDoc Source #
type Line SDoc Source # |
Instance details Defined in GHC.Utils.Outputable type Line SDoc = SDoc

runSDoc :: SDoc -> SDocContext -> Doc Source #

newtype PDoc a Source #

Wrapper for types having a Outputable instance when an OutputableP instance is required.

Constructors

PDoc a |

#### Instances

Instances details

Outputable a => OutputableP env (PDoc a) Source # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> PDoc a -> SDoc Source #

docToSDoc :: Doc -> SDoc Source #

interppSP :: Outputable a => [a] -> SDoc Source #

Returns the separated concatenation of the pretty printed things.

interpp'SP :: Outputable a => [a] -> SDoc Source #

Returns the comma-separated concatenation of the pretty printed things.

interpp'SP' :: (a -> SDoc) -> [a] -> SDoc Source #

pprQuotedList :: Outputable a => [a] -> SDoc Source #

Returns the comma-separated concatenation of the quoted pretty printed things.

    [x,y,z]  ==>  `x', `y', `z'

pprWithCommas Source #

Arguments

:: (a -> SDoc) | The pretty printing function to use
-> [a] | The things to be pretty printed
-> SDoc | `SDoc` where the things have been pretty printed, comma-separated and finally packed into a paragraph.

quotedListWithOr :: [SDoc] -> SDoc Source #

quotedListWithNor :: [SDoc] -> SDoc Source #

quotedListWithAnd :: [SDoc] -> SDoc Source #

pprWithBars Source #

Arguments

:: (a -> SDoc) | The pretty printing function to use
-> [a] | The things to be pretty printed
-> SDoc | `SDoc` where the things have been pretty printed, bar-separated and finally packed into a paragraph.

spaceIfSingleQuote :: SDoc -> SDoc Source #

isEmpty :: SDocContext -> SDoc -> Bool Source #

nest :: Int -> SDoc -> SDoc Source #

Indent `SDoc` some specified amount

ptext :: PtrString -> SDoc Source #

int :: IsLine doc => Int -> doc Source #

intWithCommas :: Integral a => a -> SDoc Source #

integer :: IsLine doc => Integer -> doc Source #

word64 :: IsLine doc => Word64 -> doc Source #

word :: Integer -> SDoc Source #

float :: IsLine doc => Float -> doc Source #

double :: IsLine doc => Double -> doc Source #

rational :: Rational -> SDoc Source #

doublePrec :: Int -> Double -> SDoc Source #

`doublePrec p n` shows a floating point number `n` with `p` digits of precision after the decimal point.

parens :: IsLine doc => doc -> doc Source #

cparen :: Bool -> SDoc -> SDoc Source #

brackets :: IsLine doc => doc -> doc Source #

braces :: IsLine doc => doc -> doc Source #

quotes :: SDoc -> SDoc Source #

quote :: SDoc -> SDoc Source #

quoteIfPunsEnabled :: SDoc -> SDoc Source #

doubleQuotes :: IsLine doc => doc -> doc Source #

angleBrackets :: IsLine doc => doc -> doc Source #

semi :: IsLine doc => doc Source #

comma :: IsLine doc => doc Source #

colon :: IsLine doc => doc Source #

dcolon :: SDoc Source #

space :: IsLine doc => doc Source #

equals :: IsLine doc => doc Source #

dot :: IsLine doc => doc Source #

vbar :: IsLine doc => doc Source #

arrow :: SDoc Source #

lollipop :: SDoc Source #

larrow :: SDoc Source #

darrow :: SDoc Source #

arrowt :: SDoc Source #

larrowt :: SDoc Source #

arrowtt :: SDoc Source #

larrowtt :: SDoc Source #

lambda :: SDoc Source #

lparen :: IsLine doc => doc Source #

rparen :: IsLine doc => doc Source #

lbrack :: IsLine doc => doc Source #

rbrack :: IsLine doc => doc Source #

lbrace :: IsLine doc => doc Source #

rbrace :: IsLine doc => doc Source #

underscore :: IsLine doc => doc Source #

blankLine :: SDoc Source #

forAllLit :: SDoc Source #

bullet :: SDoc Source #

($+$) :: SDoc -> SDoc -> SDoc Source #

Join two `SDoc` together vertically

cat :: [SDoc] -> SDoc Source #

A paragraph-fill combinator. It's much like sep, only it keeps fitting things on one line until it can't fit any more.

fcat :: [SDoc] -> SDoc Source #

This behaves like `fsep`, but it uses `<>` for horizontal composition rather than `<+>`

hang Source #

Arguments

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

hangNotEmpty :: SDoc -> Int -> SDoc -> SDoc Source #

This behaves like `hang`, but does not indent the second document when the header is empty.

punctuate Source #

Arguments

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

punctuateFinal Source #

Arguments

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

Punctuate a list, e.g. with commas and dots.

    sep $ punctuateFinal comma dot [text "ab", text "cd", text "ef"]
    ab, cd, ef.

ppWhen :: IsOutput doc => Bool -> doc -> doc Source #

ppUnless :: IsOutput doc => Bool -> doc -> doc Source #

ppWhenOption :: (SDocContext -> Bool) -> SDoc -> SDoc Source #

ppUnlessOption :: (SDocContext -> Bool) -> SDoc -> SDoc Source #

speakNth :: Int -> SDoc Source #

Converts an integer to a verbal index:

    speakNth 1 = text "first"
    speakNth 5 = text "fifth"
    speakNth 21 = text "21st"

speakN :: Int -> SDoc Source #

Converts an integer to a verbal multiplicity:

    speakN 0 = text "none"
    speakN 5 = text "five"
    speakN 10 = text "10"

speakNOf :: Int -> SDoc -> SDoc Source #

Converts an integer and object description to a statement about the multiplicity of those objects:

    speakNOf 0 (text "melon") = text "no melons"
    speakNOf 1 (text "melon") = text "one melon"
    speakNOf 3 (text "melon") = text "three melons"

plural :: [a] -> SDoc Source #

Determines the pluralisation suffix appropriate for the length of a list:

    plural [] = char 's'
    plural ["Hello"] = empty
    plural ["Hello", "World"] = char 's'

singular :: [a] -> SDoc Source #

Determines the singular verb suffix appropriate for the length of a list:

    singular [] = empty
    singular["Hello"] = char 's'
    singular ["Hello", "World"] = empty

isOrAre :: [a] -> SDoc Source #

Determines the form of to be appropriate for the length of a list:

    isOrAre [] = text "are"
    isOrAre ["Hello"] = text "is"
    isOrAre ["Hello", "World"] = text "are"

doOrDoes :: [a] -> SDoc Source #

Determines the form of to do appropriate for the length of a list:

    doOrDoes [] = text "do"
    doOrDoes ["Hello"] = text "does"
    doOrDoes ["Hello", "World"] = text "do"

itsOrTheir :: [a] -> SDoc Source #

Determines the form of possessive appropriate for the length of a list:

    itsOrTheir [x]   = text "its"
    itsOrTheir [x,y] = text "their"
    itsOrTheir []    = text "their"  -- probably avoid this

thisOrThese :: [a] -> SDoc Source #

Determines the form of subject appropriate for the length of a list:

    thisOrThese [x]   = text "This"
    thisOrThese [x,y] = text "These"
    thisOrThese []    = text "These"  -- probably avoid this

hasOrHave :: [a] -> SDoc Source #

`"has"` or `"have"` depending on the length of a list.

itOrThey :: [a] -> SDoc Source #

`it` or `they`, depeneding on the length of the list.

    itOrThey [x]   = text "it"
    itOrThey [x,y] = text "they"
    itOrThey []    = text "they"  -- probably avoid this

unicodeSyntax :: SDoc -> SDoc -> SDoc Source #

coloured :: PprColour -> SDoc -> SDoc Source #

Apply the given colour/style for the argument.

Only takes effect if colours are enabled.

keyword :: SDoc -> SDoc Source #

# Converting `SDoc` into strings and outputting it

printSDoc :: SDocContext -> Mode -> Handle -> SDoc -> IO () Source #

The analog of `printDoc_` for `SDoc`, which tries to make sure the terminal doesn't get screwed up by the ANSI color codes if an exception is thrown during pretty-printing.

printSDocLn :: SDocContext -> Mode -> Handle -> SDoc -> IO () Source #

Like `printSDoc` but appends an extra newline.

bufLeftRenderSDoc :: SDocContext -> BufHandle -> SDoc -> IO () Source #

An efficient variant of `printSDoc` specialized for `LeftMode` that outputs to a `BufHandle`.

pprCode :: SDoc -> SDoc Source #

showSDocOneLine :: SDocContext -> SDoc -> String Source #

showSDocUnsafe :: SDoc -> String Source #

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

renderWithContext :: SDocContext -> SDoc -> String Source #

pprDebugAndThen :: SDocContext -> (String -> a) -> SDoc -> SDoc -> a Source #

pprInfixVar :: Bool -> SDoc -> SDoc Source #

pprPrefixVar :: Bool -> SDoc -> SDoc Source #

pprHsChar :: Char -> SDoc Source #

Special combinator for showing character literals.

pprHsString :: FastString -> SDoc Source #

Special combinator for showing string literals.

pprHsBytes :: ByteString -> SDoc Source #

Special combinator for showing bytestring literals.

primFloatSuffix :: SDoc Source #

primCharSuffix :: SDoc Source #

primDoubleSuffix :: SDoc Source #

primInt8Suffix :: SDoc Source #

primWord8Suffix :: SDoc Source #

primInt16Suffix :: SDoc Source #

primWord16Suffix :: SDoc Source #

primInt32Suffix :: SDoc Source #

primWord32Suffix :: SDoc Source #

primInt64Suffix :: SDoc Source #

primWord64Suffix :: SDoc Source #

primIntSuffix :: SDoc Source #

primWordSuffix :: SDoc Source #

pprPrimChar :: Char -> SDoc Source #

Special combinator for showing unboxed literals.

pprPrimInt :: Integer -> SDoc Source #

pprPrimWord :: Integer -> SDoc Source #

pprPrimInt8 :: Integer -> SDoc Source #

pprPrimWord8 :: Integer -> SDoc Source #

pprPrimInt16 :: Integer -> SDoc Source #

pprPrimWord16 :: Integer -> SDoc Source #

pprPrimInt32 :: Integer -> SDoc Source #

pprPrimWord32 :: Integer -> SDoc Source #

pprPrimInt64 :: Integer -> SDoc Source #

pprPrimWord64 :: Integer -> SDoc Source #

pprFastFilePath :: FastString -> SDoc Source #

pprFilePathString :: IsLine doc => FilePath -> doc Source #

Normalise, escape and render a string representing a path

e.g. "c:\whatever"

pprModuleName :: IsLine doc => ModuleName -> doc Source #

# Controlling the style in which output is printed

data PprStyle Source #

Constructors

PprUser NamePprCtx Depth Coloured |
PprDump NamePprCtx |
PprCode | Print code; either C or assembler

#### Instances

Instances details

Outputable PprStyle Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: PprStyle -> SDoc Source #

data NamePprCtx Source #

When printing code that contains original names, we need to map the original names back to something the user understands. This is the purpose of the triple of functions that gets passed around when rendering `SDoc`.

Constructors

QueryQualify |

Fields

- queryQualifyName :: QueryQualifyName
- queryQualifyModule :: QueryQualifyModule
- queryQualifyPackage :: QueryQualifyPackage
- queryPromotionTick :: QueryPromotionTick

type QueryQualifyName = Module -> OccName -> QualifyName Source #

Given a `Name`'s `Module` and `OccName`, decide whether and how to qualify it.

type QueryQualifyModule = Module -> Bool Source #

For a given module, we need to know whether to print it with a package name to disambiguate it.

type QueryQualifyPackage = Unit -> Bool Source #

For a given package, we need to know whether to print it with the component id to disambiguate it.

type QueryPromotionTick = PromotedItem -> Bool Source #

Given a promoted data constructor, decide whether to print a tick to disambiguate the namespace.

data PromotedItem Source #

Constructors

PromotedItemListSyntax IsEmptyOrSingleton |
PromotedItemTupleSyntax |
PromotedItemDataCon OccName |

newtype IsEmptyOrSingleton Source #

Constructors

IsEmptyOrSingleton Bool |

isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton Source #

data PromotionTickContext Source #

Flags that affect whether a promotion tick is printed.

Constructors

PromTickCtx |

Fields

- ptcListTuplePuns :: !Bool
- ptcPrintRedundantPromTicks :: !Bool

reallyAlwaysQualify :: NamePprCtx Source #

reallyAlwaysQualifyNames :: QueryQualifyName Source #

alwaysQualify :: NamePprCtx Source #

alwaysQualifyNames :: QueryQualifyName Source #

NB: This won't ever show package IDs

alwaysQualifyModules :: QueryQualifyModule Source #

neverQualify :: NamePprCtx Source #

neverQualifyNames :: QueryQualifyName Source #

neverQualifyModules :: QueryQualifyModule Source #

alwaysQualifyPackages :: QueryQualifyPackage Source #

neverQualifyPackages :: QueryQualifyPackage Source #

alwaysPrintPromTick :: QueryPromotionTick Source #

data QualifyName Source #

Constructors

NameUnqual |
NameQual ModuleName |
NameNotInScope1 |
NameNotInScope2 |

#### Instances

Instances details

Outputable QualifyName Source # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: QualifyName -> SDoc Source #

queryQual :: PprStyle -> NamePprCtx Source #

sdocOption :: (SDocContext -> a) -> (a -> SDoc) -> SDoc Source #

updSDocContext :: (SDocContext -> SDocContext) -> SDoc -> SDoc Source #

data SDocContext Source #

Constructors

SDC |

Fields

- sdocStyle :: !PprStyle
- sdocColScheme :: !Scheme
- sdocLastColour :: !PprColour

  The most recently used colour. This allows nesting colours.

- sdocShouldUseColor :: !Bool
- sdocDefaultDepth :: !Int
- sdocLineLength :: !Int
- sdocCanUseUnicode :: !Bool

  True if Unicode encoding is supported and not disabled by GHC_NO_UNICODE environment variable

- sdocPrintErrIndexLinks :: !Bool
- sdocHexWordLiterals :: !Bool
- sdocPprDebug :: !Bool
- sdocPrintUnicodeSyntax :: !Bool
- sdocPrintCaseAsLet :: !Bool
- sdocPrintTypecheckerElaboration :: !Bool
- sdocPrintAxiomIncomps :: !Bool
- sdocPrintExplicitKinds :: !Bool
- sdocPrintExplicitCoercions :: !Bool
- sdocPrintExplicitRuntimeReps :: !Bool
- sdocPrintExplicitForalls :: !Bool
- sdocPrintPotentialInstances :: !Bool
- sdocPrintEqualityRelations :: !Bool
- sdocSuppressTicks :: !Bool
- sdocSuppressTypeSignatures :: !Bool
- sdocSuppressTypeApplications :: !Bool
- sdocSuppressIdInfo :: !Bool
- sdocSuppressCoercions :: !Bool
- sdocSuppressCoercionTypes :: !Bool
- sdocSuppressUnfoldings :: !Bool
- sdocSuppressVarKinds :: !Bool
- sdocSuppressUniques :: !Bool
- sdocSuppressModulePrefixes :: !Bool
- sdocSuppressStgExts :: !Bool
- sdocSuppressStgReps :: !Bool
- sdocErrorSpans :: !Bool
- sdocStarIsType :: !Bool
- sdocLinearTypes :: !Bool
- sdocListTuplePuns :: !Bool
- sdocPrintTypeAbbreviations :: !Bool
- sdocUnitIdForUser :: !(FastString -> SDoc)

  Used to map UnitIds to more friendly "package-version:component" strings while pretty-printing.

  Use `pprWithUnitState` to set it. Users should never have to set it to pretty-print SDocs emitted by GHC, otherwise it's a bug. It's an internal field used to thread the UnitState so that the Outputable instance of UnitId can use it.

  See Note [Pretty-printing UnitId] in GHC.Unit for more details.

  Note that we use `FastString` instead of `UnitId` to avoid boring module inter-dependency issues.

sdocWithContext :: (SDocContext -> SDoc) -> SDoc Source #

defaultSDocContext :: SDocContext Source #

Default pretty-printing options

traceSDocContext :: SDocContext Source #

getPprStyle :: (PprStyle -> SDoc) -> SDoc Source #

withPprStyle :: PprStyle -> SDoc -> SDoc Source #

setStyleColoured :: Bool -> PprStyle -> PprStyle Source #

pprDeeper :: SDoc -> SDoc Source #

pprDeeperList :: ([SDoc] -> SDoc) -> [SDoc] -> SDoc Source #

Truncate a list that is longer than the current depth.

pprSetDepth :: Depth -> SDoc -> SDoc Source #

codeStyle :: PprStyle -> Bool Source #

userStyle :: PprStyle -> Bool Source #

dumpStyle :: PprStyle -> Bool Source #

qualName :: PprStyle -> QueryQualifyName Source #

qualModule :: PprStyle -> QueryQualifyModule Source #

qualPackage :: PprStyle -> QueryQualifyPackage Source #

promTick :: PprStyle -> QueryPromotionTick Source #

mkErrStyle :: NamePprCtx -> PprStyle Source #

Style for printing error messages

defaultErrStyle :: PprStyle Source #

Default style for error messages, when we don't know NamePprCtx It's a bit of a hack because it doesn't take into account what's in scope Only used for desugarer warnings, and typechecker errors in interface sigs

defaultDumpStyle :: PprStyle Source #

mkDumpStyle :: NamePprCtx -> PprStyle Source #

defaultUserStyle :: PprStyle Source #

mkUserStyle :: NamePprCtx -> Depth -> PprStyle Source #

cmdlineParserStyle :: PprStyle Source #

data Depth Source #

Constructors

AllTheWay |
PartWay Int | 0 => stop
DefaultDepth | Use `sdocDefaultDepth` field as depth

withUserStyle :: NamePprCtx -> Depth -> SDoc -> SDoc Source #

withErrStyle :: NamePprCtx -> SDoc -> SDoc Source #

ifPprDebug :: IsOutput doc => doc -> doc -> doc Source #

Says what to do with and without -dppr-debug

whenPprDebug :: IsOutput doc => doc -> doc Source #

Says what to do with -dppr-debug; without, return empty

getPprDebug :: IsOutput doc => (Bool -> doc) -> doc Source #

Indicate if -dppr-debug mode is enabled

bPutHDoc :: BufHandle -> SDocContext -> HDoc -> IO () Source #