ghc-lib-parser-9.10.1.20250103: The GHC API, decoupled from GHC versions

Safe Haskell | Ignore
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 #

Class designating that some type has an `SDoc` representation

Methods

ppr :: a -> SDoc #

#### Instances

Instances details

Outputable Void # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Void -> SDoc #
Outputable Fingerprint # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Fingerprint -> SDoc #
Outputable Int16 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int16 -> SDoc #
Outputable Int32 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int32 -> SDoc #
Outputable Int64 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int64 -> SDoc #
Outputable Int8 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int8 -> SDoc #
Outputable Word16 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word16 -> SDoc #
Outputable Word32 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word32 -> SDoc #
Outputable Word64 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word64 -> SDoc #
Outputable Word8 # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word8 -> SDoc #
Outputable PrimCall # |
Instance details Defined in GHC.Builtin.PrimOps Methods ppr :: PrimCall -> SDoc #
Outputable PrimOp # |
Instance details Defined in GHC.Builtin.PrimOps Methods ppr :: PrimOp -> SDoc #
Outputable ByteOff # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: ByteOff -> SDoc #
Outputable CgBreakInfo # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CgBreakInfo -> SDoc #
Outputable CompiledByteCode # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CompiledByteCode -> SDoc #
Outputable HalfWord # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: HalfWord -> SDoc #
Outputable NativeCallInfo # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: NativeCallInfo -> SDoc #
Outputable RegBitmap # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: RegBitmap -> SDoc #
Outputable UnlinkedBCO # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: UnlinkedBCO -> SDoc #
Outputable WordOff # |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: WordOff -> SDoc #
Outputable CmmStackInfo # |
Instance details Defined in GHC.Cmm Methods ppr :: CmmStackInfo -> SDoc #
Outputable CmmStatic # |
Instance details Defined in GHC.Cmm Methods ppr :: CmmStatic -> SDoc #
Outputable ConInfoTableLocation # |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: ConInfoTableLocation -> SDoc #
Outputable ForeignLabelSource # |
Instance details Defined in GHC.Cmm.CLabel Methods ppr :: ForeignLabelSource -> SDoc #
Outputable Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: Label -> SDoc #
Outputable LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelSet -> SDoc #
Outputable Area # |
Instance details Defined in GHC.Cmm.Expr Methods ppr :: Area -> SDoc #
Outputable CmmLit # |
Instance details Defined in GHC.Cmm.Expr Methods ppr :: CmmLit -> SDoc #
Outputable CmmReturnInfo # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: CmmReturnInfo -> SDoc #
Outputable CmmTickScope # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: CmmTickScope -> SDoc #
Outputable Convention # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: Convention -> SDoc #
Outputable ForeignConvention # |
Instance details Defined in GHC.Cmm.Node Methods ppr :: ForeignConvention -> SDoc #
Outputable CmmReg # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: CmmReg -> SDoc #
Outputable GlobalReg # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: GlobalReg -> SDoc #
Outputable GlobalRegUse # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: GlobalRegUse -> SDoc #
Outputable LocalReg # |
Instance details Defined in GHC.Cmm.Reg Methods ppr :: LocalReg -> SDoc #
Outputable CmmType # |
Instance details Defined in GHC.Cmm.Type Methods ppr :: CmmType -> SDoc #
Outputable ForeignHint # |
Instance details Defined in GHC.Cmm.Type Methods ppr :: ForeignHint -> SDoc #
Outputable Width # |
Instance details Defined in GHC.Cmm.Type Methods ppr :: Width -> SDoc #
Outputable AltCon # |
Instance details Defined in GHC.Core Methods ppr :: AltCon -> SDoc #
Outputable CoreRule # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: CoreRule -> SDoc #
Outputable Unfolding # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: Unfolding -> SDoc #
Outputable UnfoldingCache # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: UnfoldingCache -> SDoc #
Outputable UnfoldingGuidance # |
Instance details Defined in GHC.Core.Ppr Methods ppr :: UnfoldingGuidance -> SDoc #
Outputable Class # |
Instance details Defined in GHC.Core.Class Methods ppr :: Class -> SDoc #
Outputable LiftingContext # |
Instance details Defined in GHC.Core.Coercion Methods ppr :: LiftingContext -> SDoc #
Outputable CoAxBranch # |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxBranch -> SDoc #
Outputable CoAxiomRule # |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxiomRule -> SDoc #
Outputable ConLike # |
Instance details Defined in GHC.Core.ConLike Methods ppr :: ConLike -> SDoc #
Outputable DataCon # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: DataCon -> SDoc #
Outputable EqSpec # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: EqSpec -> SDoc #
Outputable HsImplBang # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsImplBang -> SDoc #
Outputable HsSrcBang # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsSrcBang -> SDoc #
Outputable StrictnessMark # |
Instance details Defined in GHC.Core.DataCon Methods ppr :: StrictnessMark -> SDoc #
Outputable FamInst # |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInst -> SDoc #
Outputable FamInstEnv # |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstEnv -> SDoc #
Outputable FamInstMatch # |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstMatch -> SDoc #
Outputable ClsInst # |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: ClsInst -> SDoc #
Outputable InstEnv # |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: InstEnv -> SDoc #
Outputable PotentialUnifiers # |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: PotentialUnifiers -> SDoc #
Outputable FloatBind # |
Instance details Defined in GHC.Core.Make Methods ppr :: FloatBind -> SDoc #
Outputable IsSubmult # |
Instance details Defined in GHC.Core.Multiplicity Methods ppr :: IsSubmult -> SDoc #

Outputable ArityType #

This is the BNF of the generated output:

    @

    We format

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

Instance details Defined in GHC.Core.Opt.Arity Methods ppr :: ArityType -> SDoc #
Outputable CallerCcFilter # |
Instance details Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: CallerCcFilter -> SDoc #
Outputable NamePattern # |
Instance details Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: NamePattern -> SDoc #
Outputable FloatOutSwitches # |
Instance details Defined in GHC.Core.Opt.Monad Methods ppr :: FloatOutSwitches -> SDoc #
Outputable CoreToDo # |
Instance details Defined in GHC.Core.Opt.Pipeline.Types Methods ppr :: CoreToDo -> SDoc #
Outputable LetFloats # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: LetFloats -> SDoc #
Outputable SimplFloats # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplFloats -> SDoc #
Outputable SimplMode # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplMode -> SDoc #
Outputable SimplSR # |
Instance details Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplSR -> SDoc #
Outputable ArgInfo # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: ArgInfo -> SDoc #
Outputable ArgSpec # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: ArgSpec -> SDoc #
Outputable DupFlag # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: DupFlag -> SDoc #
Outputable SimplCont # |
Instance details Defined in GHC.Core.Opt.Simplify.Utils Methods ppr :: SimplCont -> SDoc #
Outputable Tick # |
Instance details Defined in GHC.Core.Opt.Stats Methods ppr :: Tick -> SDoc #
Outputable PatSyn # |
Instance details Defined in GHC.Core.PatSyn Methods ppr :: PatSyn -> SDoc #
Outputable EqRel # |
Instance details Defined in GHC.Core.Predicate Methods ppr :: EqRel -> SDoc #
Outputable Reduction # |
Instance details Defined in GHC.Core.Reduction Methods ppr :: Reduction -> SDoc #
Outputable RoughMatchLookupTc # |
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchLookupTc -> SDoc #
Outputable RoughMatchTc # |
Instance details Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchTc -> SDoc #
Outputable CoreStats # |
Instance details Defined in GHC.Core.Stats Methods ppr :: CoreStats -> SDoc #
Outputable CoSel # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoSel -> SDoc #
Outputable Coercion # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Coercion -> SDoc #
Outputable CoercionHole # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoercionHole -> SDoc #
Outputable FunSel # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: FunSel -> SDoc #
Outputable MCoercion # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: MCoercion -> SDoc #
Outputable TyLit # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: TyLit -> SDoc #
Outputable Type # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Type -> SDoc #
Outputable UnivCoProvenance # |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: UnivCoProvenance -> SDoc #
Outputable Subst # |
Instance details Defined in GHC.Core.TyCo.Subst Methods ppr :: Subst -> SDoc #
Outputable AlgTyConFlav # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: AlgTyConFlav -> SDoc #
Outputable FamTyConFlav # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: FamTyConFlav -> SDoc #
Outputable PrimElemRep # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimElemRep -> SDoc #
Outputable PrimRep # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimRep -> SDoc #
Outputable TyCon # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyCon -> SDoc #
Outputable TyConBndrVis # |
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyConBndrVis -> SDoc #
Outputable RecTcChecker # |
Instance details Defined in GHC.Core.TyCon.RecWalk Methods ppr :: RecTcChecker -> SDoc #
Outputable ArgSummary # |
Instance details Defined in GHC.Core.Unfold Methods ppr :: ArgSummary -> SDoc #
Outputable CallCtxt # |
Instance details Defined in GHC.Core.Unfold Methods ppr :: CallCtxt -> SDoc #
Outputable ExprSize # |
Instance details Defined in GHC.Core.Unfold Methods ppr :: ExprSize -> SDoc #
Outputable MaybeApartReason # |
Instance details Defined in GHC.Core.Unify Methods ppr :: MaybeApartReason -> SDoc #
Outputable Usage # |
Instance details Defined in GHC.Core.UsageEnv Methods ppr :: Usage -> SDoc #
Outputable UsageEnv # |
Instance details Defined in GHC.Core.UsageEnv Methods ppr :: UsageEnv -> SDoc #
Outputable FastString # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: FastString -> SDoc #
Outputable LexicalFastString # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: LexicalFastString -> SDoc #
Outputable NonDetFastString # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonDetFastString -> SDoc #
Outputable EdgeType # |
Instance details Defined in GHC.Data.Graph.Directed Methods ppr :: EdgeType -> SDoc #
Outputable UnVarGraph # |
Instance details Defined in GHC.Data.Graph.UnVar Methods ppr :: UnVarGraph -> SDoc #
Outputable UnVarSet # |
Instance details Defined in GHC.Data.Graph.UnVar Methods ppr :: UnVarSet -> SDoc #
Outputable Word64Set # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word64Set -> SDoc #
Outputable HsComponentId # |
Instance details Defined in GHC.Driver.Backpack.Syntax Methods ppr :: HsComponentId -> SDoc #
Outputable GhcMode # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: GhcMode -> SDoc #
Outputable ModRenaming # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: ModRenaming -> SDoc #
Outputable PackageArg # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: PackageArg -> SDoc #
Outputable PackageFlag # |
Instance details Defined in GHC.Driver.DynFlags Methods ppr :: PackageFlag -> SDoc #
Outputable Language # |
Instance details Defined in GHC.Driver.Flags Methods ppr :: Language -> SDoc #
Outputable Phase # |
Instance details Defined in GHC.Driver.Phases Methods ppr :: Phase -> SDoc #
Outputable PluginRecompile # |
Instance details Defined in GHC.Driver.Plugins Methods ppr :: PluginRecompile -> SDoc #
Outputable ABExport # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: ABExport -> SDoc #
Outputable NamespaceSpecifier # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: NamespaceSpecifier -> SDoc #
Outputable TcSpecPrag # |
Instance details Defined in GHC.Hs.Binds Methods ppr :: TcSpecPrag -> SDoc #
Outputable XViaStrategyPs # |
Instance details Defined in GHC.Hs.Decls Methods ppr :: XViaStrategyPs -> SDoc #
Outputable DocStructureItem # |
Instance details Defined in GHC.Hs.Doc Methods ppr :: DocStructureItem -> SDoc #
Outputable Docs # |
Instance details Defined in GHC.Hs.Doc Methods ppr :: Docs -> SDoc #
Outputable HsDocString # |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocString -> SDoc #
Outputable HsDocStringChunk # |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringChunk -> SDoc #
Outputable HsDocStringDecorator # |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringDecorator -> SDoc #
Outputable GrhsAnn # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: GrhsAnn -> SDoc #
Outputable HsThingRn # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsThingRn -> SDoc #
Outputable PendingRnSplice # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingRnSplice -> SDoc #
Outputable PendingTcSplice # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingTcSplice -> SDoc #
Outputable SyntaxExprRn # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprRn -> SDoc #
Outputable SyntaxExprTc # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprTc -> SDoc #
Outputable XXExprGhcRn # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcRn -> SDoc #
Outputable XXExprGhcTc # |
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcTc -> SDoc #
Outputable OpName # |
Instance details Defined in GHC.Hs.Type Methods ppr :: OpName -> SDoc #
Outputable BotInfo # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: BotInfo -> SDoc #
Outputable Nabla # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nabla -> SDoc #
Outputable Nablas # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nablas -> SDoc #
Outputable PmAltCon # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltCon -> SDoc #
Outputable PmAltConApp # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConApp -> SDoc #
Outputable PmAltConSet # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConSet -> SDoc #
Outputable PmEquality # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmEquality -> SDoc #
Outputable PmLit # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLit -> SDoc #
Outputable PmLitValue # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLitValue -> SDoc #
Outputable ResidualCompleteMatches # |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: ResidualCompleteMatches -> SDoc #
Outputable TmState # | Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TmState -> SDoc #
Outputable TyState # | Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TyState -> SDoc #
Outputable VarInfo # | Not user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: VarInfo -> SDoc #
Outputable GrdVec # | Format LYG guards as `| True <- x, let x = 42, !z`
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: GrdVec -> SDoc #
Outputable PmEmptyCase # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmEmptyCase -> SDoc #
Outputable PmGrd # | Should not be user-facing.
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmGrd -> SDoc #
Outputable Precision # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: Precision -> SDoc #
Outputable RedSets # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: RedSets -> SDoc #
Outputable SrcInfo # |
Instance details Defined in GHC.HsToCore.Pmc.Types Methods ppr :: SrcInfo -> SDoc #
Outputable IfGuidance # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfGuidance -> SDoc #
Outputable IfaceAT # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAT -> SDoc #
Outputable IfaceAnnotation # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceAnnotation -> SDoc #
Outputable IfaceClassOp # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClassOp -> SDoc #
Outputable IfaceClsInst # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceClsInst -> SDoc #
Outputable IfaceCompleteMatch # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceCompleteMatch -> SDoc #
Outputable IfaceConAlt # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceConAlt -> SDoc #
Outputable IfaceDecl # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceDecl -> SDoc #
Outputable IfaceExpr # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceExpr -> SDoc #
Outputable IfaceFamInst # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceFamInst -> SDoc #
Outputable IfaceIdDetails # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceIdDetails -> SDoc #
Outputable IfaceInfoItem # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceInfoItem -> SDoc #
Outputable IfaceLFInfo # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceLFInfo -> SDoc #
Outputable IfaceMaybeRhs # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceMaybeRhs -> SDoc #
Outputable IfaceRule # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceRule -> SDoc #
Outputable IfaceStringLiteral # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceStringLiteral -> SDoc #
Outputable IfaceTopBndrInfo # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceTopBndrInfo -> SDoc #
Outputable IfaceTyConParent # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceTyConParent -> SDoc #
Outputable IfaceUnfolding # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceUnfolding -> SDoc #
Outputable IfaceWarningTxt # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarningTxt -> SDoc #
Outputable IfaceWarnings # |
Instance details Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarnings -> SDoc #
Outputable IfaceAppArgs # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceAppArgs -> SDoc #
Outputable IfaceBndr # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceBndr -> SDoc #
Outputable IfaceCoercion # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceCoercion -> SDoc #
Outputable IfaceOneShot # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceOneShot -> SDoc #
Outputable IfaceTyCon # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyCon -> SDoc #
Outputable IfaceTyConInfo # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConInfo -> SDoc #
Outputable IfaceTyConSort # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyConSort -> SDoc #
Outputable IfaceTyLit # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceTyLit -> SDoc #
Outputable IfaceType # |
Instance details Defined in GHC.Iface.Type Methods ppr :: IfaceType -> SDoc #
Outputable ShowHowMuch # |
Instance details Defined in GHC.Iface.Type Methods ppr :: ShowHowMuch -> SDoc #
Outputable JStgExpr # |
Instance details Defined in GHC.JS.JStg.Syntax Methods ppr :: JStgExpr -> SDoc #
Outputable JExpr # |
Instance details Defined in GHC.JS.Ppr Methods ppr :: JExpr -> SDoc #
Outputable JVal # |
Instance details Defined in GHC.JS.Ppr Methods ppr :: JVal -> SDoc #
Outputable Extension # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Extension -> SDoc #
Outputable LibrarySpec # |
Instance details Defined in GHC.Linker.Types Methods ppr :: LibrarySpec -> SDoc #
Outputable Linkable # |
Instance details Defined in GHC.Linker.Types Methods ppr :: Linkable -> SDoc #
Outputable LoadedPkgInfo # |
Instance details Defined in GHC.Linker.Types Methods ppr :: LoadedPkgInfo -> SDoc #
Outputable SptEntry # |
Instance details Defined in GHC.Linker.Types Methods ppr :: SptEntry -> SDoc #
Outputable Unlinked # |
Instance details Defined in GHC.Linker.Types Methods ppr :: Unlinked -> SDoc #
Outputable AddEpAnn # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AddEpAnn -> SDoc #
Outputable AnnContext # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnContext -> SDoc #
Outputable AnnKeywordId # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnKeywordId -> SDoc #
Outputable AnnList # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnList -> SDoc #
Outputable AnnListItem # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnListItem -> SDoc #
Outputable AnnPragma # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnPragma -> SDoc #
Outputable BindTag # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: BindTag -> SDoc #
Outputable DeclTag # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: DeclTag -> SDoc #
Outputable EpAnnComments # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnnComments -> SDoc #
Outputable EpaComment # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpaComment -> SDoc #
Outputable IsUnicodeSyntax # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: IsUnicodeSyntax -> SDoc #
Outputable NameAdornment # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAdornment -> SDoc #
Outputable NameAnn # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAnn -> SDoc #
Outputable NoEpAnns # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NoEpAnns -> SDoc #
Outputable ParenType # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: ParenType -> SDoc #
Outputable TrailingAnn # |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: TrailingAnn -> SDoc #
Outputable Token # |
Instance details Defined in GHC.Parser.Lexer Methods ppr :: Token -> SDoc #
Outputable DataConBuilder # |
Instance details Defined in GHC.Parser.Types Methods ppr :: DataConBuilder -> SDoc #
Outputable RealReg # |
Instance details Defined in GHC.Platform.Reg Methods ppr :: RealReg -> SDoc #
Outputable Reg # | Print a reg in a generic manner If you want the architecture specific names, then use the pprReg function from the appropriate Ppr module.
Instance details Defined in GHC.Platform.Reg Methods ppr :: Reg -> SDoc #
Outputable VirtualReg # |
Instance details Defined in GHC.Platform.Reg Methods ppr :: VirtualReg -> SDoc #
Outputable RegClass # |
Instance details Defined in GHC.Platform.Reg.Class Methods ppr :: RegClass -> SDoc #
Outputable InteractiveImport # |
Instance details Defined in GHC.Runtime.Context Methods ppr :: InteractiveImport -> SDoc #
Outputable ArgDescr # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ArgDescr -> SDoc #
Outputable ClosureTypeInfo # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ClosureTypeInfo -> SDoc #
Outputable SMRep # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: SMRep -> SDoc #
Outputable StgHalfWord # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgHalfWord -> SDoc #
Outputable StgWord # |
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgWord -> SDoc #
Outputable Serialized # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Serialized -> SDoc #
Outputable TagInfo # |
Instance details Defined in GHC.Stg.InferTags.TagSig Methods ppr :: TagInfo -> SDoc #
Outputable TagSig # |
Instance details Defined in GHC.Stg.InferTags.TagSig Methods ppr :: TagSig -> SDoc #
Outputable BinderInfo # |
Instance details Defined in GHC.Stg.Lift.Types Methods ppr :: BinderInfo -> SDoc #
Outputable Skeleton # |
Instance details Defined in GHC.Stg.Lift.Types Methods ppr :: Skeleton -> SDoc #
Outputable AltType # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: AltType -> SDoc #
Outputable ConstructorNumber # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: ConstructorNumber -> SDoc #
Outputable NoExtFieldSilent # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: NoExtFieldSilent -> SDoc #
Outputable StgArg # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgArg -> SDoc #
Outputable StgOp # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgOp -> SDoc #
Outputable UpdateFlag # |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: UpdateFlag -> SDoc #
Outputable LambdaFormInfo # |
Instance details Defined in GHC.StgToCmm.Types Methods ppr :: LambdaFormInfo -> SDoc #
Outputable StandardFormInfo # |
Instance details Defined in GHC.StgToCmm.Types Methods ppr :: StandardFormInfo -> SDoc #
Outputable LinkPlan # |
Instance details Defined in GHC.StgToJS.Linker.Types Methods ppr :: LinkPlan -> SDoc #
Outputable BlockInfo # |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: BlockInfo -> SDoc #
Outputable BlockLocation # |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: BlockLocation -> SDoc #
Outputable ExportedFun # |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: ExportedFun -> SDoc #
Outputable StaticArg # |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticArg -> SDoc #
Outputable StaticLit # |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticLit -> SDoc #
Outputable TypedExpr # |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: TypedExpr -> SDoc #
Outputable HoleFit # |
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFit -> SDoc #
Outputable HoleFitCandidate # |
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFitCandidate -> SDoc #
Outputable TypedHole # |
Instance details Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: TypedHole -> SDoc #
Outputable ErrorItem # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: ErrorItem -> SDoc #
Outputable Exported # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: Exported -> SDoc #
Outputable HsTyVarBndrExistentialFlag # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: HsTyVarBndrExistentialFlag -> SDoc #
Outputable ImportError # |
Instance details Defined in GHC.Tc.Errors.Ppr Methods ppr :: ImportError -> SDoc #
Outputable SolverReportErrCtxt # |
Instance details Defined in GHC.Tc.Errors.Ppr Methods ppr :: SolverReportErrCtxt -> SDoc #
Outputable TypeDataForbids # |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: TypeDataForbids -> SDoc #
Outputable PromotionErr # |
Instance details Defined in GHC.Tc.Errors.Types.PromotionErr Methods ppr :: PromotionErr -> SDoc #
Outputable InertCans # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InertCans -> SDoc #
Outputable InertSet # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InertSet -> SDoc #
Outputable InteractResult # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: InteractResult -> SDoc #
Outputable WorkList # |
Instance details Defined in GHC.Tc.Solver.InertSet Methods ppr :: WorkList -> SDoc #
Outputable DefaultingProposal # |
Instance details Defined in GHC.Tc.Types Methods ppr :: DefaultingProposal -> SDoc #
Outputable IdBindingInfo # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: IdBindingInfo -> SDoc #
Outputable TcBinder # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcBinder -> SDoc #
Outputable TcCompleteSig # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcCompleteSig -> SDoc #
Outputable TcIdSig # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSig -> SDoc #
Outputable TcIdSigInst # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSigInst -> SDoc #
Outputable TcPartialSig # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcPartialSig -> SDoc #
Outputable TcPatSynSig # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcPatSynSig -> SDoc #
Outputable TcSigInfo # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcSigInfo -> SDoc #
Outputable TcTyThing # |
Instance details Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcTyThing -> SDoc #
Outputable CanEqLHS # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CanEqLHS -> SDoc #
Outputable CheckTyEqProblem # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqProblem -> SDoc #
Outputable CheckTyEqResult # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqResult -> SDoc #
Outputable Ct # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Ct -> SDoc #
Outputable CtEvidence # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtEvidence -> SDoc #
Outputable CtFlavour # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtFlavour -> SDoc #
Outputable CtIrredReason # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: CtIrredReason -> SDoc #
Outputable DelayedError # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: DelayedError -> SDoc #
Outputable DictCt # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: DictCt -> SDoc #
Outputable EqCt # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: EqCt -> SDoc #
Outputable HasGivenEqs # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: HasGivenEqs -> SDoc #
Outputable Hole # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Hole -> SDoc #
Outputable HoleSort # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: HoleSort -> SDoc #
Outputable ImplicStatus # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: ImplicStatus -> SDoc #
Outputable Implication # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: Implication -> SDoc #
Outputable IrredCt # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: IrredCt -> SDoc #
Outputable NotConcreteError # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: NotConcreteError -> SDoc #
Outputable QCInst # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: QCInst -> SDoc #
Outputable RewriterSet # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: RewriterSet -> SDoc #
Outputable SubGoalDepth # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: SubGoalDepth -> SDoc #
Outputable TcEvDest # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: TcEvDest -> SDoc #
Outputable WantedConstraints # |
Instance details Defined in GHC.Tc.Types.Constraint Methods ppr :: WantedConstraints -> SDoc #
Outputable EvBind # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBind -> SDoc #
Outputable EvBindMap # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBindMap -> SDoc #
Outputable EvBindsVar # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvBindsVar -> SDoc #
Outputable EvCallStack # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvCallStack -> SDoc #
Outputable EvTerm # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvTerm -> SDoc #
Outputable EvTypeable # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: EvTypeable -> SDoc #
Outputable HoleExprRef # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: HoleExprRef -> SDoc #
Outputable HsWrapper # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: HsWrapper -> SDoc #
Outputable TcEvBinds # |
Instance details Defined in GHC.Tc.Types.Evidence Methods ppr :: TcEvBinds -> SDoc #
Outputable CtOrigin # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: CtOrigin -> SDoc #
Outputable FRRArrowContext # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FRRArrowContext -> SDoc #
Outputable FixedRuntimeRepContext # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepContext -> SDoc #
Outputable FixedRuntimeRepOrigin # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepOrigin -> SDoc #
Outputable InstanceWhat # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: InstanceWhat -> SDoc #
Outputable NakedScFlag # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: NakedScFlag -> SDoc #
Outputable SkolemInfo # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfo -> SDoc #
Outputable SkolemInfoAnon # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfoAnon -> SDoc #
Outputable StmtOrigin # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: StmtOrigin -> SDoc #
Outputable TyVarBndrs # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: TyVarBndrs -> SDoc #
Outputable TypedThing # |
Instance details Defined in GHC.Tc.Types.Origin Methods ppr :: TypedThing -> SDoc #
Outputable Rank # |
Instance details Defined in GHC.Tc.Types.Rank Methods ppr :: Rank -> SDoc #
Outputable ThStage # |
Instance details Defined in GHC.Tc.Types.TH Methods ppr :: ThStage -> SDoc #
Outputable ExpPatType # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: ExpPatType -> SDoc #
Outputable ExpType # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: ExpType -> SDoc #
Outputable InferResult # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: InferResult -> SDoc #
Outputable MetaDetails # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaDetails -> SDoc #
Outputable MetaInfo # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaInfo -> SDoc #
Outputable PatersonSize # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: PatersonSize -> SDoc #
Outputable TcLevel # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcLevel -> SDoc #
Outputable TcTyVarDetails # |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcTyVarDetails -> SDoc #
Outputable Annotation # |
Instance details Defined in GHC.Types.Annotations Methods ppr :: Annotation -> SDoc #
Outputable AvailInfo # |
Instance details Defined in GHC.Types.Avail Methods ppr :: AvailInfo -> SDoc #
Outputable Activation # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc #
Outputable Alignment # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Alignment -> SDoc #
Outputable CbvMark # |
Instance details Defined in GHC.Types.Basic Methods ppr :: CbvMark -> SDoc #
Outputable CompilerPhase # |
Instance details Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc #
Outputable DefaultingStrategy # |
Instance details Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc #
Outputable DoPmc # |
Instance details Defined in GHC.Types.Basic Methods ppr :: DoPmc -> SDoc #
Outputable FunctionOrData # |
Instance details Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc #
Outputable GenReason # |
Instance details Defined in GHC.Types.Basic Methods ppr :: GenReason -> SDoc #
Outputable InlinePragma # |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlinePragma -> SDoc #
Outputable InlineSpec # |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlineSpec -> SDoc #
Outputable IntWithInf # |
Instance details Defined in GHC.Types.Basic Methods ppr :: IntWithInf -> SDoc #
Outputable LeftOrRight # |
Instance details Defined in GHC.Types.Basic Methods ppr :: LeftOrRight -> SDoc #
Outputable Levity # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Levity -> SDoc #
Outputable NonStandardDefaultingStrategy # |
Instance details Defined in GHC.Types.Basic Methods ppr :: NonStandardDefaultingStrategy -> SDoc #
Outputable OccInfo # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OccInfo -> SDoc #
Outputable OneShotInfo # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc #
Outputable Origin # |
Instance details Defined in GHC.Types.Basic Methods ppr :: Origin -> SDoc #
Outputable OverlapFlag # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc #
Outputable OverlapMode # |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapMode -> SDoc #
Outputable RecFlag # |
Instance details Defined in GHC.Types.Basic Methods ppr :: RecFlag -> SDoc #
Outputable RuleMatchInfo # |
Instance details Defined in GHC.Types.Basic Methods ppr :: RuleMatchInfo -> SDoc #
Outputable SuccessFlag # |
Instance details Defined in GHC.Types.Basic Methods ppr :: SuccessFlag -> SDoc #
Outputable SwapFlag # |
Instance details Defined in GHC.Types.Basic Methods ppr :: SwapFlag -> SDoc #
Outputable TailCallInfo # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TailCallInfo -> SDoc #
Outputable TopLevelFlag # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TopLevelFlag -> SDoc #
Outputable TupleSort # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TupleSort -> SDoc #
Outputable TypeOrData # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrData -> SDoc #
Outputable TypeOrKind # |
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc #
Outputable UnboxedTupleOrSum # |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc #
Outputable UnfoldingSource # |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> SDoc #
Outputable CompleteMatch # |
Instance details Defined in GHC.Types.CompleteMatch Methods ppr :: CompleteMatch -> SDoc #
Outputable CostCentre # |
Instance details Defined in GHC.Types.CostCentre Methods ppr :: CostCentre -> SDoc #
Outputable CostCentreStack # |
Instance details Defined in GHC.Types.CostCentre Methods ppr :: CostCentreStack -> SDoc #

Outputable Cpr #

BNF:

    cpr ::= ''                               -- TopCpr
         |  n                                -- FlatConCpr n
         |  n '(' cpr1 ',' cpr2 ',' ... ')'  -- ConCpr n [cpr1,cpr2,...]
         |  'b'                              -- BotCpr

Examples: * `f x = f x` has result CPR `b` * `1(1,)` is a valid (nested) `Cpr` denotation for `(I# 42#, f 42)`.

Instance details Defined in GHC.Types.Cpr Methods ppr :: Cpr -> SDoc #
Outputable CprSig # | Only print the CPR result
Instance details Defined in GHC.Types.Cpr Methods ppr :: CprSig -> SDoc #

Outputable CprType #

BNF:

    cpr_ty ::= cpr               -- short form if arty == 0
            |  '\' arty '.' cpr  -- if arty > 0

Examples: * `f x y z = f x y z` has denotation `3.b` * `g !x = (x+1, x+2)` has denotation `1.1(1,1)`.

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

class Outputable a => OutputableBndr a where #

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 #

pprPrefixOcc :: a -> SDoc #

pprInfixOcc :: a -> SDoc #

bndrIsJoin_maybe :: a -> JoinPointHood #

#### Instances

Instances details

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

class OutputableP env a where #

Outputable class with an additional environment value

See Note [The OutputableP class]

Methods

pdoc :: env -> a -> SDoc #

#### Instances

Instances details

OutputableP Platform CmmGraph # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmGraph -> SDoc #
OutputableP Platform CmmInfoTable # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmInfoTable -> SDoc #
OutputableP Platform CmmStatic # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmStatic -> SDoc #
OutputableP Platform CmmTopInfo # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> CmmTopInfo -> SDoc #
OutputableP Platform CLabel # |
Instance details Defined in GHC.Cmm.CLabel Methods pdoc :: Platform -> CLabel -> SDoc #
OutputableP Platform InfoProvEnt # |
Instance details Defined in GHC.Cmm.CLabel Methods pdoc :: Platform -> InfoProvEnt -> SDoc #
OutputableP Platform CmmExpr # |
Instance details Defined in GHC.Cmm.Expr Methods pdoc :: Platform -> CmmExpr -> SDoc #
OutputableP Platform CmmLit # |
Instance details Defined in GHC.Cmm.Expr Methods pdoc :: Platform -> CmmLit -> SDoc #
OutputableP Platform ForeignTarget # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> ForeignTarget -> SDoc #
OutputableP env Void # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Void -> SDoc #
OutputableP env Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods pdoc :: env -> Label -> SDoc #
OutputableP env GlobalReg # |
Instance details Defined in GHC.Cmm.Reg Methods pdoc :: env -> GlobalReg -> SDoc #
OutputableP env Alignment # |
Instance details Defined in GHC.Types.Basic Methods pdoc :: env -> Alignment -> SDoc #
OutputableP env SDoc # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> SDoc -> SDoc #
OutputableP Platform (GenCmmStatics a) # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> GenCmmStatics a -> SDoc #
OutputableP env a => OutputableP env (SCC a) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> SCC a -> SDoc #
OutputableP env a => OutputableP env (Set a) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Set a -> SDoc #
OutputableP env instr => OutputableP env (GenBasicBlock instr) # |
Instance details Defined in GHC.Cmm Methods pdoc :: env -> GenBasicBlock instr -> SDoc #
OutputableP env instr => OutputableP env (ListGraph instr) # |
Instance details Defined in GHC.Cmm Methods pdoc :: env -> ListGraph instr -> SDoc #
OutputableP env a => OutputableP env (LabelMap a) # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods pdoc :: env -> LabelMap a -> SDoc #
Outputable a => OutputableP env (PDoc a) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> PDoc a -> SDoc #
OutputableP env a => OutputableP env (Maybe a) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Maybe a -> SDoc #
OutputableP env a => OutputableP env [a] # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> [a] -> SDoc #
OutputableP Platform (CmmNode e x) # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> CmmNode e x -> SDoc #
(OutputableP env key, OutputableP env elt) => OutputableP env (Map key elt) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> Map key elt -> SDoc #
(OutputableP env a, OutputableP env b) => OutputableP env (a, b) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> (a, b) -> SDoc #
(OutputableP Platform d, OutputableP Platform info, OutputableP Platform i) => OutputableP Platform (GenCmmDecl d info i) # |
Instance details Defined in GHC.Cmm Methods pdoc :: Platform -> GenCmmDecl d info i -> SDoc #
OutputableP Platform (Block CmmNode C C) # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode C C -> SDoc #
OutputableP Platform (Block CmmNode C O) # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode C O -> SDoc #
OutputableP Platform (Block CmmNode O C) # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode O C -> SDoc #
OutputableP Platform (Block CmmNode O O) # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Block CmmNode O O -> SDoc #
OutputableP Platform (Graph CmmNode e x) # |
Instance details Defined in GHC.Cmm.Node Methods pdoc :: Platform -> Graph CmmNode e x -> SDoc #
(OutputableP env a, OutputableP env b, OutputableP env c) => OutputableP env (a, b, c) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> (a, b, c) -> SDoc #

data BindingSite #

`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 # |
Instance details Defined in GHC.Utils.Outputable Methods (==) :: BindingSite -> BindingSite -> Bool # (/=) :: BindingSite -> BindingSite -> Bool #

data JoinPointHood #

Constructors

JoinPoint !Int |
NotJoinPoint |

#### Instances

Instances details

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

isJoinPoint :: JoinPointHood -> Bool #

class IsOutput doc where #

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 #

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

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

#### Instances

Instances details

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

class IsOutput doc => IsLine doc where #

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 #

text :: String -> doc #

ftext :: FastString -> doc #

ztext :: FastZString -> doc #

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

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

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

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

sep :: [doc] -> doc #

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

fsep :: [doc] -> doc #

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 #

Concatenate `doc`s horizontally without gaps.

hsep :: [doc] -> doc #

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

dualLine :: SDoc -> HLine -> doc #

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 # |
Instance details Defined in GHC.Utils.Outputable Methods char :: Char -> HLine # text :: String -> HLine # ftext :: FastString -> HLine # ztext :: FastZString -> HLine # (<>) :: HLine -> HLine -> HLine # (<+>) :: HLine -> HLine -> HLine # sep :: [HLine] -> HLine # fsep :: [HLine] -> HLine # hcat :: [HLine] -> HLine # hsep :: [HLine] -> HLine # dualLine :: SDoc -> HLine -> HLine #
IsLine SDoc # |
Instance details Defined in GHC.Utils.Outputable Methods char :: Char -> SDoc # text :: String -> SDoc # ftext :: FastString -> SDoc # ztext :: FastZString -> SDoc # (<>) :: SDoc -> SDoc -> SDoc # (<+>) :: SDoc -> SDoc -> SDoc # sep :: [SDoc] -> SDoc # fsep :: [SDoc] -> SDoc # hcat :: [SDoc] -> SDoc # hsep :: [SDoc] -> SDoc # dualLine :: SDoc -> HLine -> SDoc #

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

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 #

Methods

line :: Line doc -> doc #

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

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

lines_ :: [Line doc] -> doc #

vcat :: [doc] -> doc #

Concatenate `doc`s vertically with dovetailing.

dualDoc :: SDoc -> HDoc -> doc #

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

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 #

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

lines_ :: [Line HDoc] -> HDoc #

vcat :: [HDoc] -> HDoc #

dualDoc :: SDoc -> HDoc -> HDoc #

IsDoc SDoc # |

Instance details

Defined in GHC.Utils.Outputable

Associated Types

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

Methods

line :: Line SDoc -> SDoc #

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

lines_ :: [Line SDoc] -> SDoc #

vcat :: [SDoc] -> SDoc #

dualDoc :: SDoc -> HDoc -> SDoc #

data HLine #

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 # |
Instance details Defined in GHC.JS.Ppr Methods (<+?>) :: HLine -> HLine -> HLine # ($$$) :: HLine -> HLine -> HLine # jcat :: [HLine] -> HLine # jnest :: HLine -> HLine # addSemi :: HLine -> HLine #
IsLine HLine # |
Instance details Defined in GHC.Utils.Outputable Methods char :: Char -> HLine # text :: String -> HLine # ftext :: FastString -> HLine # ztext :: FastZString -> HLine # (<>) :: HLine -> HLine -> HLine # (<+>) :: HLine -> HLine -> HLine # sep :: [HLine] -> HLine # fsep :: [HLine] -> HLine # hcat :: [HLine] -> HLine # hsep :: [HLine] -> HLine # dualLine :: SDoc -> HLine -> HLine #
IsOutput HLine # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: HLine # docWithContext :: (SDocContext -> HLine) -> HLine # docWithStyle :: HLine -> (PprStyle -> SDoc) -> HLine #

data HDoc #

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

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 #

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

lines_ :: [Line HDoc] -> HDoc #

vcat :: [HDoc] -> HDoc #

dualDoc :: SDoc -> HDoc -> HDoc #

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

# Pretty printing combinators

data SDoc #

Represents a pretty-printable document.

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

#### Instances

Instances details

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

Instance details

Defined in GHC.Utils.Outputable

Associated Types

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

Methods

line :: Line SDoc -> SDoc #

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

lines_ :: [Line SDoc] -> SDoc #

vcat :: [SDoc] -> SDoc #

dualDoc :: SDoc -> HDoc -> SDoc #

IsLine SDoc # |
Instance details Defined in GHC.Utils.Outputable Methods char :: Char -> SDoc # text :: String -> SDoc # ftext :: FastString -> SDoc # ztext :: FastZString -> SDoc # (<>) :: SDoc -> SDoc -> SDoc # (<+>) :: SDoc -> SDoc -> SDoc # sep :: [SDoc] -> SDoc # fsep :: [SDoc] -> SDoc # hcat :: [SDoc] -> SDoc # hsep :: [SDoc] -> SDoc # dualLine :: SDoc -> HLine -> SDoc #
IsOutput SDoc # |
Instance details Defined in GHC.Utils.Outputable Methods empty :: SDoc # docWithContext :: (SDocContext -> SDoc) -> SDoc # docWithStyle :: SDoc -> (PprStyle -> SDoc) -> SDoc #
Outputable SDoc # |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SDoc -> SDoc #
OutputableP env SDoc # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> SDoc -> SDoc #
type Line SDoc # |
Instance details Defined in GHC.Utils.Outputable type Line SDoc = SDoc

runSDoc :: SDoc -> SDocContext -> Doc #

newtype PDoc a #

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) # |
Instance details Defined in GHC.Utils.Outputable Methods pdoc :: env -> PDoc a -> SDoc #

docToSDoc :: Doc -> SDoc #

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

Returns the separated concatenation of the pretty printed things.

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

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

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

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

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

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

pprWithCommas #

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 #

quotedListWithNor :: [SDoc] -> SDoc #

quotedListWithAnd :: [SDoc] -> SDoc #

pprWithBars #

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 #

isEmpty :: SDocContext -> SDoc -> Bool #

nest :: Int -> SDoc -> SDoc #

Indent `SDoc` some specified amount

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 #

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

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 #

Join two `SDoc` together vertically

cat :: [SDoc] -> SDoc #

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 #

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

hang #

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 #

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

punctuate #

Arguments

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

punctuateFinal #

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 #

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

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

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

speakNth :: Int -> SDoc #

Converts an integer to a verbal index:

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

speakN :: Int -> SDoc #

Converts an integer to a verbal multiplicity:

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

speakNOf :: Int -> SDoc -> SDoc #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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

itOrThey :: [a] -> SDoc #

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

coloured :: PprColour -> SDoc -> SDoc #

Apply the given colour/style for the argument.

Only takes effect if colours are enabled.

keyword :: SDoc -> SDoc #

# Converting `SDoc` into strings and outputting it

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

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 () #

Like `printSDoc` but appends an extra newline.

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

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

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 #

Special combinator for showing character literals.

pprHsString :: FastString -> SDoc #

Special combinator for showing string literals.

pprHsBytes :: ByteString -> SDoc #

Special combinator for showing bytestring literals.

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 #

Special combinator for showing unboxed literals.

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 #

Normalise, escape and render a string representing a path

e.g. "c:\whatever"

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

# Controlling the style in which output is printed

data PprStyle #

Constructors

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

#### Instances

Instances details

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

data NamePprCtx #

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 #

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

type QueryQualifyModule = Module -> Bool #

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

type QueryQualifyPackage = Unit -> Bool #

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

type QueryPromotionTick = PromotedItem -> Bool #

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

data PromotedItem #

Constructors

PromotedItemListSyntax IsEmptyOrSingleton |
PromotedItemTupleSyntax |
PromotedItemDataCon OccName |

newtype IsEmptyOrSingleton #

Constructors

IsEmptyOrSingleton Bool |

isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton #

data PromotionTickContext #

Flags that affect whether a promotion tick is printed.

Constructors

PromTickCtx |

Fields

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

reallyAlwaysQualify :: NamePprCtx #

reallyAlwaysQualifyNames :: QueryQualifyName #

alwaysQualify :: NamePprCtx #

alwaysQualifyNames :: QueryQualifyName #

NB: This won't ever show package IDs

alwaysQualifyModules :: QueryQualifyModule #

neverQualify :: NamePprCtx #

neverQualifyNames :: QueryQualifyName #

neverQualifyModules :: QueryQualifyModule #

alwaysQualifyPackages :: QueryQualifyPackage #

neverQualifyPackages :: QueryQualifyPackage #

alwaysPrintPromTick :: QueryPromotionTick #

data QualifyName #

Constructors

NameUnqual |
NameQual ModuleName |
NameNotInScope1 |
NameNotInScope2 |

#### Instances

Instances details

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

queryQual :: PprStyle -> NamePprCtx #

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

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

data SDocContext #

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 #

defaultSDocContext :: SDocContext #

Default pretty-printing options

traceSDocContext :: SDocContext #

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

withPprStyle :: PprStyle -> SDoc -> SDoc #

setStyleColoured :: Bool -> PprStyle -> PprStyle #

pprDeeper :: SDoc -> SDoc #

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

Truncate a list that is longer than the current depth.

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 #

Style for printing error messages

defaultErrStyle :: PprStyle #

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 #

mkDumpStyle :: NamePprCtx -> PprStyle #

defaultUserStyle :: PprStyle #

mkUserStyle :: NamePprCtx -> Depth -> PprStyle #

cmdlineParserStyle :: PprStyle #

data Depth #

Constructors

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

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

withErrStyle :: NamePprCtx -> SDoc -> SDoc #

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

Says what to do with and without -dppr-debug

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

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

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

Indicate if -dppr-debug mode is enabled

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