ghc-9.0.0.20201227: The GHC API
Safe HaskellNone
LanguageHaskell2010

GHC.Utils.Outputable

Description

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

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

Synopsis

Type classes

class Outputable a where Source #

Class designating that some type has an SDoc representation

Minimal complete definition

Nothing

Methods

ppr :: a -> SDoc Source #

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

Instances

Instances details
Outputable Bool # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Char # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Double # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Float # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Int # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: Int -> SDoc Source #

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

Outputable Int32 # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Int64 # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Integer # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Ordering # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Word # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Word16 # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Word32 # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Word64 # 
Instance details

Defined in GHC.Utils.Outputable

Outputable () # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: () -> SDoc Source #

pprPrec :: Rational -> () -> SDoc Source #

Outputable Fingerprint # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Extension # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Serialized # 
Instance details

Defined in GHC.Utils.Outputable

Outputable IfaceBndr # 
Instance details

Defined in GHC.Iface.Type

Outputable IfaceCoercion # 
Instance details

Defined in GHC.Iface.Type

Outputable IfaceTyLit # 
Instance details

Defined in GHC.Iface.Type

Outputable IfaceTyCon # 
Instance details

Defined in GHC.Iface.Type

Outputable IfaceType # 
Instance details

Defined in GHC.Iface.Type

Outputable IfaceAppArgs # 
Instance details

Defined in GHC.Iface.Type

Outputable PrimOp # 
Instance details

Defined in GHC.Builtin.PrimOps

Outputable Name # 
Instance details

Defined in GHC.Types.Name

Outputable OccName # 
Instance details

Defined in GHC.Types.Name.Occurrence

Outputable Var # 
Instance details

Defined in GHC.Types.Var

Methods

ppr :: Var -> SDoc Source #

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

Outputable AnonArgFlag # 
Instance details

Defined in GHC.Types.Var

Outputable ArgFlag # 
Instance details

Defined in GHC.Types.Var

Outputable ModuleName # 
Instance details

Defined in GHC.Unit.Module.Name

Outputable PprStyle # 
Instance details

Defined in GHC.Utils.Outputable

Outputable SDoc # 
Instance details

Defined in GHC.Utils.Outputable

Outputable Unit # 
Instance details

Defined in GHC.Unit.Types

Outputable Module # 
Instance details

Defined in GHC.Unit.Types

Outputable UnitId # 
Instance details

Defined in GHC.Unit.Types

Outputable FastString # 
Instance details

Defined in GHC.Utils.Outputable

Outputable QualifyName # 
Instance details

Defined in GHC.Utils.Outputable

Outputable UnitPprInfo # 
Instance details

Defined in GHC.Unit.Ppr

Outputable UnhelpfulSpanReason # 
Instance details

Defined in GHC.Types.SrcLoc

Outputable SrcSpan # 
Instance details

Defined in GHC.Types.SrcLoc

Outputable RealSrcSpan # 
Instance details

Defined in GHC.Types.SrcLoc

Outputable SrcLoc # 
Instance details

Defined in GHC.Types.SrcLoc

Outputable RealSrcLoc # 
Instance details

Defined in GHC.Types.SrcLoc

Outputable IdDetails # 
Instance details

Defined in GHC.Types.Id.Info

Outputable IdInfo # 
Instance details

Defined in GHC.Core.Ppr

Outputable TypeOrKind # 
Instance details

Defined in GHC.Types.Basic

Outputable IntWithInf # 
Instance details

Defined in GHC.Types.Basic

Outputable FractionalLit # 
Instance details

Defined in GHC.Types.Basic

Outputable IntegralLit # 
Instance details

Defined in GHC.Types.Basic

Outputable InlineSpec # 
Instance details

Defined in GHC.Types.Basic

Outputable RuleMatchInfo # 
Instance details

Defined in GHC.Types.Basic

Outputable InlinePragma # 
Instance details

Defined in GHC.Types.Basic

Outputable Activation # 
Instance details

Defined in GHC.Types.Basic

Outputable CompilerPhase # 
Instance details

Defined in GHC.Types.Basic

Outputable SourceText # 
Instance details

Defined in GHC.Types.Basic

Outputable SuccessFlag # 
Instance details

Defined in GHC.Types.Basic

Outputable TailCallInfo # 
Instance details

Defined in GHC.Types.Basic

Outputable OccInfo # 
Instance details

Defined in GHC.Types.Basic

Outputable TupleSort # 
Instance details

Defined in GHC.Types.Basic

Outputable OverlapMode # 
Instance details

Defined in GHC.Types.Basic

Outputable OverlapFlag # 
Instance details

Defined in GHC.Types.Basic

Outputable Origin # 
Instance details

Defined in GHC.Types.Basic

Outputable RecFlag # 
Instance details

Defined in GHC.Types.Basic

Outputable Boxity # 
Instance details

Defined in GHC.Types.Basic

Outputable TopLevelFlag # 
Instance details

Defined in GHC.Types.Basic

Outputable LexicalFixity # 
Instance details

Defined in GHC.Types.Basic

Outputable FixityDirection # 
Instance details

Defined in GHC.Types.Basic

Outputable Fixity # 
Instance details

Defined in GHC.Types.Basic

Outputable WarningTxt # 
Instance details

Defined in GHC.Types.Basic

Outputable StringLiteral # 
Instance details

Defined in GHC.Types.Basic

Outputable FunctionOrData # 
Instance details

Defined in GHC.Types.Basic

Outputable PromotionFlag # 
Instance details

Defined in GHC.Types.Basic

Outputable SwapFlag # 
Instance details

Defined in GHC.Types.Basic

Outputable OneShotInfo # 
Instance details

Defined in GHC.Types.Basic

Outputable Alignment # 
Instance details

Defined in GHC.Types.Basic

Outputable LeftOrRight # 
Instance details

Defined in GHC.Types.Basic

Outputable Unique # 
Instance details

Defined in GHC.Types.Unique

Outputable InstantiatedUnit # 
Instance details

Defined in GHC.Unit.Types

Outputable InstantiatedModule # 
Instance details

Defined in GHC.Unit.Types

Outputable InstalledModule # 
Instance details

Defined in GHC.Unit.Types

Outputable ModLocation # 
Instance details

Defined in GHC.Unit.Module.Location

Outputable PackageName # 
Instance details

Defined in GHC.Unit.Info

Outputable PackageId # 
Instance details

Defined in GHC.Unit.Info

Outputable TyCon # 
Instance details

Defined in GHC.Core.TyCon

Outputable CType # 
Instance details

Defined in GHC.Types.ForeignCall

Outputable Header # 
Instance details

Defined in GHC.Types.ForeignCall

Outputable CCallConv # 
Instance details

Defined in GHC.Types.ForeignCall

Outputable CCallSpec # 
Instance details

Defined in GHC.Types.ForeignCall

Outputable CExportSpec # 
Instance details

Defined in GHC.Types.ForeignCall

Outputable Safety # 
Instance details

Defined in GHC.Types.ForeignCall

Outputable ForeignCall # 
Instance details

Defined in GHC.Types.ForeignCall

Outputable CprSig #

Only print the CPR result

Instance details

Defined in GHC.Types.Cpr

Outputable CprType # 
Instance details

Defined in GHC.Types.Cpr

Outputable CprResult # 
Instance details

Defined in GHC.Types.Cpr

Outputable TcTyVarDetails # 
Instance details

Defined in GHC.Tc.Utils.TcType

Outputable MetaDetails # 
Instance details

Defined in GHC.Tc.Utils.TcType

Outputable RegClass # 
Instance details

Defined in GHC.Platform.Reg.Class

Outputable Reg #

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

Instance details

Defined in GHC.Platform.Reg

Methods

ppr :: Reg -> SDoc Source #

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

Outputable RealReg # 
Instance details

Defined in GHC.Platform.Reg

Outputable VirtualReg # 
Instance details

Defined in GHC.Platform.Reg

Outputable Phase # 
Instance details

Defined in GHC.Driver.Phases

Outputable Language # 
Instance details

Defined in GHC.Driver.Flags

Outputable WarnReason # 
Instance details

Defined in GHC.Driver.Flags

Outputable EdgeType # 
Instance details

Defined in GHC.Data.Graph.Directed

Outputable Deltas # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable Delta # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable WarnReason # 
Instance details

Defined in GHC.Driver.CmdLine

Outputable MCoercion # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable TyCoBinder # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable TyLit # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable UnivCoProvenance # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable Coercion # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable TyThing # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable Type # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable AvailInfo # 
Instance details

Defined in GHC.Types.Avail

Outputable ImportSpec # 
Instance details

Defined in GHC.Types.Name.Reader

Outputable Parent # 
Instance details

Defined in GHC.Types.Name.Reader

Outputable GlobalRdrElt # 
Instance details

Defined in GHC.Types.Name.Reader

Outputable LocalRdrEnv # 
Instance details

Defined in GHC.Types.Name.Reader

Outputable RdrName # 
Instance details

Defined in GHC.Types.Name.Reader

Outputable AnnotationComment # 
Instance details

Defined in GHC.Parser.Annotation

Outputable AnnKeywordId # 
Instance details

Defined in GHC.Parser.Annotation

Outputable Annotation # 
Instance details

Defined in GHC.Types.Annotations

Outputable ArgDocMap # 
Instance details

Defined in GHC.Hs.Doc

Outputable DeclDocMap # 
Instance details

Defined in GHC.Hs.Doc

Outputable HsDocString # 
Instance details

Defined in GHC.Hs.Doc

Outputable InScopeSet # 
Instance details

Defined in GHC.Types.Var.Env

Outputable CostCentreStack # 
Instance details

Defined in GHC.Types.CostCentre

Outputable CostCentre # 
Instance details

Defined in GHC.Types.CostCentre

Outputable NoExtCon # 
Instance details

Defined in GHC.Hs.Extension

Outputable NoExtField # 
Instance details

Defined in GHC.Hs.Extension

Outputable PatSyn # 
Instance details

Defined in GHC.Core.PatSyn

Outputable EqSpec # 
Instance details

Defined in GHC.Core.DataCon

Outputable DataCon # 
Instance details

Defined in GHC.Core.DataCon

Outputable ConLike # 
Instance details

Defined in GHC.Core.ConLike

Outputable CoAxiomRule # 
Instance details

Defined in GHC.Core.Coercion.Axiom

Outputable Role # 
Instance details

Defined in GHC.Core.Coercion.Axiom

Outputable CoAxBranch # 
Instance details

Defined in GHC.Core.Coercion.Axiom

Outputable LiftingContext # 
Instance details

Defined in GHC.Core.Coercion

Outputable Class # 
Instance details

Defined in GHC.Core.Class

Outputable TyConFlavour # 
Instance details

Defined in GHC.Core.TyCon

Outputable PrimElemRep # 
Instance details

Defined in GHC.Core.TyCon

Outputable PrimRep # 
Instance details

Defined in GHC.Core.TyCon

Outputable FamTyConFlav # 
Instance details

Defined in GHC.Core.TyCon

Outputable AlgTyConFlav # 
Instance details

Defined in GHC.Core.TyCon

Outputable TyConBndrVis # 
Instance details

Defined in GHC.Core.TyCon

Outputable IfaceTyConInfo # 
Instance details

Defined in GHC.Iface.Type

Outputable IfaceTyConSort # 
Instance details

Defined in GHC.Iface.Type

Outputable IfaceOneShot # 
Instance details

Defined in GHC.Iface.Type

Outputable BlockSubstFlag # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable CoercionHole # 
Instance details

Defined in GHC.Core.TyCo.Rep

Outputable TCvSubst # 
Instance details

Defined in GHC.Core.TyCo.Subst

Outputable Literal # 
Instance details

Defined in GHC.Types.Literal

Outputable LabelSet # 
Instance details

Defined in GHC.Cmm.Dataflow.Label

Outputable Label # 
Instance details

Defined in GHC.Cmm.Dataflow.Label

Outputable OverLitVal # 
Instance details

Defined in GHC.Hs.Lit

Outputable IsSubmult # 
Instance details

Defined in GHC.Core.Multiplicity

Outputable UsageEnv # 
Instance details

Defined in GHC.Core.UsageEnv

Outputable Usage # 
Instance details

Defined in GHC.Core.UsageEnv

Outputable EqRel # 
Instance details

Defined in GHC.Core.Predicate

Outputable PackageFlag # 
Instance details

Defined in GHC.Driver.Session

Outputable ModRenaming # 
Instance details

Defined in GHC.Driver.Session

Outputable PackageArg # 
Instance details

Defined in GHC.Driver.Session

Outputable GhcMode # 
Instance details

Defined in GHC.Driver.Session

Outputable SafeHaskellMode # 
Instance details

Defined in GHC.Driver.Session

Outputable UnusableUnitReason # 
Instance details

Defined in GHC.Unit.State

Outputable ModuleOrigin # 
Instance details

Defined in GHC.Unit.State

Outputable Token # 
Instance details

Defined in GHC.Parser.Lexer

Outputable CoreToDo # 
Instance details

Defined in GHC.Core.Opt.Monad

Outputable StrictnessMark # 
Instance details

Defined in GHC.Core.DataCon

Outputable SrcUnpackedness # 
Instance details

Defined in GHC.Core.DataCon

Outputable SrcStrictness # 
Instance details

Defined in GHC.Core.DataCon

Outputable HsImplBang # 
Instance details

Defined in GHC.Core.DataCon

Outputable HsSrcBang # 
Instance details

Defined in GHC.Core.DataCon

Outputable SlotTy # 
Instance details

Defined in GHC.Types.RepType

Outputable StrictSig # 
Instance details

Defined in GHC.Types.Demand

Outputable DmdType # 
Instance details

Defined in GHC.Types.Demand

Outputable Divergence # 
Instance details

Defined in GHC.Types.Demand

Outputable TypeShape # 
Instance details

Defined in GHC.Types.Demand

Outputable Count # 
Instance details

Defined in GHC.Types.Demand

Outputable UseDmd # 
Instance details

Defined in GHC.Types.Demand

Outputable StrDmd # 
Instance details

Defined in GHC.Types.Demand

Outputable StandardFormInfo # 
Instance details

Defined in GHC.StgToCmm.Types

Outputable ArgDescr # 
Instance details

Defined in GHC.StgToCmm.Types

Outputable LambdaFormInfo # 
Instance details

Defined in GHC.StgToCmm.Types

Outputable ClosureTypeInfo # 
Instance details

Defined in GHC.Runtime.Heap.Layout

Outputable SMRep # 
Instance details

Defined in GHC.Runtime.Heap.Layout

Outputable StgHalfWord # 
Instance details

Defined in GHC.Runtime.Heap.Layout

Outputable StgWord # 
Instance details

Defined in GHC.Runtime.Heap.Layout

Outputable UnfoldingGuidance # 
Instance details

Defined in GHC.Core.Ppr

Outputable UnfoldingSource # 
Instance details

Defined in GHC.Core.Ppr

Outputable Unfolding # 
Instance details

Defined in GHC.Core.Ppr

Outputable CoreRule # 
Instance details

Defined in GHC.Core.Ppr

Outputable AltCon # 
Instance details

Defined in GHC.Core

Outputable LevityInfo # 
Instance details

Defined in GHC.Types.Id.Info

Outputable TickBoxOp # 
Instance details

Defined in GHC.Types.Id.Info

Outputable CafInfo # 
Instance details

Defined in GHC.Types.Id.Info

Outputable RecSelParent # 
Instance details

Defined in GHC.Types.Id.Info

Outputable UnVarGraph # 
Instance details

Defined in GHC.Data.Graph.UnVar

Outputable UnVarSet # 
Instance details

Defined in GHC.Data.Graph.UnVar

Outputable CoreStats # 
Instance details

Defined in GHC.Core.Stats

Outputable FamInstMatch # 
Instance details

Defined in GHC.Core.FamInstEnv

Outputable FamInst # 
Instance details

Defined in GHC.Core.FamInstEnv

Outputable ShowHowMuch # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceJoinInfo # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceConAlt # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceExpr # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceLFInfo # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceIdDetails # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceUnfolding # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceInfoItem # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceCompleteMatch # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceAnnotation # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceRule # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceFamInst # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceClsInst # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceAT # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceClassOp # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceTyConParent # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceDecl # 
Instance details

Defined in GHC.Iface.Syntax

Outputable HsTyLit # 
Instance details

Defined in GHC.Hs.Type

Outputable NewHsTypeX # 
Instance details

Defined in GHC.Hs.Type

Outputable HsIPName # 
Instance details

Defined in GHC.Hs.Type

Outputable TcLevel # 
Instance details

Defined in GHC.Tc.Utils.TcType

Outputable MetaInfo # 
Instance details

Defined in GHC.Tc.Utils.TcType

Outputable InferResult # 
Instance details

Defined in GHC.Tc.Utils.TcType

Outputable ExpType # 
Instance details

Defined in GHC.Tc.Utils.TcType

Outputable ClsInst # 
Instance details

Defined in GHC.Core.InstEnv

Outputable EvCallStack # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable EvTypeable # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable EvTerm # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable EvBind # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable EvBindMap # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable EvBindsVar # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable TcEvBinds # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable HsWrapper # 
Instance details

Defined in GHC.Tc.Types.Evidence

Outputable TcSpecPrag # 
Instance details

Defined in GHC.Hs.Binds

Outputable DocDecl # 
Instance details

Defined in GHC.Hs.Decls

Outputable ForeignExport # 
Instance details

Defined in GHC.Hs.Decls

Outputable ForeignImport # 
Instance details

Defined in GHC.Hs.Decls

Outputable NewOrData # 
Instance details

Defined in GHC.Hs.Decls

Outputable PendingTcSplice # 
Instance details

Defined in GHC.Hs.Expr

Outputable PendingRnSplice # 
Instance details

Defined in GHC.Hs.Expr

Outputable SpliceDecoration # 
Instance details

Defined in GHC.Hs.Expr

Outputable SyntaxExprTc # 
Instance details

Defined in GHC.Hs.Expr

Outputable SyntaxExprRn # 
Instance details

Defined in GHC.Hs.Expr

Outputable HsModule # 
Instance details

Defined in GHC.Hs

Outputable CtOrigin # 
Instance details

Defined in GHC.Tc.Types.Origin

Outputable SkolemInfo # 
Instance details

Defined in GHC.Tc.Types.Origin

Outputable SubGoalDepth # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable CtFlavour # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable CtEvidence # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable TcEvDest # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable ImplicStatus # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable Implication # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable WantedConstraints # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable CtIrredStatus # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable HoleSort # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable Hole # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable QCInst # 
Instance details

Defined in GHC.Tc.Types.Constraint

Outputable Ct # 
Instance details

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: Ct -> SDoc Source #

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

Outputable TyEl # 
Instance details

Defined in GHC.Parser.PostProcess

Outputable HsComponentId # 
Instance details

Defined in GHC.Driver.Backpack.Syntax

Outputable ForeignHint # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Outputable Width # 
Instance details

Defined in GHC.Cmm.Type

Outputable CmmType # 
Instance details

Defined in GHC.Cmm.Type

Outputable PrimCall # 
Instance details

Defined in GHC.Builtin.PrimOps

Outputable UpdateFlag # 
Instance details

Defined in GHC.Stg.Syntax

Outputable AltType # 
Instance details

Defined in GHC.Stg.Syntax

Outputable NoExtFieldSilent # 
Instance details

Defined in GHC.Stg.Syntax

Outputable StgArg # 
Instance details

Defined in GHC.Stg.Syntax

Outputable FloatLang # 
Instance details

Defined in GHC.Stg.Lift.Monad

Outputable TyState #

Not user-facing.

Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable VarInfo #

Not user-facing.

Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable TmState #

Not user-facing.

Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable PossibleMatches # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable PmAltConSet # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable PmAltCon # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable PmEquality # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable PmLitValue # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable PmLit # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable Subst # 
Instance details

Defined in GHC.Core.Subst

Outputable ArityType # 
Instance details

Defined in GHC.Core.Opt.Arity

Outputable CgBreakInfo # 
Instance details

Defined in GHC.ByteCode.Types

Outputable UnlinkedBCO # 
Instance details

Defined in GHC.ByteCode.Types

Outputable CompiledByteCode # 
Instance details

Defined in GHC.ByteCode.Types

Outputable SptEntry # 
Instance details

Defined in GHC.Runtime.Linker.Types

Outputable Unlinked # 
Instance details

Defined in GHC.Runtime.Linker.Types

Outputable Linkable # 
Instance details

Defined in GHC.Runtime.Linker.Types

Outputable CompleteMatch # 
Instance details

Defined in GHC.Driver.Types

Outputable IfaceTrustInfo # 
Instance details

Defined in GHC.Driver.Types

Outputable ModSummary # 
Instance details

Defined in GHC.Driver.Types

Outputable FixItem # 
Instance details

Defined in GHC.Driver.Types

Outputable Warnings # 
Instance details

Defined in GHC.Iface.Load

Outputable InteractiveImport # 
Instance details

Defined in GHC.Driver.Types

Outputable TargetId # 
Instance details

Defined in GHC.Driver.Types

Outputable Target # 
Instance details

Defined in GHC.Driver.Types

Outputable PhasePlus # 
Instance details

Defined in GHC.Driver.Pipeline.Monad

Outputable Tick # 
Instance details

Defined in GHC.Core.Opt.Monad

Outputable FloatOutSwitches # 
Instance details

Defined in GHC.Core.Opt.Monad

Outputable SimplMode # 
Instance details

Defined in GHC.Core.Opt.Monad

Outputable FloatBind # 
Instance details

Defined in GHC.Core.Make

Outputable CallCtxt # 
Instance details

Defined in GHC.Core.Unfold

Outputable ArgSummary # 
Instance details

Defined in GHC.Core.Unfold

Outputable LetFloats # 
Instance details

Defined in GHC.Core.Opt.Simplify.Env

Outputable SimplSR # 
Instance details

Defined in GHC.Core.Opt.Simplify.Env

Outputable SimplFloats # 
Instance details

Defined in GHC.Core.Opt.Simplify.Env

Outputable FloatSpec # 
Instance details

Defined in GHC.Core.Opt.SetLevels

Outputable Level # 
Instance details

Defined in GHC.Core.Opt.SetLevels

Outputable ArgSpec # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Outputable ArgInfo # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Outputable DupFlag # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Outputable SimplCont # 
Instance details

Defined in GHC.Core.Opt.Simplify.Utils

Outputable TcPatSynInfo # 
Instance details

Defined in GHC.Tc.Types

Outputable TcIdSigInst # 
Instance details

Defined in GHC.Tc.Types

Outputable TcIdSigInfo # 
Instance details

Defined in GHC.Tc.Types

Outputable TcSigInfo # 
Instance details

Defined in GHC.Tc.Types

Outputable WhereFrom # 
Instance details

Defined in GHC.Tc.Types

Outputable IdBindingInfo # 
Instance details

Defined in GHC.Tc.Types

Outputable PromotionErr # 
Instance details

Defined in GHC.Tc.Types

Outputable TcTyThing # 
Instance details

Defined in GHC.Tc.Types

Outputable ThStage # 
Instance details

Defined in GHC.Tc.Types

Outputable TcBinder # 
Instance details

Defined in GHC.Tc.Types

Outputable CandidatesQTvs # 
Instance details

Defined in GHC.Tc.Utils.TcMType

Outputable HoleFit # 
Instance details

Defined in GHC.Tc.Errors.Hole.FitTypes

Outputable HoleFitCandidate # 
Instance details

Defined in GHC.Tc.Errors.Hole.FitTypes

Outputable TypedHole # 
Instance details

Defined in GHC.Tc.Errors.Hole.FitTypes

Outputable PluginRecompile # 
Instance details

Defined in GHC.Driver.Plugins

Outputable HieName # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable TyVarScope # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable Scope # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable DeclType # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable BindType # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable RecFieldContext # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable IEType # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable EvBindDeps # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable EvVarSource # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable ContextInfo # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable NodeOrigin # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable ForeignLabelSource # 
Instance details

Defined in GHC.Cmm.CLabel

Outputable CLabel # 
Instance details

Defined in GHC.Cmm.CLabel

Outputable GlobalReg # 
Instance details

Defined in GHC.Cmm.Ppr.Expr

Outputable LocalReg # 
Instance details

Defined in GHC.Cmm.Ppr.Expr

Outputable CmmLit # 
Instance details

Defined in GHC.Cmm.Ppr.Expr

Outputable Area # 
Instance details

Defined in GHC.Cmm.Ppr.Expr

Outputable CmmReg # 
Instance details

Defined in GHC.Cmm.Ppr.Expr

Outputable CmmExpr # 
Instance details

Defined in GHC.Cmm.Ppr.Expr

Outputable CmmTickScope # 
Instance details

Defined in GHC.Cmm.Node

Outputable ForeignTarget # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable CmmReturnInfo # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable ForeignConvention # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable Convention # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable CmmStatic # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Outputable CmmInfoTable # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Outputable CmmStackInfo # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable CmmTopInfo # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable CmmGraph # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable CgLoc # 
Instance details

Defined in GHC.StgToCmm.Closure

Outputable ArgRep # 
Instance details

Defined in GHC.StgToCmm.ArgRep

Outputable ZonkEnv # 
Instance details

Defined in GHC.Tc.Utils.Zonk

Outputable Term # 
Instance details

Defined in GHC.Runtime.Heap.Inspect

Outputable HsSigCtxt # 
Instance details

Defined in GHC.Rename.Env

Outputable ChildLookupResult # 
Instance details

Defined in GHC.Rename.Env

Outputable InstanceWhat # 
Instance details

Defined in GHC.Tc.Instance.Class

Outputable ClsInstResult # 
Instance details

Defined in GHC.Tc.Instance.Class

Outputable InertCans # 
Instance details

Defined in GHC.Tc.Solver.Monad

Outputable InertSet # 
Instance details

Defined in GHC.Tc.Solver.Monad

Outputable WorkList # 
Instance details

Defined in GHC.Tc.Solver.Monad

Outputable FlattenMode # 
Instance details

Defined in GHC.Tc.Solver.Flatten

Outputable InferMode # 
Instance details

Defined in GHC.Tc.Solver

Outputable Rank # 
Instance details

Defined in GHC.Tc.Validity

Outputable ThetaOrigin # 
Instance details

Defined in GHC.Tc.Deriv.Utils

Outputable PredOrigin # 
Instance details

Defined in GHC.Tc.Deriv.Utils

Outputable DerivContext # 
Instance details

Defined in GHC.Tc.Deriv.Utils

Outputable DerivSpecMechanism # 
Instance details

Defined in GHC.Tc.Deriv.Utils

Outputable DerivInstTys # 
Instance details

Defined in GHC.Tc.Deriv.Utils

Outputable DerivEnv # 
Instance details

Defined in GHC.Tc.Deriv.Utils

Outputable WarnUnusedForalls # 
Instance details

Defined in GHC.Rename.HsType

Outputable SAKS_or_CUSK # 
Instance details

Defined in GHC.Tc.Gen.HsType

Outputable LetBndrSpec # 
Instance details

Defined in GHC.Tc.Gen.Pat

Outputable EquationInfo # 
Instance details

Defined in GHC.HsToCore.Monad

Outputable DsMatchContext # 
Instance details

Defined in GHC.HsToCore.Monad

Outputable PmCt # 
Instance details

Defined in GHC.HsToCore.PmCheck.Oracle

Outputable FreeRegs # 
Instance details

Defined in GHC.CmmToAsm.Reg.Linear.X86_64

Outputable FreeRegs # 
Instance details

Defined in GHC.CmmToAsm.Reg.Linear.X86

Outputable LlvmCastOp # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmCmpOp # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmMachOp # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmLinkageType # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmCallConvention # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmFuncAttr # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmParamAttr # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmFunctionDecl # 
Instance details

Defined in GHC.Llvm.Types

Outputable LlvmType # 
Instance details

Defined in GHC.Llvm.Types

Outputable MetaId # 
Instance details

Defined in GHC.Llvm.MetaData

Outputable FreeRegs # 
Instance details

Defined in GHC.CmmToAsm.Reg.Linear.SPARC

Outputable Instr # 
Instance details

Defined in GHC.CmmToAsm.SPARC.Ppr

Outputable JumpDest # 
Instance details

Defined in GHC.CmmToAsm.SPARC.ShortcutJump

Outputable FreeRegs # 
Instance details

Defined in GHC.CmmToAsm.Reg.Linear.PPC

Outputable EdgeInfo # 
Instance details

Defined in GHC.CmmToAsm.CFG

Outputable CfgEdge # 
Instance details

Defined in GHC.CmmToAsm.CFG

Outputable EdgeWeight # 
Instance details

Defined in GHC.CmmToAsm.CFG

Outputable LiveInfo # 
Instance details

Defined in GHC.CmmToAsm.Reg.Liveness

Outputable Loc # 
Instance details

Defined in GHC.CmmToAsm.Reg.Linear.Base

Methods

ppr :: Loc -> SDoc Source #

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

Outputable SpillStats # 
Instance details

Defined in GHC.CmmToAsm.Reg.Graph.Spill

Outputable Instr # 
Instance details

Defined in GHC.CmmToAsm.PPC.Ppr

Outputable JumpDest # 
Instance details

Defined in GHC.CmmToAsm.PPC.RegInfo

Outputable UnwindExpr # 
Instance details

Defined in GHC.Cmm.DebugBlock

Outputable UnwindPoint # 
Instance details

Defined in GHC.Cmm.DebugBlock

Outputable DebugBlock # 
Instance details

Defined in GHC.Cmm.DebugBlock

Outputable JumpDest # 
Instance details

Defined in GHC.CmmToAsm.X86.Instr

Outputable Instr # 
Instance details

Defined in GHC.CmmToAsm.X86.Ppr

Outputable DwarfFrameBlock # 
Instance details

Defined in GHC.CmmToAsm.Dwarf.Types

Outputable Status # 
Instance details

Defined in GHC.Cmm.ProcPoint

Outputable ParamLocation # 
Instance details

Defined in GHC.Cmm.CallConv

Outputable Sequel # 
Instance details

Defined in GHC.StgToCmm.Monad

Outputable CgIdInfo # 
Instance details

Defined in GHC.StgToCmm.Monad

Outputable BinderInfo # 
Instance details

Defined in GHC.Stg.Lift.Analysis

Outputable Skeleton # 
Instance details

Defined in GHC.Stg.Lift.Analysis

Outputable BCInstr # 
Instance details

Defined in GHC.ByteCode.Instr

Outputable ModuleSRTInfo # 
Instance details

Defined in GHC.Cmm.Info.Build

Outputable GetDocsFailure # 
Instance details

Defined in GHC.Runtime.Eval

Outputable CoreModule # 
Instance details

Defined in GHC

Outputable a => Outputable [a] # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: [a] -> SDoc Source #

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

Outputable a => Outputable (Maybe a) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: Maybe a -> SDoc Source #

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

Outputable a => Outputable (NonEmpty a) # 
Instance details

Defined in GHC.Utils.Outputable

Outputable elt => Outputable (IntMap elt) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: IntMap elt -> SDoc Source #

pprPrec :: Rational -> IntMap elt -> SDoc Source #

Outputable a => Outputable (SCC a) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: SCC a -> SDoc Source #

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

Outputable a => Outputable (Set a) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: Set a -> SDoc Source #

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

Outputable unit => Outputable (Indefinite unit) # 
Instance details

Defined in GHC.Unit.Types

Methods

ppr :: Indefinite unit -> SDoc Source #

pprPrec :: Rational -> Indefinite unit -> SDoc Source #

Outputable (DefMethSpec ty) # 
Instance details

Defined in GHC.Types.Basic

Outputable a => Outputable (UniqSet a) # 
Instance details

Defined in GHC.Types.Unique.Set

Outputable a => Outputable (UniqDSet a) # 
Instance details

Defined in GHC.Types.Unique.DSet

Outputable a => Outputable (GenWithIsBoot a) # 
Instance details

Defined in GHC.Unit.Types

Outputable unit => Outputable (Definite unit) # 
Instance details

Defined in GHC.Unit.Types

Methods

ppr :: Definite unit -> SDoc Source #

pprPrec :: Rational -> Definite unit -> SDoc Source #

Outputable a => Outputable (OccEnv a) # 
Instance details

Defined in GHC.Types.Name.Occurrence

Methods

ppr :: OccEnv a -> SDoc Source #

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

Outputable a => Outputable (Pair a) # 
Instance details

Defined in GHC.Data.Pair

Methods

ppr :: Pair a -> SDoc Source #

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

Outputable a => Outputable (OrdList a) # 
Instance details

Defined in GHC.Data.OrdList

Outputable node => Outputable (Graph node) # 
Instance details

Defined in GHC.Data.Graph.Directed

Methods

ppr :: Graph node -> SDoc Source #

pprPrec :: Rational -> Graph node -> SDoc Source #

OutputableBndr a => Outputable (BooleanFormula a) # 
Instance details

Defined in GHC.Data.BooleanFormula

Outputable a => Outputable (Bag a) # 
Instance details

Defined in GHC.Data.Bag

Methods

ppr :: Bag a -> SDoc Source #

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

Outputable a => Outputable (Scaled a) # 
Instance details

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: Scaled a -> SDoc Source #

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

Outputable a => Outputable (FieldLbl a) # 
Instance details

Defined in GHC.Types.FieldLabel

Outputable name => Outputable (AnnTarget name) # 
Instance details

Defined in GHC.Types.Annotations

Methods

ppr :: AnnTarget name -> SDoc Source #

pprPrec :: Rational -> AnnTarget name -> SDoc Source #

OutputableBndrId p => Outputable (Pat (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Pat

Methods

ppr :: Pat (GhcPass p) -> SDoc Source #

pprPrec :: Rational -> Pat (GhcPass p) -> SDoc Source #

OutputableBndrId p => Outputable (IE (GhcPass p)) # 
Instance details

Defined in GHC.Hs.ImpExp

Methods

ppr :: IE (GhcPass p) -> SDoc Source #

pprPrec :: Rational -> IE (GhcPass p) -> SDoc Source #

OutputableBndr name => Outputable (IEWrappedName name) # 
Instance details

Defined in GHC.Hs.ImpExp

OutputableBndrId p => Outputable (ImportDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.ImpExp

OutputableBndrId p => Outputable (HsSplice (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId p => Outputable (HsCmd (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId p => Outputable (HsExpr (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

Outputable (CoAxiom br) # 
Instance details

Defined in GHC.Core.Coercion.Axiom

Methods

ppr :: CoAxiom br -> SDoc Source #

pprPrec :: Rational -> CoAxiom br -> SDoc Source #

Outputable a => Outputable (LabelMap a) # 
Instance details

Defined in GHC.Cmm.Dataflow.Label

OutputableBndrId p => Outputable (HsOverLit (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Lit

Outputable (HsLit (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Lit

Outputable a => Outputable (UnifyResultM a) # 
Instance details

Defined in GHC.Core.Unify

Outputable b => Outputable (TaggedBndr b) # 
Instance details

Defined in GHC.Core

Outputable id => Outputable (Tickish id) # 
Instance details

Defined in GHC.Core.Ppr

Methods

ppr :: Tickish id -> SDoc Source #

pprPrec :: Rational -> Tickish id -> SDoc Source #

OutputableBndr b => Outputable (Bind b) # 
Instance details

Defined in GHC.Core.Ppr

Methods

ppr :: Bind b -> SDoc Source #

pprPrec :: Rational -> Bind b -> SDoc Source #

OutputableBndr b => Outputable (Expr b) # 
Instance details

Defined in GHC.Core.Ppr

Methods

ppr :: Expr b -> SDoc Source #

pprPrec :: Rational -> Expr b -> SDoc Source #

Outputable a => Outputable (CoreMap a) # 
Instance details

Defined in GHC.Core.Map

Outputable (AmbiguousFieldOcc (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

Outputable (FieldOcc pass) # 
Instance details

Defined in GHC.Hs.Type

Methods

ppr :: FieldOcc pass -> SDoc Source #

pprPrec :: Rational -> FieldOcc pass -> SDoc Source #

OutputableBndrId p => Outputable (ConDeclField (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

OutputableBndrId pass => Outputable (HsArrow (GhcPass pass)) # 
Instance details

Defined in GHC.Hs.Type

Methods

ppr :: HsArrow (GhcPass pass) -> SDoc Source #

pprPrec :: Rational -> HsArrow (GhcPass pass) -> SDoc Source #

OutputableBndrId p => Outputable (HsType (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

OutputableBndrId p => Outputable (HsPatSigType (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

OutputableBndrId p => Outputable (LHsQTyVars (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

OutputableBndrId p => Outputable (HsForAllTelescope (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

Outputable (FunDepEqn a) # 
Instance details

Defined in GHC.Tc.Instance.FunDeps

Outputable a => Outputable (RecordPatSynField a) # 
Instance details

Defined in GHC.Hs.Binds

OutputableBndrId p => Outputable (FixitySig (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Binds

OutputableBndrId p => Outputable (Sig (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Binds

Methods

ppr :: Sig (GhcPass p) -> SDoc Source #

pprPrec :: Rational -> Sig (GhcPass p) -> SDoc Source #

OutputableBndrId p => Outputable (IPBind (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Binds

OutputableBndrId p => Outputable (HsIPBinds (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Binds

OutputableBndrId p => Outputable (ABExport (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Binds

OutputableBndr (IdP (GhcPass p)) => Outputable (RoleAnnotDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (AnnDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndr (IdP (GhcPass p)) => Outputable (WarnDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndr (IdP (GhcPass p)) => Outputable (WarnDecls (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (RuleBndr (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (RuleDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (RuleDecls (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (ForeignDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (DefaultDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (DerivStrategy (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (DerivDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (InstDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (ClsInstDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (DataFamInstDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (TyFamInstDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (ConDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (StandaloneKindSig (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (HsDerivingClause (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (HsDataDefn (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

Outputable (FamilyInfo pass) # 
Instance details

Defined in GHC.Hs.Decls

Methods

ppr :: FamilyInfo pass -> SDoc Source #

pprPrec :: Rational -> FamilyInfo pass -> SDoc Source #

OutputableBndrId p => Outputable (FamilyDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (TyClGroup (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (TyClDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (SpliceDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (HsGroup (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (HsDecl (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Decls

OutputableBndrId p => Outputable (HsStmtContext (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId p => Outputable (HsMatchContext (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId p => Outputable (ArithSeqInfo (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId p => Outputable (HsBracket (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId p => Outputable (HsSplicedThing (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId idL => Outputable (ApplicativeArg (GhcPass idL)) # 
Instance details

Defined in GHC.Hs.Expr

OutputableBndrId p => Outputable (HsCmdTop (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

Outputable (HsPragE (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Expr

Outputable (PatBuilder GhcPs) # 
Instance details

Defined in GHC.Parser.PostProcess

Outputable a => Outputable (SharedDIdEnv a) # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Outputable a => Outputable (Shared a) # 
Instance details

Defined in GHC.HsToCore.PmCheck.Types

Methods

ppr :: Shared a -> SDoc Source #

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

Outputable a => Outputable (IdentifierDetails a) # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable a => Outputable (NodeInfo a) # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable a => Outputable (SourcedNodeInfo a) # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable a => Outputable (HieAST a) # 
Instance details

Defined in GHC.Iface.Ext.Types

Methods

ppr :: HieAST a -> SDoc Source #

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

Outputable a => Outputable (HieASTs a) # 
Instance details

Defined in GHC.Iface.Ext.Types

Outputable a => Outputable (EvidenceInfo a) # 
Instance details

Defined in GHC.Iface.Ext.Utils

Outputable instr => Outputable (ListGraph instr) # 
Instance details

Defined in GHC.Cmm

Methods

ppr :: ListGraph instr -> SDoc Source #

pprPrec :: Rational -> ListGraph instr -> SDoc Source #

Outputable instr => Outputable (GenBasicBlock instr) # 
Instance details

Defined in GHC.Cmm

Outputable (GenCmmStatics a) # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Outputable a => Outputable (NonVoid a) # 
Instance details

Defined in GHC.StgToCmm.Closure

OutputableBndrId a => Outputable (InstInfo (GhcPass a)) # 
Instance details

Defined in GHC.Tc.Utils.Env

Outputable a => Outputable (MetaTyVarUpdateResult a) # 
Instance details

Defined in GHC.Tc.Utils.Unify

Outputable a => Outputable (StopOrContinue a) # 
Instance details

Defined in GHC.Tc.Solver.Canonical

Outputable theta => Outputable (DerivSpec theta) # 
Instance details

Defined in GHC.Tc.Deriv.Utils

Methods

ppr :: DerivSpec theta -> SDoc Source #

pprPrec :: Rational -> DerivSpec theta -> SDoc Source #

Outputable instr => Outputable (LiveInstr instr) # 
Instance details

Defined in GHC.CmmToAsm.Reg.Liveness

Methods

ppr :: LiveInstr instr -> SDoc Source #

pprPrec :: Rational -> LiveInstr instr -> SDoc Source #

Outputable instr => Outputable (InstrSR instr) # 
Instance details

Defined in GHC.CmmToAsm.Reg.Liveness

Methods

ppr :: InstrSR instr -> SDoc Source #

pprPrec :: Rational -> InstrSR instr -> SDoc Source #

Outputable a => Outputable (ProtoBCO a) # 
Instance details

Defined in GHC.ByteCode.Instr

(Outputable a, Outputable b) => Outputable (Either a b) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: Either a b -> SDoc Source #

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

(Outputable a, Outputable b) => Outputable (a, b) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: (a, b) -> SDoc Source #

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

(Outputable key, Outputable elt) => Outputable (Map key elt) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

ppr :: Map key elt -> SDoc Source #

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

(Outputable l, Outputable e) => Outputable (GenLocated l e) # 
Instance details

Defined in GHC.Types.SrcLoc

Outputable a => Outputable (UniqFM key a) # 
Instance details

Defined in GHC.Types.Unique.FM

Methods

ppr :: UniqFM key a -> SDoc Source #

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

Outputable a => Outputable (UniqDFM key a) # 
Instance details

Defined in GHC.Types.Unique.DFM

Methods

ppr :: UniqDFM key a -> SDoc Source #

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

(Outputable a, Outputable b) => Outputable (Node a b) # 
Instance details

Defined in GHC.Data.Graph.Directed

Methods

ppr :: Node a b -> SDoc Source #

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

Outputable tv => Outputable (VarBndr tv Specificity) # 
Instance details

Defined in GHC.Types.Var

Outputable tv => Outputable (VarBndr tv ArgFlag) # 
Instance details

Defined in GHC.Types.Var

OutputableBndr tv => Outputable (VarBndr tv TyConBndrVis) # 
Instance details

Defined in GHC.Core.TyCon

(Outputable a, Outputable (m a)) => Outputable (GenMap m a) # 
Instance details

Defined in GHC.Data.TrieMap

Methods

ppr :: GenMap m a -> SDoc Source #

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

(TrieMap m, Outputable a) => Outputable (ListMap m a) # 
Instance details

Defined in GHC.Data.TrieMap

Methods

ppr :: ListMap m a -> SDoc Source #

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

(Outputable tm, Outputable ty) => Outputable (HsArg tm ty) # 
Instance details

Defined in GHC.Hs.Type

Methods

ppr :: HsArg tm ty -> SDoc Source #

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

(Outputable arg, Outputable rec) => Outputable (HsConDetails arg rec) # 
Instance details

Defined in GHC.Hs.Type

Methods

ppr :: HsConDetails arg rec -> SDoc Source #

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

Outputable a => Outputable (HsScaled pass a) # 
Instance details

Defined in GHC.Hs.Type

Methods

ppr :: HsScaled pass a -> SDoc Source #

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

(OutputableBndrId p, OutputableBndrFlag flag) => Outputable (HsTyVarBndr flag (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

Methods

ppr :: HsTyVarBndr flag (GhcPass p) -> SDoc Source #

pprPrec :: Rational -> HsTyVarBndr flag (GhcPass p) -> SDoc Source #

Outputable thing => Outputable (HsWildCardBndrs (GhcPass p) thing) # 
Instance details

Defined in GHC.Hs.Type

Outputable thing => Outputable (HsImplicitBndrs (GhcPass p) thing) # 
Instance details

Defined in GHC.Hs.Type

(OutputableBndrId l, OutputableBndrId r, Outputable (XXPatSynBind (GhcPass l) (GhcPass r))) => Outputable (PatSynBind (GhcPass l) (GhcPass r)) # 
Instance details

Defined in GHC.Hs.Binds

(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsBindLR (GhcPass pl) (GhcPass pr)) # 
Instance details

Defined in GHC.Hs.Binds

(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsValBindsLR (GhcPass pl) (GhcPass pr)) # 
Instance details

Defined in GHC.Hs.Binds

(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsLocalBindsLR (GhcPass pl) (GhcPass pr)) # 
Instance details

Defined in GHC.Hs.Binds

(Outputable p, Outputable arg) => Outputable (HsRecField' p arg) # 
Instance details

Defined in GHC.Hs.Pat

Methods

ppr :: HsRecField' p arg -> SDoc Source #

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

Outputable arg => Outputable (HsRecFields p arg) # 
Instance details

Defined in GHC.Hs.Pat

Methods

ppr :: HsRecFields p arg -> SDoc Source #

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

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

Defined in GHC.Hs.Expr

Methods

ppr :: ParStmtBlock idL idR -> SDoc Source #

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

(OutputableBndrId pr, Outputable body) => Outputable (Match (GhcPass pr) body) # 
Instance details

Defined in GHC.Hs.Expr

Methods

ppr :: Match (GhcPass pr) body -> SDoc Source #

pprPrec :: Rational -> Match (GhcPass pr) body -> SDoc Source #

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

Just print the original expression (the a).

Instance details

Defined in GHC.Hs.Expr

Outputable (CmmNode e x) # 
Instance details

Defined in GHC.Cmm.Ppr

Methods

ppr :: CmmNode e x -> SDoc Source #

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

(Outputable statics, Outputable instr) => Outputable (RegAllocStats statics instr) # 
Instance details

Defined in GHC.CmmToAsm.Reg.Graph.Stats

Methods

ppr :: RegAllocStats statics instr -> SDoc Source #

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

(Outputable a, Outputable b, Outputable c) => Outputable (a, b, c) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

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

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

Outputable (Block CmmNode C C) # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable (Block CmmNode C O) # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable (Block CmmNode O C) # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable (Block CmmNode O O) # 
Instance details

Defined in GHC.Cmm.Ppr

Outputable (Graph CmmNode e x) # 
Instance details

Defined in GHC.Cmm.Ppr

(OutputableBndrId pl, OutputableBndrId pr, Outputable body) => Outputable (StmtLR (GhcPass pl) (GhcPass pr) body) # 
Instance details

Defined in GHC.Hs.Expr

Methods

ppr :: StmtLR (GhcPass pl) (GhcPass pr) body -> SDoc Source #

pprPrec :: Rational -> StmtLR (GhcPass pl) (GhcPass pr) body -> SDoc Source #

(Outputable d, Outputable info, Outputable i) => Outputable (GenCmmDecl d info i) # 
Instance details

Defined in GHC.Cmm.Ppr.Decl

Methods

ppr :: GenCmmDecl d info i -> SDoc Source #

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

(Outputable a, Outputable b, Outputable c, Outputable d) => Outputable (a, b, c, d) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

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

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

(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e) => Outputable (a, b, c, d, e) # 
Instance details

Defined in GHC.Utils.Outputable

Methods

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

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

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

Defined in GHC.Utils.Outputable

Methods

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

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

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

Defined in GHC.Utils.Outputable

Methods

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

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

class Outputable a => OutputableBndr a where Source #

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

Minimal complete definition

pprPrefixOcc, pprInfixOcc

Instances

Instances details
OutputableBndr Name # 
Instance details

Defined in GHC.Types.Name

OutputableBndr OccName # 
Instance details

Defined in GHC.Types.Name.Occurrence

OutputableBndr Var # 
Instance details

Defined in GHC.Core.Ppr

OutputableBndr RdrName # 
Instance details

Defined in GHC.Types.Name.Reader

OutputableBndr PatSyn # 
Instance details

Defined in GHC.Core.PatSyn

OutputableBndr DataCon # 
Instance details

Defined in GHC.Core.DataCon

OutputableBndr ConLike # 
Instance details

Defined in GHC.Core.ConLike

OutputableBndr HsIPName # 
Instance details

Defined in GHC.Hs.Type

OutputableBndr BinderInfo # 
Instance details

Defined in GHC.Stg.Lift.Analysis

OutputableBndr name => OutputableBndr (IEWrappedName name) # 
Instance details

Defined in GHC.Hs.ImpExp

Outputable b => OutputableBndr (TaggedBndr b) # 
Instance details

Defined in GHC.Core.Ppr

OutputableBndr (AmbiguousFieldOcc (GhcPass p)) # 
Instance details

Defined in GHC.Hs.Type

Pretty printing combinators

data SDoc Source #

Represents a pretty-printable document.

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

Instances

Instances details
IsString SDoc # 
Instance details

Defined in GHC.Utils.Outputable

Outputable SDoc # 
Instance details

Defined in GHC.Utils.Outputable

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

Returns the separated concatenation of the pretty printed things.

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

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

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

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

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

pprWithCommas Source #

Arguments

:: (a -> SDoc)

The pretty printing function to use

-> [a]

The things to be pretty printed

-> SDoc

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

pprWithBars Source #

Arguments

:: (a -> SDoc)

The pretty printing function to use

-> [a]

The things to be pretty printed

-> SDoc

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

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

Indent SDoc some specified amount

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

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

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

Join two SDoc together horizontally without a gap

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

Join two SDoc together horizontally with a gap between them

hcat :: [SDoc] -> SDoc Source #

Concatenate SDoc horizontally

hsep :: [SDoc] -> SDoc Source #

Concatenate SDoc horizontally with a space between each one

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

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

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

Join two SDoc together vertically

vcat :: [SDoc] -> SDoc Source #

Concatenate SDoc vertically with dovetailing

sep :: [SDoc] -> SDoc Source #

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

cat :: [SDoc] -> SDoc Source #

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

fsep :: [SDoc] -> SDoc Source #

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

fcat :: [SDoc] -> SDoc Source #

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

hang Source #

Arguments

:: SDoc

The header

-> Int

Amount to indent the hung body

-> SDoc

The hung body, indented and placed below the header

-> SDoc 

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

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

punctuate Source #

Arguments

:: SDoc

The punctuation

-> [SDoc]

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

-> [SDoc]

Punctuated list

speakNth :: Int -> SDoc Source #

Converts an integer to a verbal index:

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

speakN :: Int -> SDoc Source #

Converts an integer to a verbal multiplicity:

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

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

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

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

plural :: [a] -> SDoc Source #

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

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

isOrAre :: [a] -> SDoc Source #

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

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

doOrDoes :: [a] -> SDoc Source #

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

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

itsOrTheir :: [a] -> SDoc Source #

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

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

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

Apply the given colour/style for the argument.

Only takes effect if colours are enabled.

Converting SDoc into strings and outputting it

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

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

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

Like printSDoc but appends an extra newline.

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

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

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

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

pprHsChar :: Char -> SDoc Source #

Special combinator for showing character literals.

pprHsString :: FastString -> SDoc Source #

Special combinator for showing string literals.

pprHsBytes :: ByteString -> SDoc Source #

Special combinator for showing bytestring literals.

pprPrimChar :: Char -> SDoc Source #

Special combinator for showing unboxed literals.

pprFilePathString :: FilePath -> SDoc Source #

Normalise, escape and render a string representing a path

e.g. "c:\whatever"

Controlling the style in which output is printed

data BindingSite Source #

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

Constructors

LambdaBind

The x in (x. e)

CaseBind

The x in case scrut of x { (y,z) -> ... }

CasePatBind

The y,z in case scrut of x { (y,z) -> ... }

LetBind

The x in (let x = rhs in e)

data PprStyle Source #

Instances

Instances details
Outputable PprStyle # 
Instance details

Defined in GHC.Utils.Outputable

data CodeStyle Source #

Constructors

CStyle 
AsmStyle 

data PrintUnqualified Source #

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

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

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

type QueryQualifyModule = Module -> Bool Source #

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

type QueryQualifyPackage = Unit -> Bool Source #

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

alwaysQualifyNames :: QueryQualifyName Source #

NB: This won't ever show package IDs

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

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

Truncate a list that is longer than the current depth.

mkErrStyle :: PrintUnqualified -> PprStyle Source #

Style for printing error messages

defaultErrStyle :: PprStyle Source #

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

data Depth Source #

Constructors

AllTheWay 
PartWay Int

0 => stop

DefaultDepth

Use sdocDefaultDepth field as depth

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

Says what to do with and without -dppr-debug

whenPprDebug :: SDoc -> SDoc Source #

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

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

Indicate if -dppr-debug mode is enabled

Error handling and debugging utilities

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

Throw an exception saying "bug in GHC"

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

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

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

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

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

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

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

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

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

pprTraceWith :: String -> (a -> SDoc) -> a -> a Source #

pprTraceWith desc f x is equivalent to pprTrace desc (f x) x. This allows you to print details from the returned value as well as from ambient variables.

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

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

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

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

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

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

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

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

pprTraceWithFlags :: DynFlags -> String -> SDoc -> a -> a Source #

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

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

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

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

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

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

pgmError :: String -> a Source #

Panics and asserts.

panic :: String -> a Source #

Panics and asserts.

sorry :: String -> a Source #

Panics and asserts.

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

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

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