GHC.Utils.Outputable

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

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

Type classes

class Outputable a where

Class designating that some type has an SDoc representation

Methods

ppr :: a -> SDoc

Instances

Outputable Fingerprint

Defined in GHC.Utils.Outputable

Methods

ppr :: Fingerprint -> SDoc

Outputable Int32

Defined in GHC.Utils.Outputable

Methods

ppr :: Int32 -> SDoc

Outputable Int64

Defined in GHC.Utils.Outputable

Methods

ppr :: Int64 -> SDoc

Outputable Word16

Defined in GHC.Utils.Outputable

Methods

ppr :: Word16 -> SDoc

Outputable Word32

Defined in GHC.Utils.Outputable

Methods

ppr :: Word32 -> SDoc

Outputable Word64

Defined in GHC.Utils.Outputable

Methods

ppr :: Word64 -> SDoc

Outputable IntSet

Defined in GHC.Utils.Outputable

Methods

ppr :: IntSet -> SDoc

Outputable PrimCall

Defined in GHC.Builtin.PrimOps

Methods

ppr :: PrimCall -> SDoc

Outputable PrimOp

Defined in GHC.Builtin.PrimOps

Methods

ppr :: PrimOp -> SDoc

Outputable ByteOff

Defined in GHC.ByteCode.Types

Methods

ppr :: ByteOff -> SDoc

Outputable CgBreakInfo

Defined in GHC.ByteCode.Types

Methods

ppr :: CgBreakInfo -> SDoc

Outputable CompiledByteCode

Defined in GHC.ByteCode.Types

Methods

ppr :: CompiledByteCode -> SDoc

Outputable RegBitmap

Defined in GHC.ByteCode.Types

Methods

ppr :: RegBitmap -> SDoc

Outputable TupleInfo

Defined in GHC.ByteCode.Types

Methods

ppr :: TupleInfo -> SDoc

Outputable UnlinkedBCO

Defined in GHC.ByteCode.Types

Methods

ppr :: UnlinkedBCO -> SDoc

Outputable WordOff

Defined in GHC.ByteCode.Types

Methods

ppr :: WordOff -> SDoc

Outputable CmmStatic

Defined in GHC.Cmm

Methods

ppr :: CmmStatic -> SDoc

Outputable CLabel

Defined in GHC.Cmm.CLabel

Methods

ppr :: CLabel -> SDoc

Outputable ConInfoTableLocation

Defined in GHC.Cmm.CLabel

Methods

ppr :: ConInfoTableLocation -> SDoc

Outputable ForeignLabelSource

Defined in GHC.Cmm.CLabel

Methods

ppr :: ForeignLabelSource -> SDoc

Outputable Label

Defined in GHC.Cmm.Dataflow.Label

Methods

ppr :: Label -> SDoc

Outputable LabelSet

Defined in GHC.Cmm.Dataflow.Label

Methods

ppr :: LabelSet -> SDoc

Outputable CmmLit

Defined in GHC.Cmm.Expr

Methods

ppr :: CmmLit -> SDoc

Outputable CmmTickScope

Defined in GHC.Cmm.Node

Methods

ppr :: CmmTickScope -> SDoc

Outputable CmmType

Defined in GHC.Cmm.Type

Methods

ppr :: CmmType -> SDoc

Outputable Width

Defined in GHC.Cmm.Type

Methods

ppr :: Width -> SDoc

Outputable AltCon

Defined in GHC.Core

Methods

ppr :: AltCon -> SDoc

Outputable CoreRule

Defined in GHC.Core.Ppr

Methods

ppr :: CoreRule -> SDoc

Outputable Unfolding

Defined in GHC.Core.Ppr

Methods

ppr :: Unfolding -> SDoc

Outputable UnfoldingGuidance

Defined in GHC.Core.Ppr

Methods

ppr :: UnfoldingGuidance -> SDoc

Outputable UnfoldingSource

Defined in GHC.Core.Ppr

Methods

ppr :: UnfoldingSource -> SDoc

Outputable Class

Defined in GHC.Core.Class

Methods

ppr :: Class -> SDoc

Outputable LiftingContext

Defined in GHC.Core.Coercion

Methods

ppr :: LiftingContext -> SDoc

Outputable CoAxBranch

Defined in GHC.Core.Coercion.Axiom

Methods

ppr :: CoAxBranch -> SDoc

Outputable CoAxiomRule

Defined in GHC.Core.Coercion.Axiom

Methods

ppr :: CoAxiomRule -> SDoc

Outputable Role

Defined in GHC.Core.Coercion.Axiom

Methods

ppr :: Role -> SDoc

Outputable ConLike

Defined in GHC.Core.ConLike

Methods

ppr :: ConLike -> SDoc

Outputable DataCon

Defined in GHC.Core.DataCon

Methods

ppr :: DataCon -> SDoc

Outputable EqSpec

Defined in GHC.Core.DataCon

Methods

ppr :: EqSpec -> SDoc

Outputable HsImplBang

Defined in GHC.Core.DataCon

Methods

ppr :: HsImplBang -> SDoc

Outputable HsSrcBang

Defined in GHC.Core.DataCon

Methods

ppr :: HsSrcBang -> SDoc

Outputable SrcStrictness

Defined in GHC.Core.DataCon

Methods

ppr :: SrcStrictness -> SDoc

Outputable SrcUnpackedness

Defined in GHC.Core.DataCon

Methods

ppr :: SrcUnpackedness -> SDoc

Outputable StrictnessMark

Defined in GHC.Core.DataCon

Methods

ppr :: StrictnessMark -> SDoc

Outputable FamInst

Defined in GHC.Core.FamInstEnv

Methods

ppr :: FamInst -> SDoc

Outputable FamInstMatch

Defined in GHC.Core.FamInstEnv

Methods

ppr :: FamInstMatch -> SDoc

Outputable ClsInst

Defined in GHC.Core.InstEnv

Methods

ppr :: ClsInst -> SDoc

Outputable FloatBind

Defined in GHC.Core.Make

Methods

ppr :: FloatBind -> SDoc

Outputable IsSubmult

Defined in GHC.Core.Multiplicity

Methods

ppr :: IsSubmult -> SDoc

Outputable ArityType

This is the BNF of the generated output:

@

We format

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

Defined in GHC.Core.Opt.Arity

Methods

ppr :: ArityType -> SDoc

Outputable CallerCcFilter

Defined in GHC.Core.Opt.CallerCC

Methods

ppr :: CallerCcFilter -> SDoc

Outputable NamePattern

Defined in GHC.Core.Opt.CallerCC

Methods

ppr :: NamePattern -> SDoc

Outputable CoreToDo

Defined in GHC.Core.Opt.Monad

Methods

ppr :: CoreToDo -> SDoc

Outputable FloatOutSwitches

Defined in GHC.Core.Opt.Monad

Methods

ppr :: FloatOutSwitches -> SDoc

Outputable SimplMode

Defined in GHC.Core.Opt.Monad

Methods

ppr :: SimplMode -> SDoc

Outputable Tick

Defined in GHC.Core.Opt.Monad

Methods

ppr :: Tick -> SDoc

Outputable PatSyn

Defined in GHC.Core.PatSyn

Methods

ppr :: PatSyn -> SDoc

Outputable EqRel

Defined in GHC.Core.Predicate

Methods

ppr :: EqRel -> SDoc

Outputable CoreStats

Defined in GHC.Core.Stats

Methods

ppr :: CoreStats -> SDoc

Outputable Subst

Defined in GHC.Core.Subst

Methods

ppr :: Subst -> SDoc

Outputable Coercion

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: Coercion -> SDoc

Outputable CoercionHole

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: CoercionHole -> SDoc

Outputable MCoercion

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: MCoercion -> SDoc

Outputable TyCoBinder

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: TyCoBinder -> SDoc

Outputable TyLit

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: TyLit -> SDoc

Outputable Type

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: Type -> SDoc

Outputable UnivCoProvenance

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: UnivCoProvenance -> SDoc

Outputable TCvSubst

Defined in GHC.Core.TyCo.Subst

Methods

ppr :: TCvSubst -> SDoc

Outputable AlgTyConFlav

Defined in GHC.Core.TyCon

Methods

ppr :: AlgTyConFlav -> SDoc

Outputable FamTyConFlav

Defined in GHC.Core.TyCon

Methods

ppr :: FamTyConFlav -> SDoc

Outputable PrimElemRep

Defined in GHC.Core.TyCon

Methods

ppr :: PrimElemRep -> SDoc

Outputable PrimRep

Defined in GHC.Core.TyCon

Methods

ppr :: PrimRep -> SDoc

Outputable TyCon

Defined in GHC.Core.TyCon

Methods

ppr :: TyCon -> SDoc

Outputable TyConBndrVis

Defined in GHC.Core.TyCon

Methods

ppr :: TyConBndrVis -> SDoc

Outputable TyConFlavour

Defined in GHC.Core.TyCon

Methods

ppr :: TyConFlavour -> SDoc

Outputable RecTcChecker

Defined in GHC.Core.TyCon.RecWalk

Methods

ppr :: RecTcChecker -> SDoc

Outputable ArgSummary

Defined in GHC.Core.Unfold

Methods

ppr :: ArgSummary -> SDoc

Outputable CallCtxt

Defined in GHC.Core.Unfold

Methods

ppr :: CallCtxt -> SDoc

Outputable MaybeApartReason

Defined in GHC.Core.Unify

Methods

ppr :: MaybeApartReason -> SDoc

Outputable Usage

Defined in GHC.Core.UsageEnv

Methods

ppr :: Usage -> SDoc

Outputable UsageEnv

Defined in GHC.Core.UsageEnv

Methods

ppr :: UsageEnv -> SDoc

Outputable FastString

Defined in GHC.Utils.Outputable

Methods

ppr :: FastString -> SDoc

Outputable LexicalFastString

Defined in GHC.Utils.Outputable

Methods

ppr :: LexicalFastString -> SDoc

Outputable NonDetFastString

Defined in GHC.Utils.Outputable

Methods

ppr :: NonDetFastString -> SDoc

Outputable EdgeType

Defined in GHC.Data.Graph.Directed

Methods

ppr :: EdgeType -> SDoc

Outputable HsComponentId

Defined in GHC.Driver.Backpack.Syntax

Methods

ppr :: HsComponentId -> SDoc

Outputable WarnReason

Defined in GHC.Driver.CmdLine

Methods

ppr :: WarnReason -> SDoc

Outputable Language

Defined in GHC.Driver.Flags

Methods

ppr :: Language -> SDoc

Outputable WarnReason

Defined in GHC.Driver.Flags

Methods

ppr :: WarnReason -> SDoc

Outputable Phase

Defined in GHC.Driver.Phases

Methods

ppr :: Phase -> SDoc

Outputable PhasePlus

Defined in GHC.Driver.Pipeline.Monad

Methods

ppr :: PhasePlus -> SDoc

Outputable PluginRecompile

Defined in GHC.Driver.Plugins

Methods

ppr :: PluginRecompile -> SDoc

Outputable GhcMode

Defined in GHC.Driver.Session

Methods

ppr :: GhcMode -> SDoc

Outputable ModRenaming

Defined in GHC.Driver.Session

Methods

ppr :: ModRenaming -> SDoc

Outputable PackageArg

Defined in GHC.Driver.Session

Methods

ppr :: PackageArg -> SDoc

Outputable PackageFlag

Defined in GHC.Driver.Session

Methods

ppr :: PackageFlag -> SDoc

Outputable HsModule

Defined in GHC.Hs

Methods

ppr :: HsModule -> SDoc

Outputable XViaStrategyPs

Defined in GHC.Hs.Decls

Methods

ppr :: XViaStrategyPs -> SDoc

Outputable ArgDocMap

Defined in GHC.Hs.Doc

Methods

ppr :: ArgDocMap -> SDoc

Outputable DeclDocMap

Defined in GHC.Hs.Doc

Methods

ppr :: DeclDocMap -> SDoc

Outputable HsDocString

Defined in GHC.Hs.Doc

Methods

ppr :: HsDocString -> SDoc

Outputable GrhsAnn

Defined in GHC.Hs.Expr

Methods

ppr :: GrhsAnn -> SDoc

Outputable PendingRnSplice

Defined in GHC.Hs.Expr

Methods

ppr :: PendingRnSplice -> SDoc

Outputable PendingTcSplice

Defined in GHC.Hs.Expr

Methods

ppr :: PendingTcSplice -> SDoc

Outputable SyntaxExprRn

Defined in GHC.Hs.Expr

Methods

ppr :: SyntaxExprRn -> SDoc

Outputable SyntaxExprTc

Defined in GHC.Hs.Expr

Methods

ppr :: SyntaxExprTc -> SDoc

Outputable IfaceAT

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceAT -> SDoc

Outputable IfaceAnnotation

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceAnnotation -> SDoc

Outputable IfaceClassOp

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceClassOp -> SDoc

Outputable IfaceClsInst

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceClsInst -> SDoc

Outputable IfaceCompleteMatch

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceCompleteMatch -> SDoc

Outputable IfaceConAlt

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceConAlt -> SDoc

Outputable IfaceDecl

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceDecl -> SDoc

Outputable IfaceExpr

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceExpr -> SDoc

Outputable IfaceFamInst

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceFamInst -> SDoc

Outputable IfaceIdDetails

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceIdDetails -> SDoc

Outputable IfaceInfoItem

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceInfoItem -> SDoc

Outputable IfaceJoinInfo

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceJoinInfo -> SDoc

Outputable IfaceLFInfo

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceLFInfo -> SDoc

Outputable IfaceRule

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceRule -> SDoc

Outputable IfaceTyConParent

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceTyConParent -> SDoc

Outputable IfaceUnfolding

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceUnfolding -> SDoc

Outputable ShowHowMuch

Defined in GHC.Iface.Syntax

Methods

ppr :: ShowHowMuch -> SDoc

Outputable IfaceAppArgs

Defined in GHC.Iface.Type

Methods

ppr :: IfaceAppArgs -> SDoc

Outputable IfaceBndr

Defined in GHC.Iface.Type

Methods

ppr :: IfaceBndr -> SDoc

Outputable IfaceCoercion

Defined in GHC.Iface.Type

Methods

ppr :: IfaceCoercion -> SDoc

Outputable IfaceOneShot

Defined in GHC.Iface.Type

Methods

ppr :: IfaceOneShot -> SDoc

Outputable IfaceTyCon

Defined in GHC.Iface.Type

Methods

ppr :: IfaceTyCon -> SDoc

Outputable IfaceTyConInfo

Defined in GHC.Iface.Type

Methods

ppr :: IfaceTyConInfo -> SDoc

Outputable IfaceTyConSort

Defined in GHC.Iface.Type

Methods

ppr :: IfaceTyConSort -> SDoc

Outputable IfaceTyLit

Defined in GHC.Iface.Type

Methods

ppr :: IfaceTyLit -> SDoc

Outputable IfaceType

Defined in GHC.Iface.Type

Methods

ppr :: IfaceType -> SDoc

Outputable Extension

Defined in GHC.Utils.Outputable

Methods

ppr :: Extension -> SDoc

Outputable Linkable

Defined in GHC.Linker.Types

Methods

ppr :: Linkable -> SDoc

Outputable SptEntry

Defined in GHC.Linker.Types

Methods

ppr :: SptEntry -> SDoc

Outputable Unlinked

Defined in GHC.Linker.Types

Methods

ppr :: Unlinked -> SDoc

Outputable AddEpAnn

Defined in GHC.Parser.Annotation

Methods

ppr :: AddEpAnn -> SDoc

Outputable Anchor

Defined in GHC.Parser.Annotation

Methods

ppr :: Anchor -> SDoc

Outputable AnchorOperation

Defined in GHC.Parser.Annotation

Methods

ppr :: AnchorOperation -> SDoc

Outputable AnnContext

Defined in GHC.Parser.Annotation

Methods

ppr :: AnnContext -> SDoc

Outputable AnnKeywordId

Defined in GHC.Parser.Annotation

Methods

ppr :: AnnKeywordId -> SDoc

Outputable AnnList

Defined in GHC.Parser.Annotation

Methods

ppr :: AnnList -> SDoc

Outputable AnnListItem

Defined in GHC.Parser.Annotation

Methods

ppr :: AnnListItem -> SDoc

Outputable AnnPragma

Defined in GHC.Parser.Annotation

Methods

ppr :: AnnPragma -> SDoc

Outputable AnnSortKey

Defined in GHC.Parser.Annotation

Methods

ppr :: AnnSortKey -> SDoc

Outputable DeltaPos

Defined in GHC.Parser.Annotation

Methods

ppr :: DeltaPos -> SDoc

Outputable EpAnnComments

Defined in GHC.Parser.Annotation

Methods

ppr :: EpAnnComments -> SDoc

Outputable EpaComment

Defined in GHC.Parser.Annotation

Methods

ppr :: EpaComment -> SDoc

Outputable EpaLocation

Defined in GHC.Parser.Annotation

Methods

ppr :: EpaLocation -> SDoc

Outputable IsUnicodeSyntax

Defined in GHC.Parser.Annotation

Methods

ppr :: IsUnicodeSyntax -> SDoc

Outputable NameAdornment

Defined in GHC.Parser.Annotation

Methods

ppr :: NameAdornment -> SDoc

Outputable NameAnn

Defined in GHC.Parser.Annotation

Methods

ppr :: NameAnn -> SDoc

Outputable TrailingAnn

Defined in GHC.Parser.Annotation

Methods

ppr :: TrailingAnn -> SDoc

Outputable Token

Defined in GHC.Parser.Lexer

Methods

ppr :: Token -> SDoc

Outputable DataConBuilder

Defined in GHC.Parser.Types

Methods

ppr :: DataConBuilder -> SDoc

Outputable RealReg

Defined in GHC.Platform.Reg

Methods

ppr :: RealReg -> SDoc

Outputable Reg

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

Defined in GHC.Platform.Reg

Methods

ppr :: Reg -> SDoc

Outputable VirtualReg

Defined in GHC.Platform.Reg

Methods

ppr :: VirtualReg -> SDoc

Outputable RegClass

Defined in GHC.Platform.Reg.Class

Methods

ppr :: RegClass -> SDoc

Outputable InteractiveImport

Defined in GHC.Runtime.Context

Methods

ppr :: InteractiveImport -> SDoc

Outputable ClosureTypeInfo

Defined in GHC.Runtime.Heap.Layout

Methods

ppr :: ClosureTypeInfo -> SDoc

Outputable SMRep

Defined in GHC.Runtime.Heap.Layout

Methods

ppr :: SMRep -> SDoc

Outputable StgHalfWord

Defined in GHC.Runtime.Heap.Layout

Methods

ppr :: StgHalfWord -> SDoc

Outputable StgWord

Defined in GHC.Runtime.Heap.Layout

Methods

ppr :: StgWord -> SDoc

Outputable Serialized

Defined in GHC.Utils.Outputable

Methods

ppr :: Serialized -> SDoc

Outputable AltType

Defined in GHC.Stg.Syntax

Methods

ppr :: AltType -> SDoc

Outputable ConstructorNumber

Defined in GHC.Stg.Syntax

Methods

ppr :: ConstructorNumber -> SDoc

Outputable NoExtFieldSilent

Defined in GHC.Stg.Syntax

Methods

ppr :: NoExtFieldSilent -> SDoc

Outputable StgArg

Defined in GHC.Stg.Syntax

Methods

ppr :: StgArg -> SDoc

Outputable UpdateFlag

Defined in GHC.Stg.Syntax

Methods

ppr :: UpdateFlag -> SDoc

Outputable ArgDescr

Defined in GHC.StgToCmm.Types

Methods

ppr :: ArgDescr -> SDoc

Outputable LambdaFormInfo

Defined in GHC.StgToCmm.Types

Methods

ppr :: LambdaFormInfo -> SDoc

Outputable StandardFormInfo

Defined in GHC.StgToCmm.Types

Methods

ppr :: StandardFormInfo -> SDoc

Outputable HoleFit

Defined in GHC.Tc.Errors.Hole.FitTypes

Methods

ppr :: HoleFit -> SDoc

Outputable HoleFitCandidate

Defined in GHC.Tc.Errors.Hole.FitTypes

Methods

ppr :: HoleFitCandidate -> SDoc

Outputable TypedHole

Defined in GHC.Tc.Errors.Hole.FitTypes

Methods

ppr :: TypedHole -> SDoc

Outputable IdBindingInfo

Defined in GHC.Tc.Types

Methods

ppr :: IdBindingInfo -> SDoc

Outputable PromotionErr

Defined in GHC.Tc.Types

Methods

ppr :: PromotionErr -> SDoc

Outputable TcBinder

Defined in GHC.Tc.Types

Methods

ppr :: TcBinder -> SDoc

Outputable TcIdSigInfo

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInfo -> SDoc

Outputable TcIdSigInst

Defined in GHC.Tc.Types

Methods

ppr :: TcIdSigInst -> SDoc

Outputable TcPatSynInfo

Defined in GHC.Tc.Types

Methods

ppr :: TcPatSynInfo -> SDoc

Outputable TcSigInfo

Defined in GHC.Tc.Types

Methods

ppr :: TcSigInfo -> SDoc

Outputable TcTyThing

Defined in GHC.Tc.Types

Methods

ppr :: TcTyThing -> SDoc

Outputable ThStage

Defined in GHC.Tc.Types

Methods

ppr :: ThStage -> SDoc

Outputable WhereFrom

Defined in GHC.Tc.Types

Methods

ppr :: WhereFrom -> SDoc

Outputable CanEqLHS

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: CanEqLHS -> SDoc

Outputable CheckTyEqResult

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: CheckTyEqResult -> SDoc

Outputable Ct

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: Ct -> SDoc

Outputable CtEvidence

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: CtEvidence -> SDoc

Outputable CtFlavour

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: CtFlavour -> SDoc

Outputable CtIrredReason

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: CtIrredReason -> SDoc

Outputable HasGivenEqs

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: HasGivenEqs -> SDoc

Outputable Hole

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: Hole -> SDoc

Outputable HoleSort

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: HoleSort -> SDoc

Outputable ImplicStatus

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: ImplicStatus -> SDoc

Outputable Implication

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: Implication -> SDoc

Outputable QCInst

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: QCInst -> SDoc

Outputable SubGoalDepth

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: SubGoalDepth -> SDoc

Outputable TcEvDest

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: TcEvDest -> SDoc

Outputable WantedConstraints

Defined in GHC.Tc.Types.Constraint

Methods

ppr :: WantedConstraints -> SDoc

Outputable EvBind

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: EvBind -> SDoc

Outputable EvBindMap

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: EvBindMap -> SDoc

Outputable EvBindsVar

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: EvBindsVar -> SDoc

Outputable EvCallStack

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: EvCallStack -> SDoc

Outputable EvTerm

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: EvTerm -> SDoc

Outputable EvTypeable

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: EvTypeable -> SDoc

Outputable HoleExprRef

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: HoleExprRef -> SDoc

Outputable HsWrapper

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: HsWrapper -> SDoc

Outputable TcEvBinds

Defined in GHC.Tc.Types.Evidence

Methods

ppr :: TcEvBinds -> SDoc

Outputable CtOrigin

Defined in GHC.Tc.Types.Origin

Methods

ppr :: CtOrigin -> SDoc

Outputable SkolemInfo

Defined in GHC.Tc.Types.Origin

Methods

ppr :: SkolemInfo -> SDoc

Outputable ExpType

Defined in GHC.Tc.Utils.TcType

Methods

ppr :: ExpType -> SDoc

Outputable InferResult

Defined in GHC.Tc.Utils.TcType

Methods

ppr :: InferResult -> SDoc

Outputable MetaDetails

Defined in GHC.Tc.Utils.TcType

Methods

ppr :: MetaDetails -> SDoc

Outputable MetaInfo

Defined in GHC.Tc.Utils.TcType

Methods

ppr :: MetaInfo -> SDoc

Outputable TcLevel

Defined in GHC.Tc.Utils.TcType

Methods

ppr :: TcLevel -> SDoc

Outputable TcTyVarDetails

Defined in GHC.Tc.Utils.TcType

Methods

ppr :: TcTyVarDetails -> SDoc

Outputable Annotation

Defined in GHC.Types.Annotations

Methods

ppr :: Annotation -> SDoc

Outputable AvailInfo

Defined in GHC.Types.Avail

Methods

ppr :: AvailInfo -> SDoc

Outputable GreName

Defined in GHC.Types.Avail

Methods

ppr :: GreName -> SDoc

Outputable Activation

Defined in GHC.Types.Basic

Methods

ppr :: Activation -> SDoc

Outputable Alignment

Defined in GHC.Types.Basic

Methods

ppr :: Alignment -> SDoc

Outputable Boxity

Defined in GHC.Types.Basic

Methods

ppr :: Boxity -> SDoc

Outputable CompilerPhase

Defined in GHC.Types.Basic

Methods

ppr :: CompilerPhase -> SDoc

Outputable FunctionOrData

Defined in GHC.Types.Basic

Methods

ppr :: FunctionOrData -> SDoc

Outputable InlinePragma

Defined in GHC.Types.Basic

Methods

ppr :: InlinePragma -> SDoc

Outputable InlineSpec

Defined in GHC.Types.Basic

Methods

ppr :: InlineSpec -> SDoc

Outputable IntWithInf

Defined in GHC.Types.Basic

Methods

ppr :: IntWithInf -> SDoc

Outputable LeftOrRight

Defined in GHC.Types.Basic

Methods

ppr :: LeftOrRight -> SDoc

Outputable OccInfo

Defined in GHC.Types.Basic

Methods

ppr :: OccInfo -> SDoc

Outputable OneShotInfo

Defined in GHC.Types.Basic

Methods

ppr :: OneShotInfo -> SDoc

Outputable Origin

Defined in GHC.Types.Basic

Methods

ppr :: Origin -> SDoc

Outputable OverlapFlag

Defined in GHC.Types.Basic

Methods

ppr :: OverlapFlag -> SDoc

Outputable OverlapMode

Defined in GHC.Types.Basic

Methods

ppr :: OverlapMode -> SDoc

Outputable PromotionFlag

Defined in GHC.Types.Basic

Methods

ppr :: PromotionFlag -> SDoc

Outputable RecFlag

Defined in GHC.Types.Basic

Methods

ppr :: RecFlag -> SDoc

Outputable RuleMatchInfo

Defined in GHC.Types.Basic

Methods

ppr :: RuleMatchInfo -> SDoc

Outputable SuccessFlag

Defined in GHC.Types.Basic

Methods

ppr :: SuccessFlag -> SDoc

Outputable SwapFlag

Defined in GHC.Types.Basic

Methods

ppr :: SwapFlag -> SDoc

Outputable TailCallInfo

Defined in GHC.Types.Basic

Methods

ppr :: TailCallInfo -> SDoc

Outputable TopLevelFlag

Defined in GHC.Types.Basic

Methods

ppr :: TopLevelFlag -> SDoc

Outputable TupleSort

Defined in GHC.Types.Basic

Methods

ppr :: TupleSort -> SDoc

Outputable TypeOrKind

Defined in GHC.Types.Basic

Methods

ppr :: TypeOrKind -> SDoc

Outputable CompleteMatch

Defined in GHC.Types.CompleteMatch

Methods

ppr :: CompleteMatch -> SDoc

Outputable CostCentre

Defined in GHC.Types.CostCentre

Methods

ppr :: CostCentre -> SDoc

Outputable CostCentreStack

Defined in GHC.Types.CostCentre

Methods

ppr :: CostCentreStack -> SDoc

Outputable Cpr

BNF: ``` cpr ::= '' -- TopCpr | n -- FlatConCpr n | n '(' cpr1 ',' cpr2 ',' ... ')' -- ConCpr n [cpr1,cpr2,...] | b -- BotCpr ``` Examples: * `f x = f x` has denotation b * `1(1,)` is a valid (nested) Cpr denotation for `(I# 42#, f 42)`.

Defined in GHC.Types.Cpr

Methods

ppr :: Cpr -> SDoc

Outputable CprSig

Only print the CPR result

Defined in GHC.Types.Cpr

Methods

ppr :: CprSig -> SDoc

Outputable CprType

Defined in GHC.Types.Cpr

Methods

ppr :: CprType -> SDoc

Outputable Card

See Note [Demand notation] Current syntax was discussed in #19016.

Defined in GHC.Types.Demand

Methods

ppr :: Card -> SDoc

Outputable Demand

See Note [Demand notation]

Defined in GHC.Types.Demand

Methods

ppr :: Demand -> SDoc

Outputable Divergence

Defined in GHC.Types.Demand

Methods

ppr :: Divergence -> SDoc

Outputable DmdType

Defined in GHC.Types.Demand

Methods

ppr :: DmdType -> SDoc

Outputable StrictSig

Defined in GHC.Types.Demand

Methods

ppr :: StrictSig -> SDoc

Outputable SubDemand

See Note [Demand notation]

Defined in GHC.Types.Demand

Methods

ppr :: SubDemand -> SDoc

Outputable TypeShape

Defined in GHC.Types.Demand

Methods

ppr :: TypeShape -> SDoc

Outputable DuplicateRecordFields

Defined in GHC.Types.FieldLabel

Methods

ppr :: DuplicateRecordFields -> SDoc

Outputable FieldLabel

Defined in GHC.Types.FieldLabel

Methods

ppr :: FieldLabel -> SDoc

Outputable FieldSelectors

Defined in GHC.Types.FieldLabel

Methods

ppr :: FieldSelectors -> SDoc

Outputable Fixity

Defined in GHC.Types.Fixity

Methods

ppr :: Fixity -> SDoc

Outputable FixityDirection

Defined in GHC.Types.Fixity

Methods

ppr :: FixityDirection -> SDoc

Outputable LexicalFixity

Defined in GHC.Types.Fixity

Methods

ppr :: LexicalFixity -> SDoc

Outputable FixItem

Defined in GHC.Types.Fixity.Env

Methods

ppr :: FixItem -> SDoc

Outputable CCallConv

Defined in GHC.Types.ForeignCall

Methods

ppr :: CCallConv -> SDoc

Outputable CCallSpec

Defined in GHC.Types.ForeignCall

Methods

ppr :: CCallSpec -> SDoc

Outputable CExportSpec

Defined in GHC.Types.ForeignCall

Methods

ppr :: CExportSpec -> SDoc

Outputable CType

Defined in GHC.Types.ForeignCall

Methods

ppr :: CType -> SDoc

Outputable ForeignCall

Defined in GHC.Types.ForeignCall

Methods

ppr :: ForeignCall -> SDoc

Outputable Header

Defined in GHC.Types.ForeignCall

Methods

ppr :: Header -> SDoc

Outputable Safety

Defined in GHC.Types.ForeignCall

Methods

ppr :: Safety -> SDoc

Outputable CafInfo

Defined in GHC.Types.Id.Info

Methods

ppr :: CafInfo -> SDoc

Outputable IdDetails

Defined in GHC.Types.Id.Info

Methods

ppr :: IdDetails -> SDoc

Outputable IdInfo

Defined in GHC.Core.Ppr

Methods

ppr :: IdInfo -> SDoc

Outputable LevityInfo

Defined in GHC.Types.Id.Info

Methods

ppr :: LevityInfo -> SDoc

Outputable RecSelParent

Defined in GHC.Types.Id.Info

Methods

ppr :: RecSelParent -> SDoc

Outputable TickBoxOp

Defined in GHC.Types.Id.Info

Methods

ppr :: TickBoxOp -> SDoc

Outputable Literal

Defined in GHC.Types.Literal

Methods

ppr :: Literal -> SDoc

Outputable Name

Defined in GHC.Types.Name

Methods

ppr :: Name -> SDoc

Outputable OccName

Defined in GHC.Types.Name.Occurrence

Methods

ppr :: OccName -> SDoc

Outputable GlobalRdrElt

Defined in GHC.Types.Name.Reader

Methods

ppr :: GlobalRdrElt -> SDoc

Outputable ImportSpec

Defined in GHC.Types.Name.Reader

Methods

ppr :: ImportSpec -> SDoc

Outputable LocalRdrEnv

Defined in GHC.Types.Name.Reader

Methods

ppr :: LocalRdrEnv -> SDoc

Outputable Parent

Defined in GHC.Types.Name.Reader

Methods

ppr :: Parent -> SDoc

Outputable RdrName

Defined in GHC.Types.Name.Reader

Methods

ppr :: RdrName -> SDoc

Outputable SlotTy

Defined in GHC.Types.RepType

Methods

ppr :: SlotTy -> SDoc

Outputable IfaceTrustInfo

Defined in GHC.Types.SafeHaskell

Methods

ppr :: IfaceTrustInfo -> SDoc

Outputable SafeHaskellMode

Defined in GHC.Types.SafeHaskell

Methods

ppr :: SafeHaskellMode -> SDoc

Outputable FractionalLit

Defined in GHC.Types.SourceText

Methods

ppr :: FractionalLit -> SDoc

Outputable IntegralLit

Defined in GHC.Types.SourceText

Methods

ppr :: IntegralLit -> SDoc

Outputable SourceText

Defined in GHC.Types.SourceText

Methods

ppr :: SourceText -> SDoc

Outputable StringLiteral

Defined in GHC.Types.SourceText

Methods

ppr :: StringLiteral -> SDoc

Outputable RealSrcLoc

Defined in GHC.Types.SrcLoc

Methods

ppr :: RealSrcLoc -> SDoc

Outputable RealSrcSpan

Defined in GHC.Types.SrcLoc

Methods

ppr :: RealSrcSpan -> SDoc

Outputable SrcLoc

Defined in GHC.Types.SrcLoc

Methods

ppr :: SrcLoc -> SDoc

Outputable SrcSpan

Defined in GHC.Types.SrcLoc

Methods

ppr :: SrcSpan -> SDoc

Outputable UnhelpfulSpanReason

Defined in GHC.Types.SrcLoc

Methods

ppr :: UnhelpfulSpanReason -> SDoc

Outputable Target

Defined in GHC.Types.Target

Methods

ppr :: Target -> SDoc

Outputable TargetId

Defined in GHC.Types.Target

Methods

ppr :: TargetId -> SDoc

Outputable TyThing

Defined in GHC.Types.TyThing

Methods

ppr :: TyThing -> SDoc

Outputable Unique

Defined in GHC.Types.Unique

Methods

ppr :: Unique -> SDoc

Outputable AnonArgFlag

Defined in GHC.Types.Var

Methods

ppr :: AnonArgFlag -> SDoc

Outputable ArgFlag

Defined in GHC.Types.Var

Methods

ppr :: ArgFlag -> SDoc

Outputable Var

Defined in GHC.Types.Var

Methods

ppr :: Var -> SDoc

Outputable InScopeSet

Defined in GHC.Types.Var.Env

Methods

ppr :: InScopeSet -> SDoc

Outputable PackageId

Defined in GHC.Unit.Info

Methods

ppr :: PackageId -> SDoc

Outputable PackageName

Defined in GHC.Unit.Info

Methods

ppr :: PackageName -> SDoc

Outputable ModuleGraphNode

Defined in GHC.Unit.Module.Graph

Methods

ppr :: ModuleGraphNode -> SDoc

Outputable ModLocation

Defined in GHC.Unit.Module.Location

Methods

ppr :: ModLocation -> SDoc

Outputable ExtendedModSummary

Defined in GHC.Unit.Module.ModSummary

Methods

ppr :: ExtendedModSummary -> SDoc

Outputable ModSummary

Defined in GHC.Unit.Module.ModSummary

Methods

ppr :: ModSummary -> SDoc

Outputable ModuleName

Defined in GHC.Unit.Module.Name

Methods

ppr :: ModuleName -> SDoc

Outputable WarningTxt

Defined in GHC.Unit.Module.Warnings

Methods

ppr :: WarningTxt -> SDoc

Outputable UnitPprInfo

Defined in GHC.Unit.Ppr

Methods

ppr :: UnitPprInfo -> SDoc

Outputable ModuleOrigin

Defined in GHC.Unit.State

Methods

ppr :: ModuleOrigin -> SDoc

Outputable UnitErr

Defined in GHC.Unit.State

Methods

ppr :: UnitErr -> SDoc

Outputable UnusableUnitReason

Defined in GHC.Unit.State

Methods

ppr :: UnusableUnitReason -> SDoc

Outputable InstalledModule

Defined in GHC.Unit.Types

Methods

ppr :: InstalledModule -> SDoc

Outputable InstantiatedModule

Defined in GHC.Unit.Types

Methods

ppr :: InstantiatedModule -> SDoc

Outputable InstantiatedUnit

Defined in GHC.Unit.Types

Methods

ppr :: InstantiatedUnit -> SDoc

Outputable Module

Defined in GHC.Unit.Types

Methods

ppr :: Module -> SDoc

Outputable Unit

Defined in GHC.Unit.Types

Methods

ppr :: Unit -> SDoc

Outputable UnitId

Defined in GHC.Unit.Types

Methods

ppr :: UnitId -> SDoc

Outputable PprStyle

Defined in GHC.Utils.Outputable

Methods

ppr :: PprStyle -> SDoc

Outputable QualifyName

Defined in GHC.Utils.Outputable

Methods

ppr :: QualifyName -> SDoc

Outputable SDoc

Defined in GHC.Utils.Outputable

Methods

ppr :: SDoc -> SDoc

Outputable TcSpecPrag

Defined in GHC.Hs.Binds

Methods

ppr :: TcSpecPrag -> SDoc

Outputable DocDecl

Defined in Language.Haskell.Syntax.Decls

Methods

ppr :: DocDecl -> SDoc

Outputable ForeignExport

Defined in Language.Haskell.Syntax.Decls

Methods

ppr :: ForeignExport -> SDoc

Outputable ForeignImport

Defined in Language.Haskell.Syntax.Decls

Methods

ppr :: ForeignImport -> SDoc

Outputable NewOrData

Defined in Language.Haskell.Syntax.Decls

Methods

ppr :: NewOrData -> SDoc

Outputable HsArrowMatchContext

Defined in GHC.Hs.Expr

Methods

ppr :: HsArrowMatchContext -> SDoc

Outputable SpliceDecoration

Defined in Language.Haskell.Syntax.Expr

Methods

ppr :: SpliceDecoration -> SDoc

Outputable NoExtCon

Defined in Language.Haskell.Syntax.Extension

Methods

ppr :: NoExtCon -> SDoc

Outputable NoExtField

Defined in Language.Haskell.Syntax.Extension

Methods

ppr :: NoExtField -> SDoc

Outputable OverLitVal

Defined in Language.Haskell.Syntax.Lit

Methods

ppr :: OverLitVal -> SDoc

Outputable HsIPName

Defined in Language.Haskell.Syntax.Type

Methods

ppr :: HsIPName -> SDoc

Outputable HsTyLit

Defined in Language.Haskell.Syntax.Type

Methods

ppr :: HsTyLit -> SDoc

Outputable Ordering

Defined in GHC.Utils.Outputable

Methods

ppr :: Ordering -> SDoc

Outputable Integer

Defined in GHC.Utils.Outputable

Methods

ppr :: Integer -> SDoc

Outputable ()

Defined in GHC.Utils.Outputable

Methods

ppr :: () -> SDoc

Outputable Bool

Defined in GHC.Utils.Outputable

Methods

ppr :: Bool -> SDoc

Outputable Char

Defined in GHC.Utils.Outputable

Methods

ppr :: Char -> SDoc

Outputable Double

Defined in GHC.Utils.Outputable

Methods

ppr :: Double -> SDoc

Outputable Float

Defined in GHC.Utils.Outputable

Methods

ppr :: Float -> SDoc

Outputable Int

Defined in GHC.Utils.Outputable

Methods

ppr :: Int -> SDoc

Outputable Word

Defined in GHC.Utils.Outputable

Methods

ppr :: Word -> SDoc

Outputable a => Outputable (SCC a)

Defined in GHC.Utils.Outputable

Methods

ppr :: SCC a -> SDoc

Outputable elt => Outputable (IntMap elt)

Defined in GHC.Utils.Outputable

Methods

ppr :: IntMap elt -> SDoc

Outputable a => Outputable (Set a)

Defined in GHC.Utils.Outputable

Methods

ppr :: Set a -> SDoc

Outputable instr => Outputable (GenBasicBlock instr)

Defined in GHC.Cmm

Methods

ppr :: GenBasicBlock instr -> SDoc

Outputable instr => Outputable (ListGraph instr)

Defined in GHC.Cmm

Methods

ppr :: ListGraph instr -> SDoc

Outputable a => Outputable (LabelMap a)

Defined in GHC.Cmm.Dataflow.Label

Methods

ppr :: LabelMap a -> SDoc

OutputableBndr b => Outputable (Alt b)

Defined in GHC.Core.Ppr

Methods

ppr :: Alt b -> SDoc

OutputableBndr b => Outputable (Bind b)

Defined in GHC.Core.Ppr

Methods

ppr :: Bind b -> SDoc

OutputableBndr b => Outputable (Expr b)

Defined in GHC.Core.Ppr

Methods

ppr :: Expr b -> SDoc

Outputable b => Outputable (TaggedBndr b)

Defined in GHC.Core

Methods

ppr :: TaggedBndr b -> SDoc

Outputable ev => Outputable (NormaliseStepResult ev)

Defined in GHC.Core.Coercion

Methods

ppr :: NormaliseStepResult ev -> SDoc

Outputable (CoAxiom br)

Defined in GHC.Core.Coercion.Axiom

Methods

ppr :: CoAxiom br -> SDoc

Outputable a => Outputable (TypeMapG a)

Defined in GHC.Core.Map.Type

Methods

ppr :: TypeMapG a -> SDoc

Outputable a => Outputable (Scaled a)

Defined in GHC.Core.TyCo.Rep

Methods

ppr :: Scaled a -> SDoc

Outputable a => Outputable (UnifyResultM a)

Defined in GHC.Core.Unify

Methods

ppr :: UnifyResultM a -> SDoc

Outputable a => Outputable (Bag a)

Defined in GHC.Data.Bag

Methods

ppr :: Bag a -> SDoc

OutputableBndr a => Outputable (BooleanFormula a)

Defined in GHC.Data.BooleanFormula

Methods

ppr :: BooleanFormula a -> SDoc

Outputable node => Outputable (Graph node)

Defined in GHC.Data.Graph.Directed

Methods

ppr :: Graph node -> SDoc

Outputable a => Outputable (OrdList a)

Defined in GHC.Data.OrdList

Methods

ppr :: OrdList a -> SDoc

Outputable a => Outputable (Pair a)

Defined in GHC.Data.Pair

Methods

ppr :: Pair a -> SDoc

OutputableBndrId p => Outputable (IE (GhcPass p))

Defined in GHC.Hs.ImpExp

Methods

ppr :: IE (GhcPass p) -> SDoc

OutputableBndr name => Outputable (IEWrappedName name)

Defined in GHC.Hs.ImpExp

Methods

ppr :: IEWrappedName name -> SDoc

(OutputableBndrId p, Outputable (Anno (IE (GhcPass p)))) => Outputable (ImportDecl (GhcPass p))

Defined in GHC.Hs.ImpExp

Methods

ppr :: ImportDecl (GhcPass p) -> SDoc

Outputable a => Outputable (EpAnn a)

Defined in GHC.Parser.Annotation

Methods

ppr :: EpAnn a -> SDoc

Outputable a => Outputable (SrcSpanAnn' a)

Defined in GHC.Parser.Annotation

Methods

ppr :: SrcSpanAnn' a -> SDoc

Outputable (PatBuilder GhcPs)

Defined in GHC.Parser.Types

Methods

ppr :: PatBuilder GhcPs -> SDoc

Outputable name => Outputable (AnnTarget name)

Defined in GHC.Types.Annotations

Methods

ppr :: AnnTarget name -> SDoc

Outputable (DefMethSpec ty)

Defined in GHC.Types.Basic

Methods

ppr :: DefMethSpec ty -> SDoc

Outputable a => Outputable (OccEnv a)

Defined in GHC.Types.Name.Occurrence

Methods

ppr :: OccEnv a -> SDoc

Outputable e => Outputable (Located e)

Defined in GHC.Types.SrcLoc

Methods

ppr :: Located e -> SDoc

Outputable (XTickishId pass) => Outputable (GenTickish pass)

Defined in GHC.Core.Ppr

Methods

ppr :: GenTickish pass -> SDoc

Outputable a => Outputable (UniqDSet a)

Defined in GHC.Types.Unique.DSet

Methods

ppr :: UniqDSet a -> SDoc

Outputable a => Outputable (UniqSet a)

Defined in GHC.Types.Unique.Set

Methods

ppr :: UniqSet a -> SDoc

Outputable unit => Outputable (Definite unit)

Defined in GHC.Unit.Types

Methods

ppr :: Definite unit -> SDoc

Outputable a => Outputable (GenWithIsBoot a)

Defined in GHC.Unit.Types

Methods

ppr :: GenWithIsBoot a -> SDoc

Outputable unit => Outputable (Indefinite unit)

Defined in GHC.Unit.Types

Methods

ppr :: Indefinite unit -> SDoc

OutputableBndrId p => Outputable (ABExport (GhcPass p))

Defined in GHC.Hs.Binds

Methods

ppr :: ABExport (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (FixitySig (GhcPass p))

Defined in GHC.Hs.Binds

Methods

ppr :: FixitySig (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsIPBinds (GhcPass p))

Defined in GHC.Hs.Binds

Methods

ppr :: HsIPBinds (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (IPBind (GhcPass p))

Defined in GHC.Hs.Binds

Methods

ppr :: IPBind (GhcPass p) -> SDoc

Outputable (RecordPatSynField a)

Defined in Language.Haskell.Syntax.Binds

Methods

ppr :: RecordPatSynField a -> SDoc

OutputableBndrId p => Outputable (Sig (GhcPass p))

Defined in GHC.Hs.Binds

Methods

ppr :: Sig (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (AnnDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: AnnDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (ClsInstDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: ClsInstDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (ConDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: ConDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (DataFamInstDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: DataFamInstDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (DefaultDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: DefaultDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (DerivClauseTys (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: DerivClauseTys (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (DerivDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: DerivDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (DerivStrategy (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: DerivStrategy (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (FamilyDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: FamilyDecl (GhcPass p) -> SDoc

Outputable (FamilyInfo pass)

Defined in Language.Haskell.Syntax.Decls

Methods

ppr :: FamilyInfo pass -> SDoc

OutputableBndrId p => Outputable (ForeignDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: ForeignDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (FunDep (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: FunDep (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsDataDefn (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: HsDataDefn (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: HsDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsDerivingClause (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: HsDerivingClause (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsGroup (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: HsGroup (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (InstDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: InstDecl (GhcPass p) -> SDoc

OutputableBndr (IdP (GhcPass p)) => Outputable (RoleAnnotDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: RoleAnnotDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (RuleBndr (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: RuleBndr (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (RuleDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: RuleDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (RuleDecls (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: RuleDecls (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (SpliceDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: SpliceDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (StandaloneKindSig (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: StandaloneKindSig (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (TyClDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: TyClDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (TyClGroup (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: TyClGroup (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (TyFamInstDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: TyFamInstDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (WarnDecl (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: WarnDecl (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (WarnDecls (GhcPass p))

Defined in GHC.Hs.Decls

Methods

ppr :: WarnDecls (GhcPass p) -> SDoc

OutputableBndrId idL => Outputable (ApplicativeArg (GhcPass idL))

Defined in GHC.Hs.Expr

Methods

ppr :: ApplicativeArg (GhcPass idL) -> SDoc

OutputableBndrId p => Outputable (ArithSeqInfo (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: ArithSeqInfo (GhcPass p) -> SDoc

Outputable (FieldLabelStrings p)

Defined in Language.Haskell.Syntax.Expr

Methods

ppr :: FieldLabelStrings p -> SDoc

OutputableBndrId p => Outputable (HsBracket (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsBracket (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsCmd (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsCmd (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsCmdTop (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsCmdTop (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsExpr (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsExpr (GhcPass p) -> SDoc

Outputable (HsFieldLabel p)

Defined in Language.Haskell.Syntax.Expr

Methods

ppr :: HsFieldLabel p -> SDoc

OutputableBndrId p => Outputable (HsMatchContext (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsMatchContext (GhcPass p) -> SDoc

Outputable (HsPragE (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsPragE (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsSplice (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsSplice (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsSplicedThing (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsSplicedThing (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsStmtContext (GhcPass p))

Defined in GHC.Hs.Expr

Methods

ppr :: HsStmtContext (GhcPass p) -> SDoc

Outputable (HsLit (GhcPass p))

Defined in GHC.Hs.Lit

Methods

ppr :: HsLit (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsOverLit (GhcPass p))

Defined in GHC.Hs.Lit

Methods

ppr :: HsOverLit (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (Pat (GhcPass p))

Defined in GHC.Hs.Pat

Methods

ppr :: Pat (GhcPass p) -> SDoc

Outputable (AmbiguousFieldOcc (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: AmbiguousFieldOcc (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (ConDeclField (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: ConDeclField (GhcPass p) -> SDoc

Outputable (FieldOcc pass)

Defined in Language.Haskell.Syntax.Type

Methods

ppr :: FieldOcc pass -> SDoc

OutputableBndrId pass => Outputable (HsArrow (GhcPass pass))

Defined in GHC.Hs.Type

Methods

ppr :: HsArrow (GhcPass pass) -> SDoc

OutputableBndrId p => Outputable (HsForAllTelescope (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: HsForAllTelescope (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsPatSigType (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: HsPatSigType (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsSigType (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: HsSigType (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsType (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: HsType (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (LHsQTyVars (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: LHsQTyVars (GhcPass p) -> SDoc

Outputable a => Outputable (NonEmpty a)

Defined in GHC.Utils.Outputable

Methods

ppr :: NonEmpty a -> SDoc

Outputable a => Outputable (Maybe a)

Defined in GHC.Utils.Outputable

Methods

ppr :: Maybe a -> SDoc

Outputable a => Outputable [a]

Defined in GHC.Utils.Outputable

Methods

ppr :: [a] -> SDoc

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

Defined in GHC.Utils.Outputable

Methods

ppr :: Either a b -> SDoc

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

Defined in GHC.Utils.Outputable

Methods

ppr :: Map key elt -> SDoc

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

Defined in GHC.Data.Graph.Directed

Methods

ppr :: Node a b -> SDoc

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

Defined in GHC.Data.TrieMap

Methods

ppr :: GenMap m a -> SDoc

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

Defined in GHC.Data.TrieMap

Methods

ppr :: ListMap m a -> SDoc

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

Just print the original expression (the a).

Defined in GHC.Hs.Expr

Methods

ppr :: HsExpansion a b -> SDoc

Outputable (GenLocated Anchor EpaComment)

Defined in GHC.Parser.Annotation

Methods

ppr :: GenLocated Anchor EpaComment -> SDoc

(Outputable a, Outputable e) => Outputable (GenLocated (SrcSpanAnn' a) e)

Defined in GHC.Parser.Annotation

Methods

ppr :: GenLocated (SrcSpanAnn' a) e -> SDoc

Outputable e => Outputable (GenLocated RealSrcSpan e)

Defined in GHC.Types.SrcLoc

Methods

ppr :: GenLocated RealSrcSpan e -> SDoc

Outputable a => Outputable (UniqDFM key a)

Defined in GHC.Types.Unique.DFM

Methods

ppr :: UniqDFM key a -> SDoc

Outputable a => Outputable (UniqFM key a)

Defined in GHC.Types.Unique.FM

Methods

ppr :: UniqFM key a -> SDoc

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

Defined in GHC.Types.Unique.Map

Methods

ppr :: UniqMap k a -> SDoc

OutputableBndr tv => Outputable (VarBndr tv TyConBndrVis)

Defined in GHC.Core.TyCon

Methods

ppr :: VarBndr tv TyConBndrVis -> SDoc

Outputable tv => Outputable (VarBndr tv ArgFlag)

Defined in GHC.Types.Var

Methods

ppr :: VarBndr tv ArgFlag -> SDoc

Outputable tv => Outputable (VarBndr tv Specificity)

Defined in GHC.Types.Var

Methods

ppr :: VarBndr tv Specificity -> SDoc

(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsBindLR (GhcPass pl) (GhcPass pr))

Defined in GHC.Hs.Binds

Methods

ppr :: HsBindLR (GhcPass pl) (GhcPass pr) -> SDoc

(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsLocalBindsLR (GhcPass pl) (GhcPass pr))

Defined in GHC.Hs.Binds

Methods

ppr :: HsLocalBindsLR (GhcPass pl) (GhcPass pr) -> SDoc

(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsValBindsLR (GhcPass pl) (GhcPass pr))

Defined in GHC.Hs.Binds

Methods

ppr :: HsValBindsLR (GhcPass pl) (GhcPass pr) -> SDoc

(OutputableBndrId l, OutputableBndrId r) => Outputable (PatSynBind (GhcPass l) (GhcPass r))

Defined in GHC.Hs.Binds

Methods

ppr :: PatSynBind (GhcPass l) (GhcPass r) -> SDoc

(OutputableBndrId pr, Outputable body) => Outputable (Match (GhcPass pr) body)

Defined in GHC.Hs.Expr

Methods

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

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

Defined in GHC.Hs.Expr

Methods

ppr :: ParStmtBlock (GhcPass idL) (GhcPass idR) -> SDoc

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

Defined in Language.Haskell.Syntax.Pat

Methods

ppr :: HsRecField' p arg -> SDoc

(Outputable arg, Outputable (XRec p (HsRecField p arg))) => Outputable (HsRecFields p arg)

Defined in Language.Haskell.Syntax.Pat

Methods

ppr :: HsRecFields p arg -> SDoc

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

Defined in Language.Haskell.Syntax.Type

Methods

ppr :: HsArg tm ty -> SDoc

(OutputableBndrFlag flag p, OutputableBndrFlag flag (NoGhcTcPass p), OutputableBndrId p) => Outputable (HsOuterTyVarBndrs flag (GhcPass p))

Defined in GHC.Hs.Type

Methods

ppr :: HsOuterTyVarBndrs flag (GhcPass p) -> SDoc

Outputable a => Outputable (HsScaled pass a)

Defined in Language.Haskell.Syntax.Type

Methods

ppr :: HsScaled pass a -> SDoc

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

Defined in GHC.Hs.Type

Methods

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

Outputable thing => Outputable (HsWildCardBndrs (GhcPass p) thing)

Defined in GHC.Hs.Type

Methods

ppr :: HsWildCardBndrs (GhcPass p) thing -> SDoc

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

Defined in GHC.Utils.Outputable

Methods

ppr :: (a, b) -> SDoc

(OutputableBndrId pl, OutputableBndrId pr, Anno (StmtLR (GhcPass pl) (GhcPass pr) body) ~ SrcSpanAnnA, Outputable body) => Outputable (StmtLR (GhcPass pl) (GhcPass pr) body)

Defined in GHC.Hs.Expr

Methods

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

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

Defined in Language.Haskell.Syntax.Type

Methods

ppr :: HsConDetails tyarg arg rec -> SDoc

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

Defined in GHC.Utils.Outputable

Methods

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

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

Defined in GHC.Utils.Outputable

Methods

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

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

Defined in GHC.Utils.Outputable

Methods

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

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

Defined in GHC.Utils.Outputable

Methods

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

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

Defined in GHC.Utils.Outputable

Methods

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

class Outputable a => OutputableBndr a where

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

Minimal complete definition

pprPrefixOcc, pprInfixOcc

Methods

pprBndr :: BindingSite -> a -> SDoc

pprPrefixOcc :: a -> SDoc

pprInfixOcc :: a -> SDoc

bndrIsJoin_maybe :: a -> Maybe Int

Instances

OutputableBndr ConLike

Defined in GHC.Core.ConLike

Methods

pprBndr :: BindingSite -> ConLike -> SDoc

pprPrefixOcc :: ConLike -> SDoc

pprInfixOcc :: ConLike -> SDoc

bndrIsJoin_maybe :: ConLike -> Maybe Int

OutputableBndr DataCon

Defined in GHC.Core.DataCon

Methods

pprBndr :: BindingSite -> DataCon -> SDoc

pprPrefixOcc :: DataCon -> SDoc

pprInfixOcc :: DataCon -> SDoc

bndrIsJoin_maybe :: DataCon -> Maybe Int

OutputableBndr PatSyn

Defined in GHC.Core.PatSyn

Methods

pprBndr :: BindingSite -> PatSyn -> SDoc

pprPrefixOcc :: PatSyn -> SDoc

pprInfixOcc :: PatSyn -> SDoc

bndrIsJoin_maybe :: PatSyn -> Maybe Int

OutputableBndr Name

Defined in GHC.Types.Name

Methods

pprBndr :: BindingSite -> Name -> SDoc

pprPrefixOcc :: Name -> SDoc

pprInfixOcc :: Name -> SDoc

bndrIsJoin_maybe :: Name -> Maybe Int

OutputableBndr OccName

Defined in GHC.Types.Name.Occurrence

Methods

pprBndr :: BindingSite -> OccName -> SDoc

pprPrefixOcc :: OccName -> SDoc

pprInfixOcc :: OccName -> SDoc

bndrIsJoin_maybe :: OccName -> Maybe Int

OutputableBndr RdrName

Defined in GHC.Types.Name.Reader

Methods

pprBndr :: BindingSite -> RdrName -> SDoc

pprPrefixOcc :: RdrName -> SDoc

pprInfixOcc :: RdrName -> SDoc

bndrIsJoin_maybe :: RdrName -> Maybe Int

OutputableBndr Var

Defined in GHC.Core.Ppr

Methods

pprBndr :: BindingSite -> Var -> SDoc

pprPrefixOcc :: Var -> SDoc

pprInfixOcc :: Var -> SDoc

bndrIsJoin_maybe :: Var -> Maybe Int

OutputableBndr HsIPName

Defined in Language.Haskell.Syntax.Type

Methods

pprBndr :: BindingSite -> HsIPName -> SDoc

pprPrefixOcc :: HsIPName -> SDoc

pprInfixOcc :: HsIPName -> SDoc

bndrIsJoin_maybe :: HsIPName -> Maybe Int

Outputable b => OutputableBndr (TaggedBndr b)

Defined in GHC.Core.Ppr

Methods

pprBndr :: BindingSite -> TaggedBndr b -> SDoc

pprPrefixOcc :: TaggedBndr b -> SDoc

pprInfixOcc :: TaggedBndr b -> SDoc

bndrIsJoin_maybe :: TaggedBndr b -> Maybe Int

OutputableBndr name => OutputableBndr (IEWrappedName name)

Defined in GHC.Hs.ImpExp

Methods

pprBndr :: BindingSite -> IEWrappedName name -> SDoc

pprPrefixOcc :: IEWrappedName name -> SDoc

pprInfixOcc :: IEWrappedName name -> SDoc

bndrIsJoin_maybe :: IEWrappedName name -> Maybe Int

OutputableBndr (FieldLabelStrings p)

Defined in Language.Haskell.Syntax.Expr

Methods

pprBndr :: BindingSite -> FieldLabelStrings p -> SDoc

pprPrefixOcc :: FieldLabelStrings p -> SDoc

pprInfixOcc :: FieldLabelStrings p -> SDoc

bndrIsJoin_maybe :: FieldLabelStrings p -> Maybe Int

OutputableBndr (AmbiguousFieldOcc (GhcPass p))

Defined in GHC.Hs.Type

Methods

pprBndr :: BindingSite -> AmbiguousFieldOcc (GhcPass p) -> SDoc

pprPrefixOcc :: AmbiguousFieldOcc (GhcPass p) -> SDoc

pprInfixOcc :: AmbiguousFieldOcc (GhcPass p) -> SDoc

bndrIsJoin_maybe :: AmbiguousFieldOcc (GhcPass p) -> Maybe Int

OutputableBndr (FieldOcc pass)

Defined in Language.Haskell.Syntax.Type

Methods

pprBndr :: BindingSite -> FieldOcc pass -> SDoc

pprPrefixOcc :: FieldOcc pass -> SDoc

pprInfixOcc :: FieldOcc pass -> SDoc

bndrIsJoin_maybe :: FieldOcc pass -> Maybe Int

OutputableBndr (GenLocated SrcSpan (FieldOcc pass))

Defined in Language.Haskell.Syntax.Type

Methods

pprBndr :: BindingSite -> GenLocated SrcSpan (FieldOcc pass) -> SDoc

pprPrefixOcc :: GenLocated SrcSpan (FieldOcc pass) -> SDoc

pprInfixOcc :: GenLocated SrcSpan (FieldOcc pass) -> SDoc

bndrIsJoin_maybe :: GenLocated SrcSpan (FieldOcc pass) -> Maybe Int

class OutputableP env a where

Outputable class with an additional environment value

See Note [The OutputableP class]

Methods

pdoc :: env -> a -> SDoc

Instances

OutputableP Platform CLabel

Defined in GHC.Cmm.CLabel

Methods

pdoc :: Platform -> CLabel -> SDoc

OutputableP env Label

Defined in GHC.Cmm.Dataflow.Label

Methods

pdoc :: env -> Label -> SDoc

OutputableP env Alignment

Defined in GHC.Types.Basic

Methods

pdoc :: env -> Alignment -> SDoc

OutputableP env SDoc

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> SDoc -> SDoc

OutputableP env a => OutputableP env (SCC a)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> SCC a -> SDoc

OutputableP env a => OutputableP env (Set a)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> Set a -> SDoc

OutputableP env instr => OutputableP env (GenBasicBlock instr)

Defined in GHC.Cmm

Methods

pdoc :: env -> GenBasicBlock instr -> SDoc

OutputableP env instr => OutputableP env (ListGraph instr)

Defined in GHC.Cmm

Methods

pdoc :: env -> ListGraph instr -> SDoc

OutputableP env a => OutputableP env (LabelMap a)

Defined in GHC.Cmm.Dataflow.Label

Methods

pdoc :: env -> LabelMap a -> SDoc

Outputable a => OutputableP env (PDoc a)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> PDoc a -> SDoc

OutputableP env a => OutputableP env (Maybe a)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> Maybe a -> SDoc

OutputableP env a => OutputableP env [a]

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> [a] -> SDoc

(OutputableP env key, OutputableP env elt) => OutputableP env (Map key elt)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> Map key elt -> SDoc

(OutputableP env a, OutputableP env b) => OutputableP env (a, b)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> (a, b) -> SDoc

(OutputableP env a, OutputableP env b, OutputableP env c) => OutputableP env (a, b, c)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> (a, b, c) -> SDoc

Pretty printing combinators

data SDoc

Represents a pretty-printable document.

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

Instances

IsString SDoc

Defined in GHC.Utils.Outputable

Methods

fromString :: String -> SDoc

Outputable SDoc

Defined in GHC.Utils.Outputable

Methods

ppr :: SDoc -> SDoc

OutputableP env SDoc

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> SDoc -> SDoc

runSDoc :: SDoc -> SDocContext -> Doc

newtype PDoc a

Wrapper for types having a Outputable instance when an OutputableP instance is required.

Constructors

PDoc a

Instances

Outputable a => OutputableP env (PDoc a)

Defined in GHC.Utils.Outputable

Methods

pdoc :: env -> PDoc a -> SDoc

docToSDoc :: Doc -> SDoc

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

Returns the separated concatenation of the pretty printed things.

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

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

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

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

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

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

pprWithCommas

Arguments

:: (a -> SDoc)

The pretty printing function to use

-> [a]

The things to be pretty printed

-> SDoc

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

quotedListWithOr :: [SDoc] -> SDoc

quotedListWithNor :: [SDoc] -> SDoc

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

lollipop :: SDoc

larrow :: SDoc

darrow :: SDoc

arrowt :: SDoc

larrowt :: SDoc

arrowtt :: SDoc

larrowtt :: SDoc

lambda :: SDoc

lparen :: SDoc

rparen :: SDoc

lbrack :: SDoc

rbrack :: SDoc

lbrace :: SDoc

rbrace :: SDoc

underscore :: SDoc

mulArrow :: SDoc -> SDoc

blankLine :: SDoc

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

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

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

speakNth :: Int -> SDoc

Converts an integer to a verbal index:

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

speakN :: Int -> SDoc

Converts an integer to a verbal multiplicity:

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

speakNOf :: Int -> SDoc -> SDoc

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

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

plural :: [a] -> SDoc

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

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

isOrAre :: [a] -> SDoc

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

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

doOrDoes :: [a] -> SDoc

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

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

itsOrTheir :: [a] -> SDoc

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

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

unicodeSyntax :: SDoc -> SDoc -> SDoc

coloured :: PprColour -> SDoc -> SDoc

Apply the given colour/style for the argument.

Only takes effect if colours are enabled.

keyword :: SDoc -> SDoc

Converting SDoc into strings and outputting it

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

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

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

Like printSDoc but appends an extra newline.

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

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

pprCode :: LabelStyle -> SDoc -> SDoc

showSDocUnsafe :: SDoc -> String

showPprUnsafe :: Outputable a => a -> String

showSDocOneLine :: SDocContext -> SDoc -> String

renderWithContext :: SDocContext -> SDoc -> 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

primDoubleSuffix :: SDoc

primInt8Suffix :: SDoc

primWord8Suffix :: SDoc

primInt16Suffix :: SDoc

primWord16Suffix :: SDoc

primInt32Suffix :: SDoc

primWord32Suffix :: SDoc

primInt64Suffix :: SDoc

primWord64Suffix :: SDoc

primIntSuffix :: SDoc

primWordSuffix :: SDoc

pprPrimChar :: Char -> SDoc

Special combinator for showing unboxed literals.

pprPrimInt :: Integer -> SDoc

pprPrimWord :: Integer -> SDoc

pprPrimInt8 :: Integer -> SDoc

pprPrimWord8 :: Integer -> SDoc

pprPrimInt16 :: Integer -> SDoc

pprPrimWord16 :: Integer -> SDoc

pprPrimInt32 :: Integer -> SDoc

pprPrimWord32 :: Integer -> SDoc

pprPrimInt64 :: Integer -> SDoc

pprPrimWord64 :: Integer -> SDoc

pprFastFilePath :: FastString -> SDoc

pprFilePathString :: FilePath -> SDoc

Normalise, escape and render a string representing a path

e.g. "c:\whatever"

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

Constructors

PprUser PrintUnqualified Depth Coloured

PprDump PrintUnqualified

PprCode LabelStyle

Print code; either C or assembler

Instances

Outputable PprStyle

Defined in GHC.Utils.Outputable

Methods

ppr :: PprStyle -> SDoc

data LabelStyle

Style of label pretty-printing.

When we produce C sources or headers, we have to take into account that C compilers transform C labels when they convert them into symbols. For example, they can add prefixes (e.g., "_" on Darwin) or suffixes (size for stdcalls on Windows). So we provide two ways to pretty-print CLabels: C style or Asm style.

Constructors

CStyle

C label style (used by C and LLVM backends)

AsmStyle

Asm label style (used by NCG backend)

Instances

Show LabelStyle

Defined in GHC.Utils.Outputable

Methods

showsPrec :: Int -> LabelStyle -> ShowS

show :: LabelStyle -> String

showList :: [LabelStyle] -> ShowS

Eq LabelStyle

Defined in GHC.Utils.Outputable

Methods

(==) :: LabelStyle -> LabelStyle -> Bool

(/=) :: LabelStyle -> LabelStyle -> Bool

Ord LabelStyle

Defined in GHC.Utils.Outputable

Methods

compare :: LabelStyle -> LabelStyle -> Ordering

(<) :: LabelStyle -> LabelStyle -> Bool

(<=) :: LabelStyle -> LabelStyle -> Bool

(>) :: LabelStyle -> LabelStyle -> Bool

(>=) :: LabelStyle -> LabelStyle -> Bool

max :: LabelStyle -> LabelStyle -> LabelStyle

min :: LabelStyle -> LabelStyle -> LabelStyle

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 = Unit -> 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 GHC.Utils.Outputable

Methods

ppr :: QualifyName -> SDoc

queryQual :: PprStyle -> PrintUnqualified

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

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

data SDocContext

Constructors

SDC

Fields

• sdocStyle :: !PprStyle
• sdocColScheme :: !Scheme
• sdocLastColour :: !PprColour

  The most recently used colour. This allows nesting colours.

• sdocShouldUseColor :: !Bool
• sdocDefaultDepth :: !Int
• sdocLineLength :: !Int
• sdocCanUseUnicode :: !Bool

  True if Unicode encoding is supported and not disable by GHC_NO_UNICODE environment variable

• sdocHexWordLiterals :: !Bool
• sdocPprDebug :: !Bool
• sdocPrintUnicodeSyntax :: !Bool
• sdocPrintCaseAsLet :: !Bool
• sdocPrintTypecheckerElaboration :: !Bool
• sdocPrintAxiomIncomps :: !Bool
• sdocPrintExplicitKinds :: !Bool
• sdocPrintExplicitCoercions :: !Bool
• sdocPrintExplicitRuntimeReps :: !Bool
• sdocPrintExplicitForalls :: !Bool
• sdocPrintPotentialInstances :: !Bool
• sdocPrintEqualityRelations :: !Bool
• sdocSuppressTicks :: !Bool
• sdocSuppressTypeSignatures :: !Bool
• sdocSuppressTypeApplications :: !Bool
• sdocSuppressIdInfo :: !Bool
• sdocSuppressCoercions :: !Bool
• sdocSuppressUnfoldings :: !Bool
• sdocSuppressVarKinds :: !Bool
• sdocSuppressUniques :: !Bool
• sdocSuppressModulePrefixes :: !Bool
• sdocSuppressStgExts :: !Bool
• sdocErrorSpans :: !Bool
• sdocStarIsType :: !Bool
• sdocLinearTypes :: !Bool
• sdocImpredicativeTypes :: !Bool
• sdocPrintTypeAbbreviations :: !Bool
• sdocUnitIdForUser :: !(FastString -> SDoc)

  Used to map UnitIds to more friendly "package-version:component" strings while pretty-printing.

  Use pprWithUnitState to set it. Users should never have to set it to pretty-print SDocs emitted by GHC, otherwise it's a bug. It's an internal field used to thread the UnitState so that the Outputable instance of UnitId can use it.

  See Note [Pretty-printing UnitId] in GHC.Unit for more details.

  Note that we use FastString instead of UnitId to avoid boring module inter-dependency issues.

sdocWithContext :: (SDocContext -> SDoc) -> SDoc

defaultSDocContext :: SDocContext

Default pretty-printing options

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

withPprStyle :: PprStyle -> SDoc -> SDoc

setStyleColoured :: Bool -> PprStyle -> PprStyle

pprDeeper :: SDoc -> SDoc

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

Truncate a list that is longer than the current depth.

pprSetDepth :: Depth -> SDoc -> SDoc

codeStyle :: PprStyle -> Bool

userStyle :: PprStyle -> Bool

dumpStyle :: PprStyle -> Bool

asmStyle :: PprStyle -> Bool

qualName :: PprStyle -> QueryQualifyName

qualModule :: PprStyle -> QueryQualifyModule

qualPackage :: PprStyle -> QueryQualifyPackage

mkErrStyle :: PrintUnqualified -> PprStyle

Style for printing error messages

defaultErrStyle :: PprStyle

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

defaultDumpStyle :: PprStyle

mkDumpStyle :: PrintUnqualified -> PprStyle

defaultUserStyle :: PprStyle

mkUserStyle :: PrintUnqualified -> Depth -> PprStyle

cmdlineParserStyle :: PprStyle

data Depth

Constructors

AllTheWay

PartWay Int

0 => stop

DefaultDepth

Use sdocDefaultDepth field as depth

withUserStyle :: PrintUnqualified -> Depth -> SDoc -> SDoc

withErrStyle :: PrintUnqualified -> SDoc -> SDoc

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

Indicate if -dppr-debug mode is enabled