Outputable

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.

Type classes

class Outputable a where

Class designating that some type has an SDoc representation

Methods

ppr :: a -> SDoc

pprPrec :: Rational -> a -> SDoc

Instances

Outputable Bool

Defined in Outputable

Methods

ppr :: Bool -> SDoc

pprPrec :: Rational -> Bool -> SDoc

Outputable Char

Defined in Outputable

Methods

ppr :: Char -> SDoc

pprPrec :: Rational -> Char -> SDoc

Outputable Int

Defined in Outputable

Methods

ppr :: Int -> SDoc

pprPrec :: Rational -> Int -> SDoc

Outputable Int32

Defined in Outputable

Methods

ppr :: Int32 -> SDoc

pprPrec :: Rational -> Int32 -> SDoc

Outputable Int64

Defined in Outputable

Methods

ppr :: Int64 -> SDoc

pprPrec :: Rational -> Int64 -> SDoc

Outputable Integer

Defined in Outputable

Methods

ppr :: Integer -> SDoc

pprPrec :: Rational -> Integer -> SDoc

Outputable Ordering

Defined in Outputable

Methods

ppr :: Ordering -> SDoc

pprPrec :: Rational -> Ordering -> SDoc

Outputable Word

Defined in Outputable

Methods

ppr :: Word -> SDoc

pprPrec :: Rational -> Word -> SDoc

Outputable Word16

Defined in Outputable

Methods

ppr :: Word16 -> SDoc

pprPrec :: Rational -> Word16 -> SDoc

Outputable Word32

Defined in Outputable

Methods

ppr :: Word32 -> SDoc

pprPrec :: Rational -> Word32 -> SDoc

Outputable ()

Defined in Outputable

Methods

ppr :: () -> SDoc

pprPrec :: Rational -> () -> SDoc

Outputable Fingerprint

Defined in Outputable

Methods

ppr :: Fingerprint -> SDoc

pprPrec :: Rational -> Fingerprint -> SDoc

Outputable Extension

Defined in Outputable

Methods

ppr :: Extension -> SDoc

pprPrec :: Rational -> Extension -> SDoc

Outputable Serialized

Defined in Outputable

Methods

ppr :: Serialized -> SDoc

pprPrec :: Rational -> Serialized -> SDoc

Outputable Name

Defined in Name

Methods

ppr :: Name -> SDoc

pprPrec :: Rational -> Name -> SDoc

Outputable OccName

Defined in OccName

Methods

ppr :: OccName -> SDoc

pprPrec :: Rational -> OccName -> SDoc

Outputable PrimOp

Defined in PrimOp

Methods

ppr :: PrimOp -> SDoc

pprPrec :: Rational -> PrimOp -> SDoc

Outputable TyCon

Defined in TyCon

Methods

ppr :: TyCon -> SDoc

pprPrec :: Rational -> TyCon -> SDoc

Outputable FastString

Defined in Outputable

Methods

ppr :: FastString -> SDoc

pprPrec :: Rational -> FastString -> SDoc

Outputable ComponentId

Defined in Module

Methods

ppr :: ComponentId -> SDoc

pprPrec :: Rational -> ComponentId -> SDoc

Outputable InstalledUnitId

Defined in Module

Methods

ppr :: InstalledUnitId -> SDoc

pprPrec :: Rational -> InstalledUnitId -> SDoc

Outputable UnitId

Defined in Module

Methods

ppr :: UnitId -> SDoc

pprPrec :: Rational -> UnitId -> SDoc

Outputable ModuleName

Defined in Module

Methods

ppr :: ModuleName -> SDoc

pprPrec :: Rational -> ModuleName -> SDoc

Outputable Module

Defined in Module

Methods

ppr :: Module -> SDoc

pprPrec :: Rational -> Module -> SDoc

Outputable QualifyName

Defined in Outputable

Methods

ppr :: QualifyName -> SDoc

pprPrec :: Rational -> QualifyName -> SDoc

Outputable PprStyle

Defined in Outputable

Methods

ppr :: PprStyle -> SDoc

pprPrec :: Rational -> PprStyle -> SDoc

Outputable TyBinder

Defined in TyCoRep

Methods

ppr :: TyBinder -> SDoc

pprPrec :: Rational -> TyBinder -> SDoc

Outputable TCvSubst

Defined in TyCoRep

Methods

ppr :: TCvSubst -> SDoc

pprPrec :: Rational -> TCvSubst -> SDoc

Outputable UnivCoProvenance

Defined in TyCoRep

Methods

ppr :: UnivCoProvenance -> SDoc

pprPrec :: Rational -> UnivCoProvenance -> SDoc

Outputable Coercion

Defined in TyCoRep

Methods

ppr :: Coercion -> SDoc

pprPrec :: Rational -> Coercion -> SDoc

Outputable TyThing

Defined in TyCoRep

Methods

ppr :: TyThing -> SDoc

pprPrec :: Rational -> TyThing -> SDoc

Outputable Type

Defined in TyCoRep

Methods

ppr :: Type -> SDoc

pprPrec :: Rational -> Type -> SDoc

Outputable MetaDetails

Defined in TcType

Methods

ppr :: MetaDetails -> SDoc

pprPrec :: Rational -> MetaDetails -> SDoc

Outputable SrcSpan

Defined in SrcLoc

Methods

ppr :: SrcSpan -> SDoc

pprPrec :: Rational -> SrcSpan -> SDoc

Outputable RealSrcSpan

Defined in SrcLoc

Methods

ppr :: RealSrcSpan -> SDoc

pprPrec :: Rational -> RealSrcSpan -> SDoc

Outputable SrcLoc

Defined in SrcLoc

Methods

ppr :: SrcLoc -> SDoc

pprPrec :: Rational -> SrcLoc -> SDoc

Outputable RealSrcLoc

Defined in SrcLoc

Methods

ppr :: RealSrcLoc -> SDoc

pprPrec :: Rational -> RealSrcLoc -> SDoc

Outputable IdDetails

Defined in IdInfo

Methods

ppr :: IdDetails -> SDoc

pprPrec :: Rational -> IdDetails -> SDoc

Outputable HsDocString

Defined in HsDoc

Methods

ppr :: HsDocString -> SDoc

pprPrec :: Rational -> HsDocString -> SDoc

Outputable IntWithInf

Defined in BasicTypes

Methods

ppr :: IntWithInf -> SDoc

pprPrec :: Rational -> IntWithInf -> SDoc

Outputable FractionalLit

Defined in BasicTypes

Methods

ppr :: FractionalLit -> SDoc

pprPrec :: Rational -> FractionalLit -> SDoc

Outputable IntegralLit

Defined in BasicTypes

Methods

ppr :: IntegralLit -> SDoc

pprPrec :: Rational -> IntegralLit -> SDoc

Outputable InlineSpec

Defined in BasicTypes

Methods

ppr :: InlineSpec -> SDoc

pprPrec :: Rational -> InlineSpec -> SDoc

Outputable InlinePragma

Defined in BasicTypes

Methods

ppr :: InlinePragma -> SDoc

pprPrec :: Rational -> InlinePragma -> SDoc

Outputable RuleMatchInfo

Defined in BasicTypes

Methods

ppr :: RuleMatchInfo -> SDoc

pprPrec :: Rational -> RuleMatchInfo -> SDoc

Outputable Activation

Defined in BasicTypes

Methods

ppr :: Activation -> SDoc

pprPrec :: Rational -> Activation -> SDoc

Outputable CompilerPhase

Defined in BasicTypes

Methods

ppr :: CompilerPhase -> SDoc

pprPrec :: Rational -> CompilerPhase -> SDoc

Outputable SourceText

Defined in BasicTypes

Methods

ppr :: SourceText -> SDoc

pprPrec :: Rational -> SourceText -> SDoc

Outputable SuccessFlag

Defined in BasicTypes

Methods

ppr :: SuccessFlag -> SDoc

pprPrec :: Rational -> SuccessFlag -> SDoc

Outputable TailCallInfo

Defined in BasicTypes

Methods

ppr :: TailCallInfo -> SDoc

pprPrec :: Rational -> TailCallInfo -> SDoc

Outputable OccInfo

Defined in BasicTypes

Methods

ppr :: OccInfo -> SDoc

pprPrec :: Rational -> OccInfo -> SDoc

Outputable OverlapMode

Defined in BasicTypes

Methods

ppr :: OverlapMode -> SDoc

pprPrec :: Rational -> OverlapMode -> SDoc

Outputable OverlapFlag

Defined in BasicTypes

Methods

ppr :: OverlapFlag -> SDoc

pprPrec :: Rational -> OverlapFlag -> SDoc

Outputable DerivStrategy

Defined in BasicTypes

Methods

ppr :: DerivStrategy -> SDoc

pprPrec :: Rational -> DerivStrategy -> SDoc

Outputable Origin

Defined in BasicTypes

Methods

ppr :: Origin -> SDoc

pprPrec :: Rational -> Origin -> SDoc

Outputable RecFlag

Defined in BasicTypes

Methods

ppr :: RecFlag -> SDoc

pprPrec :: Rational -> RecFlag -> SDoc

Outputable Boxity

Defined in BasicTypes

Methods

ppr :: Boxity -> SDoc

pprPrec :: Rational -> Boxity -> SDoc

Outputable TopLevelFlag

Defined in BasicTypes

Methods

ppr :: TopLevelFlag -> SDoc

pprPrec :: Rational -> TopLevelFlag -> SDoc

Outputable LexicalFixity

Defined in BasicTypes

Methods

ppr :: LexicalFixity -> SDoc

pprPrec :: Rational -> LexicalFixity -> SDoc

Outputable FixityDirection

Defined in BasicTypes

Methods

ppr :: FixityDirection -> SDoc

pprPrec :: Rational -> FixityDirection -> SDoc

Outputable Fixity

Defined in BasicTypes

Methods

ppr :: Fixity -> SDoc

pprPrec :: Rational -> Fixity -> SDoc

Outputable WarningTxt

Defined in BasicTypes

Methods

ppr :: WarningTxt -> SDoc

pprPrec :: Rational -> WarningTxt -> SDoc

Outputable StringLiteral

Defined in BasicTypes

Methods

ppr :: StringLiteral -> SDoc

pprPrec :: Rational -> StringLiteral -> SDoc

Outputable FunctionOrData

Defined in BasicTypes

Methods

ppr :: FunctionOrData -> SDoc

pprPrec :: Rational -> FunctionOrData -> SDoc

Outputable SwapFlag

Defined in BasicTypes

Methods

ppr :: SwapFlag -> SDoc

pprPrec :: Rational -> SwapFlag -> SDoc

Outputable OneShotInfo

Defined in BasicTypes

Methods

ppr :: OneShotInfo -> SDoc

pprPrec :: Rational -> OneShotInfo -> SDoc

Outputable LeftOrRight

Defined in BasicTypes

Methods

ppr :: LeftOrRight -> SDoc

pprPrec :: Rational -> LeftOrRight -> SDoc

Outputable Unique

Defined in Unique

Methods

ppr :: Unique -> SDoc

pprPrec :: Rational -> Unique -> SDoc

Outputable RegClass

Defined in RegClass

Methods

ppr :: RegClass -> SDoc

pprPrec :: Rational -> RegClass -> SDoc

Outputable Reg

Print a reg in a generic manner If you want the architecture specific names, then use the pprReg function from the appropriate Ppr module.

Defined in Reg

Methods

ppr :: Reg -> SDoc

pprPrec :: Rational -> Reg -> SDoc

Outputable RealReg

Defined in Reg

Methods

ppr :: RealReg -> SDoc

pprPrec :: Rational -> RealReg -> SDoc

Outputable VirtualReg

Defined in Reg

Methods

ppr :: VirtualReg -> SDoc

pprPrec :: Rational -> VirtualReg -> SDoc

Outputable LabelSet

Defined in Hoopl.Label

Methods

ppr :: LabelSet -> SDoc

pprPrec :: Rational -> LabelSet -> SDoc

Outputable Label

Defined in Hoopl.Label

Methods

ppr :: Label -> SDoc

pprPrec :: Rational -> Label -> SDoc

Outputable DefUnitId

Defined in Module

Methods

ppr :: DefUnitId -> SDoc

pprPrec :: Rational -> DefUnitId -> SDoc

Outputable InstalledModule

Defined in Module

Methods

ppr :: InstalledModule -> SDoc

pprPrec :: Rational -> InstalledModule -> SDoc

Outputable IndefModule

Defined in Module

Methods

ppr :: IndefModule -> SDoc

pprPrec :: Rational -> IndefModule -> SDoc

Outputable IndefUnitId

Defined in Module

Methods

ppr :: IndefUnitId -> SDoc

pprPrec :: Rational -> IndefUnitId -> SDoc

Outputable ModLocation

Defined in Module

Methods

ppr :: ModLocation -> SDoc

pprPrec :: Rational -> ModLocation -> SDoc

Outputable PackageName

Defined in PackageConfig

Methods

ppr :: PackageName -> SDoc

pprPrec :: Rational -> PackageName -> SDoc

Outputable SourcePackageId

Defined in PackageConfig

Methods

ppr :: SourcePackageId -> SDoc

pprPrec :: Rational -> SourcePackageId -> SDoc

Outputable CType

Defined in ForeignCall

Methods

ppr :: CType -> SDoc

pprPrec :: Rational -> CType -> SDoc

Outputable Header

Defined in ForeignCall

Methods

ppr :: Header -> SDoc

pprPrec :: Rational -> Header -> SDoc

Outputable CCallConv

Defined in ForeignCall

Methods

ppr :: CCallConv -> SDoc

pprPrec :: Rational -> CCallConv -> SDoc

Outputable CCallSpec

Defined in ForeignCall

Methods

ppr :: CCallSpec -> SDoc

pprPrec :: Rational -> CCallSpec -> SDoc

Outputable CExportSpec

Defined in ForeignCall

Methods

ppr :: CExportSpec -> SDoc

pprPrec :: Rational -> CExportSpec -> SDoc

Outputable Safety

Defined in ForeignCall

Methods

ppr :: Safety -> SDoc

pprPrec :: Rational -> Safety -> SDoc

Outputable ForeignCall

Defined in ForeignCall

Methods

ppr :: ForeignCall -> SDoc

pprPrec :: Rational -> ForeignCall -> SDoc

Outputable Phase

Defined in DriverPhases

Methods

ppr :: Phase -> SDoc

pprPrec :: Rational -> Phase -> SDoc

Outputable WarnReason

Defined in CmdLineParser

Methods

ppr :: WarnReason -> SDoc

pprPrec :: Rational -> WarnReason -> SDoc

Outputable PackageFlag

Defined in DynFlags

Methods

ppr :: PackageFlag -> SDoc

pprPrec :: Rational -> PackageFlag -> SDoc

Outputable ModRenaming

Defined in DynFlags

Methods

ppr :: ModRenaming -> SDoc

pprPrec :: Rational -> ModRenaming -> SDoc

Outputable PackageArg

Defined in DynFlags

Methods

ppr :: PackageArg -> SDoc

pprPrec :: Rational -> PackageArg -> SDoc

Outputable GhcMode

Defined in DynFlags

Methods

ppr :: GhcMode -> SDoc

pprPrec :: Rational -> GhcMode -> SDoc

Outputable SafeHaskellMode

Defined in DynFlags

Methods

ppr :: SafeHaskellMode -> SDoc

pprPrec :: Rational -> SafeHaskellMode -> SDoc

Outputable Language

Defined in DynFlags

Methods

ppr :: Language -> SDoc

pprPrec :: Rational -> Language -> SDoc

Outputable WarnReason

Defined in DynFlags

Methods

ppr :: WarnReason -> SDoc

pprPrec :: Rational -> WarnReason -> SDoc

Outputable ArgDescr

Defined in SMRep

Methods

ppr :: ArgDescr -> SDoc

pprPrec :: Rational -> ArgDescr -> SDoc

Outputable ClosureTypeInfo

Defined in SMRep

Methods

ppr :: ClosureTypeInfo -> SDoc

pprPrec :: Rational -> ClosureTypeInfo -> SDoc

Outputable SMRep

Defined in SMRep

Methods

ppr :: SMRep -> SDoc

pprPrec :: Rational -> SMRep -> SDoc

Outputable StgHalfWord

Defined in SMRep

Methods

ppr :: StgHalfWord -> SDoc

pprPrec :: Rational -> StgHalfWord -> SDoc

Outputable StgWord

Defined in SMRep

Methods

ppr :: StgWord -> SDoc

pprPrec :: Rational -> StgWord -> SDoc

Outputable Annotation

Defined in Annotations

Methods

ppr :: Annotation -> SDoc

pprPrec :: Rational -> Annotation -> SDoc

Outputable ModuleOrigin

Defined in Packages

Methods

ppr :: ModuleOrigin -> SDoc

pprPrec :: Rational -> ModuleOrigin -> SDoc

Outputable ForeignHint

Defined in PprCmmDecl

Methods

ppr :: ForeignHint -> SDoc

pprPrec :: Rational -> ForeignHint -> SDoc

Outputable Width

Defined in CmmType

Methods

ppr :: Width -> SDoc

pprPrec :: Rational -> Width -> SDoc

Outputable CmmType

Defined in CmmType

Methods

ppr :: CmmType -> SDoc

pprPrec :: Rational -> CmmType -> SDoc

Outputable AvailInfo

Defined in Avail

Methods

ppr :: AvailInfo -> SDoc

pprPrec :: Rational -> AvailInfo -> SDoc

Outputable ImportSpec

Defined in RdrName

Methods

ppr :: ImportSpec -> SDoc

pprPrec :: Rational -> ImportSpec -> SDoc

Outputable Parent

Defined in RdrName

Methods

ppr :: Parent -> SDoc

pprPrec :: Rational -> Parent -> SDoc

Outputable GlobalRdrElt

Defined in RdrName

Methods

ppr :: GlobalRdrElt -> SDoc

pprPrec :: Rational -> GlobalRdrElt -> SDoc

Outputable LocalRdrEnv

Defined in RdrName

Methods

ppr :: LocalRdrEnv -> SDoc

pprPrec :: Rational -> LocalRdrEnv -> SDoc

Outputable RdrName

Defined in RdrName

Methods

ppr :: RdrName -> SDoc

pprPrec :: Rational -> RdrName -> SDoc

Outputable AnnotationComment

Defined in ApiAnnotation

Methods

ppr :: AnnotationComment -> SDoc

pprPrec :: Rational -> AnnotationComment -> SDoc

Outputable AnnKeywordId

Defined in ApiAnnotation

Methods

ppr :: AnnKeywordId -> SDoc

pprPrec :: Rational -> AnnKeywordId -> SDoc

Outputable Token

Defined in Lexer

Methods

ppr :: Token -> SDoc

pprPrec :: Rational -> Token -> SDoc

Outputable ArgFlag

Defined in Var

Methods

ppr :: ArgFlag -> SDoc

pprPrec :: Rational -> ArgFlag -> SDoc

Outputable Var

Defined in Var

Methods

ppr :: Var -> SDoc

pprPrec :: Rational -> Var -> SDoc

Outputable PatSyn

Defined in PatSyn

Methods

ppr :: PatSyn -> SDoc

pprPrec :: Rational -> PatSyn -> SDoc

Outputable IfaceCoercion

Defined in IfaceType

Methods

ppr :: IfaceCoercion -> SDoc

pprPrec :: Rational -> IfaceCoercion -> SDoc

Outputable IfaceTyLit

Defined in IfaceType

Methods

ppr :: IfaceTyLit -> SDoc

pprPrec :: Rational -> IfaceTyLit -> SDoc

Outputable IfaceTyCon

Defined in IfaceType

Methods

ppr :: IfaceTyCon -> SDoc

pprPrec :: Rational -> IfaceTyCon -> SDoc

Outputable IfaceType

Defined in IfaceType

Methods

ppr :: IfaceType -> SDoc

pprPrec :: Rational -> IfaceType -> SDoc

Outputable IfaceTcArgs

Defined in IfaceType

Methods

ppr :: IfaceTcArgs -> SDoc

pprPrec :: Rational -> IfaceTcArgs -> SDoc

Outputable EqSpec

Defined in DataCon

Methods

ppr :: EqSpec -> SDoc

pprPrec :: Rational -> EqSpec -> SDoc

Outputable DataCon

Defined in DataCon

Methods

ppr :: DataCon -> SDoc

pprPrec :: Rational -> DataCon -> SDoc

Outputable ConLike

Defined in ConLike

Methods

ppr :: ConLike -> SDoc

pprPrec :: Rational -> ConLike -> SDoc

Outputable CostCentreStack

Defined in CostCentre

Methods

ppr :: CostCentreStack -> SDoc

pprPrec :: Rational -> CostCentreStack -> SDoc

Outputable CostCentre

Defined in CostCentre

Methods

ppr :: CostCentre -> SDoc

pprPrec :: Rational -> CostCentre -> SDoc

Outputable CoAxiomRule

Defined in CoAxiom

Methods

ppr :: CoAxiomRule -> SDoc

pprPrec :: Rational -> CoAxiomRule -> SDoc

Outputable Role

Defined in CoAxiom

Methods

ppr :: Role -> SDoc

pprPrec :: Rational -> Role -> SDoc

Outputable CoAxBranch

Defined in CoAxiom

Methods

ppr :: CoAxBranch -> SDoc

pprPrec :: Rational -> CoAxBranch -> SDoc

Outputable LiftingContext

Defined in Coercion

Methods

ppr :: LiftingContext -> SDoc

pprPrec :: Rational -> LiftingContext -> SDoc

Outputable Class

Defined in Class

Methods

ppr :: Class -> SDoc

pprPrec :: Rational -> Class -> SDoc

Outputable TyConFlavour

Defined in TyCon

Methods

ppr :: TyConFlavour -> SDoc

pprPrec :: Rational -> TyConFlavour -> SDoc

Outputable PrimElemRep

Defined in TyCon

Methods

ppr :: PrimElemRep -> SDoc

pprPrec :: Rational -> PrimElemRep -> SDoc

Outputable PrimRep

Defined in TyCon

Methods

ppr :: PrimRep -> SDoc

pprPrec :: Rational -> PrimRep -> SDoc

Outputable FamTyConFlav

Defined in TyCon

Methods

ppr :: FamTyConFlav -> SDoc

pprPrec :: Rational -> FamTyConFlav -> SDoc

Outputable AlgTyConFlav

Defined in TyCon

Methods

ppr :: AlgTyConFlav -> SDoc

pprPrec :: Rational -> AlgTyConFlav -> SDoc

Outputable IfaceBndr

Defined in IfaceType

Methods

ppr :: IfaceBndr -> SDoc

pprPrec :: Rational -> IfaceBndr -> SDoc

Outputable InScopeSet

Defined in VarEnv

Methods

ppr :: InScopeSet -> SDoc

pprPrec :: Rational -> InScopeSet -> SDoc

Outputable CoercionHole

Defined in TyCoRep

Methods

ppr :: CoercionHole -> SDoc

pprPrec :: Rational -> CoercionHole -> SDoc

Outputable EqRel

Defined in Type

Methods

ppr :: EqRel -> SDoc

pprPrec :: Rational -> EqRel -> SDoc

Outputable Literal

Defined in Literal

Methods

ppr :: Literal -> SDoc

pprPrec :: Rational -> Literal -> SDoc

Outputable StrictnessMark

Defined in DataCon

Methods

ppr :: StrictnessMark -> SDoc

pprPrec :: Rational -> StrictnessMark -> SDoc

Outputable SrcUnpackedness

Defined in DataCon

Methods

ppr :: SrcUnpackedness -> SDoc

pprPrec :: Rational -> SrcUnpackedness -> SDoc

Outputable SrcStrictness

Defined in DataCon

Methods

ppr :: SrcStrictness -> SDoc

pprPrec :: Rational -> SrcStrictness -> SDoc

Outputable HsImplBang

Defined in DataCon

Methods

ppr :: HsImplBang -> SDoc

pprPrec :: Rational -> HsImplBang -> SDoc

Outputable HsSrcBang

Defined in DataCon

Methods

ppr :: HsSrcBang -> SDoc

pprPrec :: Rational -> HsSrcBang -> SDoc

Outputable SlotTy

Defined in RepType

Methods

ppr :: SlotTy -> SDoc

pprPrec :: Rational -> SlotTy -> SDoc

Outputable StrictSig

Defined in Demand

Methods

ppr :: StrictSig -> SDoc

pprPrec :: Rational -> StrictSig -> SDoc

Outputable DmdType

Defined in Demand

Methods

ppr :: DmdType -> SDoc

pprPrec :: Rational -> DmdType -> SDoc

Outputable CPRResult

Defined in Demand

Methods

ppr :: CPRResult -> SDoc

pprPrec :: Rational -> CPRResult -> SDoc

Outputable TypeShape

Defined in Demand

Methods

ppr :: TypeShape -> SDoc

pprPrec :: Rational -> TypeShape -> SDoc

Outputable Count

Defined in Demand

Methods

ppr :: Count -> SDoc

pprPrec :: Rational -> Count -> SDoc

Outputable UseDmd

Defined in Demand

Methods

ppr :: UseDmd -> SDoc

pprPrec :: Rational -> UseDmd -> SDoc

Outputable StrDmd

Defined in Demand

Methods

ppr :: StrDmd -> SDoc

pprPrec :: Rational -> StrDmd -> SDoc

Outputable UnfoldingGuidance

Defined in PprCore

Methods

ppr :: UnfoldingGuidance -> SDoc

pprPrec :: Rational -> UnfoldingGuidance -> SDoc

Outputable UnfoldingSource

Defined in PprCore

Methods

ppr :: UnfoldingSource -> SDoc

pprPrec :: Rational -> UnfoldingSource -> SDoc

Outputable Unfolding

Defined in PprCore

Methods

ppr :: Unfolding -> SDoc

pprPrec :: Rational -> Unfolding -> SDoc

Outputable CoreVect

Defined in PprCore

Methods

ppr :: CoreVect -> SDoc

pprPrec :: Rational -> CoreVect -> SDoc

Outputable CoreRule

Defined in PprCore

Methods

ppr :: CoreRule -> SDoc

pprPrec :: Rational -> CoreRule -> SDoc

Outputable AltCon

Defined in CoreSyn

Methods

ppr :: AltCon -> SDoc

pprPrec :: Rational -> AltCon -> SDoc

Outputable FamInstMatch

Defined in FamInstEnv

Methods

ppr :: FamInstMatch -> SDoc

pprPrec :: Rational -> FamInstMatch -> SDoc

Outputable FamInst

Defined in FamInstEnv

Methods

ppr :: FamInst -> SDoc

pprPrec :: Rational -> FamInst -> SDoc

Outputable LevityInfo

Defined in IdInfo

Methods

ppr :: LevityInfo -> SDoc

pprPrec :: Rational -> LevityInfo -> SDoc

Outputable TickBoxOp

Defined in IdInfo

Methods

ppr :: TickBoxOp -> SDoc

pprPrec :: Rational -> TickBoxOp -> SDoc

Outputable CafInfo

Defined in IdInfo

Methods

ppr :: CafInfo -> SDoc

pprPrec :: Rational -> CafInfo -> SDoc

Outputable RecSelParent

Defined in IdInfo

Methods

ppr :: RecSelParent -> SDoc

pprPrec :: Rational -> RecSelParent -> SDoc

Outputable UnVarGraph

Defined in UnVarGraph

Methods

ppr :: UnVarGraph -> SDoc

pprPrec :: Rational -> UnVarGraph -> SDoc

Outputable UnVarSet

Defined in UnVarGraph

Methods

ppr :: UnVarSet -> SDoc

pprPrec :: Rational -> UnVarSet -> SDoc

Outputable PrimCall

Defined in PrimOp

Methods

ppr :: PrimCall -> SDoc

pprPrec :: Rational -> PrimCall -> SDoc

Outputable CgBreakInfo

Defined in ByteCodeTypes

Methods

ppr :: CgBreakInfo -> SDoc

pprPrec :: Rational -> CgBreakInfo -> SDoc

Outputable UnlinkedBCO

Defined in ByteCodeTypes

Methods

ppr :: UnlinkedBCO -> SDoc

pprPrec :: Rational -> UnlinkedBCO -> SDoc

Outputable CompiledByteCode

Defined in ByteCodeTypes

Methods

ppr :: CompiledByteCode -> SDoc

pprPrec :: Rational -> CompiledByteCode -> SDoc

Outputable CoreStats

Defined in CoreStats

Methods

ppr :: CoreStats -> SDoc

pprPrec :: Rational -> CoreStats -> SDoc

Outputable UpdateFlag

Defined in StgSyn

Methods

ppr :: UpdateFlag -> SDoc

pprPrec :: Rational -> UpdateFlag -> SDoc

Outputable AltType

Defined in StgSyn

Methods

ppr :: AltType -> SDoc

pprPrec :: Rational -> AltType -> SDoc

Outputable ShowHowMuch

Defined in IfaceSyn

Methods

ppr :: ShowHowMuch -> SDoc

pprPrec :: Rational -> ShowHowMuch -> SDoc

Outputable IfaceJoinInfo

Defined in IfaceSyn

Methods

ppr :: IfaceJoinInfo -> SDoc

pprPrec :: Rational -> IfaceJoinInfo -> SDoc

Outputable IfaceConAlt

Defined in IfaceSyn

Methods

ppr :: IfaceConAlt -> SDoc

pprPrec :: Rational -> IfaceConAlt -> SDoc

Outputable IfaceExpr

Defined in IfaceSyn

Methods

ppr :: IfaceExpr -> SDoc

pprPrec :: Rational -> IfaceExpr -> SDoc

Outputable IfaceIdDetails

Defined in IfaceSyn

Methods

ppr :: IfaceIdDetails -> SDoc

pprPrec :: Rational -> IfaceIdDetails -> SDoc

Outputable IfaceUnfolding

Defined in IfaceSyn

Methods

ppr :: IfaceUnfolding -> SDoc

pprPrec :: Rational -> IfaceUnfolding -> SDoc

Outputable IfaceInfoItem

Defined in IfaceSyn

Methods

ppr :: IfaceInfoItem -> SDoc

pprPrec :: Rational -> IfaceInfoItem -> SDoc

Outputable IfaceIdInfo

Defined in IfaceSyn

Methods

ppr :: IfaceIdInfo -> SDoc

pprPrec :: Rational -> IfaceIdInfo -> SDoc

Outputable IfaceCompleteMatch

Defined in IfaceSyn

Methods

ppr :: IfaceCompleteMatch -> SDoc

pprPrec :: Rational -> IfaceCompleteMatch -> SDoc

Outputable IfaceAnnotation

Defined in IfaceSyn

Methods

ppr :: IfaceAnnotation -> SDoc

pprPrec :: Rational -> IfaceAnnotation -> SDoc

Outputable IfaceRule

Defined in IfaceSyn

Methods

ppr :: IfaceRule -> SDoc

pprPrec :: Rational -> IfaceRule -> SDoc

Outputable IfaceFamInst

Defined in IfaceSyn

Methods

ppr :: IfaceFamInst -> SDoc

pprPrec :: Rational -> IfaceFamInst -> SDoc

Outputable IfaceClsInst

Defined in IfaceSyn

Methods

ppr :: IfaceClsInst -> SDoc

pprPrec :: Rational -> IfaceClsInst -> SDoc

Outputable IfaceAT

Defined in IfaceSyn

Methods

ppr :: IfaceAT -> SDoc

pprPrec :: Rational -> IfaceAT -> SDoc

Outputable IfaceClassOp

Defined in IfaceSyn

Methods

ppr :: IfaceClassOp -> SDoc

pprPrec :: Rational -> IfaceClassOp -> SDoc

Outputable IfaceTyConParent

Defined in IfaceSyn

Methods

ppr :: IfaceTyConParent -> SDoc

pprPrec :: Rational -> IfaceTyConParent -> SDoc

Outputable IfaceDecl

Defined in IfaceSyn

Methods

ppr :: IfaceDecl -> SDoc

pprPrec :: Rational -> IfaceDecl -> SDoc

Outputable ForeignLabelSource

Defined in CLabel

Methods

ppr :: ForeignLabelSource -> SDoc

pprPrec :: Rational -> ForeignLabelSource -> SDoc

Outputable CLabel

Defined in CLabel

Methods

ppr :: CLabel -> SDoc

pprPrec :: Rational -> CLabel -> SDoc

Outputable GlobalReg

Defined in PprCmmExpr

Methods

ppr :: GlobalReg -> SDoc

pprPrec :: Rational -> GlobalReg -> SDoc

Outputable LocalReg

Defined in PprCmmExpr

Methods

ppr :: LocalReg -> SDoc

pprPrec :: Rational -> LocalReg -> SDoc

Outputable CmmLit

Defined in PprCmmExpr

Methods

ppr :: CmmLit -> SDoc

pprPrec :: Rational -> CmmLit -> SDoc

Outputable Area

Defined in PprCmmExpr

Methods

ppr :: Area -> SDoc

pprPrec :: Rational -> Area -> SDoc

Outputable CmmReg

Defined in PprCmmExpr

Methods

ppr :: CmmReg -> SDoc

pprPrec :: Rational -> CmmReg -> SDoc

Outputable CmmExpr

Defined in PprCmmExpr

Methods

ppr :: CmmExpr -> SDoc

pprPrec :: Rational -> CmmExpr -> SDoc

Outputable CmmTickScope

Defined in CmmNode

Methods

ppr :: CmmTickScope -> SDoc

pprPrec :: Rational -> CmmTickScope -> SDoc

Outputable ForeignTarget

Defined in PprCmm

Methods

ppr :: ForeignTarget -> SDoc

pprPrec :: Rational -> ForeignTarget -> SDoc

Outputable CmmReturnInfo

Defined in PprCmm

Methods

ppr :: CmmReturnInfo -> SDoc

pprPrec :: Rational -> CmmReturnInfo -> SDoc

Outputable ForeignConvention

Defined in PprCmm

Methods

ppr :: ForeignConvention -> SDoc

pprPrec :: Rational -> ForeignConvention -> SDoc

Outputable Convention

Defined in PprCmm

Methods

ppr :: Convention -> SDoc

pprPrec :: Rational -> Convention -> SDoc

Outputable CmmStatics

Defined in PprCmmDecl

Methods

ppr :: CmmStatics -> SDoc

pprPrec :: Rational -> CmmStatics -> SDoc

Outputable CmmStatic

Defined in PprCmmDecl

Methods

ppr :: CmmStatic -> SDoc

pprPrec :: Rational -> CmmStatic -> SDoc

Outputable C_SRT

Defined in PprCmmDecl

Methods

ppr :: C_SRT -> SDoc

pprPrec :: Rational -> C_SRT -> SDoc

Outputable CmmInfoTable

Defined in PprCmmDecl

Methods

ppr :: CmmInfoTable -> SDoc

pprPrec :: Rational -> CmmInfoTable -> SDoc

Outputable CmmStackInfo

Defined in PprCmm

Methods

ppr :: CmmStackInfo -> SDoc

pprPrec :: Rational -> CmmStackInfo -> SDoc

Outputable CmmTopInfo

Defined in PprCmm

Methods

ppr :: CmmTopInfo -> SDoc

pprPrec :: Rational -> CmmTopInfo -> SDoc

Outputable CmmGraph

Defined in PprCmm

Methods

ppr :: CmmGraph -> SDoc

pprPrec :: Rational -> CmmGraph -> SDoc

Outputable LlvmCastOp

Defined in Llvm.Types

Methods

ppr :: LlvmCastOp -> SDoc

pprPrec :: Rational -> LlvmCastOp -> SDoc

Outputable LlvmCmpOp

Defined in Llvm.Types

Methods

ppr :: LlvmCmpOp -> SDoc

pprPrec :: Rational -> LlvmCmpOp -> SDoc

Outputable LlvmMachOp

Defined in Llvm.Types

Methods

ppr :: LlvmMachOp -> SDoc

pprPrec :: Rational -> LlvmMachOp -> SDoc

Outputable LlvmLinkageType

Defined in Llvm.Types

Methods

ppr :: LlvmLinkageType -> SDoc

pprPrec :: Rational -> LlvmLinkageType -> SDoc

Outputable LlvmCallConvention

Defined in Llvm.Types

Methods

ppr :: LlvmCallConvention -> SDoc

pprPrec :: Rational -> LlvmCallConvention -> SDoc

Outputable LlvmFuncAttr

Defined in Llvm.Types

Methods

ppr :: LlvmFuncAttr -> SDoc

pprPrec :: Rational -> LlvmFuncAttr -> SDoc

Outputable LlvmParamAttr

Defined in Llvm.Types

Methods

ppr :: LlvmParamAttr -> SDoc

pprPrec :: Rational -> LlvmParamAttr -> SDoc

Outputable LlvmFunctionDecl

Defined in Llvm.Types

Methods

ppr :: LlvmFunctionDecl -> SDoc

pprPrec :: Rational -> LlvmFunctionDecl -> SDoc

Outputable LlvmStatic

Defined in Llvm.Types

Methods

ppr :: LlvmStatic -> SDoc

pprPrec :: Rational -> LlvmStatic -> SDoc

Outputable LlvmLit

Defined in Llvm.Types

Methods

ppr :: LlvmLit -> SDoc

pprPrec :: Rational -> LlvmLit -> SDoc

Outputable LlvmVar

Defined in Llvm.Types

Methods

ppr :: LlvmVar -> SDoc

pprPrec :: Rational -> LlvmVar -> SDoc

Outputable LlvmType

Defined in Llvm.Types

Methods

ppr :: LlvmType -> SDoc

pprPrec :: Rational -> LlvmType -> SDoc

Outputable MetaExpr

Defined in Llvm.MetaData

Methods

ppr :: MetaExpr -> SDoc

pprPrec :: Rational -> MetaExpr -> SDoc

Outputable MetaId

Defined in Llvm.MetaData

Methods

ppr :: MetaId -> SDoc

pprPrec :: Rational -> MetaId -> SDoc

Outputable LiveInfo

Defined in RegAlloc.Liveness

Methods

ppr :: LiveInfo -> SDoc

pprPrec :: Rational -> LiveInfo -> SDoc

Outputable Loc

Defined in RegAlloc.Linear.Base

Methods

ppr :: Loc -> SDoc

pprPrec :: Rational -> Loc -> SDoc

Outputable SpillStats

Defined in RegAlloc.Graph.Spill

Methods

ppr :: SpillStats -> SDoc

pprPrec :: Rational -> SpillStats -> SDoc

Outputable UnwindExpr

Defined in Debug

Methods

ppr :: UnwindExpr -> SDoc

pprPrec :: Rational -> UnwindExpr -> SDoc

Outputable UnwindPoint

Defined in Debug

Methods

ppr :: UnwindPoint -> SDoc

pprPrec :: Rational -> UnwindPoint -> SDoc

Outputable DebugBlock

Defined in Debug

Methods

ppr :: DebugBlock -> SDoc

pprPrec :: Rational -> DebugBlock -> SDoc

Outputable Status

Defined in CmmProcPoint

Methods

ppr :: Status -> SDoc

pprPrec :: Rational -> Status -> SDoc

Outputable ParamLocation

Defined in CmmCallConv

Methods

ppr :: ParamLocation -> SDoc

pprPrec :: Rational -> ParamLocation -> SDoc

Outputable TopSRT

Defined in CmmBuildInfoTables

Methods

ppr :: TopSRT -> SDoc

pprPrec :: Rational -> TopSRT -> SDoc

Outputable CandidatesQTvs

Defined in TcType

Methods

ppr :: CandidatesQTvs -> SDoc

pprPrec :: Rational -> CandidatesQTvs -> SDoc

Outputable TcLevel

Defined in TcType

Methods

ppr :: TcLevel -> SDoc

pprPrec :: Rational -> TcLevel -> SDoc

Outputable InferResult

Defined in TcType

Methods

ppr :: InferResult -> SDoc

pprPrec :: Rational -> InferResult -> SDoc

Outputable ExpType

Defined in TcType

Methods

ppr :: ExpType -> SDoc

pprPrec :: Rational -> ExpType -> SDoc

Outputable EvCallStack

Defined in TcEvidence

Methods

ppr :: EvCallStack -> SDoc

pprPrec :: Rational -> EvCallStack -> SDoc

Outputable EvLit

Defined in TcEvidence

Methods

ppr :: EvLit -> SDoc

pprPrec :: Rational -> EvLit -> SDoc

Outputable EvTypeable

Defined in TcEvidence

Methods

ppr :: EvTypeable -> SDoc

pprPrec :: Rational -> EvTypeable -> SDoc

Outputable EvTerm

Defined in TcEvidence

Methods

ppr :: EvTerm -> SDoc

pprPrec :: Rational -> EvTerm -> SDoc

Outputable EvBind

Defined in TcEvidence

Methods

ppr :: EvBind -> SDoc

pprPrec :: Rational -> EvBind -> SDoc

Outputable EvBindMap

Defined in TcEvidence

Methods

ppr :: EvBindMap -> SDoc

pprPrec :: Rational -> EvBindMap -> SDoc

Outputable EvBindsVar

Defined in TcEvidence

Methods

ppr :: EvBindsVar -> SDoc

pprPrec :: Rational -> EvBindsVar -> SDoc

Outputable TcEvBinds

Defined in TcEvidence

Methods

ppr :: TcEvBinds -> SDoc

pprPrec :: Rational -> TcEvBinds -> SDoc

Outputable HsWrapper

Defined in TcEvidence

Methods

ppr :: HsWrapper -> SDoc

pprPrec :: Rational -> HsWrapper -> SDoc

Outputable HsTyLit

Defined in HsTypes

Methods

ppr :: HsTyLit -> SDoc

pprPrec :: Rational -> HsTyLit -> SDoc

Outputable HsIPName

Defined in HsTypes

Methods

ppr :: HsIPName -> SDoc

pprPrec :: Rational -> HsIPName -> SDoc

Outputable OverLitVal

Defined in HsLit

Methods

ppr :: OverLitVal -> SDoc

pprPrec :: Rational -> OverLitVal -> SDoc

Outputable TcSpecPrag

Defined in HsBinds

Methods

ppr :: TcSpecPrag -> SDoc

pprPrec :: Rational -> TcSpecPrag -> SDoc

Outputable CgLoc

Defined in StgCmmClosure

Methods

ppr :: CgLoc -> SDoc

pprPrec :: Rational -> CgLoc -> SDoc

Outputable Sequel

Defined in StgCmmMonad

Methods

ppr :: Sequel -> SDoc

pprPrec :: Rational -> Sequel -> SDoc

Outputable CgIdInfo

Defined in StgCmmMonad

Methods

ppr :: CgIdInfo -> SDoc

pprPrec :: Rational -> CgIdInfo -> SDoc

Outputable ArgRep

Defined in StgCmmArgRep

Methods

ppr :: ArgRep -> SDoc

pprPrec :: Rational -> ArgRep -> SDoc

Outputable ClsInst

Defined in InstEnv

Methods

ppr :: ClsInst -> SDoc

pprPrec :: Rational -> ClsInst -> SDoc

Outputable DocDecl

Defined in HsDecls

Methods

ppr :: DocDecl -> SDoc

pprPrec :: Rational -> DocDecl -> SDoc

Outputable ForeignExport

Defined in HsDecls

Methods

ppr :: ForeignExport -> SDoc

pprPrec :: Rational -> ForeignExport -> SDoc

Outputable ForeignImport

Defined in HsDecls

Methods

ppr :: ForeignImport -> SDoc

pprPrec :: Rational -> ForeignImport -> SDoc

Outputable NewOrData

Defined in HsDecls

Methods

ppr :: NewOrData -> SDoc

pprPrec :: Rational -> NewOrData -> SDoc

Outputable PendingTcSplice

Defined in HsExpr

Methods

ppr :: PendingTcSplice -> SDoc

pprPrec :: Rational -> PendingTcSplice -> SDoc

Outputable PendingRnSplice

Defined in HsExpr

Methods

ppr :: PendingRnSplice -> SDoc

pprPrec :: Rational -> PendingRnSplice -> SDoc

Outputable SpliceDecoration

Defined in HsExpr

Methods

ppr :: SpliceDecoration -> SDoc

pprPrec :: Rational -> SpliceDecoration -> SDoc

Outputable UnboundVar

Defined in HsExpr

Methods

ppr :: UnboundVar -> SDoc

pprPrec :: Rational -> UnboundVar -> SDoc

Outputable PmLit

Defined in PmExpr

Methods

ppr :: PmLit -> SDoc

pprPrec :: Rational -> PmLit -> SDoc

Outputable PmExpr

Defined in PmExpr

Methods

ppr :: PmExpr -> SDoc

pprPrec :: Rational -> PmExpr -> SDoc

Outputable CompleteMatch

Defined in HscTypes

Methods

ppr :: CompleteMatch -> SDoc

pprPrec :: Rational -> CompleteMatch -> SDoc

Outputable Unlinked

Defined in HscTypes

Methods

ppr :: Unlinked -> SDoc

pprPrec :: Rational -> Unlinked -> SDoc

Outputable Linkable

Defined in HscTypes

Methods

ppr :: Linkable -> SDoc

pprPrec :: Rational -> Linkable -> SDoc

Outputable IfaceTrustInfo

Defined in HscTypes

Methods

ppr :: IfaceTrustInfo -> SDoc

pprPrec :: Rational -> IfaceTrustInfo -> SDoc

Outputable IfaceVectInfo

Defined in HscTypes

Methods

ppr :: IfaceVectInfo -> SDoc

pprPrec :: Rational -> IfaceVectInfo -> SDoc

Outputable VectInfo

Defined in HscTypes

Methods

ppr :: VectInfo -> SDoc

pprPrec :: Rational -> VectInfo -> SDoc

Outputable ModSummary

Defined in HscTypes

Methods

ppr :: ModSummary -> SDoc

pprPrec :: Rational -> ModSummary -> SDoc

Outputable FixItem

Defined in HscTypes

Methods

ppr :: FixItem -> SDoc

pprPrec :: Rational -> FixItem -> SDoc

Outputable Warnings

Defined in LoadIface

Methods

ppr :: Warnings -> SDoc

pprPrec :: Rational -> Warnings -> SDoc

Outputable InteractiveImport

Defined in HscTypes

Methods

ppr :: InteractiveImport -> SDoc

pprPrec :: Rational -> InteractiveImport -> SDoc

Outputable SptEntry

Defined in HscTypes

Methods

ppr :: SptEntry -> SDoc

pprPrec :: Rational -> SptEntry -> SDoc

Outputable TargetId

Defined in HscTypes

Methods

ppr :: TargetId -> SDoc

pprPrec :: Rational -> TargetId -> SDoc

Outputable Target

Defined in HscTypes

Methods

ppr :: Target -> SDoc

pprPrec :: Rational -> Target -> SDoc

Outputable TypeOrKind

Defined in TcRnTypes

Methods

ppr :: TypeOrKind -> SDoc

pprPrec :: Rational -> TypeOrKind -> SDoc

Outputable CtOrigin

Defined in TcRnTypes

Methods

ppr :: CtOrigin -> SDoc

pprPrec :: Rational -> CtOrigin -> SDoc

Outputable SkolemInfo

Defined in TcRnTypes

Methods

ppr :: SkolemInfo -> SDoc

pprPrec :: Rational -> SkolemInfo -> SDoc

Outputable SubGoalDepth

Defined in TcRnTypes

Methods

ppr :: SubGoalDepth -> SDoc

pprPrec :: Rational -> SubGoalDepth -> SDoc

Outputable CtFlavour

Defined in TcRnTypes

Methods

ppr :: CtFlavour -> SDoc

pprPrec :: Rational -> CtFlavour -> SDoc

Outputable CtEvidence

Defined in TcRnTypes

Methods

ppr :: CtEvidence -> SDoc

pprPrec :: Rational -> CtEvidence -> SDoc

Outputable TcEvDest

Defined in TcRnTypes

Methods

ppr :: TcEvDest -> SDoc

pprPrec :: Rational -> TcEvDest -> SDoc

Outputable ImplicStatus

Defined in TcRnTypes

Methods

ppr :: ImplicStatus -> SDoc

pprPrec :: Rational -> ImplicStatus -> SDoc

Outputable Implication

Defined in TcRnTypes

Methods

ppr :: Implication -> SDoc

pprPrec :: Rational -> Implication -> SDoc

Outputable WantedConstraints

Defined in TcRnTypes

Methods

ppr :: WantedConstraints -> SDoc

pprPrec :: Rational -> WantedConstraints -> SDoc

Outputable Hole

Defined in TcRnTypes

Methods

ppr :: Hole -> SDoc

pprPrec :: Rational -> Hole -> SDoc

Outputable Ct

Defined in TcRnTypes

Methods

ppr :: Ct -> SDoc

pprPrec :: Rational -> Ct -> SDoc

Outputable TcPatSynInfo

Defined in TcRnTypes

Methods

ppr :: TcPatSynInfo -> SDoc

pprPrec :: Rational -> TcPatSynInfo -> SDoc

Outputable TcIdSigInst

Defined in TcRnTypes

Methods

ppr :: TcIdSigInst -> SDoc

pprPrec :: Rational -> TcIdSigInst -> SDoc

Outputable TcIdSigInfo

Defined in TcRnTypes

Methods

ppr :: TcIdSigInfo -> SDoc

pprPrec :: Rational -> TcIdSigInfo -> SDoc

Outputable TcSigInfo

Defined in TcRnTypes

Methods

ppr :: TcSigInfo -> SDoc

pprPrec :: Rational -> TcSigInfo -> SDoc

Outputable WhereFrom

Defined in TcRnTypes

Methods

ppr :: WhereFrom -> SDoc

pprPrec :: Rational -> WhereFrom -> SDoc

Outputable IdBindingInfo

Defined in TcRnTypes

Methods

ppr :: IdBindingInfo -> SDoc

pprPrec :: Rational -> IdBindingInfo -> SDoc

Outputable PromotionErr

Defined in TcRnTypes

Methods

ppr :: PromotionErr -> SDoc

pprPrec :: Rational -> PromotionErr -> SDoc

Outputable TcTyThing

Defined in TcRnTypes

Methods

ppr :: TcTyThing -> SDoc

pprPrec :: Rational -> TcTyThing -> SDoc

Outputable ThStage

Defined in TcRnTypes

Methods

ppr :: ThStage -> SDoc

pprPrec :: Rational -> ThStage -> SDoc

Outputable TcBinder

Defined in TcRnTypes

Methods

ppr :: TcBinder -> SDoc

pprPrec :: Rational -> TcBinder -> SDoc

Outputable PhasePlus

Defined in PipelineMonad

Methods

ppr :: PhasePlus -> SDoc

pprPrec :: Rational -> PhasePlus -> SDoc

Outputable HsComponentId

Defined in BkpSyn

Methods

ppr :: HsComponentId -> SDoc

pprPrec :: Rational -> HsComponentId -> SDoc

Outputable FloatBind

Defined in MkCore

Methods

ppr :: FloatBind -> SDoc

pprPrec :: Rational -> FloatBind -> SDoc

Outputable Subst

Defined in CoreSubst

Methods

ppr :: Subst -> SDoc

pprPrec :: Rational -> Subst -> SDoc

Outputable CallCtxt

Defined in CoreUnfold

Methods

ppr :: CallCtxt -> SDoc

pprPrec :: Rational -> CallCtxt -> SDoc

Outputable ArgSummary

Defined in CoreUnfold

Methods

ppr :: ArgSummary -> SDoc

pprPrec :: Rational -> ArgSummary -> SDoc

Outputable Tick

Defined in CoreMonad

Methods

ppr :: Tick -> SDoc

pprPrec :: Rational -> Tick -> SDoc

Outputable FloatOutSwitches

Defined in CoreMonad

Methods

ppr :: FloatOutSwitches -> SDoc

pprPrec :: Rational -> FloatOutSwitches -> SDoc

Outputable SimplMode

Defined in CoreMonad

Methods

ppr :: SimplMode -> SDoc

pprPrec :: Rational -> SimplMode -> SDoc

Outputable CoreToDo

Defined in CoreMonad

Methods

ppr :: CoreToDo -> SDoc

pprPrec :: Rational -> CoreToDo -> SDoc

Outputable LetFloats

Defined in SimplEnv

Methods

ppr :: LetFloats -> SDoc

pprPrec :: Rational -> LetFloats -> SDoc

Outputable SimplSR

Defined in SimplEnv

Methods

ppr :: SimplSR -> SDoc

pprPrec :: Rational -> SimplSR -> SDoc

Outputable SimplFloats

Defined in SimplEnv

Methods

ppr :: SimplFloats -> SDoc

pprPrec :: Rational -> SimplFloats -> SDoc

Outputable ArgSpec

Defined in SimplUtils

Methods

ppr :: ArgSpec -> SDoc

pprPrec :: Rational -> ArgSpec -> SDoc

Outputable DupFlag

Defined in SimplUtils

Methods

ppr :: DupFlag -> SDoc

pprPrec :: Rational -> DupFlag -> SDoc

Outputable SimplCont

Defined in SimplUtils

Methods

ppr :: SimplCont -> SDoc

pprPrec :: Rational -> SimplCont -> SDoc

Outputable FloatSpec

Defined in SetLevels

Methods

ppr :: FloatSpec -> SDoc

pprPrec :: Rational -> FloatSpec -> SDoc

Outputable Level

Defined in SetLevels

Methods

ppr :: Level -> SDoc

pprPrec :: Rational -> Level -> SDoc

Outputable HsSigCtxt

Defined in RnEnv

Methods

ppr :: HsSigCtxt -> SDoc

pprPrec :: Rational -> HsSigCtxt -> SDoc

Outputable ChildLookupResult

Defined in RnEnv

Methods

ppr :: ChildLookupResult -> SDoc

pprPrec :: Rational -> ChildLookupResult -> SDoc

Outputable ClosureType

Defined in RtClosureInspect

Methods

ppr :: ClosureType -> SDoc

pprPrec :: Rational -> ClosureType -> SDoc

Outputable Term

Defined in RtClosureInspect

Methods

ppr :: Term -> SDoc

pprPrec :: Rational -> Term -> SDoc

Outputable InertCans

Defined in TcSMonad

Methods

ppr :: InertCans -> SDoc

pprPrec :: Rational -> InertCans -> SDoc

Outputable InertSet

Defined in TcSMonad

Methods

ppr :: InertSet -> SDoc

pprPrec :: Rational -> InertSet -> SDoc

Outputable WorkList

Defined in TcSMonad

Methods

ppr :: WorkList -> SDoc

pprPrec :: Rational -> WorkList -> SDoc

Outputable FlattenMode

Defined in TcFlatten

Methods

ppr :: FlattenMode -> SDoc

pprPrec :: Rational -> FlattenMode -> SDoc

Outputable InferMode

Defined in TcSimplify

Methods

ppr :: InferMode -> SDoc

pprPrec :: Rational -> InferMode -> SDoc

Outputable ThetaOrigin

Defined in TcDerivUtils

Methods

ppr :: ThetaOrigin -> SDoc

pprPrec :: Rational -> ThetaOrigin -> SDoc

Outputable PredOrigin

Defined in TcDerivUtils

Methods

ppr :: PredOrigin -> SDoc

pprPrec :: Rational -> PredOrigin -> SDoc

Outputable DerivSpecMechanism

Defined in TcDerivUtils

Methods

ppr :: DerivSpecMechanism -> SDoc

pprPrec :: Rational -> DerivSpecMechanism -> SDoc

Outputable DerivEnv

Defined in TcDerivUtils

Methods

ppr :: DerivEnv -> SDoc

pprPrec :: Rational -> DerivEnv -> SDoc

Outputable BCInstr

Defined in ByteCodeInstr

Methods

ppr :: BCInstr -> SDoc

pprPrec :: Rational -> BCInstr -> SDoc

Outputable LetBndrSpec

Defined in TcPat

Methods

ppr :: LetBndrSpec -> SDoc

pprPrec :: Rational -> LetBndrSpec -> SDoc

Outputable EquationInfo

Defined in DsMonad

Methods

ppr :: EquationInfo -> SDoc

pprPrec :: Rational -> EquationInfo -> SDoc

Outputable DsMatchContext

Defined in DsMonad

Methods

ppr :: DsMatchContext -> SDoc

pprPrec :: Rational -> DsMatchContext -> SDoc

Outputable CompRepr

Defined in Vectorise.Generic.Description

Methods

ppr :: CompRepr -> SDoc

pprPrec :: Rational -> CompRepr -> SDoc

Outputable ProdRepr

Defined in Vectorise.Generic.Description

Methods

ppr :: ProdRepr -> SDoc

pprPrec :: Rational -> ProdRepr -> SDoc

Outputable ConRepr

Defined in Vectorise.Generic.Description

Methods

ppr :: ConRepr -> SDoc

pprPrec :: Rational -> ConRepr -> SDoc

Outputable SumRepr

Defined in Vectorise.Generic.Description

Methods

ppr :: SumRepr -> SDoc

pprPrec :: Rational -> SumRepr -> SDoc

Outputable Instr

Defined in X86.Ppr

Methods

ppr :: Instr -> SDoc

pprPrec :: Rational -> Instr -> SDoc

Outputable Instr

Defined in SPARC.Ppr

Methods

ppr :: Instr -> SDoc

pprPrec :: Rational -> Instr -> SDoc

Outputable Instr

Defined in PPC.Ppr

Methods

ppr :: Instr -> SDoc

pprPrec :: Rational -> Instr -> SDoc

Outputable DwarfFrameBlock

Defined in Dwarf.Types

Methods

ppr :: DwarfFrameBlock -> SDoc

pprPrec :: Rational -> DwarfFrameBlock -> SDoc

Outputable CoreModule

Defined in GHC

Methods

ppr :: CoreModule -> SDoc

pprPrec :: Rational -> CoreModule -> SDoc

Outputable a => Outputable [a]

Defined in Outputable

Methods

ppr :: [a] -> SDoc

pprPrec :: Rational -> [a] -> SDoc

Outputable a => Outputable (Maybe a)

Defined in Outputable

Methods

ppr :: Maybe a -> SDoc

pprPrec :: Rational -> Maybe a -> SDoc

Outputable elt => Outputable (IntMap elt)

Defined in Outputable

Methods

ppr :: IntMap elt -> SDoc

pprPrec :: Rational -> IntMap elt -> SDoc

Outputable a => Outputable (SCC a)

Defined in Outputable

Methods

ppr :: SCC a -> SDoc

pprPrec :: Rational -> SCC a -> SDoc

Outputable a => Outputable (Set a)

Defined in Outputable

Methods

ppr :: Set a -> SDoc

pprPrec :: Rational -> Set a -> SDoc

Outputable a => Outputable (Pair a)

Defined in Pair

Methods

ppr :: Pair a -> SDoc

pprPrec :: Rational -> Pair a -> SDoc

Outputable a => Outputable (OrdList a)

Defined in OrdList

Methods

ppr :: OrdList a -> SDoc

pprPrec :: Rational -> OrdList a -> SDoc

Outputable (DefMethSpec ty)

Defined in BasicTypes

Methods

ppr :: DefMethSpec ty -> SDoc

pprPrec :: Rational -> DefMethSpec ty -> SDoc

Outputable a => Outputable (UniqFM a)

Defined in UniqFM

Methods

ppr :: UniqFM a -> SDoc

pprPrec :: Rational -> UniqFM a -> SDoc

Outputable a => Outputable (UniqSet a)

Defined in UniqSet

Methods

ppr :: UniqSet a -> SDoc

pprPrec :: Rational -> UniqSet a -> SDoc

Outputable a => Outputable (UniqDFM a)

Defined in UniqDFM

Methods

ppr :: UniqDFM a -> SDoc

pprPrec :: Rational -> UniqDFM a -> SDoc

Outputable a => Outputable (LabelMap a)

Defined in Hoopl.Label

Methods

ppr :: LabelMap a -> SDoc

pprPrec :: Rational -> LabelMap a -> SDoc

OutputableBndr a => Outputable (BooleanFormula a)

Defined in BooleanFormula

Methods

ppr :: BooleanFormula a -> SDoc

pprPrec :: Rational -> BooleanFormula a -> SDoc

Outputable node => Outputable (Graph node)

Defined in Digraph

Methods

ppr :: Graph node -> SDoc

pprPrec :: Rational -> Graph node -> SDoc

Outputable a => Outputable (Bag a)

Defined in Bag

Methods

ppr :: Bag a -> SDoc

pprPrec :: Rational -> Bag a -> SDoc

Outputable a => Outputable (OccEnv a)

Defined in OccName

Methods

ppr :: OccEnv a -> SDoc

pprPrec :: Rational -> OccEnv a -> SDoc

Outputable a => Outputable (FieldLbl a)

Defined in FieldLabel

Methods

ppr :: FieldLbl a -> SDoc

pprPrec :: Rational -> FieldLbl a -> SDoc

Outputable name => Outputable (AnnTarget name)

Defined in Annotations

Methods

ppr :: AnnTarget name -> SDoc

pprPrec :: Rational -> AnnTarget name -> SDoc

Outputable (CoAxiom br)

Defined in CoAxiom

Methods

ppr :: CoAxiom br -> SDoc

pprPrec :: Rational -> CoAxiom br -> SDoc

Outputable a => Outputable (UnifyResultM a)

Defined in Unify

Methods

ppr :: UnifyResultM a -> SDoc

pprPrec :: Rational -> UnifyResultM a -> SDoc

Outputable b => Outputable (TaggedBndr b)

Defined in CoreSyn

Methods

ppr :: TaggedBndr b -> SDoc

pprPrec :: Rational -> TaggedBndr b -> SDoc

Outputable id => Outputable (Tickish id)

Defined in PprCore

Methods

ppr :: Tickish id -> SDoc

pprPrec :: Rational -> Tickish id -> SDoc

OutputableBndr b => Outputable (Bind b)

Defined in PprCore

Methods

ppr :: Bind b -> SDoc

pprPrec :: Rational -> Bind b -> SDoc

OutputableBndr b => Outputable (Expr b)

Defined in PprCore

Methods

ppr :: Expr b -> SDoc

pprPrec :: Rational -> Expr b -> SDoc

Outputable a => Outputable (CoreMap a)

Defined in TrieMap

Methods

ppr :: CoreMap a -> SDoc

pprPrec :: Rational -> CoreMap a -> SDoc

Outputable bdee => Outputable (GenStgArg bdee)

Defined in StgSyn

Methods

ppr :: GenStgArg bdee -> SDoc

pprPrec :: Rational -> GenStgArg bdee -> SDoc

Outputable instr => Outputable (ListGraph instr)

Defined in Cmm

Methods

ppr :: ListGraph instr -> SDoc

pprPrec :: Rational -> ListGraph instr -> SDoc

Outputable instr => Outputable (GenBasicBlock instr)

Defined in Cmm

Methods

ppr :: GenBasicBlock instr -> SDoc

pprPrec :: Rational -> GenBasicBlock instr -> SDoc

Outputable instr => Outputable (LiveInstr instr)

Defined in RegAlloc.Liveness

Methods

ppr :: LiveInstr instr -> SDoc

pprPrec :: Rational -> LiveInstr instr -> SDoc

Outputable instr => Outputable (InstrSR instr)

Defined in RegAlloc.Liveness

Methods

ppr :: InstrSR instr -> SDoc

pprPrec :: Rational -> InstrSR instr -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (Pat pass)

Defined in HsPat

Methods

ppr :: Pat pass -> SDoc

pprPrec :: Rational -> Pat pass -> SDoc

OutputableBndrId pass => Outputable (IE pass)

Defined in HsImpExp

Methods

ppr :: IE pass -> SDoc

pprPrec :: Rational -> IE pass -> SDoc

OutputableBndr name => Outputable (IEWrappedName name)

Defined in HsImpExp

Methods

ppr :: IEWrappedName name -> SDoc

pprPrec :: Rational -> IEWrappedName name -> SDoc

OutputableBndrId pass => Outputable (ImportDecl pass)

Defined in HsImpExp

Methods

ppr :: ImportDecl pass -> SDoc

pprPrec :: Rational -> ImportDecl pass -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (SyntaxExpr p)

Defined in HsExpr

Methods

ppr :: SyntaxExpr p -> SDoc

pprPrec :: Rational -> SyntaxExpr p -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsSplice p)

Defined in HsExpr

Methods

ppr :: HsSplice p -> SDoc

pprPrec :: Rational -> HsSplice p -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsCmd p)

Defined in HsExpr

Methods

ppr :: HsCmd p -> SDoc

pprPrec :: Rational -> HsCmd p -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsExpr p)

Defined in HsExpr

Methods

ppr :: HsExpr p -> SDoc

pprPrec :: Rational -> HsExpr p -> SDoc

Outputable (AmbiguousFieldOcc pass)

Defined in HsTypes

Methods

ppr :: AmbiguousFieldOcc pass -> SDoc

pprPrec :: Rational -> AmbiguousFieldOcc pass -> SDoc

Outputable (FieldOcc pass)

Defined in HsTypes

Methods

ppr :: FieldOcc pass -> SDoc

pprPrec :: Rational -> FieldOcc pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (ConDeclField pass)

Defined in HsTypes

Methods

ppr :: ConDeclField pass -> SDoc

pprPrec :: Rational -> ConDeclField pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsAppType pass)

Defined in HsTypes

Methods

ppr :: HsAppType pass -> SDoc

pprPrec :: Rational -> HsAppType pass -> SDoc

Outputable (HsWildCardInfo pass)

Defined in HsTypes

Methods

ppr :: HsWildCardInfo pass -> SDoc

pprPrec :: Rational -> HsWildCardInfo pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsType pass)

Defined in HsTypes

Methods

ppr :: HsType pass -> SDoc

pprPrec :: Rational -> HsType pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsTyVarBndr pass)

Defined in HsTypes

Methods

ppr :: HsTyVarBndr pass -> SDoc

pprPrec :: Rational -> HsTyVarBndr pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (LHsQTyVars pass)

Defined in HsTypes

Methods

ppr :: LHsQTyVars pass -> SDoc

pprPrec :: Rational -> LHsQTyVars pass -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsOverLit p)

Defined in HsLit

Methods

ppr :: HsOverLit p -> SDoc

pprPrec :: Rational -> HsOverLit p -> SDoc

SourceTextX x => Outputable (HsLit x)

Defined in HsLit

Methods

ppr :: HsLit x -> SDoc

pprPrec :: Rational -> HsLit x -> SDoc

Outputable a => Outputable (RecordPatSynField a)

Defined in HsBinds

Methods

ppr :: RecordPatSynField a -> SDoc

pprPrec :: Rational -> RecordPatSynField a -> SDoc

OutputableBndrId pass => Outputable (FixitySig pass)

Defined in HsBinds

Methods

ppr :: FixitySig pass -> SDoc

pprPrec :: Rational -> FixitySig pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (Sig pass)

Defined in HsBinds

Methods

ppr :: Sig pass -> SDoc

pprPrec :: Rational -> Sig pass -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (IPBind p)

Defined in HsBinds

Methods

ppr :: IPBind p -> SDoc

pprPrec :: Rational -> IPBind p -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsIPBinds p)

Defined in HsBinds

Methods

ppr :: HsIPBinds p -> SDoc

pprPrec :: Rational -> HsIPBinds p -> SDoc

OutputableBndrId p => Outputable (ABExport p)

Defined in HsBinds

Methods

ppr :: ABExport p -> SDoc

pprPrec :: Rational -> ABExport p -> SDoc

Outputable a => Outputable (NonVoid a)

Defined in StgCmmClosure

Methods

ppr :: NonVoid a -> SDoc

pprPrec :: Rational -> NonVoid a -> SDoc

OutputableBndr (IdP pass) => Outputable (RoleAnnotDecl pass)

Defined in HsDecls

Methods

ppr :: RoleAnnotDecl pass -> SDoc

pprPrec :: Rational -> RoleAnnotDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (AnnDecl pass)

Defined in HsDecls

Methods

ppr :: AnnDecl pass -> SDoc

pprPrec :: Rational -> AnnDecl pass -> SDoc

OutputableBndr (IdP pass) => Outputable (WarnDecl pass)

Defined in HsDecls

Methods

ppr :: WarnDecl pass -> SDoc

pprPrec :: Rational -> WarnDecl pass -> SDoc

OutputableBndr (IdP pass) => Outputable (WarnDecls pass)

Defined in HsDecls

Methods

ppr :: WarnDecls pass -> SDoc

pprPrec :: Rational -> WarnDecls pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (VectDecl pass)

Defined in HsDecls

Methods

ppr :: VectDecl pass -> SDoc

pprPrec :: Rational -> VectDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (RuleBndr pass)

Defined in HsDecls

Methods

ppr :: RuleBndr pass -> SDoc

pprPrec :: Rational -> RuleBndr pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (RuleDecl pass)

Defined in HsDecls

Methods

ppr :: RuleDecl pass -> SDoc

pprPrec :: Rational -> RuleDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (RuleDecls pass)

Defined in HsDecls

Methods

ppr :: RuleDecls pass -> SDoc

pprPrec :: Rational -> RuleDecls pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (ForeignDecl pass)

Defined in HsDecls

Methods

ppr :: ForeignDecl pass -> SDoc

pprPrec :: Rational -> ForeignDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (DefaultDecl pass)

Defined in HsDecls

Methods

ppr :: DefaultDecl pass -> SDoc

pprPrec :: Rational -> DefaultDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (DerivDecl pass)

Defined in HsDecls

Methods

ppr :: DerivDecl pass -> SDoc

pprPrec :: Rational -> DerivDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (InstDecl pass)

Defined in HsDecls

Methods

ppr :: InstDecl pass -> SDoc

pprPrec :: Rational -> InstDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (ClsInstDecl pass)

Defined in HsDecls

Methods

ppr :: ClsInstDecl pass -> SDoc

pprPrec :: Rational -> ClsInstDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (DataFamInstDecl pass)

Defined in HsDecls

Methods

ppr :: DataFamInstDecl pass -> SDoc

pprPrec :: Rational -> DataFamInstDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (TyFamInstDecl pass)

Defined in HsDecls

Methods

ppr :: TyFamInstDecl pass -> SDoc

pprPrec :: Rational -> TyFamInstDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (ConDecl pass)

Defined in HsDecls

Methods

ppr :: ConDecl pass -> SDoc

pprPrec :: Rational -> ConDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsDerivingClause pass)

Defined in HsDecls

Methods

ppr :: HsDerivingClause pass -> SDoc

pprPrec :: Rational -> HsDerivingClause pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsDataDefn pass)

Defined in HsDecls

Methods

ppr :: HsDataDefn pass -> SDoc

pprPrec :: Rational -> HsDataDefn pass -> SDoc

Outputable (FamilyInfo pass)

Defined in HsDecls

Methods

ppr :: FamilyInfo pass -> SDoc

pprPrec :: Rational -> FamilyInfo pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (FamilyDecl pass)

Defined in HsDecls

Methods

ppr :: FamilyDecl pass -> SDoc

pprPrec :: Rational -> FamilyDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (TyClGroup pass)

Defined in HsDecls

Methods

ppr :: TyClGroup pass -> SDoc

pprPrec :: Rational -> TyClGroup pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (TyClDecl pass)

Defined in HsDecls

Methods

ppr :: TyClDecl pass -> SDoc

pprPrec :: Rational -> TyClDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (SpliceDecl pass)

Defined in HsDecls

Methods

ppr :: SpliceDecl pass -> SDoc

pprPrec :: Rational -> SpliceDecl pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsGroup pass)

Defined in HsDecls

Methods

ppr :: HsGroup pass -> SDoc

pprPrec :: Rational -> HsGroup pass -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsDecl pass)

Defined in HsDecls

Methods

ppr :: HsDecl pass -> SDoc

pprPrec :: Rational -> HsDecl pass -> SDoc

(Outputable p, Outputable (NameOrRdrName p)) => Outputable (HsStmtContext p)

Defined in HsExpr

Methods

ppr :: HsStmtContext p -> SDoc

pprPrec :: Rational -> HsStmtContext p -> SDoc

OutputableBndr id => Outputable (HsMatchContext id)

Defined in HsExpr

Methods

ppr :: HsMatchContext id -> SDoc

pprPrec :: Rational -> HsMatchContext id -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (ArithSeqInfo p)

Defined in HsExpr

Methods

ppr :: ArithSeqInfo p -> SDoc

pprPrec :: Rational -> ArithSeqInfo p -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsBracket p)

Defined in HsExpr

Methods

ppr :: HsBracket p -> SDoc

pprPrec :: Rational -> HsBracket p -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsSplicedThing p)

Defined in HsExpr

Methods

ppr :: HsSplicedThing p -> SDoc

pprPrec :: Rational -> HsSplicedThing p -> SDoc

(SourceTextX p, OutputableBndrId p) => Outputable (HsCmdTop p)

Defined in HsExpr

Methods

ppr :: HsCmdTop p -> SDoc

pprPrec :: Rational -> HsCmdTop p -> SDoc

(SourceTextX pass, OutputableBndrId pass) => Outputable (HsModule pass)

Defined in HsSyn

Methods

ppr :: HsModule pass -> SDoc

pprPrec :: Rational -> HsModule pass -> SDoc

(SourceTextX a, OutputableBndrId a) => Outputable (InstInfo a)

Defined in TcEnv

Methods

ppr :: InstInfo a -> SDoc

pprPrec :: Rational -> InstInfo a -> SDoc

Outputable (FunDepEqn a)

Defined in FunDeps

Methods

ppr :: FunDepEqn a -> SDoc

pprPrec :: Rational -> FunDepEqn a -> SDoc

Outputable a => Outputable (StopOrContinue a)

Defined in TcCanonical

Methods

ppr :: StopOrContinue a -> SDoc

pprPrec :: Rational -> StopOrContinue a -> SDoc

Outputable theta => Outputable (DerivSpec theta)

Defined in TcDerivUtils

Methods

ppr :: DerivSpec theta -> SDoc

pprPrec :: Rational -> DerivSpec theta -> SDoc

Outputable a => Outputable (ProtoBCO a)

Defined in ByteCodeInstr

Methods

ppr :: ProtoBCO a -> SDoc

pprPrec :: Rational -> ProtoBCO a -> SDoc

(Outputable a, Outputable b) => Outputable (Either a b)

Defined in Outputable

Methods

ppr :: Either a b -> SDoc

pprPrec :: Rational -> Either a b -> SDoc

(Outputable a, Outputable b) => Outputable (a, b)

Defined in Outputable

Methods

ppr :: (a, b) -> SDoc

pprPrec :: Rational -> (a, b) -> SDoc

(Outputable key, Outputable elt) => Outputable (Map key elt)

Defined in Outputable

Methods

ppr :: Map key elt -> SDoc

pprPrec :: Rational -> Map key elt -> SDoc

(Outputable l, Outputable e) => Outputable (GenLocated l e)

Defined in SrcLoc

Methods

ppr :: GenLocated l e -> SDoc

pprPrec :: Rational -> GenLocated l e -> SDoc

(Outputable k, Outputable a) => Outputable (UniqMap k a)

Defined in UniqMap

Methods

ppr :: UniqMap k a -> SDoc

pprPrec :: Rational -> UniqMap k a -> SDoc

(Outputable a, Outputable b) => Outputable (Node a b)

Defined in Digraph

Methods

ppr :: Node a b -> SDoc

pprPrec :: Rational -> Node a b -> SDoc

Outputable tv => Outputable (TyVarBndr tv ArgFlag)

Defined in Var

Methods

ppr :: TyVarBndr tv ArgFlag -> SDoc

pprPrec :: Rational -> TyVarBndr tv ArgFlag -> SDoc

Outputable tv => Outputable (TyVarBndr tv TyConBndrVis)

Defined in TyCon

Methods

ppr :: TyVarBndr tv TyConBndrVis -> SDoc

pprPrec :: Rational -> TyVarBndr tv TyConBndrVis -> SDoc

(TrieMap m, Outputable a) => Outputable (ListMap m a)

Defined in TrieMap

Methods

ppr :: ListMap m a -> SDoc

pprPrec :: Rational -> ListMap m a -> SDoc

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgRhs bndr bdee)

Defined in StgSyn

Methods

ppr :: GenStgRhs bndr bdee -> SDoc

pprPrec :: Rational -> GenStgRhs bndr bdee -> SDoc

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgExpr bndr bdee)

Defined in StgSyn

Methods

ppr :: GenStgExpr bndr bdee -> SDoc

pprPrec :: Rational -> GenStgExpr bndr bdee -> SDoc

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgBinding bndr bdee)

Defined in StgSyn

Methods

ppr :: GenStgBinding bndr bdee -> SDoc

pprPrec :: Rational -> GenStgBinding bndr bdee -> SDoc

(OutputableBndr bndr, Outputable bdee, Ord bdee) => Outputable (GenStgTopBinding bndr bdee)

Defined in StgSyn

Methods

ppr :: GenStgTopBinding bndr bdee -> SDoc

pprPrec :: Rational -> GenStgTopBinding bndr bdee -> SDoc

Outputable (CmmNode e x)

Defined in PprCmm

Methods

ppr :: CmmNode e x -> SDoc

pprPrec :: Rational -> CmmNode e x -> SDoc

(Outputable arg, Outputable rec) => Outputable (HsConDetails arg rec)

Defined in HsTypes

Methods

ppr :: HsConDetails arg rec -> SDoc

pprPrec :: Rational -> HsConDetails arg rec -> SDoc

Outputable thing => Outputable (HsWildCardBndrs pass thing)

Defined in HsTypes

Methods

ppr :: HsWildCardBndrs pass thing -> SDoc

pprPrec :: Rational -> HsWildCardBndrs pass thing -> SDoc

Outputable thing => Outputable (HsImplicitBndrs pass thing)

Defined in HsTypes

Methods

ppr :: HsImplicitBndrs pass thing -> SDoc

pprPrec :: Rational -> HsImplicitBndrs pass thing -> SDoc

(SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (PatSynBind idL idR)

Defined in HsBinds

Methods

ppr :: PatSynBind idL idR -> SDoc

pprPrec :: Rational -> PatSynBind idL idR -> SDoc

(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsBindLR idL idR)

Defined in HsBinds

Methods

ppr :: HsBindLR idL idR -> SDoc

pprPrec :: Rational -> HsBindLR idL idR -> SDoc

(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsValBindsLR idL idR)

Defined in HsBinds

Methods

ppr :: HsValBindsLR idL idR -> SDoc

pprPrec :: Rational -> HsValBindsLR idL idR -> SDoc

(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsLocalBindsLR idL idR)

Defined in HsBinds

Methods

ppr :: HsLocalBindsLR idL idR -> SDoc

pprPrec :: Rational -> HsLocalBindsLR idL idR -> SDoc

(Outputable p, Outputable arg) => Outputable (HsRecField' p arg)

Defined in HsPat

Methods

ppr :: HsRecField' p arg -> SDoc

pprPrec :: Rational -> HsRecField' p arg -> SDoc

Outputable arg => Outputable (HsRecFields p arg)

Defined in HsPat

Methods

ppr :: HsRecFields p arg -> SDoc

pprPrec :: Rational -> HsRecFields p arg -> SDoc

(SourceTextX idL, OutputableBndrId idL) => Outputable (ParStmtBlock idL idR)

Defined in HsExpr

Methods

ppr :: ParStmtBlock idL idR -> SDoc

pprPrec :: Rational -> ParStmtBlock idL idR -> SDoc

(SourceTextX idR, OutputableBndrId idR, Outputable body) => Outputable (Match idR body)

Defined in HsExpr

Methods

ppr :: Match idR body -> SDoc

pprPrec :: Rational -> Match idR body -> SDoc

(Outputable statics, Outputable instr) => Outputable (RegAllocStats statics instr)

Defined in RegAlloc.Graph.Stats

Methods

ppr :: RegAllocStats statics instr -> SDoc

pprPrec :: Rational -> RegAllocStats statics instr -> SDoc

(Outputable a, Outputable b, Outputable c) => Outputable (a, b, c)

Defined in Outputable

Methods

ppr :: (a, b, c) -> SDoc

pprPrec :: Rational -> (a, b, c) -> SDoc

Outputable (Block CmmNode C C)

Defined in PprCmm

Methods

ppr :: Block CmmNode C C -> SDoc

pprPrec :: Rational -> Block CmmNode C C -> SDoc

Outputable (Block CmmNode C O)

Defined in PprCmm

Methods

ppr :: Block CmmNode C O -> SDoc

pprPrec :: Rational -> Block CmmNode C O -> SDoc

Outputable (Block CmmNode O C)

Defined in PprCmm

Methods

ppr :: Block CmmNode O C -> SDoc

pprPrec :: Rational -> Block CmmNode O C -> SDoc

Outputable (Block CmmNode O O)

Defined in PprCmm

Methods

ppr :: Block CmmNode O O -> SDoc

pprPrec :: Rational -> Block CmmNode O O -> SDoc

Outputable (Graph CmmNode e x)

Defined in PprCmm

Methods

ppr :: Graph CmmNode e x -> SDoc

pprPrec :: Rational -> Graph CmmNode e x -> SDoc

(Outputable d, Outputable info, Outputable i) => Outputable (GenCmmDecl d info i)

Defined in PprCmmDecl

Methods

ppr :: GenCmmDecl d info i -> SDoc

pprPrec :: Rational -> GenCmmDecl d info i -> SDoc

(SourceTextX idL, SourceTextX idR, OutputableBndrId idL, OutputableBndrId idR, Outputable body) => Outputable (StmtLR idL idR body)

Defined in HsExpr

Methods

ppr :: StmtLR idL idR body -> SDoc

pprPrec :: Rational -> StmtLR idL idR body -> SDoc

(Outputable a, Outputable b, Outputable c, Outputable d) => Outputable (a, b, c, d)

Defined in Outputable

Methods

ppr :: (a, b, c, d) -> SDoc

pprPrec :: Rational -> (a, b, c, d) -> SDoc

(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e) => Outputable (a, b, c, d, e)

Defined in Outputable

Methods

ppr :: (a, b, c, d, e) -> SDoc

pprPrec :: Rational -> (a, b, c, d, e) -> SDoc

(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f) => Outputable (a, b, c, d, e, f)

Defined in Outputable

Methods

ppr :: (a, b, c, d, e, f) -> SDoc

pprPrec :: Rational -> (a, b, c, d, e, f) -> SDoc

(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f, Outputable g) => Outputable (a, b, c, d, e, f, g)

Defined in Outputable

Methods

ppr :: (a, b, c, d, e, f, g) -> SDoc

pprPrec :: Rational -> (a, b, c, d, e, f, g) -> SDoc

class Outputable a => OutputableBndr a where

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

Minimal complete definition

pprPrefixOcc, pprInfixOcc

Methods

pprBndr :: BindingSite -> a -> SDoc

pprPrefixOcc :: a -> SDoc

pprInfixOcc :: a -> SDoc

bndrIsJoin_maybe :: a -> Maybe Int

Instances

OutputableBndr Name

Defined in Name

Methods

pprBndr :: BindingSite -> Name -> SDoc

pprPrefixOcc :: Name -> SDoc

pprInfixOcc :: Name -> SDoc

bndrIsJoin_maybe :: Name -> Maybe Int

OutputableBndr OccName

Defined in OccName

Methods

pprBndr :: BindingSite -> OccName -> SDoc

pprPrefixOcc :: OccName -> SDoc

pprInfixOcc :: OccName -> SDoc

bndrIsJoin_maybe :: OccName -> Maybe Int

OutputableBndr RdrName

Defined in RdrName

Methods

pprBndr :: BindingSite -> RdrName -> SDoc

pprPrefixOcc :: RdrName -> SDoc

pprInfixOcc :: RdrName -> SDoc

bndrIsJoin_maybe :: RdrName -> Maybe Int

OutputableBndr Var

Defined in PprCore

Methods

pprBndr :: BindingSite -> Var -> SDoc

pprPrefixOcc :: Var -> SDoc

pprInfixOcc :: Var -> SDoc

bndrIsJoin_maybe :: Var -> Maybe Int

OutputableBndr PatSyn

Defined in PatSyn

Methods

pprBndr :: BindingSite -> PatSyn -> SDoc

pprPrefixOcc :: PatSyn -> SDoc

pprInfixOcc :: PatSyn -> SDoc

bndrIsJoin_maybe :: PatSyn -> Maybe Int

OutputableBndr DataCon

Defined in DataCon

Methods

pprBndr :: BindingSite -> DataCon -> SDoc

pprPrefixOcc :: DataCon -> SDoc

pprInfixOcc :: DataCon -> SDoc

bndrIsJoin_maybe :: DataCon -> Maybe Int

OutputableBndr ConLike

Defined in ConLike

Methods

pprBndr :: BindingSite -> ConLike -> SDoc

pprPrefixOcc :: ConLike -> SDoc

pprInfixOcc :: ConLike -> SDoc

bndrIsJoin_maybe :: ConLike -> Maybe Int

OutputableBndr HsIPName

Defined in HsTypes

Methods

pprBndr :: BindingSite -> HsIPName -> SDoc

pprPrefixOcc :: HsIPName -> SDoc

pprInfixOcc :: HsIPName -> SDoc

bndrIsJoin_maybe :: HsIPName -> Maybe Int

Outputable b => OutputableBndr (TaggedBndr b)

Defined in PprCore

Methods

pprBndr :: BindingSite -> TaggedBndr b -> SDoc

pprPrefixOcc :: TaggedBndr b -> SDoc

pprInfixOcc :: TaggedBndr b -> SDoc

bndrIsJoin_maybe :: TaggedBndr b -> Maybe Int

OutputableBndr name => OutputableBndr (IEWrappedName name)

Defined in HsImpExp

Methods

pprBndr :: BindingSite -> IEWrappedName name -> SDoc

pprPrefixOcc :: IEWrappedName name -> SDoc

pprInfixOcc :: IEWrappedName name -> SDoc

bndrIsJoin_maybe :: IEWrappedName name -> Maybe Int

OutputableBndr (AmbiguousFieldOcc pass)

Defined in HsTypes

Methods

pprBndr :: BindingSite -> AmbiguousFieldOcc pass -> SDoc

pprPrefixOcc :: AmbiguousFieldOcc pass -> SDoc

pprInfixOcc :: AmbiguousFieldOcc pass -> SDoc

bndrIsJoin_maybe :: AmbiguousFieldOcc pass -> Maybe Int

Pretty printing combinators

data SDoc

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

Defined in Outputable

Methods

fromString :: String -> SDoc

runSDoc :: SDoc -> SDocContext -> Doc

initSDocContext :: DynFlags -> PprStyle -> SDocContext

docToSDoc :: Doc -> SDoc

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

Returns the separated concatenation of the pretty printed things.

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

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

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

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

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

pprWithCommas

Arguments

:: (a -> SDoc)

The pretty printing function to use

-> [a]

The things to be pretty printed

-> SDoc

SDoc where the things have been pretty printed, comma-separated and finally packed into a paragraph.

quotedListWithOr :: [SDoc] -> SDoc

quotedListWithNor :: [SDoc] -> SDoc

pprWithBars

Arguments

:: (a -> SDoc)

The pretty printing function to use

-> [a]

The things to be pretty printed

-> SDoc

SDoc where the things have been pretty printed, bar-separated and finally packed into a paragraph.

empty :: SDoc

isEmpty :: DynFlags -> SDoc -> Bool

nest :: Int -> SDoc -> SDoc

Indent SDoc some specified amount

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

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

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

Join two SDoc together horizontally without a gap

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

Join two SDoc together horizontally with a gap between them

hcat :: [SDoc] -> SDoc

Concatenate SDoc horizontally

hsep :: [SDoc] -> SDoc

Concatenate SDoc horizontally with a space between each one

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

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

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

Join two SDoc together vertically

vcat :: [SDoc] -> SDoc

Concatenate SDoc vertically with dovetailing

sep :: [SDoc] -> SDoc

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

cat :: [SDoc] -> SDoc

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

fsep :: [SDoc] -> SDoc

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

fcat :: [SDoc] -> SDoc

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

hang

Arguments

:: SDoc

The header

-> Int

Amount to indent the hung body

-> SDoc

The hung body, indented and placed below the header

-> SDoc

hangNotEmpty :: SDoc -> Int -> SDoc -> SDoc

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

punctuate

Arguments

:: SDoc

The punctuation

-> [SDoc]

The list that will have punctuation added between every adjacent pair of elements

-> [SDoc]

Punctuated list

ppWhen :: Bool -> SDoc -> SDoc

ppUnless :: Bool -> SDoc -> SDoc

speakNth :: Int -> SDoc

Converts an integer to a verbal index:

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

speakN :: Int -> SDoc

Converts an integer to a verbal multiplicity:

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

speakNOf :: Int -> SDoc -> SDoc

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

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

plural :: [a] -> SDoc

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

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

isOrAre :: [a] -> SDoc

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

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

doOrDoes :: [a] -> SDoc

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

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

unicodeSyntax :: SDoc -> SDoc -> SDoc

coloured :: PprColour -> SDoc -> SDoc

Apply the given colour/style for the argument.

Only takes effect if colours are enabled.

keyword :: SDoc -> SDoc

Converting SDoc into strings and outputing it

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

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

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

Like printSDoc but appends an extra newline.

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

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

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

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

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

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

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

Special combinator for showing character literals.

pprHsString :: FastString -> SDoc

Special combinator for showing string literals.

pprHsBytes :: ByteString -> SDoc

Special combinator for showing bytestring literals.

primFloatSuffix :: SDoc

primCharSuffix :: SDoc

primWordSuffix :: SDoc

primDoubleSuffix :: SDoc

primInt64Suffix :: SDoc

primWord64Suffix :: SDoc

primIntSuffix :: SDoc

pprPrimChar :: Char -> SDoc

Special combinator for showing unboxed literals.

pprPrimInt :: Integer -> SDoc

pprPrimWord :: Integer -> SDoc

pprPrimInt64 :: Integer -> SDoc

pprPrimWord64 :: Integer -> SDoc

pprFastFilePath :: FastString -> SDoc

Controlling the style in which output is printed

data BindingSite

BindingSite is used to tell the thing that prints binder what language construct is binding the identifier. This can be used to decide how much info to print. Also see Note [Binding-site specific printing] in 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

Instances

Outputable PprStyle

Defined in Outputable

Methods

ppr :: PprStyle -> SDoc

pprPrec :: Rational -> PprStyle -> SDoc

data CodeStyle

Constructors

CStyle

AsmStyle

data PrintUnqualified

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

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

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

type QueryQualifyPackage = UnitId -> Bool

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

reallyAlwaysQualify :: PrintUnqualified

reallyAlwaysQualifyNames :: QueryQualifyName

alwaysQualify :: PrintUnqualified

alwaysQualifyNames :: QueryQualifyName

NB: This won't ever show package IDs

alwaysQualifyModules :: QueryQualifyModule

neverQualify :: PrintUnqualified

neverQualifyNames :: QueryQualifyName

neverQualifyModules :: QueryQualifyModule

alwaysQualifyPackages :: QueryQualifyPackage

neverQualifyPackages :: QueryQualifyPackage

data QualifyName

Constructors

NameUnqual

NameQual ModuleName

NameNotInScope1

NameNotInScope2

Instances

Outputable QualifyName

Defined in Outputable

Methods

ppr :: QualifyName -> SDoc

pprPrec :: Rational -> QualifyName -> SDoc

queryQual :: PprStyle -> PrintUnqualified

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

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

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

withPprStyle :: PprStyle -> SDoc -> SDoc

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

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

pprDeeper :: SDoc -> SDoc

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

Truncate a list that is longer than the current depth.

pprSetDepth :: Depth -> SDoc -> SDoc

codeStyle :: PprStyle -> Bool

userStyle :: PprStyle -> Bool

debugStyle :: PprStyle -> Bool

dumpStyle :: PprStyle -> Bool

asmStyle :: PprStyle -> Bool

qualName :: PprStyle -> QueryQualifyName

qualModule :: PprStyle -> QueryQualifyModule

qualPackage :: PprStyle -> QueryQualifyPackage

mkErrStyle :: DynFlags -> PrintUnqualified -> PprStyle

Style for printing error messages

defaultErrStyle :: DynFlags -> PprStyle

defaultDumpStyle :: DynFlags -> PprStyle

mkDumpStyle :: DynFlags -> PrintUnqualified -> PprStyle

defaultUserStyle :: DynFlags -> PprStyle

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

cmdlineParserStyle :: DynFlags -> PprStyle

data Depth

Constructors

AllTheWay

PartWay Int

ifPprDebug :: SDoc -> SDoc -> SDoc

Says what to do with and without -dppr-debug

whenPprDebug :: SDoc -> SDoc

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

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

Error handling and debugging utilities

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

Throw an exception saying "bug in GHC"

pprSorry :: String -> SDoc -> a

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

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

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

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

pprTrace :: String -> SDoc -> a -> a

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

pprTraceDebug :: String -> SDoc -> a -> a

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

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

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

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

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

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

trace :: String -> a -> a

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

Panics and asserts.

panic :: String -> a

Panics and asserts.

sorry :: String -> a

Panics and asserts.

assertPanic :: String -> Int -> a

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

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

callStackDoc :: HasCallStack => SDoc