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

Minimal complete definition

Nothing

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 MCoercion

Defined in TyCoRep

Methods

ppr :: MCoercion -> SDoc

pprPrec :: Rational -> MCoercion -> SDoc

Outputable TyCoBinder

Defined in TyCoRep

Methods

ppr :: TyCoBinder -> SDoc

pprPrec :: Rational -> TyCoBinder -> SDoc

Outputable TyLit

Defined in TyCoRep

Methods

ppr :: TyLit -> SDoc

pprPrec :: Rational -> TyLit -> 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 TcTyVarDetails

Defined in TcType

Methods

ppr :: TcTyVarDetails -> SDoc

pprPrec :: Rational -> TcTyVarDetails -> 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 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 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 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 EdgeType

Defined in Digraph

Methods

ppr :: EdgeType -> SDoc

pprPrec :: Rational -> EdgeType -> 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 ArgDocMap

Defined in HsDoc

Methods

ppr :: ArgDocMap -> SDoc

pprPrec :: Rational -> ArgDocMap -> SDoc

Outputable DeclDocMap

Defined in HsDoc

Methods

ppr :: DeclDocMap -> SDoc

pprPrec :: Rational -> DeclDocMap -> SDoc

Outputable HsDocString

Defined in HsDoc

Methods

ppr :: HsDocString -> SDoc

pprPrec :: Rational -> HsDocString -> SDoc

Outputable Annotation

Defined in Annotations

Methods

ppr :: Annotation -> SDoc

pprPrec :: Rational -> Annotation -> SDoc

Outputable CoreToDo

Defined in CoreMonad

Methods

ppr :: CoreToDo -> SDoc

pprPrec :: Rational -> CoreToDo -> SDoc

Outputable UnusablePackageReason

Defined in Packages

Methods

ppr :: UnusablePackageReason -> SDoc

pprPrec :: Rational -> UnusablePackageReason -> 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 IfaceBndr

Defined in IfaceType

Methods

ppr :: IfaceBndr -> SDoc

pprPrec :: Rational -> IfaceBndr -> 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 IfaceAppArgs

Defined in IfaceType

Methods

ppr :: IfaceAppArgs -> SDoc

pprPrec :: Rational -> IfaceAppArgs -> SDoc

Outputable NoExt

Defined in HsExtension

Methods

ppr :: NoExt -> SDoc

pprPrec :: Rational -> NoExt -> 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 InScopeSet

Defined in VarEnv

Methods

ppr :: InScopeSet -> SDoc

pprPrec :: Rational -> InScopeSet -> 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 TyConBndrVis

Defined in TyCon

Methods

ppr :: TyConBndrVis -> SDoc

pprPrec :: Rational -> TyConBndrVis -> SDoc

Outputable Scope

Defined in HieTypes

Methods

ppr :: Scope -> SDoc

pprPrec :: Rational -> Scope -> SDoc

Outputable ContextInfo

Defined in HieTypes

Methods

ppr :: ContextInfo -> SDoc

pprPrec :: Rational -> ContextInfo -> 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 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 OverLitVal

Defined in HsLit

Methods

ppr :: OverLitVal -> SDoc

pprPrec :: Rational -> OverLitVal -> 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 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 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 HsTyLit

Defined in HsTypes

Methods

ppr :: HsTyLit -> SDoc

pprPrec :: Rational -> HsTyLit -> SDoc

Outputable NewHsTypeX

Defined in HsTypes

Methods

ppr :: NewHsTypeX -> SDoc

pprPrec :: Rational -> NewHsTypeX -> SDoc

Outputable HsIPName

Defined in HsTypes

Methods

ppr :: HsIPName -> SDoc

pprPrec :: Rational -> HsIPName -> 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 NoExtSilent

Defined in StgSyn

Methods

ppr :: NoExtSilent -> SDoc

pprPrec :: Rational -> NoExtSilent -> SDoc

Outputable StgArg

Defined in StgSyn

Methods

ppr :: StgArg -> SDoc

pprPrec :: Rational -> StgArg -> SDoc

Outputable FloatLang

Defined in StgLiftLams.LiftM

Methods

ppr :: FloatLang -> SDoc

pprPrec :: Rational -> FloatLang -> 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 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 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 EdgeInfo

Defined in CFG

Methods

ppr :: EdgeInfo -> SDoc

pprPrec :: Rational -> EdgeInfo -> SDoc

Outputable CfgEdge

Defined in CFG

Methods

ppr :: CfgEdge -> SDoc

pprPrec :: Rational -> CfgEdge -> SDoc

Outputable EdgeWeight

Defined in CFG

Methods

ppr :: EdgeWeight -> SDoc

pprPrec :: Rational -> EdgeWeight -> 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 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 TcLevel

Defined in TcType

Methods

ppr :: TcLevel -> SDoc

pprPrec :: Rational -> TcLevel -> SDoc

Outputable MetaInfo

Defined in TcType

Methods

ppr :: MetaInfo -> SDoc

pprPrec :: Rational -> MetaInfo -> 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 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 BinderInfo

Defined in StgLiftLams.Analysis

Methods

ppr :: BinderInfo -> SDoc

pprPrec :: Rational -> BinderInfo -> SDoc

Outputable Skeleton

Defined in StgLiftLams.Analysis

Methods

ppr :: Skeleton -> SDoc

pprPrec :: Rational -> Skeleton -> SDoc

Outputable ModuleSRTInfo

Defined in CmmBuildInfoTables

Methods

ppr :: ModuleSRTInfo -> SDoc

pprPrec :: Rational -> ModuleSRTInfo -> SDoc

Outputable ClsInst

Defined in InstEnv

Methods

ppr :: ClsInst -> SDoc

pprPrec :: Rational -> ClsInst -> SDoc

Outputable EvCallStack

Defined in TcEvidence

Methods

ppr :: EvCallStack -> SDoc

pprPrec :: Rational -> EvCallStack -> 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 TcSpecPrag

Defined in HsBinds

Methods

ppr :: TcSpecPrag -> SDoc

pprPrec :: Rational -> TcSpecPrag -> 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 TyEl

Defined in RdrHsSyn

Methods

ppr :: TyEl -> SDoc

pprPrec :: Rational -> TyEl -> 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 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 QCInst

Defined in TcRnTypes

Methods

ppr :: QCInst -> SDoc

pprPrec :: Rational -> QCInst -> 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 CandidatesQTvs

Defined in TcMType

Methods

ppr :: CandidatesQTvs -> SDoc

pprPrec :: Rational -> CandidatesQTvs -> SDoc

Outputable PhasePlus

Defined in PipelineMonad

Methods

ppr :: PhasePlus -> SDoc

pprPrec :: Rational -> PhasePlus -> SDoc

Outputable PluginRecompile

Defined in Plugins

Methods

ppr :: PluginRecompile -> SDoc

pprPrec :: Rational -> PluginRecompile -> 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 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 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 Subst

Defined in CoreSubst

Methods

ppr :: Subst -> SDoc

pprPrec :: Rational -> Subst -> 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 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 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 HieName

Defined in HieBin

Methods

ppr :: HieName -> SDoc

pprPrec :: Rational -> HieName -> 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 BCInstr

Defined in ByteCodeInstr

Methods

ppr :: BCInstr -> SDoc

pprPrec :: Rational -> BCInstr -> 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 ZonkEnv

Defined in TcHsSyn

Methods

ppr :: ZonkEnv -> SDoc

pprPrec :: Rational -> ZonkEnv -> SDoc

Outputable Term

Defined in RtClosureInspect

Methods

ppr :: Term -> SDoc

pprPrec :: Rational -> Term -> SDoc

Outputable InstanceWhat

Defined in ClsInst

Methods

ppr :: InstanceWhat -> SDoc

pprPrec :: Rational -> InstanceWhat -> SDoc

Outputable ClsInstResult

Defined in ClsInst

Methods

ppr :: ClsInstResult -> SDoc

pprPrec :: Rational -> ClsInstResult -> 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 Rank

Defined in TcValidity

Methods

ppr :: Rank -> SDoc

pprPrec :: Rational -> Rank -> 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 DerivContext

Defined in TcDerivUtils

Methods

ppr :: DerivContext -> SDoc

pprPrec :: Rational -> DerivContext -> 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 RequireSaturation

Defined in TcHsType

Methods

ppr :: RequireSaturation -> SDoc

pprPrec :: Rational -> RequireSaturation -> SDoc

Outputable LetBndrSpec

Defined in TcPat

Methods

ppr :: LetBndrSpec -> SDoc

pprPrec :: Rational -> LetBndrSpec -> SDoc

Outputable HoleFit

Defined in TcHoleErrors

Methods

ppr :: HoleFit -> SDoc

pprPrec :: Rational -> HoleFit -> SDoc

Outputable HoleFitCandidate

Defined in TcHoleErrors

Methods

ppr :: HoleFitCandidate -> SDoc

pprPrec :: Rational -> HoleFitCandidate -> SDoc

Outputable JumpDest

Defined in X86.Instr

Methods

ppr :: JumpDest -> SDoc

pprPrec :: Rational -> JumpDest -> 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 JumpDest

Defined in SPARC.ShortcutJump

Methods

ppr :: JumpDest -> SDoc

pprPrec :: Rational -> JumpDest -> SDoc

Outputable Instr

Defined in PPC.Ppr

Methods

ppr :: Instr -> SDoc

pprPrec :: Rational -> Instr -> SDoc

Outputable JumpDest

Defined in PPC.RegInfo

Methods

ppr :: JumpDest -> SDoc

pprPrec :: Rational -> JumpDest -> SDoc

Outputable DwarfFrameBlock

Defined in Dwarf.Types

Methods

ppr :: DwarfFrameBlock -> SDoc

pprPrec :: Rational -> DwarfFrameBlock -> SDoc

Outputable GetDocsFailure

Defined in InteractiveEval

Methods

ppr :: GetDocsFailure -> SDoc

pprPrec :: Rational -> GetDocsFailure -> 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 (UniqDSet a)

Defined in UniqDSet

Methods

ppr :: UniqDSet a -> SDoc

pprPrec :: Rational -> UniqDSet 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

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (Pat p)

Defined in HsPat

Methods

ppr :: Pat p -> SDoc

pprPrec :: Rational -> Pat p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (IE p)

Defined in HsImpExp

Methods

ppr :: IE p -> SDoc

pprPrec :: Rational -> IE p -> SDoc

OutputableBndr name => Outputable (IEWrappedName name)

Defined in HsImpExp

Methods

ppr :: IEWrappedName name -> SDoc

pprPrec :: Rational -> IEWrappedName name -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (ImportDecl p)

Defined in HsImpExp

Methods

ppr :: ImportDecl p -> SDoc

pprPrec :: Rational -> ImportDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (SyntaxExpr p)

Defined in HsExpr

Methods

ppr :: SyntaxExpr p -> SDoc

pprPrec :: Rational -> SyntaxExpr p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsSplice p)

Defined in HsExpr

Methods

ppr :: HsSplice p -> SDoc

pprPrec :: Rational -> HsSplice p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsCmd p)

Defined in HsExpr

Methods

ppr :: HsCmd p -> SDoc

pprPrec :: Rational -> HsCmd p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsExpr p)

Defined in HsExpr

Methods

ppr :: HsExpr p -> SDoc

pprPrec :: Rational -> HsExpr p -> SDoc

Outputable (CoAxiom br)

Defined in CoAxiom

Methods

ppr :: CoAxiom br -> SDoc

pprPrec :: Rational -> CoAxiom br -> SDoc

Outputable a => Outputable (IdentifierDetails a)

Defined in HieTypes

Methods

ppr :: IdentifierDetails a -> SDoc

pprPrec :: Rational -> IdentifierDetails a -> SDoc

Outputable a => Outputable (LabelMap a)

Defined in Hoopl.Label

Methods

ppr :: LabelMap a -> SDoc

pprPrec :: Rational -> LabelMap a -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsOverLit p)

Defined in HsLit

Methods

ppr :: HsOverLit p -> SDoc

pprPrec :: Rational -> HsOverLit p -> SDoc

p ~ GhcPass pass => Outputable (HsLit p)

Defined in HsLit

Methods

ppr :: HsLit p -> SDoc

pprPrec :: Rational -> HsLit p -> 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

p ~ GhcPass pass => Outputable (AmbiguousFieldOcc p)

Defined in HsTypes

Methods

ppr :: AmbiguousFieldOcc p -> SDoc

pprPrec :: Rational -> AmbiguousFieldOcc p -> SDoc

Outputable (FieldOcc pass)

Defined in HsTypes

Methods

ppr :: FieldOcc pass -> SDoc

pprPrec :: Rational -> FieldOcc pass -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (ConDeclField p)

Defined in HsTypes

Methods

ppr :: ConDeclField p -> SDoc

pprPrec :: Rational -> ConDeclField p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsType p)

Defined in HsTypes

Methods

ppr :: HsType p -> SDoc

pprPrec :: Rational -> HsType p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsTyVarBndr p)

Defined in HsTypes

Methods

ppr :: HsTyVarBndr p -> SDoc

pprPrec :: Rational -> HsTyVarBndr p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (LHsQTyVars p)

Defined in HsTypes

Methods

ppr :: LHsQTyVars p -> SDoc

pprPrec :: Rational -> LHsQTyVars p -> SDoc

OutputablePass pass => Outputable (GenStgRhs pass)

Defined in StgSyn

Methods

ppr :: GenStgRhs pass -> SDoc

pprPrec :: Rational -> GenStgRhs pass -> SDoc

OutputablePass pass => Outputable (GenStgExpr pass)

Defined in StgSyn

Methods

ppr :: GenStgExpr pass -> SDoc

pprPrec :: Rational -> GenStgExpr pass -> SDoc

OutputablePass pass => Outputable (GenStgBinding pass)

Defined in StgSyn

Methods

ppr :: GenStgBinding pass -> SDoc

pprPrec :: Rational -> GenStgBinding pass -> SDoc

OutputablePass pass => Outputable (GenStgTopBinding pass)

Defined in StgSyn

Methods

ppr :: GenStgTopBinding pass -> SDoc

pprPrec :: Rational -> GenStgTopBinding pass -> 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

Outputable a => Outputable (CoreMap a)

Defined in CoreMap

Methods

ppr :: CoreMap a -> SDoc

pprPrec :: Rational -> CoreMap a -> SDoc

Outputable a => Outputable (NonVoid a)

Defined in StgCmmClosure

Methods

ppr :: NonVoid a -> SDoc

pprPrec :: Rational -> NonVoid a -> SDoc

Outputable a => Outputable (RecordPatSynField a)

Defined in HsBinds

Methods

ppr :: RecordPatSynField a -> SDoc

pprPrec :: Rational -> RecordPatSynField a -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (FixitySig p)

Defined in HsBinds

Methods

ppr :: FixitySig p -> SDoc

pprPrec :: Rational -> FixitySig p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (Sig p)

Defined in HsBinds

Methods

ppr :: Sig p -> SDoc

pprPrec :: Rational -> Sig p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (IPBind p)

Defined in HsBinds

Methods

ppr :: IPBind p -> SDoc

pprPrec :: Rational -> IPBind p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsIPBinds p)

Defined in HsBinds

Methods

ppr :: HsIPBinds p -> SDoc

pprPrec :: Rational -> HsIPBinds p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (ABExport p)

Defined in HsBinds

Methods

ppr :: ABExport p -> SDoc

pprPrec :: Rational -> ABExport p -> SDoc

(p ~ GhcPass pass, OutputableBndr (IdP p)) => Outputable (RoleAnnotDecl p)

Defined in HsDecls

Methods

ppr :: RoleAnnotDecl p -> SDoc

pprPrec :: Rational -> RoleAnnotDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (AnnDecl p)

Defined in HsDecls

Methods

ppr :: AnnDecl p -> SDoc

pprPrec :: Rational -> AnnDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndr (IdP p)) => Outputable (WarnDecl p)

Defined in HsDecls

Methods

ppr :: WarnDecl p -> SDoc

pprPrec :: Rational -> WarnDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndr (IdP p)) => Outputable (WarnDecls p)

Defined in HsDecls

Methods

ppr :: WarnDecls p -> SDoc

pprPrec :: Rational -> WarnDecls p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (RuleBndr p)

Defined in HsDecls

Methods

ppr :: RuleBndr p -> SDoc

pprPrec :: Rational -> RuleBndr p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (RuleDecl p)

Defined in HsDecls

Methods

ppr :: RuleDecl p -> SDoc

pprPrec :: Rational -> RuleDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (RuleDecls p)

Defined in HsDecls

Methods

ppr :: RuleDecls p -> SDoc

pprPrec :: Rational -> RuleDecls p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (ForeignDecl p)

Defined in HsDecls

Methods

ppr :: ForeignDecl p -> SDoc

pprPrec :: Rational -> ForeignDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (DefaultDecl p)

Defined in HsDecls

Methods

ppr :: DefaultDecl p -> SDoc

pprPrec :: Rational -> DefaultDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (DerivStrategy p)

Defined in HsDecls

Methods

ppr :: DerivStrategy p -> SDoc

pprPrec :: Rational -> DerivStrategy p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (DerivDecl p)

Defined in HsDecls

Methods

ppr :: DerivDecl p -> SDoc

pprPrec :: Rational -> DerivDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (InstDecl p)

Defined in HsDecls

Methods

ppr :: InstDecl p -> SDoc

pprPrec :: Rational -> InstDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (ClsInstDecl p)

Defined in HsDecls

Methods

ppr :: ClsInstDecl p -> SDoc

pprPrec :: Rational -> ClsInstDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (DataFamInstDecl p)

Defined in HsDecls

Methods

ppr :: DataFamInstDecl p -> SDoc

pprPrec :: Rational -> DataFamInstDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (TyFamInstDecl p)

Defined in HsDecls

Methods

ppr :: TyFamInstDecl p -> SDoc

pprPrec :: Rational -> TyFamInstDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (ConDecl p)

Defined in HsDecls

Methods

ppr :: ConDecl p -> SDoc

pprPrec :: Rational -> ConDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsDerivingClause p)

Defined in HsDecls

Methods

ppr :: HsDerivingClause p -> SDoc

pprPrec :: Rational -> HsDerivingClause p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsDataDefn p)

Defined in HsDecls

Methods

ppr :: HsDataDefn p -> SDoc

pprPrec :: Rational -> HsDataDefn p -> SDoc

Outputable (FamilyInfo pass)

Defined in HsDecls

Methods

ppr :: FamilyInfo pass -> SDoc

pprPrec :: Rational -> FamilyInfo pass -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (FamilyDecl p)

Defined in HsDecls

Methods

ppr :: FamilyDecl p -> SDoc

pprPrec :: Rational -> FamilyDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (TyClGroup p)

Defined in HsDecls

Methods

ppr :: TyClGroup p -> SDoc

pprPrec :: Rational -> TyClGroup p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (TyClDecl p)

Defined in HsDecls

Methods

ppr :: TyClDecl p -> SDoc

pprPrec :: Rational -> TyClDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (SpliceDecl p)

Defined in HsDecls

Methods

ppr :: SpliceDecl p -> SDoc

pprPrec :: Rational -> SpliceDecl p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsGroup p)

Defined in HsDecls

Methods

ppr :: HsGroup p -> SDoc

pprPrec :: Rational -> HsGroup p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsDecl p)

Defined in HsDecls

Methods

ppr :: HsDecl p -> SDoc

pprPrec :: Rational -> HsDecl p -> 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

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (ArithSeqInfo p)

Defined in HsExpr

Methods

ppr :: ArithSeqInfo p -> SDoc

pprPrec :: Rational -> ArithSeqInfo p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsBracket p)

Defined in HsExpr

Methods

ppr :: HsBracket p -> SDoc

pprPrec :: Rational -> HsBracket p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsSplicedThing p)

Defined in HsExpr

Methods

ppr :: HsSplicedThing p -> SDoc

pprPrec :: Rational -> HsSplicedThing p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsCmdTop p)

Defined in HsExpr

Methods

ppr :: HsCmdTop p -> SDoc

pprPrec :: Rational -> HsCmdTop p -> SDoc

(p ~ GhcPass pass, OutputableBndrId p) => Outputable (HsModule p)

Defined in HsSyn

Methods

ppr :: HsModule p -> SDoc

pprPrec :: Rational -> HsModule p -> SDoc

OutputableBndrId (GhcPass a) => Outputable (InstInfo (GhcPass a))

Defined in TcEnv

Methods

ppr :: InstInfo (GhcPass a) -> SDoc

pprPrec :: Rational -> InstInfo (GhcPass a) -> SDoc

Outputable (FunDepEqn a)

Defined in FunDeps

Methods

ppr :: FunDepEqn a -> SDoc

pprPrec :: Rational -> FunDepEqn a -> SDoc

Outputable a => Outputable (ProtoBCO a)

Defined in ByteCodeInstr

Methods

ppr :: ProtoBCO a -> SDoc

pprPrec :: Rational -> ProtoBCO 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 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 (VarBndr tv ArgFlag)

Defined in Var

Methods

ppr :: VarBndr tv ArgFlag -> SDoc

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

Outputable tv => Outputable (VarBndr tv TyConBndrVis)

Defined in TyCon

Methods

ppr :: VarBndr tv TyConBndrVis -> SDoc

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

(Outputable a, Outputable (m a)) => Outputable (GenMap m a)

Defined in TrieMap

Methods

ppr :: GenMap m a -> SDoc

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

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

Defined in TrieMap

Methods

ppr :: ListMap m a -> SDoc

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

(Outputable tm, Outputable ty) => Outputable (HsArg tm ty)

Defined in HsTypes

Methods

ppr :: HsArg tm ty -> SDoc

pprPrec :: Rational -> HsArg tm ty -> SDoc

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

Defined in HsTypes

Methods

ppr :: HsConDetails arg rec -> SDoc

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

(p ~ GhcPass pass, Outputable thing) => Outputable (HsWildCardBndrs p thing)

Defined in HsTypes

Methods

ppr :: HsWildCardBndrs p thing -> SDoc

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

(p ~ GhcPass pass, Outputable thing) => Outputable (HsImplicitBndrs p thing)

Defined in HsTypes

Methods

ppr :: HsImplicitBndrs p thing -> SDoc

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

Outputable (CmmNode e x)

Defined in PprCmm

Methods

ppr :: CmmNode e x -> SDoc

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

(idR ~ GhcPass pr, OutputableBndrId idL, OutputableBndrId idR, Outputable (XXPatSynBind idL idR)) => Outputable (PatSynBind idL idR)

Defined in HsBinds

Methods

ppr :: PatSynBind idL idR -> SDoc

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

(idL ~ GhcPass pl, idR ~ GhcPass pr, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsBindLR idL idR)

Defined in HsBinds

Methods

ppr :: HsBindLR idL idR -> SDoc

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

(idL ~ GhcPass pl, idR ~ GhcPass pr, OutputableBndrId idL, OutputableBndrId idR) => Outputable (HsValBindsLR idL idR)

Defined in HsBinds

Methods

ppr :: HsValBindsLR idL idR -> SDoc

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

(idL ~ GhcPass pl, idR ~ GhcPass pr, 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

(Outputable (StmtLR idL idL (LHsExpr idL)), Outputable (XXParStmtBlock idL idR)) => Outputable (ParStmtBlock idL idR)

Defined in HsExpr

Methods

ppr :: ParStmtBlock idL idR -> SDoc

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

(idR ~ GhcPass pr, 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

(idL ~ GhcPass pl, idR ~ GhcPass pr, 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

OutputableBndr BinderInfo

Defined in StgLiftLams.Analysis

Methods

pprBndr :: BindingSite -> BinderInfo -> SDoc

pprPrefixOcc :: BinderInfo -> SDoc

pprInfixOcc :: BinderInfo -> SDoc

bndrIsJoin_maybe :: BinderInfo -> 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

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

p ~ GhcPass pass => OutputableBndr (AmbiguousFieldOcc p)

Defined in HsTypes

Methods

pprBndr :: BindingSite -> AmbiguousFieldOcc p -> SDoc

pprPrefixOcc :: AmbiguousFieldOcc p -> SDoc

pprInfixOcc :: AmbiguousFieldOcc p -> SDoc

bndrIsJoin_maybe :: AmbiguousFieldOcc p -> 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 :: PtrString -> SDoc

ztext :: FastZString -> SDoc

int :: Int -> SDoc

intWithCommas :: Integral a => a -> SDoc

integer :: Integer -> SDoc

word :: 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

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

kindType :: 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 a Name's Module and OccName, decide whether and how to qualify it.

type QueryQualifyModule = Module -> Bool

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

type QueryQualifyPackage = 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

updSDocDynFlags :: (DynFlags -> DynFlags) -> 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.

pprTraceM :: Applicative f => String -> SDoc -> f ()

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