Outputable

ghc-8.4.0.20180204: The GHC API

Safe Haskell | None
Language | Haskell2010

Outputable

Contents

- Type classes
- Pretty printing combinators
- Converting `SDoc` into strings and outputing it
- Controlling the style in which output is printed
- Error handling and debugging utilities

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
- class Outputable a => OutputableBndr a where
- data SDoc
- runSDoc :: SDoc -> SDocContext -> Doc
- initSDocContext :: DynFlags -> PprStyle -> SDocContext
- docToSDoc :: Doc -> SDoc
- interppSP :: Outputable a => [a] -> SDoc
- interpp'SP :: Outputable a => [a] -> SDoc
- pprQuotedList :: Outputable a => [a] -> SDoc
- pprWithCommas :: (a -> SDoc) -> [a] -> SDoc
- quotedListWithOr :: [SDoc] -> SDoc
- quotedListWithNor :: [SDoc] -> SDoc
- pprWithBars :: (a -> SDoc) -> [a] -> SDoc
- empty :: SDoc
- isEmpty :: DynFlags -> SDoc -> Bool
- nest :: Int -> SDoc -> SDoc
- char :: Char -> SDoc
- text :: String -> SDoc
- ftext :: FastString -> SDoc
- ptext :: LitString -> SDoc
- ztext :: FastZString -> SDoc
- int :: Int -> SDoc
- intWithCommas :: Integral a => a -> SDoc
- integer :: Integer -> SDoc
- float :: Float -> SDoc
- double :: Double -> SDoc
- rational :: Rational -> SDoc
- doublePrec :: Int -> Double -> SDoc
- parens :: SDoc -> SDoc
- cparen :: Bool -> SDoc -> SDoc
- brackets :: SDoc -> SDoc
- braces :: SDoc -> SDoc
- quotes :: SDoc -> SDoc
- quote :: SDoc -> SDoc
- doubleQuotes :: SDoc -> SDoc
- angleBrackets :: SDoc -> SDoc
- paBrackets :: SDoc -> SDoc
- semi :: SDoc
- comma :: SDoc
- colon :: SDoc
- dcolon :: SDoc
- space :: SDoc
- equals :: SDoc
- dot :: SDoc
- vbar :: SDoc
- arrow :: SDoc
- larrow :: SDoc
- darrow :: SDoc
- arrowt :: SDoc
- larrowt :: SDoc
- arrowtt :: SDoc
- larrowtt :: SDoc
- lparen :: SDoc
- rparen :: SDoc
- lbrack :: SDoc
- rbrack :: SDoc
- lbrace :: SDoc
- rbrace :: SDoc
- underscore :: SDoc
- blankLine :: SDoc
- forAllLit :: SDoc
- kindStar :: SDoc
- bullet :: SDoc
- (<>) :: SDoc -> SDoc -> SDoc
- (<+>) :: SDoc -> SDoc -> SDoc
- hcat :: [SDoc] -> SDoc
- hsep :: [SDoc] -> SDoc
- ($$) :: SDoc -> SDoc -> SDoc
- ($+$) :: SDoc -> SDoc -> SDoc
- vcat :: [SDoc] -> SDoc
- sep :: [SDoc] -> SDoc
- cat :: [SDoc] -> SDoc
- fsep :: [SDoc] -> SDoc
- fcat :: [SDoc] -> SDoc
- hang :: SDoc -> Int -> SDoc -> SDoc
- hangNotEmpty :: SDoc -> Int -> SDoc -> SDoc
- punctuate :: SDoc -> [SDoc] -> [SDoc]
- ppWhen :: Bool -> SDoc -> SDoc
- ppUnless :: Bool -> SDoc -> SDoc
- speakNth :: Int -> SDoc
- speakN :: Int -> SDoc
- speakNOf :: Int -> SDoc -> SDoc
- plural :: [a] -> SDoc
- isOrAre :: [a] -> SDoc
- doOrDoes :: [a] -> SDoc
- unicodeSyntax :: SDoc -> SDoc -> SDoc
- coloured :: PprColour -> SDoc -> SDoc
- keyword :: SDoc -> SDoc
- printSDoc :: Mode -> DynFlags -> Handle -> PprStyle -> SDoc -> IO ()
- printSDocLn :: Mode -> DynFlags -> Handle -> PprStyle -> SDoc -> IO ()
- printForUser :: DynFlags -> Handle -> PrintUnqualified -> SDoc -> IO ()
- printForUserPartWay :: DynFlags -> Handle -> Int -> PrintUnqualified -> SDoc -> IO ()
- printForC :: DynFlags -> Handle -> SDoc -> IO ()
- bufLeftRenderSDoc :: DynFlags -> BufHandle -> PprStyle -> SDoc -> IO ()
- pprCode :: CodeStyle -> SDoc -> SDoc
- mkCodeStyle :: CodeStyle -> PprStyle
- showSDoc :: DynFlags -> SDoc -> String
- showSDocUnsafe :: SDoc -> String
- showSDocOneLine :: DynFlags -> SDoc -> String
- showSDocForUser :: DynFlags -> PrintUnqualified -> SDoc -> String
- showSDocDebug :: DynFlags -> SDoc -> String
- showSDocDump :: DynFlags -> SDoc -> String
- showSDocDumpOneLine :: DynFlags -> SDoc -> String
- showSDocUnqual :: DynFlags -> SDoc -> String
- showPpr :: Outputable a => DynFlags -> a -> String
- renderWithStyle :: DynFlags -> SDoc -> PprStyle -> String
- pprInfixVar :: Bool -> SDoc -> SDoc
- pprPrefixVar :: Bool -> SDoc -> SDoc
- pprHsChar :: Char -> SDoc
- pprHsString :: FastString -> SDoc
- pprHsBytes :: ByteString -> SDoc
- primFloatSuffix :: SDoc
- primCharSuffix :: SDoc
- primWordSuffix :: SDoc
- primDoubleSuffix :: SDoc
- primInt64Suffix :: SDoc
- primWord64Suffix :: SDoc
- primIntSuffix :: SDoc
- pprPrimChar :: Char -> SDoc
- pprPrimInt :: Integer -> SDoc
- pprPrimWord :: Integer -> SDoc
- pprPrimInt64 :: Integer -> SDoc
- pprPrimWord64 :: Integer -> SDoc
- pprFastFilePath :: FastString -> SDoc
- data BindingSite
  - = LambdaBind
  - | CaseBind
  - | CasePatBind
  - | LetBind
- data PprStyle
- data CodeStyle
  - = CStyle
  - | AsmStyle
- data PrintUnqualified = QueryQualify {
  - queryQualifyName :: QueryQualifyName
  - queryQualifyModule :: QueryQualifyModule
  - queryQualifyPackage :: QueryQualifyPackage
  }
- type QueryQualifyName = Module -> OccName -> QualifyName
- type QueryQualifyModule = Module -> Bool
- type QueryQualifyPackage = UnitId -> Bool
- reallyAlwaysQualify :: PrintUnqualified
- reallyAlwaysQualifyNames :: QueryQualifyName
- alwaysQualify :: PrintUnqualified
- alwaysQualifyNames :: QueryQualifyName
- alwaysQualifyModules :: QueryQualifyModule
- neverQualify :: PrintUnqualified
- neverQualifyNames :: QueryQualifyName
- neverQualifyModules :: QueryQualifyModule
- alwaysQualifyPackages :: QueryQualifyPackage
- neverQualifyPackages :: QueryQualifyPackage
- data QualifyName
  - = NameUnqual
  - | NameQual ModuleName
  - | NameNotInScope1
  - | NameNotInScope2
- queryQual :: PprStyle -> PrintUnqualified
- sdocWithDynFlags :: (DynFlags -> SDoc) -> SDoc
- sdocWithPlatform :: (Platform -> SDoc) -> SDoc
- getPprStyle :: (PprStyle -> SDoc) -> SDoc
- withPprStyle :: PprStyle -> SDoc -> SDoc
- withPprStyleDoc :: DynFlags -> PprStyle -> SDoc -> Doc
- setStyleColoured :: Bool -> PprStyle -> PprStyle
- pprDeeper :: SDoc -> SDoc
- pprDeeperList :: ([SDoc] -> SDoc) -> [SDoc] -> SDoc
- pprSetDepth :: Depth -> SDoc -> SDoc
- codeStyle :: PprStyle -> Bool
- userStyle :: PprStyle -> Bool
- debugStyle :: PprStyle -> Bool
- dumpStyle :: PprStyle -> Bool
- asmStyle :: PprStyle -> Bool
- qualName :: PprStyle -> QueryQualifyName
- qualModule :: PprStyle -> QueryQualifyModule
- qualPackage :: PprStyle -> QueryQualifyPackage
- mkErrStyle :: DynFlags -> PrintUnqualified -> PprStyle
- defaultErrStyle :: DynFlags -> PprStyle
- defaultDumpStyle :: DynFlags -> PprStyle
- mkDumpStyle :: DynFlags -> PrintUnqualified -> PprStyle
- defaultUserStyle :: DynFlags -> PprStyle
- mkUserStyle :: DynFlags -> PrintUnqualified -> Depth -> PprStyle
- cmdlineParserStyle :: DynFlags -> PprStyle
- data Depth
  - = AllTheWay
  - | PartWay Int
- ifPprDebug :: SDoc -> SDoc -> SDoc
- whenPprDebug :: SDoc -> SDoc
- getPprDebug :: (Bool -> SDoc) -> SDoc
- pprPanic :: HasCallStack => String -> SDoc -> a
- pprSorry :: String -> SDoc -> a
- assertPprPanic :: HasCallStack => String -> Int -> SDoc -> a
- pprPgmError :: String -> SDoc -> a
- pprTrace :: String -> SDoc -> a -> a
- pprTraceDebug :: String -> SDoc -> a -> a
- pprTraceIt :: Outputable a => String -> a -> a
- warnPprTrace :: Bool -> String -> Int -> SDoc -> a -> a
- pprSTrace :: HasCallStack => SDoc -> a -> a
- pprTraceException :: ExceptionMonad m => String -> SDoc -> m a -> m a
- trace :: String -> a -> a
- pgmError :: String -> a
- panic :: String -> a
- sorry :: String -> a
- assertPanic :: String -> Int -> a
- pprDebugAndThen :: DynFlags -> (String -> a) -> SDoc -> SDoc -> a
- callStackDoc :: HasCallStack => SDoc

# Type classes

class Outputable a where Source #

Class designating that some type has an `SDoc` representation

Methods

ppr :: a -> SDoc Source #

pprPrec :: Rational -> a -> SDoc Source #

Instances

Outputable Bool # |
Instance details Methods ppr :: Bool -> SDoc Source # pprPrec :: Rational -> Bool -> SDoc Source #
Outputable Char # |
Instance details Methods ppr :: Char -> SDoc Source # pprPrec :: Rational -> Char -> SDoc Source #
Outputable Int # |
Instance details Methods ppr :: Int -> SDoc Source # pprPrec :: Rational -> Int -> SDoc Source #
Outputable Int32 # |
Instance details Methods ppr :: Int32 -> SDoc Source # pprPrec :: Rational -> Int32 -> SDoc Source #
Outputable Int64 # |
Instance details Methods ppr :: Int64 -> SDoc Source # pprPrec :: Rational -> Int64 -> SDoc Source #
Outputable Integer # |
Instance details Methods ppr :: Integer -> SDoc Source # pprPrec :: Rational -> Integer -> SDoc Source #
Outputable Ordering # |
Instance details Methods ppr :: Ordering -> SDoc Source # pprPrec :: Rational -> Ordering -> SDoc Source #
Outputable Word # |
Instance details Methods ppr :: Word -> SDoc Source # pprPrec :: Rational -> Word -> SDoc Source #
Outputable Word16 # |
Instance details Methods ppr :: Word16 -> SDoc Source # pprPrec :: Rational -> Word16 -> SDoc Source #
Outputable Word32 # |
Instance details Methods ppr :: Word32 -> SDoc Source # pprPrec :: Rational -> Word32 -> SDoc Source #
Outputable () # |
Instance details Methods ppr :: () -> SDoc Source # pprPrec :: Rational -> () -> SDoc Source #
Outputable Fingerprint # |
Instance details Methods ppr :: Fingerprint -> SDoc Source # pprPrec :: Rational -> Fingerprint -> SDoc Source #
Outputable Extension # |
Instance details Methods ppr :: Extension -> SDoc Source # pprPrec :: Rational -> Extension -> SDoc Source #
Outputable Serialized # |
Instance details Methods ppr :: Serialized -> SDoc Source # pprPrec :: Rational -> Serialized -> SDoc Source #
Outputable Name # |
Instance details Methods ppr :: Name -> SDoc Source # pprPrec :: Rational -> Name -> SDoc Source #
Outputable OccName # |
Instance details Methods ppr :: OccName -> SDoc Source # pprPrec :: Rational -> OccName -> SDoc Source #
Outputable PrimOp # |
Instance details Methods ppr :: PrimOp -> SDoc Source # pprPrec :: Rational -> PrimOp -> SDoc Source #
Outputable TyCon # |
Instance details Methods ppr :: TyCon -> SDoc Source # pprPrec :: Rational -> TyCon -> SDoc Source #
Outputable FastString # |
Instance details Methods ppr :: FastString -> SDoc Source # pprPrec :: Rational -> FastString -> SDoc Source #
Outputable ComponentId # |
Instance details Methods ppr :: ComponentId -> SDoc Source # pprPrec :: Rational -> ComponentId -> SDoc Source #
Outputable InstalledUnitId # |
Instance details Methods ppr :: InstalledUnitId -> SDoc Source # pprPrec :: Rational -> InstalledUnitId -> SDoc Source #
Outputable UnitId # |
Instance details Methods ppr :: UnitId -> SDoc Source # pprPrec :: Rational -> UnitId -> SDoc Source #
Outputable ModuleName # |
Instance details Methods ppr :: ModuleName -> SDoc Source # pprPrec :: Rational -> ModuleName -> SDoc Source #
Outputable Module # |
Instance details Methods ppr :: Module -> SDoc Source # pprPrec :: Rational -> Module -> SDoc Source #
Outputable QualifyName # |
Instance details Methods ppr :: QualifyName -> SDoc Source # pprPrec :: Rational -> QualifyName -> SDoc Source #
Outputable PprStyle # |
Instance details Methods ppr :: PprStyle -> SDoc Source # pprPrec :: Rational -> PprStyle -> SDoc Source #
Outputable TyBinder # |
Instance details Methods ppr :: TyBinder -> SDoc Source # pprPrec :: Rational -> TyBinder -> SDoc Source #
Outputable TCvSubst # |
Instance details Methods ppr :: TCvSubst -> SDoc Source # pprPrec :: Rational -> TCvSubst -> SDoc Source #
Outputable UnivCoProvenance # |
Instance details Methods ppr :: UnivCoProvenance -> SDoc Source # pprPrec :: Rational -> UnivCoProvenance -> SDoc Source #
Outputable Coercion # |
Instance details Methods ppr :: Coercion -> SDoc Source # pprPrec :: Rational -> Coercion -> SDoc Source #
Outputable TyThing # |
Instance details Methods ppr :: TyThing -> SDoc Source # pprPrec :: Rational -> TyThing -> SDoc Source #
Outputable Type # |
Instance details Methods ppr :: Type -> SDoc Source # pprPrec :: Rational -> Type -> SDoc Source #
Outputable MetaDetails # |
Instance details Methods ppr :: MetaDetails -> SDoc Source # pprPrec :: Rational -> MetaDetails -> SDoc Source #
Outputable SrcSpan # |
Instance details Methods ppr :: SrcSpan -> SDoc Source # pprPrec :: Rational -> SrcSpan -> SDoc Source #
Outputable RealSrcSpan # |
Instance details Methods ppr :: RealSrcSpan -> SDoc Source # pprPrec :: Rational -> RealSrcSpan -> SDoc Source #
Outputable SrcLoc # |
Instance details Methods ppr :: SrcLoc -> SDoc Source # pprPrec :: Rational -> SrcLoc -> SDoc Source #
Outputable RealSrcLoc # |
Instance details Methods ppr :: RealSrcLoc -> SDoc Source # pprPrec :: Rational -> RealSrcLoc -> SDoc Source #
Outputable IdDetails # |
Instance details Methods ppr :: IdDetails -> SDoc Source # pprPrec :: Rational -> IdDetails -> SDoc Source #
Outputable HsDocString # |
Instance details Methods ppr :: HsDocString -> SDoc Source # pprPrec :: Rational -> HsDocString -> SDoc Source #
Outputable IntWithInf # |
Instance details Methods ppr :: IntWithInf -> SDoc Source # pprPrec :: Rational -> IntWithInf -> SDoc Source #
Outputable FractionalLit # |
Instance details Methods ppr :: FractionalLit -> SDoc Source # pprPrec :: Rational -> FractionalLit -> SDoc Source #
Outputable IntegralLit # |
Instance details Methods ppr :: IntegralLit -> SDoc Source # pprPrec :: Rational -> IntegralLit -> SDoc Source #
Outputable InlineSpec # |
Instance details Methods ppr :: InlineSpec -> SDoc Source # pprPrec :: Rational -> InlineSpec -> SDoc Source #
Outputable InlinePragma # |
Instance details Methods ppr :: InlinePragma -> SDoc Source # pprPrec :: Rational -> InlinePragma -> SDoc Source #
Outputable RuleMatchInfo # |
Instance details Methods ppr :: RuleMatchInfo -> SDoc Source # pprPrec :: Rational -> RuleMatchInfo -> SDoc Source #
Outputable Activation # |
Instance details Methods ppr :: Activation -> SDoc Source # pprPrec :: Rational -> Activation -> SDoc Source #
Outputable CompilerPhase # |
Instance details Methods ppr :: CompilerPhase -> SDoc Source # pprPrec :: Rational -> CompilerPhase -> SDoc Source #
Outputable SourceText # |
Instance details Methods ppr :: SourceText -> SDoc Source # pprPrec :: Rational -> SourceText -> SDoc Source #
Outputable SuccessFlag # |
Instance details Methods ppr :: SuccessFlag -> SDoc Source # pprPrec :: Rational -> SuccessFlag -> SDoc Source #
Outputable TailCallInfo # |
Instance details Methods ppr :: TailCallInfo -> SDoc Source # pprPrec :: Rational -> TailCallInfo -> SDoc Source #
Outputable OccInfo # |
Instance details Methods ppr :: OccInfo -> SDoc Source # pprPrec :: Rational -> OccInfo -> SDoc Source #
Outputable OverlapMode # |
Instance details Methods ppr :: OverlapMode -> SDoc Source # pprPrec :: Rational -> OverlapMode -> SDoc Source #
Outputable OverlapFlag # |
Instance details Methods ppr :: OverlapFlag -> SDoc Source # pprPrec :: Rational -> OverlapFlag -> SDoc Source #
Outputable DerivStrategy # |
Instance details Methods ppr :: DerivStrategy -> SDoc Source # pprPrec :: Rational -> DerivStrategy -> SDoc Source #
Outputable Origin # |
Instance details Methods ppr :: Origin -> SDoc Source # pprPrec :: Rational -> Origin -> SDoc Source #
Outputable RecFlag # |
Instance details Methods ppr :: RecFlag -> SDoc Source # pprPrec :: Rational -> RecFlag -> SDoc Source #
Outputable Boxity # |
Instance details Methods ppr :: Boxity -> SDoc Source # pprPrec :: Rational -> Boxity -> SDoc Source #
Outputable TopLevelFlag # |
Instance details Methods ppr :: TopLevelFlag -> SDoc Source # pprPrec :: Rational -> TopLevelFlag -> SDoc Source #
Outputable LexicalFixity # |
Instance details Methods ppr :: LexicalFixity -> SDoc Source # pprPrec :: Rational -> LexicalFixity -> SDoc Source #
Outputable FixityDirection # |
Instance details Methods ppr :: FixityDirection -> SDoc Source # pprPrec :: Rational -> FixityDirection -> SDoc Source #
Outputable Fixity # |
Instance details Methods ppr :: Fixity -> SDoc Source # pprPrec :: Rational -> Fixity -> SDoc Source #
Outputable WarningTxt # |
Instance details Methods ppr :: WarningTxt -> SDoc Source # pprPrec :: Rational -> WarningTxt -> SDoc Source #
Outputable StringLiteral # |
Instance details Methods ppr :: StringLiteral -> SDoc Source # pprPrec :: Rational -> StringLiteral -> SDoc Source #
Outputable FunctionOrData # |
Instance details Methods ppr :: FunctionOrData -> SDoc Source # pprPrec :: Rational -> FunctionOrData -> SDoc Source #
Outputable SwapFlag # |
Instance details Methods ppr :: SwapFlag -> SDoc Source # pprPrec :: Rational -> SwapFlag -> SDoc Source #
Outputable OneShotInfo # |
Instance details Methods ppr :: OneShotInfo -> SDoc Source # pprPrec :: Rational -> OneShotInfo -> SDoc Source #
Outputable LeftOrRight # |
Instance details Methods ppr :: LeftOrRight -> SDoc Source # pprPrec :: Rational -> LeftOrRight -> SDoc Source #
Outputable Unique # |
Instance details Methods ppr :: Unique -> SDoc Source # pprPrec :: Rational -> Unique -> SDoc Source #
Outputable RegClass # |
Instance details Methods ppr :: RegClass -> SDoc Source # pprPrec :: Rational -> RegClass -> SDoc Source #
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 Methods ppr :: Reg -> SDoc Source # pprPrec :: Rational -> Reg -> SDoc Source #
Outputable RealReg # |
Instance details Methods ppr :: RealReg -> SDoc Source # pprPrec :: Rational -> RealReg -> SDoc Source #
Outputable VirtualReg # |
Instance details Methods ppr :: VirtualReg -> SDoc Source # pprPrec :: Rational -> VirtualReg -> SDoc Source #
Outputable LabelSet # |
Instance details Methods ppr :: LabelSet -> SDoc Source # pprPrec :: Rational -> LabelSet -> SDoc Source #
Outputable Label # |
Instance details Methods ppr :: Label -> SDoc Source # pprPrec :: Rational -> Label -> SDoc Source #
Outputable DefUnitId # |
Instance details Methods ppr :: DefUnitId -> SDoc Source # pprPrec :: Rational -> DefUnitId -> SDoc Source #
Outputable InstalledModule # |
Instance details Methods ppr :: InstalledModule -> SDoc Source # pprPrec :: Rational -> InstalledModule -> SDoc Source #
Outputable IndefModule # |
Instance details Methods ppr :: IndefModule -> SDoc Source # pprPrec :: Rational -> IndefModule -> SDoc Source #
Outputable IndefUnitId # |
Instance details Methods ppr :: IndefUnitId -> SDoc Source # pprPrec :: Rational -> IndefUnitId -> SDoc Source #
Outputable ModLocation # |
Instance details Methods ppr :: ModLocation -> SDoc Source # pprPrec :: Rational -> ModLocation -> SDoc Source #
Outputable PackageName # |
Instance details Methods ppr :: PackageName -> SDoc Source # pprPrec :: Rational -> PackageName -> SDoc Source #
Outputable SourcePackageId # |
Instance details Methods ppr :: SourcePackageId -> SDoc Source # pprPrec :: Rational -> SourcePackageId -> SDoc Source #
Outputable CType # |
Instance details Methods ppr :: CType -> SDoc Source # pprPrec :: Rational -> CType -> SDoc Source #
Outputable Header # |
Instance details Methods ppr :: Header -> SDoc Source # pprPrec :: Rational -> Header -> SDoc Source #
Outputable CCallConv # |
Instance details Methods ppr :: CCallConv -> SDoc Source # pprPrec :: Rational -> CCallConv -> SDoc Source #
Outputable CCallSpec # |
Instance details Methods ppr :: CCallSpec -> SDoc Source # pprPrec :: Rational -> CCallSpec -> SDoc Source #
Outputable CExportSpec # |
Instance details Methods ppr :: CExportSpec -> SDoc Source # pprPrec :: Rational -> CExportSpec -> SDoc Source #
Outputable Safety # |
Instance details Methods ppr :: Safety -> SDoc Source # pprPrec :: Rational -> Safety -> SDoc Source #
Outputable ForeignCall # |
Instance details Methods ppr :: ForeignCall -> SDoc Source # pprPrec :: Rational -> ForeignCall -> SDoc Source #
Outputable Phase # |
Instance details Methods ppr :: Phase -> SDoc Source # pprPrec :: Rational -> Phase -> SDoc Source #
Outputable WarnReason # |
Instance details Methods ppr :: WarnReason -> SDoc Source # pprPrec :: Rational -> WarnReason -> SDoc Source #
Outputable PackageFlag # |
Instance details Methods ppr :: PackageFlag -> SDoc Source # pprPrec :: Rational -> PackageFlag -> SDoc Source #
Outputable ModRenaming # |
Instance details Methods ppr :: ModRenaming -> SDoc Source # pprPrec :: Rational -> ModRenaming -> SDoc Source #
Outputable PackageArg # |
Instance details Methods ppr :: PackageArg -> SDoc Source # pprPrec :: Rational -> PackageArg -> SDoc Source #
Outputable GhcMode # |
Instance details Methods ppr :: GhcMode -> SDoc Source # pprPrec :: Rational -> GhcMode -> SDoc Source #
Outputable SafeHaskellMode # |
Instance details Methods ppr :: SafeHaskellMode -> SDoc Source # pprPrec :: Rational -> SafeHaskellMode -> SDoc Source #
Outputable Language # |
Instance details Methods ppr :: Language -> SDoc Source # pprPrec :: Rational -> Language -> SDoc Source #
Outputable WarnReason # |
Instance details Methods ppr :: WarnReason -> SDoc Source # pprPrec :: Rational -> WarnReason -> SDoc Source #
Outputable ArgDescr # |
Instance details Methods ppr :: ArgDescr -> SDoc Source # pprPrec :: Rational -> ArgDescr -> SDoc Source #
Outputable ClosureTypeInfo # |
Instance details Methods ppr :: ClosureTypeInfo -> SDoc Source # pprPrec :: Rational -> ClosureTypeInfo -> SDoc Source #
Outputable SMRep # |
Instance details Methods ppr :: SMRep -> SDoc Source # pprPrec :: Rational -> SMRep -> SDoc Source #
Outputable StgHalfWord # |
Instance details Methods ppr :: StgHalfWord -> SDoc Source # pprPrec :: Rational -> StgHalfWord -> SDoc Source #
Outputable StgWord # |
Instance details Methods ppr :: StgWord -> SDoc Source # pprPrec :: Rational -> StgWord -> SDoc Source #
Outputable Annotation # |
Instance details Methods ppr :: Annotation -> SDoc Source # pprPrec :: Rational -> Annotation -> SDoc Source #
Outputable ModuleOrigin # |
Instance details Methods ppr :: ModuleOrigin -> SDoc Source # pprPrec :: Rational -> ModuleOrigin -> SDoc Source #
Outputable ForeignHint # |
Instance details Methods ppr :: ForeignHint -> SDoc Source # pprPrec :: Rational -> ForeignHint -> SDoc Source #
Outputable Width # |
Instance details Methods ppr :: Width -> SDoc Source # pprPrec :: Rational -> Width -> SDoc Source #
Outputable CmmType # |
Instance details Methods ppr :: CmmType -> SDoc Source # pprPrec :: Rational -> CmmType -> SDoc Source #
Outputable AvailInfo # |
Instance details Methods ppr :: AvailInfo -> SDoc Source # pprPrec :: Rational -> AvailInfo -> SDoc Source #
Outputable ImportSpec # |
Instance details Methods ppr :: ImportSpec -> SDoc Source # pprPrec :: Rational -> ImportSpec -> SDoc Source #
Outputable Parent # |
Instance details Methods ppr :: Parent -> SDoc Source # pprPrec :: Rational -> Parent -> SDoc Source #
Outputable GlobalRdrElt # |
Instance details Methods ppr :: GlobalRdrElt -> SDoc Source # pprPrec :: Rational -> GlobalRdrElt -> SDoc Source #
Outputable LocalRdrEnv # |
Instance details Methods ppr :: LocalRdrEnv -> SDoc Source # pprPrec :: Rational -> LocalRdrEnv -> SDoc Source #
Outputable RdrName # |
Instance details Methods ppr :: RdrName -> SDoc Source # pprPrec :: Rational -> RdrName -> SDoc Source #
Outputable AnnotationComment # |
Instance details Methods ppr :: AnnotationComment -> SDoc Source # pprPrec :: Rational -> AnnotationComment -> SDoc Source #
Outputable AnnKeywordId # |
Instance details Methods ppr :: AnnKeywordId -> SDoc Source # pprPrec :: Rational -> AnnKeywordId -> SDoc Source #
Outputable Token # |
Instance details Methods ppr :: Token -> SDoc Source # pprPrec :: Rational -> Token -> SDoc Source #
Outputable ArgFlag # |
Instance details Methods ppr :: ArgFlag -> SDoc Source # pprPrec :: Rational -> ArgFlag -> SDoc Source #
Outputable Var # |
Instance details Methods ppr :: Var -> SDoc Source # pprPrec :: Rational -> Var -> SDoc Source #
Outputable PatSyn # |
Instance details Methods ppr :: PatSyn -> SDoc Source # pprPrec :: Rational -> PatSyn -> SDoc Source #
Outputable IfaceCoercion # |
Instance details Methods ppr :: IfaceCoercion -> SDoc Source # pprPrec :: Rational -> IfaceCoercion -> SDoc Source #
Outputable IfaceTyLit # |
Instance details Methods ppr :: IfaceTyLit -> SDoc Source # pprPrec :: Rational -> IfaceTyLit -> SDoc Source #
Outputable IfaceTyCon # |
Instance details Methods ppr :: IfaceTyCon -> SDoc Source # pprPrec :: Rational -> IfaceTyCon -> SDoc Source #
Outputable IfaceType # |
Instance details Methods ppr :: IfaceType -> SDoc Source # pprPrec :: Rational -> IfaceType -> SDoc Source #
Outputable IfaceTcArgs # |
Instance details Methods ppr :: IfaceTcArgs -> SDoc Source # pprPrec :: Rational -> IfaceTcArgs -> SDoc Source #
Outputable EqSpec # |
Instance details Methods ppr :: EqSpec -> SDoc Source # pprPrec :: Rational -> EqSpec -> SDoc Source #
Outputable DataCon # |
Instance details Methods ppr :: DataCon -> SDoc Source # pprPrec :: Rational -> DataCon -> SDoc Source #
Outputable ConLike # |
Instance details Methods ppr :: ConLike -> SDoc Source # pprPrec :: Rational -> ConLike -> SDoc Source #
Outputable CostCentreStack # |
Instance details Methods ppr :: CostCentreStack -> SDoc Source # pprPrec :: Rational -> CostCentreStack -> SDoc Source #
Outputable CostCentre # |
Instance details Methods ppr :: CostCentre -> SDoc Source # pprPrec :: Rational -> CostCentre -> SDoc Source #
Outputable CoAxiomRule # |
Instance details Methods ppr :: CoAxiomRule -> SDoc Source # pprPrec :: Rational -> CoAxiomRule -> SDoc Source #
Outputable Role # |
Instance details Methods ppr :: Role -> SDoc Source # pprPrec :: Rational -> Role -> SDoc Source #
Outputable CoAxBranch # |
Instance details Methods ppr :: CoAxBranch -> SDoc Source # pprPrec :: Rational -> CoAxBranch -> SDoc Source #
Outputable LiftingContext # |
Instance details Methods ppr :: LiftingContext -> SDoc Source # pprPrec :: Rational -> LiftingContext -> SDoc Source #
Outputable Class # |
Instance details Methods ppr :: Class -> SDoc Source # pprPrec :: Rational -> Class -> SDoc Source #
Outputable TyConFlavour # |
Instance details Methods ppr :: TyConFlavour -> SDoc Source # pprPrec :: Rational -> TyConFlavour -> SDoc Source #
Outputable PrimElemRep # |
Instance details Methods ppr :: PrimElemRep -> SDoc Source # pprPrec :: Rational -> PrimElemRep -> SDoc Source #
Outputable PrimRep # |
Instance details Methods ppr :: PrimRep -> SDoc Source # pprPrec :: Rational -> PrimRep -> SDoc Source #
Outputable FamTyConFlav # |
Instance details Methods ppr :: FamTyConFlav -> SDoc Source # pprPrec :: Rational -> FamTyConFlav -> SDoc Source #
Outputable AlgTyConFlav # |
Instance details Methods ppr :: AlgTyConFlav -> SDoc Source # pprPrec :: Rational -> AlgTyConFlav -> SDoc Source #
Outputable IfaceBndr # |
Instance details Methods ppr :: IfaceBndr -> SDoc Source # pprPrec :: Rational -> IfaceBndr -> SDoc Source #
Outputable InScopeSet # |
Instance details Methods ppr :: InScopeSet -> SDoc Source # pprPrec :: Rational -> InScopeSet -> SDoc Source #
Outputable CoercionHole # |
Instance details Methods ppr :: CoercionHole -> SDoc Source # pprPrec :: Rational -> CoercionHole -> SDoc Source #
Outputable EqRel # |
Instance details Methods ppr :: EqRel -> SDoc Source # pprPrec :: Rational -> EqRel -> SDoc Source #
Outputable Literal # |
Instance details Methods ppr :: Literal -> SDoc Source # pprPrec :: Rational -> Literal -> SDoc Source #
Outputable StrictnessMark # |
Instance details Methods ppr :: StrictnessMark -> SDoc Source # pprPrec :: Rational -> StrictnessMark -> SDoc Source #
Outputable SrcUnpackedness # |
Instance details Methods ppr :: SrcUnpackedness -> SDoc Source # pprPrec :: Rational -> SrcUnpackedness -> SDoc Source #
Outputable SrcStrictness # |
Instance details Methods ppr :: SrcStrictness -> SDoc Source # pprPrec :: Rational -> SrcStrictness -> SDoc Source #
Outputable HsImplBang # |
Instance details Methods ppr :: HsImplBang -> SDoc Source # pprPrec :: Rational -> HsImplBang -> SDoc Source #
Outputable HsSrcBang # |
Instance details Methods ppr :: HsSrcBang -> SDoc Source # pprPrec :: Rational -> HsSrcBang -> SDoc Source #
Outputable SlotTy # |
Instance details Methods ppr :: SlotTy -> SDoc Source # pprPrec :: Rational -> SlotTy -> SDoc Source #
Outputable StrictSig # |
Instance details Methods ppr :: StrictSig -> SDoc Source # pprPrec :: Rational -> StrictSig -> SDoc Source #
Outputable DmdType # |
Instance details Methods ppr :: DmdType -> SDoc Source # pprPrec :: Rational -> DmdType -> SDoc Source #
Outputable CPRResult # |
Instance details Methods ppr :: CPRResult -> SDoc Source # pprPrec :: Rational -> CPRResult -> SDoc Source #
Outputable TypeShape # |
Instance details Methods ppr :: TypeShape -> SDoc Source # pprPrec :: Rational -> TypeShape -> SDoc Source #
Outputable Count # |
Instance details Methods ppr :: Count -> SDoc Source # pprPrec :: Rational -> Count -> SDoc Source #
Outputable UseDmd # |
Instance details Methods ppr :: UseDmd -> SDoc Source # pprPrec :: Rational -> UseDmd -> SDoc Source #
Outputable StrDmd # |
Instance details Methods ppr :: StrDmd -> SDoc Source # pprPrec :: Rational -> StrDmd -> SDoc Source #
Outputable UnfoldingGuidance # |
Instance details Methods ppr :: UnfoldingGuidance -> SDoc Source # pprPrec :: Rational -> UnfoldingGuidance -> SDoc Source #
Outputable UnfoldingSource # |
Instance details Methods ppr :: UnfoldingSource -> SDoc Source # pprPrec :: Rational -> UnfoldingSource -> SDoc Source #
Outputable Unfolding # |
Instance details Methods ppr :: Unfolding -> SDoc Source # pprPrec :: Rational -> Unfolding -> SDoc Source #
Outputable CoreVect # |
Instance details Methods ppr :: CoreVect -> SDoc Source # pprPrec :: Rational -> CoreVect -> SDoc Source #
Outputable CoreRule # |
Instance details Methods ppr :: CoreRule -> SDoc Source # pprPrec :: Rational -> CoreRule -> SDoc Source #
Outputable AltCon # |
Instance details Methods ppr :: AltCon -> SDoc Source # pprPrec :: Rational -> AltCon -> SDoc Source #
Outputable FamInstMatch # |
Instance details Methods ppr :: FamInstMatch -> SDoc Source # pprPrec :: Rational -> FamInstMatch -> SDoc Source #
Outputable FamInst # |
Instance details Methods ppr :: FamInst -> SDoc Source # pprPrec :: Rational -> FamInst -> SDoc Source #
Outputable LevityInfo # |
Instance details Methods ppr :: LevityInfo -> SDoc Source # pprPrec :: Rational -> LevityInfo -> SDoc Source #
Outputable TickBoxOp # |
Instance details Methods ppr :: TickBoxOp -> SDoc Source # pprPrec :: Rational -> TickBoxOp -> SDoc Source #
Outputable CafInfo # |
Instance details Methods ppr :: CafInfo -> SDoc Source # pprPrec :: Rational -> CafInfo -> SDoc Source #
Outputable RecSelParent # |
Instance details Methods ppr :: RecSelParent -> SDoc Source # pprPrec :: Rational -> RecSelParent -> SDoc Source #
Outputable UnVarGraph # |
Instance details Methods ppr :: UnVarGraph -> SDoc Source # pprPrec :: Rational -> UnVarGraph -> SDoc Source #
Outputable UnVarSet # |
Instance details Methods ppr :: UnVarSet -> SDoc Source # pprPrec :: Rational -> UnVarSet -> SDoc Source #
Outputable PrimCall # |
Instance details Methods ppr :: PrimCall -> SDoc Source # pprPrec :: Rational -> PrimCall -> SDoc Source #
Outputable CgBreakInfo # |
Instance details Methods ppr :: CgBreakInfo -> SDoc Source # pprPrec :: Rational -> CgBreakInfo -> SDoc Source #
Outputable UnlinkedBCO # |
Instance details Methods ppr :: UnlinkedBCO -> SDoc Source # pprPrec :: Rational -> UnlinkedBCO -> SDoc Source #
Outputable CompiledByteCode # |
Instance details Methods ppr :: CompiledByteCode -> SDoc Source # pprPrec :: Rational -> CompiledByteCode -> SDoc Source #
Outputable CoreStats # |
Instance details Methods ppr :: CoreStats -> SDoc Source # pprPrec :: Rational -> CoreStats -> SDoc Source #
Outputable UpdateFlag # |
Instance details Methods ppr :: UpdateFlag -> SDoc Source # pprPrec :: Rational -> UpdateFlag -> SDoc Source #
Outputable AltType # |
Instance details Methods ppr :: AltType -> SDoc Source # pprPrec :: Rational -> AltType -> SDoc Source #
Outputable ShowHowMuch # |
Instance details Methods ppr :: ShowHowMuch -> SDoc Source # pprPrec :: Rational -> ShowHowMuch -> SDoc Source #
Outputable IfaceJoinInfo # |
Instance details Methods ppr :: IfaceJoinInfo -> SDoc Source # pprPrec :: Rational -> IfaceJoinInfo -> SDoc Source #
Outputable IfaceConAlt # |
Instance details Methods ppr :: IfaceConAlt -> SDoc Source # pprPrec :: Rational -> IfaceConAlt -> SDoc Source #
Outputable IfaceExpr # |
Instance details Methods ppr :: IfaceExpr -> SDoc Source # pprPrec :: Rational -> IfaceExpr -> SDoc Source #
Outputable IfaceIdDetails # |
Instance details Methods ppr :: IfaceIdDetails -> SDoc Source # pprPrec :: Rational -> IfaceIdDetails -> SDoc Source #
Outputable IfaceUnfolding # |
Instance details Methods ppr :: IfaceUnfolding -> SDoc Source # pprPrec :: Rational -> IfaceUnfolding -> SDoc Source #
Outputable IfaceInfoItem # |
Instance details Methods ppr :: IfaceInfoItem -> SDoc Source # pprPrec :: Rational -> IfaceInfoItem -> SDoc Source #
Outputable IfaceIdInfo # |
Instance details Methods ppr :: IfaceIdInfo -> SDoc Source # pprPrec :: Rational -> IfaceIdInfo -> SDoc Source #
Outputable IfaceCompleteMatch # |
Instance details Methods ppr :: IfaceCompleteMatch -> SDoc Source # pprPrec :: Rational -> IfaceCompleteMatch -> SDoc Source #
Outputable IfaceAnnotation # |
Instance details Methods ppr :: IfaceAnnotation -> SDoc Source # pprPrec :: Rational -> IfaceAnnotation -> SDoc Source #
Outputable IfaceRule # |
Instance details Methods ppr :: IfaceRule -> SDoc Source # pprPrec :: Rational -> IfaceRule -> SDoc Source #
Outputable IfaceFamInst # |
Instance details Methods ppr :: IfaceFamInst -> SDoc Source # pprPrec :: Rational -> IfaceFamInst -> SDoc Source #
Outputable IfaceClsInst # |
Instance details Methods ppr :: IfaceClsInst -> SDoc Source # pprPrec :: Rational -> IfaceClsInst -> SDoc Source #
Outputable IfaceAT # |
Instance details Methods ppr :: IfaceAT -> SDoc Source # pprPrec :: Rational -> IfaceAT -> SDoc Source #
Outputable IfaceClassOp # |
Instance details Methods ppr :: IfaceClassOp -> SDoc Source # pprPrec :: Rational -> IfaceClassOp -> SDoc Source #
Outputable IfaceTyConParent # |
Instance details Methods ppr :: IfaceTyConParent -> SDoc Source # pprPrec :: Rational -> IfaceTyConParent -> SDoc Source #
Outputable IfaceDecl # |
Instance details Methods ppr :: IfaceDecl -> SDoc Source # pprPrec :: Rational -> IfaceDecl -> SDoc Source #
Outputable ForeignLabelSource # |
Instance details Methods ppr :: ForeignLabelSource -> SDoc Source # pprPrec :: Rational -> ForeignLabelSource -> SDoc Source #
Outputable CLabel # |
Instance details Methods ppr :: CLabel -> SDoc Source # pprPrec :: Rational -> CLabel -> SDoc Source #
Outputable GlobalReg # |
Instance details Methods ppr :: GlobalReg -> SDoc Source # pprPrec :: Rational -> GlobalReg -> SDoc Source #
Outputable LocalReg # |
Instance details Methods ppr :: LocalReg -> SDoc Source # pprPrec :: Rational -> LocalReg -> SDoc Source #
Outputable CmmLit # |
Instance details Methods ppr :: CmmLit -> SDoc Source # pprPrec :: Rational -> CmmLit -> SDoc Source #
Outputable Area # |
Instance details Methods ppr :: Area -> SDoc Source # pprPrec :: Rational -> Area -> SDoc Source #
Outputable CmmReg # |
Instance details Methods ppr :: CmmReg -> SDoc Source # pprPrec :: Rational -> CmmReg -> SDoc Source #
Outputable CmmExpr # |
Instance details Methods ppr :: CmmExpr -> SDoc Source # pprPrec :: Rational -> CmmExpr -> SDoc Source #
Outputable CmmTickScope # |
Instance details Methods ppr :: CmmTickScope -> SDoc Source # pprPrec :: Rational -> CmmTickScope -> SDoc Source #
Outputable ForeignTarget # |
Instance details Methods ppr :: ForeignTarget -> SDoc Source # pprPrec :: Rational -> ForeignTarget -> SDoc Source #
Outputable CmmReturnInfo # |
Instance details Methods ppr :: CmmReturnInfo -> SDoc Source # pprPrec :: Rational -> CmmReturnInfo -> SDoc Source #
Outputable ForeignConvention # |
Instance details Methods ppr :: ForeignConvention -> SDoc Source # pprPrec :: Rational -> ForeignConvention -> SDoc Source #
Outputable Convention # |
Instance details Methods ppr :: Convention -> SDoc Source # pprPrec :: Rational -> Convention -> SDoc Source #
Outputable CmmStatics # |
Instance details Methods ppr :: CmmStatics -> SDoc Source # pprPrec :: Rational -> CmmStatics -> SDoc Source #
Outputable CmmStatic # |
Instance details Methods ppr :: CmmStatic -> SDoc Source # pprPrec :: Rational -> CmmStatic -> SDoc Source #
Outputable C_SRT # |
Instance details Methods ppr :: C_SRT -> SDoc Source # pprPrec :: Rational -> C_SRT -> SDoc Source #
Outputable CmmInfoTable # |
Instance details Methods ppr :: CmmInfoTable -> SDoc Source # pprPrec :: Rational -> CmmInfoTable -> SDoc Source #
Outputable CmmStackInfo # |
Instance details Methods ppr :: CmmStackInfo -> SDoc Source # pprPrec :: Rational -> CmmStackInfo -> SDoc Source #
Outputable CmmTopInfo # |
Instance details Methods ppr :: CmmTopInfo -> SDoc Source # pprPrec :: Rational -> CmmTopInfo -> SDoc Source #
Outputable CmmGraph # |
Instance details Methods ppr :: CmmGraph -> SDoc Source # pprPrec :: Rational -> CmmGraph -> SDoc Source #
Outputable LlvmCastOp # |
Instance details Methods ppr :: LlvmCastOp -> SDoc Source # pprPrec :: Rational -> LlvmCastOp -> SDoc Source #
Outputable LlvmCmpOp # |
Instance details Methods ppr :: LlvmCmpOp -> SDoc Source # pprPrec :: Rational -> LlvmCmpOp -> SDoc Source #
Outputable LlvmMachOp # |
Instance details Methods ppr :: LlvmMachOp -> SDoc Source # pprPrec :: Rational -> LlvmMachOp -> SDoc Source #
Outputable LlvmLinkageType # |
Instance details Methods ppr :: LlvmLinkageType -> SDoc Source # pprPrec :: Rational -> LlvmLinkageType -> SDoc Source #
Outputable LlvmCallConvention # |
Instance details Methods ppr :: LlvmCallConvention -> SDoc Source # pprPrec :: Rational -> LlvmCallConvention -> SDoc Source #
Outputable LlvmFuncAttr # |
Instance details Methods ppr :: LlvmFuncAttr -> SDoc Source # pprPrec :: Rational -> LlvmFuncAttr -> SDoc Source #
Outputable LlvmParamAttr # |
Instance details Methods ppr :: LlvmParamAttr -> SDoc Source # pprPrec :: Rational -> LlvmParamAttr -> SDoc Source #
Outputable LlvmFunctionDecl # |
Instance details Methods ppr :: LlvmFunctionDecl -> SDoc Source # pprPrec :: Rational -> LlvmFunctionDecl -> SDoc Source #
Outputable LlvmStatic # |
Instance details Methods ppr :: LlvmStatic -> SDoc Source # pprPrec :: Rational -> LlvmStatic -> SDoc Source #
Outputable LlvmLit # |
Instance details Methods ppr :: LlvmLit -> SDoc Source # pprPrec :: Rational -> LlvmLit -> SDoc Source #
Outputable LlvmVar # |
Instance details Methods ppr :: LlvmVar -> SDoc Source # pprPrec :: Rational -> LlvmVar -> SDoc Source #
Outputable LlvmType # |
Instance details Methods ppr :: LlvmType -> SDoc Source # pprPrec :: Rational -> LlvmType -> SDoc Source #
Outputable MetaExpr # |
Instance details Methods ppr :: MetaExpr -> SDoc Source # pprPrec :: Rational -> MetaExpr -> SDoc Source #
Outputable MetaId # |
Instance details Methods ppr :: MetaId -> SDoc Source # pprPrec :: Rational -> MetaId -> SDoc Source #
Outputable LiveInfo # |
Instance details Methods ppr :: LiveInfo -> SDoc Source # pprPrec :: Rational -> LiveInfo -> SDoc Source #
Outputable Loc # |
Instance details Methods ppr :: Loc -> SDoc Source # pprPrec :: Rational -> Loc -> SDoc Source #
Outputable SpillStats # |
Instance details Methods ppr :: SpillStats -> SDoc Source # pprPrec :: Rational -> SpillStats -> SDoc Source #
Outputable UnwindExpr # |
Instance details Methods ppr :: UnwindExpr -> SDoc Source # pprPrec :: Rational -> UnwindExpr -> SDoc Source #
Outputable UnwindPoint # |
Instance details Methods ppr :: UnwindPoint -> SDoc Source # pprPrec :: Rational -> UnwindPoint -> SDoc Source #
Outputable DebugBlock # |
Instance details Methods ppr :: DebugBlock -> SDoc Source # pprPrec :: Rational -> DebugBlock -> SDoc Source #
Outputable Status # |
Instance details Methods ppr :: Status -> SDoc Source # pprPrec :: Rational -> Status -> SDoc Source #
Outputable ParamLocation # |
Instance details Methods ppr :: ParamLocation -> SDoc Source # pprPrec :: Rational -> ParamLocation -> SDoc Source #
Outputable TopSRT # |
Instance details Methods ppr :: TopSRT -> SDoc Source # pprPrec :: Rational -> TopSRT -> SDoc Source #
Outputable CandidatesQTvs # |
Instance details Methods ppr :: CandidatesQTvs -> SDoc Source # pprPrec :: Rational -> CandidatesQTvs -> SDoc Source #
Outputable TcLevel # |
Instance details Methods ppr :: TcLevel -> SDoc Source # pprPrec :: Rational -> TcLevel -> SDoc Source #
Outputable InferResult # |
Instance details Methods ppr :: InferResult -> SDoc Source # pprPrec :: Rational -> InferResult -> SDoc Source #
Outputable ExpType # |
Instance details Methods ppr :: ExpType -> SDoc Source # pprPrec :: Rational -> ExpType -> SDoc Source #
Outputable EvCallStack # |
Instance details Methods ppr :: EvCallStack -> SDoc Source # pprPrec :: Rational -> EvCallStack -> SDoc Source #
Outputable EvLit # |
Instance details Methods ppr :: EvLit -> SDoc Source # pprPrec :: Rational -> EvLit -> SDoc Source #
Outputable EvTypeable # |
Instance details Methods ppr :: EvTypeable -> SDoc Source # pprPrec :: Rational -> EvTypeable -> SDoc Source #
Outputable EvTerm # |
Instance details Methods ppr :: EvTerm -> SDoc Source # pprPrec :: Rational -> EvTerm -> SDoc Source #
Outputable EvBind # |
Instance details Methods ppr :: EvBind -> SDoc Source # pprPrec :: Rational -> EvBind -> SDoc Source #
Outputable EvBindMap # |
Instance details Methods ppr :: EvBindMap -> SDoc Source # pprPrec :: Rational -> EvBindMap -> SDoc Source #
Outputable EvBindsVar # |
Instance details Methods ppr :: EvBindsVar -> SDoc Source # pprPrec :: Rational -> EvBindsVar -> SDoc Source #
Outputable TcEvBinds # |
Instance details Methods ppr :: TcEvBinds -> SDoc Source # pprPrec :: Rational -> TcEvBinds -> SDoc Source #
Outputable HsWrapper # |
Instance details Methods ppr :: HsWrapper -> SDoc Source # pprPrec :: Rational -> HsWrapper -> SDoc Source #
Outputable HsTyLit # |
Instance details Methods ppr :: HsTyLit -> SDoc Source # pprPrec :: Rational -> HsTyLit -> SDoc Source #
Outputable HsIPName # |
Instance details Methods ppr :: HsIPName -> SDoc Source # pprPrec :: Rational -> HsIPName -> SDoc Source #
Outputable OverLitVal # |
Instance details Methods ppr :: OverLitVal -> SDoc Source # pprPrec :: Rational -> OverLitVal -> SDoc Source #
Outputable TcSpecPrag # |
Instance details Methods ppr :: TcSpecPrag -> SDoc Source # pprPrec :: Rational -> TcSpecPrag -> SDoc Source #
Outputable CgLoc # |
Instance details Methods ppr :: CgLoc -> SDoc Source # pprPrec :: Rational -> CgLoc -> SDoc Source #
Outputable Sequel # |
Instance details Methods ppr :: Sequel -> SDoc Source # pprPrec :: Rational -> Sequel -> SDoc Source #
Outputable CgIdInfo # |
Instance details Methods ppr :: CgIdInfo -> SDoc Source # pprPrec :: Rational -> CgIdInfo -> SDoc Source #
Outputable ArgRep # |
Instance details Methods ppr :: ArgRep -> SDoc Source # pprPrec :: Rational -> ArgRep -> SDoc Source #
Outputable ClsInst # |
Instance details Methods ppr :: ClsInst -> SDoc Source # pprPrec :: Rational -> ClsInst -> SDoc Source #
Outputable DocDecl # |
Instance details Methods ppr :: DocDecl -> SDoc Source # pprPrec :: Rational -> DocDecl -> SDoc Source #
Outputable ForeignExport # |
Instance details Methods ppr :: ForeignExport -> SDoc Source # pprPrec :: Rational -> ForeignExport -> SDoc Source #
Outputable ForeignImport # |
Instance details Methods ppr :: ForeignImport -> SDoc Source # pprPrec :: Rational -> ForeignImport -> SDoc Source #
Outputable NewOrData # |
Instance details Methods ppr :: NewOrData -> SDoc Source # pprPrec :: Rational -> NewOrData -> SDoc Source #
Outputable PendingTcSplice # |
Instance details Methods ppr :: PendingTcSplice -> SDoc Source # pprPrec :: Rational -> PendingTcSplice -> SDoc Source #
Outputable PendingRnSplice # |
Instance details Methods ppr :: PendingRnSplice -> SDoc Source # pprPrec :: Rational -> PendingRnSplice -> SDoc Source #
Outputable SpliceDecoration # |
Instance details Methods ppr :: SpliceDecoration -> SDoc Source # pprPrec :: Rational -> SpliceDecoration -> SDoc Source #
Outputable UnboundVar # |
Instance details Methods ppr :: UnboundVar -> SDoc Source # pprPrec :: Rational -> UnboundVar -> SDoc Source #
Outputable PmLit # |
Instance details Methods ppr :: PmLit -> SDoc Source # pprPrec :: Rational -> PmLit -> SDoc Source #
Outputable PmExpr # |
Instance details Methods ppr :: PmExpr -> SDoc Source # pprPrec :: Rational -> PmExpr -> SDoc Source #
Outputable CompleteMatch # |
Instance details Methods ppr :: CompleteMatch -> SDoc Source # pprPrec :: Rational -> CompleteMatch -> SDoc Source #
Outputable Unlinked # |
Instance details Methods ppr :: Unlinked -> SDoc Source # pprPrec :: Rational -> Unlinked -> SDoc Source #
Outputable Linkable # |
Instance details Methods ppr :: Linkable -> SDoc Source # pprPrec :: Rational -> Linkable -> SDoc Source #
Outputable IfaceTrustInfo # |
Instance details Methods ppr :: IfaceTrustInfo -> SDoc Source # pprPrec :: Rational -> IfaceTrustInfo -> SDoc Source #
Outputable IfaceVectInfo # |
Instance details Methods ppr :: IfaceVectInfo -> SDoc Source # pprPrec :: Rational -> IfaceVectInfo -> SDoc Source #
Outputable VectInfo # |
Instance details Methods ppr :: VectInfo -> SDoc Source # pprPrec :: Rational -> VectInfo -> SDoc Source #
Outputable ModSummary # |
Instance details Methods ppr :: ModSummary -> SDoc Source # pprPrec :: Rational -> ModSummary -> SDoc Source #
Outputable FixItem # |
Instance details Methods ppr :: FixItem -> SDoc Source # pprPrec :: Rational -> FixItem -> SDoc Source #
Outputable Warnings # |
Instance details Methods ppr :: Warnings -> SDoc Source # pprPrec :: Rational -> Warnings -> SDoc Source #
Outputable InteractiveImport # |
Instance details Methods ppr :: InteractiveImport -> SDoc Source # pprPrec :: Rational -> InteractiveImport -> SDoc Source #
Outputable SptEntry # |
Instance details Methods ppr :: SptEntry -> SDoc Source # pprPrec :: Rational -> SptEntry -> SDoc Source #
Outputable TargetId # |
Instance details Methods ppr :: TargetId -> SDoc Source # pprPrec :: Rational -> TargetId -> SDoc Source #
Outputable Target # |
Instance details Methods ppr :: Target -> SDoc Source # pprPrec :: Rational -> Target -> SDoc Source #
Outputable TypeOrKind # |
Instance details Methods ppr :: TypeOrKind -> SDoc Source # pprPrec :: Rational -> TypeOrKind -> SDoc Source #
Outputable CtOrigin # |
Instance details Methods ppr :: CtOrigin -> SDoc Source # pprPrec :: Rational -> CtOrigin -> SDoc Source #
Outputable SkolemInfo # |
Instance details Methods ppr :: SkolemInfo -> SDoc Source # pprPrec :: Rational -> SkolemInfo -> SDoc Source #
Outputable SubGoalDepth # |
Instance details Methods ppr :: SubGoalDepth -> SDoc Source # pprPrec :: Rational -> SubGoalDepth -> SDoc Source #
Outputable CtFlavour # |
Instance details Methods ppr :: CtFlavour -> SDoc Source # pprPrec :: Rational -> CtFlavour -> SDoc Source #
Outputable CtEvidence # |
Instance details Methods ppr :: CtEvidence -> SDoc Source # pprPrec :: Rational -> CtEvidence -> SDoc Source #
Outputable TcEvDest # |
Instance details Methods ppr :: TcEvDest -> SDoc Source # pprPrec :: Rational -> TcEvDest -> SDoc Source #
Outputable ImplicStatus # |
Instance details Methods ppr :: ImplicStatus -> SDoc Source # pprPrec :: Rational -> ImplicStatus -> SDoc Source #
Outputable Implication # |
Instance details Methods ppr :: Implication -> SDoc Source # pprPrec :: Rational -> Implication -> SDoc Source #
Outputable WantedConstraints # |
Instance details Methods ppr :: WantedConstraints -> SDoc Source # pprPrec :: Rational -> WantedConstraints -> SDoc Source #
Outputable Hole # |
Instance details Methods ppr :: Hole -> SDoc Source # pprPrec :: Rational -> Hole -> SDoc Source #
Outputable Ct # |
Instance details Methods ppr :: Ct -> SDoc Source # pprPrec :: Rational -> Ct -> SDoc Source #
Outputable TcPatSynInfo # |
Instance details Methods ppr :: TcPatSynInfo -> SDoc Source # pprPrec :: Rational -> TcPatSynInfo -> SDoc Source #
Outputable TcIdSigInst # |
Instance details Methods ppr :: TcIdSigInst -> SDoc Source # pprPrec :: Rational -> TcIdSigInst -> SDoc Source #
Outputable TcIdSigInfo # |
Instance details Methods ppr :: TcIdSigInfo -> SDoc Source # pprPrec :: Rational -> TcIdSigInfo -> SDoc Source #
Outputable TcSigInfo # |
Instance details Methods ppr :: TcSigInfo -> SDoc Source # pprPrec :: Rational -> TcSigInfo -> SDoc Source #
Outputable WhereFrom # |
Instance details Methods ppr :: WhereFrom -> SDoc Source # pprPrec :: Rational -> WhereFrom -> SDoc Source #
Outputable IdBindingInfo # |
Instance details Methods ppr :: IdBindingInfo -> SDoc Source # pprPrec :: Rational -> IdBindingInfo -> SDoc Source #
Outputable PromotionErr # |
Instance details Methods ppr :: PromotionErr -> SDoc Source # pprPrec :: Rational -> PromotionErr -> SDoc Source #
Outputable TcTyThing # |
Instance details Methods ppr :: TcTyThing -> SDoc Source # pprPrec :: Rational -> TcTyThing -> SDoc Source #
Outputable ThStage # |
Instance details Methods ppr :: ThStage -> SDoc Source # pprPrec :: Rational -> ThStage -> SDoc Source #
Outputable TcBinder # |
Instance details Methods ppr :: TcBinder -> SDoc Source # pprPrec :: Rational -> TcBinder -> SDoc Source #
Outputable PhasePlus # |
Instance details Methods ppr :: PhasePlus -> SDoc Source # pprPrec :: Rational -> PhasePlus -> SDoc Source #
Outputable HsComponentId # |
Instance details Methods ppr :: HsComponentId -> SDoc Source # pprPrec :: Rational -> HsComponentId -> SDoc Source #
Outputable FloatBind # |
Instance details Methods ppr :: FloatBind -> SDoc Source # pprPrec :: Rational -> FloatBind -> SDoc Source #
Outputable Subst # |
Instance details Methods ppr :: Subst -> SDoc Source # pprPrec :: Rational -> Subst -> SDoc Source #
Outputable CallCtxt # |
Instance details Methods ppr :: CallCtxt -> SDoc Source # pprPrec :: Rational -> CallCtxt -> SDoc Source #
Outputable ArgSummary # |
Instance details Methods ppr :: ArgSummary -> SDoc Source # pprPrec :: Rational -> ArgSummary -> SDoc Source #
Outputable Tick # |
Instance details Methods ppr :: Tick -> SDoc Source # pprPrec :: Rational -> Tick -> SDoc Source #
Outputable FloatOutSwitches # |
Instance details Methods ppr :: FloatOutSwitches -> SDoc Source # pprPrec :: Rational -> FloatOutSwitches -> SDoc Source #
Outputable SimplMode # |
Instance details Methods ppr :: SimplMode -> SDoc Source # pprPrec :: Rational -> SimplMode -> SDoc Source #
Outputable CoreToDo # |
Instance details Methods ppr :: CoreToDo -> SDoc Source # pprPrec :: Rational -> CoreToDo -> SDoc Source #
Outputable LetFloats # |
Instance details Methods ppr :: LetFloats -> SDoc Source # pprPrec :: Rational -> LetFloats -> SDoc Source #
Outputable SimplSR # |
Instance details Methods ppr :: SimplSR -> SDoc Source # pprPrec :: Rational -> SimplSR -> SDoc Source #
Outputable SimplFloats # |
Instance details Methods ppr :: SimplFloats -> SDoc Source # pprPrec :: Rational -> SimplFloats -> SDoc Source #
Outputable ArgSpec # |
Instance details Methods ppr :: ArgSpec -> SDoc Source # pprPrec :: Rational -> ArgSpec -> SDoc Source #
Outputable DupFlag # |
Instance details Methods ppr :: DupFlag -> SDoc Source # pprPrec :: Rational -> DupFlag -> SDoc Source #
Outputable SimplCont # |
Instance details Methods ppr :: SimplCont -> SDoc Source # pprPrec :: Rational -> SimplCont -> SDoc Source #
Outputable FloatSpec # |
Instance details Methods ppr :: FloatSpec -> SDoc Source # pprPrec :: Rational -> FloatSpec -> SDoc Source #
Outputable Level # |
Instance details Methods ppr :: Level -> SDoc Source # pprPrec :: Rational -> Level -> SDoc Source #
Outputable HsSigCtxt # |
Instance details Methods ppr :: HsSigCtxt -> SDoc Source # pprPrec :: Rational -> HsSigCtxt -> SDoc Source #
Outputable ChildLookupResult # |
Instance details Methods ppr :: ChildLookupResult -> SDoc Source # pprPrec :: Rational -> ChildLookupResult -> SDoc Source #
Outputable ClosureType # |
Instance details Methods ppr :: ClosureType -> SDoc Source # pprPrec :: Rational -> ClosureType -> SDoc Source #
Outputable Term # |
Instance details Methods ppr :: Term -> SDoc Source # pprPrec :: Rational -> Term -> SDoc Source #
Outputable InertCans # |
Instance details Methods ppr :: InertCans -> SDoc Source # pprPrec :: Rational -> InertCans -> SDoc Source #
Outputable InertSet # |
Instance details Methods ppr :: InertSet -> SDoc Source # pprPrec :: Rational -> InertSet -> SDoc Source #
Outputable WorkList # |
Instance details Methods ppr :: WorkList -> SDoc Source # pprPrec :: Rational -> WorkList -> SDoc Source #
Outputable FlattenMode # |
Instance details Methods ppr :: FlattenMode -> SDoc Source # pprPrec :: Rational -> FlattenMode -> SDoc Source #
Outputable InferMode # |
Instance details Methods ppr :: InferMode -> SDoc Source # pprPrec :: Rational -> InferMode -> SDoc Source #
Outputable ThetaOrigin # |
Instance details Methods ppr :: ThetaOrigin -> SDoc Source # pprPrec :: Rational -> ThetaOrigin -> SDoc Source #
Outputable PredOrigin # |
Instance details Methods ppr :: PredOrigin -> SDoc Source # pprPrec :: Rational -> PredOrigin -> SDoc Source #
Outputable DerivSpecMechanism # |
Instance details Methods ppr :: DerivSpecMechanism -> SDoc Source # pprPrec :: Rational -> DerivSpecMechanism -> SDoc Source #
Outputable DerivEnv # |
Instance details Methods ppr :: DerivEnv -> SDoc Source # pprPrec :: Rational -> DerivEnv -> SDoc Source #
Outputable BCInstr # |
Instance details Methods ppr :: BCInstr -> SDoc Source # pprPrec :: Rational -> BCInstr -> SDoc Source #
Outputable LetBndrSpec # |
Instance details Methods ppr :: LetBndrSpec -> SDoc Source # pprPrec :: Rational -> LetBndrSpec -> SDoc Source #
Outputable EquationInfo # |
Instance details Methods ppr :: EquationInfo -> SDoc Source # pprPrec :: Rational -> EquationInfo -> SDoc Source #
Outputable DsMatchContext # |
Instance details Methods ppr :: DsMatchContext -> SDoc Source # pprPrec :: Rational -> DsMatchContext -> SDoc Source #
Outputable CompRepr # |
Instance details Methods ppr :: CompRepr -> SDoc Source # pprPrec :: Rational -> CompRepr -> SDoc Source #
Outputable ProdRepr # |
Instance details Methods ppr :: ProdRepr -> SDoc Source # pprPrec :: Rational -> ProdRepr -> SDoc Source #
Outputable ConRepr # |
Instance details Methods ppr :: ConRepr -> SDoc Source # pprPrec :: Rational -> ConRepr -> SDoc Source #
Outputable SumRepr # |
Instance details Methods ppr :: SumRepr -> SDoc Source # pprPrec :: Rational -> SumRepr -> SDoc Source #
Outputable Instr # |
Instance details Methods ppr :: Instr -> SDoc Source # pprPrec :: Rational -> Instr -> SDoc Source #
Outputable Instr # |
Instance details Methods ppr :: Instr -> SDoc Source # pprPrec :: Rational -> Instr -> SDoc Source #
Outputable Instr # |
Instance details Methods ppr :: Instr -> SDoc Source # pprPrec :: Rational -> Instr -> SDoc Source #
Outputable DwarfFrameBlock # |
Instance details Methods ppr :: DwarfFrameBlock -> SDoc Source # pprPrec :: Rational -> DwarfFrameBlock -> SDoc Source #
Outputable CoreModule # |
Instance details Methods ppr :: CoreModule -> SDoc Source # pprPrec :: Rational -> CoreModule -> SDoc Source #
Outputable a => Outputable [a] # |
Instance details Methods ppr :: [a] -> SDoc Source # pprPrec :: Rational -> [a] -> SDoc Source #
Outputable a => Outputable (Maybe a) # |
Instance details Methods ppr :: Maybe a -> SDoc Source # pprPrec :: Rational -> Maybe a -> SDoc Source #
Outputable elt => Outputable (IntMap elt) # |
Instance details Methods ppr :: IntMap elt -> SDoc Source # pprPrec :: Rational -> IntMap elt -> SDoc Source #
Outputable a => Outputable (SCC a) # |
Instance details Methods ppr :: SCC a -> SDoc Source # pprPrec :: Rational -> SCC a -> SDoc Source #
Outputable a => Outputable (Set a) # |
Instance details Methods ppr :: Set a -> SDoc Source # pprPrec :: Rational -> Set a -> SDoc Source #
Outputable a => Outputable (Pair a) # |
Instance details Methods ppr :: Pair a -> SDoc Source # pprPrec :: Rational -> Pair a -> SDoc Source #
Outputable a => Outputable (OrdList a) # |
Instance details Methods ppr :: OrdList a -> SDoc Source # pprPrec :: Rational -> OrdList a -> SDoc Source #
Outputable (DefMethSpec ty) # |
Instance details Methods ppr :: DefMethSpec ty -> SDoc Source # pprPrec :: Rational -> DefMethSpec ty -> SDoc Source #
Outputable a => Outputable (UniqFM a) # |
Instance details Methods ppr :: UniqFM a -> SDoc Source # pprPrec :: Rational -> UniqFM a -> SDoc Source #
Outputable a => Outputable (UniqSet a) # |
Instance details Methods ppr :: UniqSet a -> SDoc Source # pprPrec :: Rational -> UniqSet a -> SDoc Source #
Outputable a => Outputable (UniqDFM a) # |
Instance details Methods ppr :: UniqDFM a -> SDoc Source # pprPrec :: Rational -> UniqDFM a -> SDoc Source #
Outputable a => Outputable (LabelMap a) # |
Instance details Methods ppr :: LabelMap a -> SDoc Source # pprPrec :: Rational -> LabelMap a -> SDoc Source #
OutputableBndr a => Outputable (BooleanFormula a) # |
Instance details Methods ppr :: BooleanFormula a -> SDoc Source # pprPrec :: Rational -> BooleanFormula a -> SDoc Source #
Outputable node => Outputable (Graph node) # |
Instance details Methods ppr :: Graph node -> SDoc Source # pprPrec :: Rational -> Graph node -> SDoc Source #
Outputable a => Outputable (Bag a) # |
Instance details Methods ppr :: Bag a -> SDoc Source # pprPrec :: Rational -> Bag a -> SDoc Source #
Outputable a => Outputable (OccEnv a) # |
Instance details Methods ppr :: OccEnv a -> SDoc Source # pprPrec :: Rational -> OccEnv a -> SDoc Source #
Outputable a => Outputable (FieldLbl a) # |
Instance details Methods ppr :: FieldLbl a -> SDoc Source # pprPrec :: Rational -> FieldLbl a -> SDoc Source #
Outputable name => Outputable (AnnTarget name) # |
Instance details Methods ppr :: AnnTarget name -> SDoc Source # pprPrec :: Rational -> AnnTarget name -> SDoc Source #
Outputable (CoAxiom br) # |
Instance details Methods ppr :: CoAxiom br -> SDoc Source # pprPrec :: Rational -> CoAxiom br -> SDoc Source #
Outputable a => Outputable (UnifyResultM a) # |
Instance details Methods ppr :: UnifyResultM a -> SDoc Source # pprPrec :: Rational -> UnifyResultM a -> SDoc Source #
Outputable b => Outputable (TaggedBndr b) # |
Instance details Methods ppr :: TaggedBndr b -> SDoc Source # pprPrec :: Rational -> TaggedBndr b -> SDoc Source #
Outputable id => Outputable (Tickish id) # |
Instance details Methods ppr :: Tickish id -> SDoc Source # pprPrec :: Rational -> Tickish id -> SDoc Source #
OutputableBndr b => Outputable (Bind b) # |
Instance details Methods ppr :: Bind b -> SDoc Source # pprPrec :: Rational -> Bind b -> SDoc Source #
OutputableBndr b => Outputable (Expr b) # |
Instance details Methods ppr :: Expr b -> SDoc Source # pprPrec :: Rational -> Expr b -> SDoc Source #
Outputable a => Outputable (CoreMap a) # |
Instance details Methods ppr :: CoreMap a -> SDoc Source # pprPrec :: Rational -> CoreMap a -> SDoc Source #
Outputable bdee => Outputable (GenStgArg bdee) # |
Instance details Methods ppr :: GenStgArg bdee -> SDoc Source # pprPrec :: Rational -> GenStgArg bdee -> SDoc Source #
Outputable instr => Outputable (ListGraph instr) # |
Instance details Methods ppr :: ListGraph instr -> SDoc Source # pprPrec :: Rational -> ListGraph instr -> SDoc Source #
Outputable instr => Outputable (GenBasicBlock instr) # |
Instance details Methods ppr :: GenBasicBlock instr -> SDoc Source # pprPrec :: Rational -> GenBasicBlock instr -> SDoc Source #
Outputable instr => Outputable (LiveInstr instr) # |
Instance details Methods ppr :: LiveInstr instr -> SDoc Source # pprPrec :: Rational -> LiveInstr instr -> SDoc Source #
Outputable instr => Outputable (InstrSR instr) # |
Instance details Methods ppr :: InstrSR instr -> SDoc Source # pprPrec :: Rational -> InstrSR instr -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (Pat pass) # |
Instance details Methods ppr :: Pat pass -> SDoc Source # pprPrec :: Rational -> Pat pass -> SDoc Source #
OutputableBndrId pass => Outputable (IE pass) # |
Instance details Methods ppr :: IE pass -> SDoc Source # pprPrec :: Rational -> IE pass -> SDoc Source #
OutputableBndr name => Outputable (IEWrappedName name) # |
Instance details Methods ppr :: IEWrappedName name -> SDoc Source # pprPrec :: Rational -> IEWrappedName name -> SDoc Source #
OutputableBndrId pass => Outputable (ImportDecl pass) # |
Instance details Methods ppr :: ImportDecl pass -> SDoc Source # pprPrec :: Rational -> ImportDecl pass -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (SyntaxExpr p) # |
Instance details Methods ppr :: SyntaxExpr p -> SDoc Source # pprPrec :: Rational -> SyntaxExpr p -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsSplice p) # |
Instance details Methods ppr :: HsSplice p -> SDoc Source # pprPrec :: Rational -> HsSplice p -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsCmd p) # |
Instance details Methods ppr :: HsCmd p -> SDoc Source # pprPrec :: Rational -> HsCmd p -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsExpr p) # |
Instance details Methods ppr :: HsExpr p -> SDoc Source # pprPrec :: Rational -> HsExpr p -> SDoc Source #
Outputable (AmbiguousFieldOcc pass) # |
Instance details Methods ppr :: AmbiguousFieldOcc pass -> SDoc Source # pprPrec :: Rational -> AmbiguousFieldOcc pass -> SDoc Source #
Outputable (FieldOcc pass) # |
Instance details Methods ppr :: FieldOcc pass -> SDoc Source # pprPrec :: Rational -> FieldOcc pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (ConDeclField pass) # |
Instance details Methods ppr :: ConDeclField pass -> SDoc Source # pprPrec :: Rational -> ConDeclField pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsAppType pass) # |
Instance details Methods ppr :: HsAppType pass -> SDoc Source # pprPrec :: Rational -> HsAppType pass -> SDoc Source #
Outputable (HsWildCardInfo pass) # |
Instance details Methods ppr :: HsWildCardInfo pass -> SDoc Source # pprPrec :: Rational -> HsWildCardInfo pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsType pass) # |
Instance details Methods ppr :: HsType pass -> SDoc Source # pprPrec :: Rational -> HsType pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsTyVarBndr pass) # |
Instance details Methods ppr :: HsTyVarBndr pass -> SDoc Source # pprPrec :: Rational -> HsTyVarBndr pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (LHsQTyVars pass) # |
Instance details Methods ppr :: LHsQTyVars pass -> SDoc Source # pprPrec :: Rational -> LHsQTyVars pass -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsOverLit p) # |
Instance details Methods ppr :: HsOverLit p -> SDoc Source # pprPrec :: Rational -> HsOverLit p -> SDoc Source #
SourceTextX x => Outputable (HsLit x) # |
Instance details Methods ppr :: HsLit x -> SDoc Source # pprPrec :: Rational -> HsLit x -> SDoc Source #
Outputable a => Outputable (RecordPatSynField a) # |
Instance details Methods ppr :: RecordPatSynField a -> SDoc Source # pprPrec :: Rational -> RecordPatSynField a -> SDoc Source #
OutputableBndrId pass => Outputable (FixitySig pass) # |
Instance details Methods ppr :: FixitySig pass -> SDoc Source # pprPrec :: Rational -> FixitySig pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (Sig pass) # |
Instance details Methods ppr :: Sig pass -> SDoc Source # pprPrec :: Rational -> Sig pass -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (IPBind p) # |
Instance details Methods ppr :: IPBind p -> SDoc Source # pprPrec :: Rational -> IPBind p -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsIPBinds p) # |
Instance details Methods ppr :: HsIPBinds p -> SDoc Source # pprPrec :: Rational -> HsIPBinds p -> SDoc Source #
OutputableBndrId p => Outputable (ABExport p) # |
Instance details Methods ppr :: ABExport p -> SDoc Source # pprPrec :: Rational -> ABExport p -> SDoc Source #
Outputable a => Outputable (NonVoid a) # |
Instance details Methods ppr :: NonVoid a -> SDoc Source # pprPrec :: Rational -> NonVoid a -> SDoc Source #
OutputableBndr (IdP pass) => Outputable (RoleAnnotDecl pass) # |
Instance details Methods ppr :: RoleAnnotDecl pass -> SDoc Source # pprPrec :: Rational -> RoleAnnotDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (AnnDecl pass) # |
Instance details Methods ppr :: AnnDecl pass -> SDoc Source # pprPrec :: Rational -> AnnDecl pass -> SDoc Source #
OutputableBndr (IdP pass) => Outputable (WarnDecl pass) # |
Instance details Methods ppr :: WarnDecl pass -> SDoc Source # pprPrec :: Rational -> WarnDecl pass -> SDoc Source #
OutputableBndr (IdP pass) => Outputable (WarnDecls pass) # |
Instance details Methods ppr :: WarnDecls pass -> SDoc Source # pprPrec :: Rational -> WarnDecls pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (VectDecl pass) # |
Instance details Methods ppr :: VectDecl pass -> SDoc Source # pprPrec :: Rational -> VectDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (RuleBndr pass) # |
Instance details Methods ppr :: RuleBndr pass -> SDoc Source # pprPrec :: Rational -> RuleBndr pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (RuleDecl pass) # |
Instance details Methods ppr :: RuleDecl pass -> SDoc Source # pprPrec :: Rational -> RuleDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (RuleDecls pass) # |
Instance details Methods ppr :: RuleDecls pass -> SDoc Source # pprPrec :: Rational -> RuleDecls pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (ForeignDecl pass) # |
Instance details Methods ppr :: ForeignDecl pass -> SDoc Source # pprPrec :: Rational -> ForeignDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (DefaultDecl pass) # |
Instance details Methods ppr :: DefaultDecl pass -> SDoc Source # pprPrec :: Rational -> DefaultDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (DerivDecl pass) # |
Instance details Methods ppr :: DerivDecl pass -> SDoc Source # pprPrec :: Rational -> DerivDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (InstDecl pass) # |
Instance details Methods ppr :: InstDecl pass -> SDoc Source # pprPrec :: Rational -> InstDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (ClsInstDecl pass) # |
Instance details Methods ppr :: ClsInstDecl pass -> SDoc Source # pprPrec :: Rational -> ClsInstDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (DataFamInstDecl pass) # |
Instance details Methods ppr :: DataFamInstDecl pass -> SDoc Source # pprPrec :: Rational -> DataFamInstDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (TyFamInstDecl pass) # |
Instance details Methods ppr :: TyFamInstDecl pass -> SDoc Source # pprPrec :: Rational -> TyFamInstDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (ConDecl pass) # |
Instance details Methods ppr :: ConDecl pass -> SDoc Source # pprPrec :: Rational -> ConDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsDerivingClause pass) # |
Instance details Methods ppr :: HsDerivingClause pass -> SDoc Source # pprPrec :: Rational -> HsDerivingClause pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsDataDefn pass) # |
Instance details Methods ppr :: HsDataDefn pass -> SDoc Source # pprPrec :: Rational -> HsDataDefn pass -> SDoc Source #
Outputable (FamilyInfo pass) # |
Instance details Methods ppr :: FamilyInfo pass -> SDoc Source # pprPrec :: Rational -> FamilyInfo pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (FamilyDecl pass) # |
Instance details Methods ppr :: FamilyDecl pass -> SDoc Source # pprPrec :: Rational -> FamilyDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (TyClGroup pass) # |
Instance details Methods ppr :: TyClGroup pass -> SDoc Source # pprPrec :: Rational -> TyClGroup pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (TyClDecl pass) # |
Instance details Methods ppr :: TyClDecl pass -> SDoc Source # pprPrec :: Rational -> TyClDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (SpliceDecl pass) # |
Instance details Methods ppr :: SpliceDecl pass -> SDoc Source # pprPrec :: Rational -> SpliceDecl pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsGroup pass) # |
Instance details Methods ppr :: HsGroup pass -> SDoc Source # pprPrec :: Rational -> HsGroup pass -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsDecl pass) # |
Instance details Methods ppr :: HsDecl pass -> SDoc Source # pprPrec :: Rational -> HsDecl pass -> SDoc Source #
(Outputable p, Outputable (NameOrRdrName p)) => Outputable (HsStmtContext p) # |
Instance details Methods ppr :: HsStmtContext p -> SDoc Source # pprPrec :: Rational -> HsStmtContext p -> SDoc Source #
OutputableBndr id => Outputable (HsMatchContext id) # |
Instance details Methods ppr :: HsMatchContext id -> SDoc Source # pprPrec :: Rational -> HsMatchContext id -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (ArithSeqInfo p) # |
Instance details Methods ppr :: ArithSeqInfo p -> SDoc Source # pprPrec :: Rational -> ArithSeqInfo p -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsBracket p) # |
Instance details Methods ppr :: HsBracket p -> SDoc Source # pprPrec :: Rational -> HsBracket p -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsSplicedThing p) # |
Instance details Methods ppr :: HsSplicedThing p -> SDoc Source # pprPrec :: Rational -> HsSplicedThing p -> SDoc Source #
(SourceTextX p, OutputableBndrId p) => Outputable (HsCmdTop p) # |
Instance details Methods ppr :: HsCmdTop p -> SDoc Source # pprPrec :: Rational -> HsCmdTop p -> SDoc Source #
(SourceTextX pass, OutputableBndrId pass) => Outputable (HsModule pass) # |
Instance details Methods ppr :: HsModule pass -> SDoc Source # pprPrec :: Rational -> HsModule pass -> SDoc Source #
(SourceTextX a, OutputableBndrId a) => Outputable (InstInfo a) # |
Instance details Methods ppr :: InstInfo a -> SDoc Source # pprPrec :: Rational -> InstInfo a -> SDoc Source #
Outputable (FunDepEqn a) # |
Instance details Methods ppr :: FunDepEqn a -> SDoc Source # pprPrec :: Rational -> FunDepEqn a -> SDoc Source #
Outputable a => Outputable (StopOrContinue a) # |
Instance details Methods ppr :: StopOrContinue a -> SDoc Source # pprPrec :: Rational -> StopOrContinue a -> SDoc Source #
Outputable theta => Outputable (DerivSpec theta) # |
Instance details Methods ppr :: DerivSpec theta -> SDoc Source # pprPrec :: Rational -> DerivSpec theta -> SDoc Source #
Outputable a => Outputable (ProtoBCO a) # |
Instance details Methods ppr :: ProtoBCO a -> SDoc Source # pprPrec :: Rational -> ProtoBCO a -> SDoc Source #
(Outputable a, Outputable b) => Outputable (Either a b) # |
Instance details Methods ppr :: Either a b -> SDoc Source # pprPrec :: Rational -> Either a b -> SDoc Source #
(Outputable a, Outputable b) => Outputable (a, b) # |
Instance details Methods ppr :: (a, b) -> SDoc Source # pprPrec :: Rational -> (a, b) -> SDoc Source #
(Outputable key, Outputable elt) => Outputable (Map key elt) # |
Instance details Methods ppr :: Map key elt -> SDoc Source # pprPrec :: Rational -> Map key elt -> SDoc Source #
(Outputable l, Outputable e) => Outputable (GenLocated l e) # |
Instance details Methods ppr :: GenLocated l e -> SDoc Source # pprPrec :: Rational -> GenLocated l e -> SDoc Source #
(Outputable k, Outputable a) => Outputable (UniqMap k a) # |
Instance details Methods ppr :: UniqMap k a -> SDoc Source # pprPrec :: Rational -> UniqMap k a -> SDoc Source #
(Outputable a, Outputable b) => Outputable (Node a b) # |
Instance details Methods ppr :: Node a b -> SDoc Source # pprPrec :: Rational -> Node a b -> SDoc Source #
Outputable tv => Outputable (TyVarBndr tv ArgFlag) # |
Instance details Methods ppr :: TyVarBndr tv ArgFlag -> SDoc Source # pprPrec :: Rational -> TyVarBndr tv ArgFlag -> SDoc Source #
Outputable tv => Outputable (TyVarBndr tv TyConBndrVis) # |
Instance details Methods ppr :: TyVarBndr tv TyConBndrVis -> SDoc Source # pprPrec :: Rational -> TyVarBndr tv TyConBndrVis -> SDoc Source #
(TrieMap m, Outputable a) => Outputable (ListMap m a) # |
Instance details Methods ppr :: ListMap m a -> SDoc Source # pprPrec :: Rational -> ListMap m a -> SDoc Source #
(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgRhs bndr bdee) # |
Instance details Methods ppr :: GenStgRhs bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgRhs bndr bdee -> SDoc Source #
(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgExpr bndr bdee) # |
Instance details Methods ppr :: GenStgExpr bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgExpr bndr bdee -> SDoc Source #
(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgBinding bndr bdee) # |
Instance details Methods ppr :: GenStgBinding bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgBinding bndr bdee -> SDoc Source #
(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgTopBinding bndr bdee) # |
Instance details Methods ppr :: GenStgTopBinding bndr bdee -> SDoc Source # pprPrec :: Rational -> GenStgTopBinding bndr bdee -> SDoc Source #
Outputable (CmmNode e x) # |
Instance details Methods ppr :: CmmNode e x -> SDoc Source # pprPrec :: Rational -> CmmNode e x -> SDoc Source #
(Outputable arg, Outputable rec) => Outputable (HsConDetails arg rec) # |
Instance details Methods ppr :: HsConDetails arg rec -> SDoc Source # pprPrec :: Rational -> HsConDetails arg rec -> SDoc Source #
Outputable thing => Outputable (HsWildCardBndrs pass thing) # |
Instance details Methods ppr :: HsWildCardBndrs pass thing -> SDoc Source # pprPrec :: Rational -> HsWildCardBndrs pass thing -> SDoc Source #
Outputable thing => Outputable (HsImplicitBndrs pass thing) # |
Instance details Methods ppr :: HsImplicitBndrs pass thing -> SDoc Source # pprPrec :: Rational -> HsImplicitBndrs pass thing -> SDoc Source #
(SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (PatSynBind idL idR) # |
Instance details Methods ppr :: PatSynBind idL idR -> SDoc Source # pprPrec :: Rational -> PatSynBind idL idR -> SDoc Source #
(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsBindLR idL idR) # |
Instance details Methods ppr :: HsBindLR idL idR -> SDoc Source # pprPrec :: Rational -> HsBindLR idL idR -> SDoc Source #
(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsValBindsLR idL idR) # |
Instance details Methods ppr :: HsValBindsLR idL idR -> SDoc Source # pprPrec :: Rational -> HsValBindsLR idL idR -> SDoc Source #
(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsLocalBindsLR idL idR) # |
Instance details Methods ppr :: HsLocalBindsLR idL idR -> SDoc Source # pprPrec :: Rational -> HsLocalBindsLR idL idR -> SDoc Source #
(Outputable p, Outputable arg) => Outputable (HsRecField' p arg) # |
Instance details Methods ppr :: HsRecField' p arg -> SDoc Source # pprPrec :: Rational -> HsRecField' p arg -> SDoc Source #
Outputable arg => Outputable (HsRecFields p arg) # |
Instance details Methods ppr :: HsRecFields p arg -> SDoc Source # pprPrec :: Rational -> HsRecFields p arg -> SDoc Source #
(SourceTextX idL, OutputableBndrId idL) => Outputable (ParStmtBlock idL idR) # |
Instance details Methods ppr :: ParStmtBlock idL idR -> SDoc Source # pprPrec :: Rational -> ParStmtBlock idL idR -> SDoc Source #
(SourceTextX idR, OutputableBndrId idR, Outputable body) => Outputable (Match idR body) # |
Instance details Methods ppr :: Match idR body -> SDoc Source # pprPrec :: Rational -> Match idR body -> SDoc Source #
(Outputable statics, Outputable instr) => Outputable (RegAllocStats statics instr) # |
Instance details Methods ppr :: RegAllocStats statics instr -> SDoc Source # pprPrec :: Rational -> RegAllocStats statics instr -> SDoc Source #
(Outputable a, Outputable b, Outputable c) => Outputable (a, b, c) # |
Instance details Methods ppr :: (a, b, c) -> SDoc Source # pprPrec :: Rational -> (a, b, c) -> SDoc Source #
Outputable (Block CmmNode C C) # |
Instance details Methods ppr :: Block CmmNode C C -> SDoc Source # pprPrec :: Rational -> Block CmmNode C C -> SDoc Source #
Outputable (Block CmmNode C O) # |
Instance details Methods ppr :: Block CmmNode C O -> SDoc Source # pprPrec :: Rational -> Block CmmNode C O -> SDoc Source #
Outputable (Block CmmNode O C) # |
Instance details Methods ppr :: Block CmmNode O C -> SDoc Source # pprPrec :: Rational -> Block CmmNode O C -> SDoc Source #
Outputable (Block CmmNode O O) # |
Instance details Methods ppr :: Block CmmNode O O -> SDoc Source # pprPrec :: Rational -> Block CmmNode O O -> SDoc Source #
Outputable (Graph CmmNode e x) # |
Instance details Methods ppr :: Graph CmmNode e x -> SDoc Source # pprPrec :: Rational -> Graph CmmNode e x -> SDoc Source #
(Outputable d, Outputable info, Outputable i) => Outputable (GenCmmDecl d info i) # |
Instance details Methods ppr :: GenCmmDecl d info i -> SDoc Source # pprPrec :: Rational -> GenCmmDecl d info i -> SDoc Source #
(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR, Outputable body) => Outputable (StmtLR idL idR body) # |
Instance details Methods ppr :: StmtLR idL idR body -> SDoc Source # pprPrec :: Rational -> StmtLR idL idR body -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d) => Outputable (a, b, c, d) # |
Instance details Methods ppr :: (a, b, c, d) -> SDoc Source # pprPrec :: Rational -> (a, b, c, d) -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e) => Outputable (a, b, c, d, e) # |
Instance details Methods ppr :: (a, b, c, d, e) -> SDoc Source # pprPrec :: Rational -> (a, b, c, d, e) -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f) => Outputable (a, b, c, d, e, f) # |
Instance details Methods ppr :: (a, b, c, d, e, f) -> SDoc Source # pprPrec :: Rational -> (a, b, c, d, e, f) -> SDoc Source #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f, Outputable g) => Outputable (a, b, c, d, e, f, g) # |
Instance details Methods ppr :: (a, b, c, d, e, f, g) -> SDoc Source # pprPrec :: Rational -> (a, b, c, d, e, f, g) -> SDoc Source #

class Outputable a => OutputableBndr a where Source #

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

Minimal complete definition

pprPrefixOcc, pprInfixOcc

Methods

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

pprPrefixOcc, pprInfixOcc :: a -> SDoc Source #

bndrIsJoin_maybe :: a -> Maybe Int Source #

Instances

OutputableBndr Name # |
Instance details Methods pprBndr :: BindingSite -> Name -> SDoc Source # pprPrefixOcc :: Name -> SDoc Source # pprInfixOcc :: Name -> SDoc Source # bndrIsJoin_maybe :: Name -> Maybe Int Source #
OutputableBndr OccName # |
Instance details Methods pprBndr :: BindingSite -> OccName -> SDoc Source # pprPrefixOcc :: OccName -> SDoc Source # pprInfixOcc :: OccName -> SDoc Source # bndrIsJoin_maybe :: OccName -> Maybe Int Source #
OutputableBndr RdrName # |
Instance details Methods pprBndr :: BindingSite -> RdrName -> SDoc Source # pprPrefixOcc :: RdrName -> SDoc Source # pprInfixOcc :: RdrName -> SDoc Source # bndrIsJoin_maybe :: RdrName -> Maybe Int Source #
OutputableBndr Var # |
Instance details Methods pprBndr :: BindingSite -> Var -> SDoc Source # pprPrefixOcc :: Var -> SDoc Source # pprInfixOcc :: Var -> SDoc Source # bndrIsJoin_maybe :: Var -> Maybe Int Source #
OutputableBndr PatSyn # |
Instance details Methods pprBndr :: BindingSite -> PatSyn -> SDoc Source # pprPrefixOcc :: PatSyn -> SDoc Source # pprInfixOcc :: PatSyn -> SDoc Source # bndrIsJoin_maybe :: PatSyn -> Maybe Int Source #
OutputableBndr DataCon # |
Instance details Methods pprBndr :: BindingSite -> DataCon -> SDoc Source # pprPrefixOcc :: DataCon -> SDoc Source # pprInfixOcc :: DataCon -> SDoc Source # bndrIsJoin_maybe :: DataCon -> Maybe Int Source #
OutputableBndr ConLike # |
Instance details Methods pprBndr :: BindingSite -> ConLike -> SDoc Source # pprPrefixOcc :: ConLike -> SDoc Source # pprInfixOcc :: ConLike -> SDoc Source # bndrIsJoin_maybe :: ConLike -> Maybe Int Source #
OutputableBndr HsIPName # |
Instance details Methods pprBndr :: BindingSite -> HsIPName -> SDoc Source # pprPrefixOcc :: HsIPName -> SDoc Source # pprInfixOcc :: HsIPName -> SDoc Source # bndrIsJoin_maybe :: HsIPName -> Maybe Int Source #
Outputable b => OutputableBndr (TaggedBndr b) # |
Instance details Methods pprBndr :: BindingSite -> TaggedBndr b -> SDoc Source # pprPrefixOcc :: TaggedBndr b -> SDoc Source # pprInfixOcc :: TaggedBndr b -> SDoc Source # bndrIsJoin_maybe :: TaggedBndr b -> Maybe Int Source #
OutputableBndr name => OutputableBndr (IEWrappedName name) # |
Instance details Methods pprBndr :: BindingSite -> IEWrappedName name -> SDoc Source # pprPrefixOcc :: IEWrappedName name -> SDoc Source # pprInfixOcc :: IEWrappedName name -> SDoc Source # bndrIsJoin_maybe :: IEWrappedName name -> Maybe Int Source #
OutputableBndr (AmbiguousFieldOcc pass) # |
Instance details Methods pprBndr :: BindingSite -> AmbiguousFieldOcc pass -> SDoc Source # pprPrefixOcc :: AmbiguousFieldOcc pass -> SDoc Source # pprInfixOcc :: AmbiguousFieldOcc pass -> SDoc Source # bndrIsJoin_maybe :: AmbiguousFieldOcc pass -> Maybe Int Source #

# Pretty printing combinators

data SDoc Source #

Represents a pretty-printable document.

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

Instances

IsString SDoc # |
Instance details Methods fromString :: String -> SDoc Source #

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

initSDocContext :: DynFlags -> PprStyle -> SDocContext Source #

docToSDoc :: Doc -> SDoc Source #

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

Returns the separated concatenation of the pretty printed things.

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

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

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

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

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

pprWithCommas Source #

Arguments

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

quotedListWithOr :: [SDoc] -> SDoc Source #

quotedListWithNor :: [SDoc] -> SDoc Source #

pprWithBars Source #

Arguments

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

empty :: SDoc Source #

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

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

Indent `SDoc` some specified amount

char :: Char -> SDoc Source #

text :: String -> SDoc Source #

ftext :: FastString -> SDoc Source #

ptext :: LitString -> SDoc Source #

ztext :: FastZString -> SDoc Source #

int :: Int -> SDoc Source #

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

integer :: Integer -> SDoc Source #

float :: Float -> SDoc Source #

double :: Double -> SDoc Source #

rational :: Rational -> SDoc Source #

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

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

parens :: SDoc -> SDoc Source #

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

brackets :: SDoc -> SDoc Source #

braces :: SDoc -> SDoc Source #

quotes :: SDoc -> SDoc Source #

quote :: SDoc -> SDoc Source #

doubleQuotes :: SDoc -> SDoc Source #

angleBrackets :: SDoc -> SDoc Source #

paBrackets :: SDoc -> SDoc Source #

semi :: SDoc Source #

comma :: SDoc Source #

colon :: SDoc Source #

dcolon :: SDoc Source #

space :: SDoc Source #

equals :: SDoc Source #

dot :: SDoc Source #

vbar :: SDoc Source #

arrow :: SDoc Source #

larrow :: SDoc Source #

darrow :: SDoc Source #

arrowt :: SDoc Source #

larrowt :: SDoc Source #

arrowtt :: SDoc Source #

larrowtt :: SDoc Source #

lparen :: SDoc Source #

rparen :: SDoc Source #

lbrack :: SDoc Source #

rbrack :: SDoc Source #

lbrace :: SDoc Source #

rbrace :: SDoc Source #

underscore :: SDoc Source #

blankLine :: SDoc Source #

forAllLit :: SDoc Source #

kindStar :: SDoc Source #

bullet :: SDoc Source #

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

Join two `SDoc` together horizontally without a gap

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

Join two `SDoc` together horizontally with a gap between them

hcat :: [SDoc] -> SDoc Source #

Concatenate `SDoc` horizontally

hsep :: [SDoc] -> SDoc Source #

Concatenate `SDoc` horizontally with a space between each one

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

Join two `SDoc` together vertically; if there is no vertical overlap it "dovetails" the two onto one line

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

Join two `SDoc` together vertically

vcat :: [SDoc] -> SDoc Source #

Concatenate `SDoc` vertically with dovetailing

sep :: [SDoc] -> SDoc Source #

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

cat :: [SDoc] -> SDoc Source #

Catenate: is either like `hcat` or like `vcat`, depending on what fits

fsep :: [SDoc] -> SDoc Source #

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

fcat :: [SDoc] -> SDoc Source #

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

hang Source #

Arguments

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

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

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

punctuate Source #

Arguments

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

ppWhen :: Bool -> SDoc -> SDoc Source #

ppUnless :: Bool -> SDoc -> SDoc Source #

speakNth :: Int -> SDoc Source #

Converts an integer to a verbal index:

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

speakN :: Int -> SDoc Source #

Converts an integer to a verbal multiplicity:

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

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

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

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

plural :: [a] -> SDoc Source #

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

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

isOrAre :: [a] -> SDoc Source #

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

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

doOrDoes :: [a] -> SDoc Source #

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

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

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

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

Apply the given colour/style for the argument.

Only takes effect if colours are enabled.

keyword :: SDoc -> SDoc Source #

# Converting `SDoc` into strings and outputing it

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

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

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

Like `printSDoc` but appends an extra newline.

printForUser :: DynFlags -> Handle -> PrintUnqualified -> SDoc -> IO () Source #

printForUserPartWay :: DynFlags -> Handle -> Int -> PrintUnqualified -> SDoc -> IO () Source #

printForC :: DynFlags -> Handle -> SDoc -> IO () Source #

Like `printSDocLn` but specialized with `LeftMode` and ``PprCode` `CStyle``. This is typically used to output C-- code.

bufLeftRenderSDoc :: DynFlags -> BufHandle -> PprStyle -> SDoc -> IO () Source #

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

pprCode :: CodeStyle -> SDoc -> SDoc Source #

mkCodeStyle :: CodeStyle -> PprStyle Source #

showSDoc :: DynFlags -> SDoc -> String Source #

showSDocUnsafe :: SDoc -> String Source #

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

showSDocForUser :: DynFlags -> PrintUnqualified -> SDoc -> String Source #

showSDocDebug :: DynFlags -> SDoc -> String Source #

showSDocDump :: DynFlags -> SDoc -> String Source #

showSDocDumpOneLine :: DynFlags -> SDoc -> String Source #

showSDocUnqual :: DynFlags -> SDoc -> String Source #

showPpr :: Outputable a => DynFlags -> a -> String Source #

renderWithStyle :: DynFlags -> SDoc -> PprStyle -> String Source #

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

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

pprHsChar :: Char -> SDoc Source #

Special combinator for showing character literals.

pprHsString :: FastString -> SDoc Source #

Special combinator for showing string literals.

pprHsBytes :: ByteString -> SDoc Source #

Special combinator for showing bytestring literals.

primFloatSuffix :: SDoc Source #

primCharSuffix :: SDoc Source #

primWordSuffix :: SDoc Source #

primDoubleSuffix :: SDoc Source #

primInt64Suffix :: SDoc Source #

primWord64Suffix :: SDoc Source #

primIntSuffix :: SDoc Source #

pprPrimChar :: Char -> SDoc Source #

Special combinator for showing unboxed literals.

pprPrimInt :: Integer -> SDoc Source #

pprPrimWord :: Integer -> SDoc Source #

pprPrimInt64 :: Integer -> SDoc Source #

pprPrimWord64 :: Integer -> SDoc Source #

pprFastFilePath :: FastString -> SDoc Source #

# Controlling the style in which output is printed

data BindingSite Source #

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

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)

data PprStyle Source #

Instances

Outputable PprStyle # |
Instance details Methods ppr :: PprStyle -> SDoc Source # pprPrec :: Rational -> PprStyle -> SDoc Source #

data CodeStyle Source #

Constructors

CStyle |
AsmStyle |

data PrintUnqualified Source #

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

Constructors

QueryQualify |
Fields queryQualifyName :: QueryQualifyName queryQualifyModule :: QueryQualifyModule queryQualifyPackage :: QueryQualifyPackage

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

given an original name, this function tells you which module name it should be qualified with when printing for the user, if any. For example, given `Control.Exception.catch`, which is in scope as `Exception.catch`, this function will return `Just Exception`. Note that the return value is a ModuleName, not a Module, because in source code, names are qualified by ModuleNames.

type QueryQualifyModule = Module -> Bool Source #

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

type QueryQualifyPackage = UnitId -> Bool Source #

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

reallyAlwaysQualify :: PrintUnqualified Source #

reallyAlwaysQualifyNames :: QueryQualifyName Source #

alwaysQualify :: PrintUnqualified Source #

alwaysQualifyNames :: QueryQualifyName Source #

NB: This won't ever show package IDs

alwaysQualifyModules :: QueryQualifyModule Source #

neverQualify :: PrintUnqualified Source #

neverQualifyNames :: QueryQualifyName Source #

neverQualifyModules :: QueryQualifyModule Source #

alwaysQualifyPackages :: QueryQualifyPackage Source #

neverQualifyPackages :: QueryQualifyPackage Source #

data QualifyName Source #

Constructors

NameUnqual |
NameQual ModuleName |
NameNotInScope1 |
NameNotInScope2 |

Instances

Outputable QualifyName # |
Instance details Methods ppr :: QualifyName -> SDoc Source # pprPrec :: Rational -> QualifyName -> SDoc Source #

queryQual :: PprStyle -> PrintUnqualified Source #

sdocWithDynFlags :: (DynFlags -> SDoc) -> SDoc Source #

sdocWithPlatform :: (Platform -> SDoc) -> SDoc Source #

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

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

withPprStyleDoc :: DynFlags -> PprStyle -> SDoc -> Doc Source #

This is not a recommended way to render `SDoc`, since it breaks the abstraction layer of `SDoc`. Prefer to use `printSDoc`, `printSDocLn`, `bufLeftRenderSDoc`, or `renderWithStyle` instead.

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

pprDeeper :: SDoc -> SDoc Source #

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

Truncate a list that is longer than the current depth.

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

codeStyle :: PprStyle -> Bool Source #

userStyle :: PprStyle -> Bool Source #

debugStyle :: PprStyle -> Bool Source #

dumpStyle :: PprStyle -> Bool Source #

asmStyle :: PprStyle -> Bool Source #

qualName :: PprStyle -> QueryQualifyName Source #

qualModule :: PprStyle -> QueryQualifyModule Source #

qualPackage :: PprStyle -> QueryQualifyPackage Source #

mkErrStyle :: DynFlags -> PrintUnqualified -> PprStyle Source #

Style for printing error messages

defaultErrStyle :: DynFlags -> PprStyle Source #

defaultDumpStyle :: DynFlags -> PprStyle Source #

mkDumpStyle :: DynFlags -> PrintUnqualified -> PprStyle Source #

defaultUserStyle :: DynFlags -> PprStyle Source #

mkUserStyle :: DynFlags -> PrintUnqualified -> Depth -> PprStyle Source #

cmdlineParserStyle :: DynFlags -> PprStyle Source #

data Depth Source #

Constructors

AllTheWay |
PartWay Int |

ifPprDebug :: SDoc -> SDoc -> SDoc Source #

Says what to do with and without -dppr-debug

whenPprDebug :: SDoc -> SDoc Source #

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

getPprDebug :: (Bool -> SDoc) -> SDoc Source #

# Error handling and debugging utilities

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

Throw an exception saying "bug in GHC"

pprSorry :: String -> SDoc -> a Source #

Throw an exception saying "this isn't finished yet"

assertPprPanic :: HasCallStack => String -> Int -> SDoc -> a Source #

Panic with an assertation failure, recording the given file and line number. Should typically be accessed with the ASSERT family of macros

pprPgmError :: String -> SDoc -> a Source #

Throw an exception saying "bug in pgm being compiled" (used for unusual program errors)

pprTrace :: String -> SDoc -> a -> a Source #

If debug output is on, show some `SDoc` on the screen

pprTraceDebug :: String -> SDoc -> a -> a Source #

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

`pprTraceIt desc x` is equivalent to `pprTrace desc (ppr x) x`

warnPprTrace :: Bool -> String -> Int -> SDoc -> a -> a Source #

Just warn about an assertion failure, recording the given file and line number. Should typically be accessed with the WARN macros

pprSTrace :: HasCallStack => SDoc -> a -> a Source #

If debug output is on, show some `SDoc` on the screen along with a call stack when available.

pprTraceException :: ExceptionMonad m => String -> SDoc -> m a -> m a Source #

`pprTraceException desc x action` runs action, printing a message if it throws an exception.

trace :: String -> a -> a Source #

The `trace` function outputs the trace message given as its first argument, before returning the second argument as its result.

For example, this returns the value of `f x` but first outputs the message.

    >>> let x = 123; f = show
    >>> trace ("calling f with x = " ++ show x) (f x)
    "calling f with x = 123
    123"

The `trace` function should only be used for debugging, or for monitoring execution. The function is not referentially transparent: its type indicates that it is a pure function but it has the side effect of outputting the trace message.

pgmError :: String -> a Source #

Panics and asserts.

panic :: String -> a Source #

Panics and asserts.

sorry :: String -> a Source #

Panics and asserts.

assertPanic :: String -> Int -> a Source #

Throw a failed assertion exception for a given filename and line number.

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

callStackDoc :: HasCallStack => SDoc Source #