Safe Haskell | None |
---|---|
Language | Haskell2010 |
Retrie.GHC
Synopsis
- data RuleInfo = RuleInfo {}
- ruleInfo :: RuleDecl GhcPs -> [RuleInfo]
- overlaps :: SrcSpan -> SrcSpan -> Bool
- cLPat :: forall (p :: Pass). LPat (GhcPass p) -> LPat (GhcPass p)
- dLPat :: forall (p :: Pass). LPat (GhcPass p) -> Maybe (LPat (GhcPass p))
- dLPatUnsafe :: forall (p :: Pass). LPat (GhcPass p) -> LPat (GhcPass p)
- rdrFS :: RdrName -> FastString
- fsDot :: FastString
- varRdrName :: HsExpr p -> Maybe (LIdP p)
- tyvarRdrName :: HsType p -> Maybe (LIdP p)
- fixityDecls :: HsModule GhcPs -> [(LocatedN RdrName, Fixity)]
- tyBindersToLocatedRdrNames :: [LHsTyVarBndr s GhcPs] -> [LocatedN RdrName]
- ruleBindersToQs :: [LRuleBndr GhcPs] -> [RdrName]
- within :: (Int, Int) -> RealSrcSpan -> Bool
- lineCount :: [SrcSpan] -> Int
- showRdrs :: [RdrName] -> String
- uniqBag :: Uniquable a => [(a, b)] -> UniqFM a [b]
- getRealLoc :: SrcLoc -> Maybe RealSrcLoc
- getRealSpan :: SrcSpan -> Maybe RealSrcSpan
- module GHC.Data.Bag
- module GHC.Data.FastString
- module GHC.Data.FastString.Env
- module GHC.Driver.Errors
- module GHC.Hs
- module GHC.Hs.Expr
- module GHC.Parser.Annotation
- module GHC.Parser.Errors.Ppr
- showSDoc :: DynFlags -> SDoc -> String
- data Levity
- data InlineSpec
- appPrec :: PprPrec
- infinity :: IntWithInf
- data OverlapMode
- data RuleMatchInfo
- data ForeignSrcLang
- type ConTag = Int
- data Boxity
- isBoxed :: Boxity -> Bool
- data SuccessFlag
- data PromotionFlag
- isPromoted :: PromotionFlag -> Bool
- data DefaultingStrategy
- data NonStandardDefaultingStrategy
- data TypeOrData
- data TyConFlavour tc
- data TypeOrConstraint
- data TypeOrKind
- data IntWithInf
- data UnfoldingSource
- data InlinePragma = InlinePragma {}
- data Activation
- data CompilerPhase
- type PhaseNum = Int
- data DefMethSpec ty
- data TailCallInfo
- data InsideLam
- data InterestingCxt
- type BranchCount = Int
- data OccInfo
- = ManyOccs {
- occ_tail :: !TailCallInfo
- | IAmDead
- | OneOcc { }
- | IAmALoopBreaker {
- occ_rules_only :: !RulesOnly
- occ_tail :: !TailCallInfo
- = ManyOccs {
- toEP :: EP a -> a
- fromEP :: EP a -> a
- data UnboxedTupleOrSum
- data TupleSort
- newtype PprPrec = PprPrec Int
- data OverlapFlag = OverlapFlag {}
- data DoPmc
- data Origin
- data RecFlag
- data CbvMark
- data TopLevelFlag
- type RuleName = FastString
- data FunctionOrData
- = IsFunction
- | IsData
- data SwapFlag
- data OneShotInfo
- data Alignment
- type ConTagZ = Int
- type FullArgCount = Int
- type JoinArity = Int
- type RepArity = Int
- type Arity = Int
- data LeftOrRight
- pickLR :: LeftOrRight -> (a, a) -> a
- fIRST_TAG :: ConTag
- mkAlignment :: Int -> Alignment
- alignmentOf :: Int -> Alignment
- noOneShotInfo :: OneShotInfo
- isOneShotInfo :: OneShotInfo -> Bool
- hasNoOneShotInfo :: OneShotInfo -> Bool
- worstOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
- bestOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
- flipSwap :: SwapFlag -> SwapFlag
- isSwapped :: SwapFlag -> Bool
- unSwap :: SwapFlag -> (a -> a -> b) -> a -> a -> b
- pprRuleName :: RuleName -> SDoc
- isNotTopLevel :: TopLevelFlag -> Bool
- isTopLevel :: TopLevelFlag -> Bool
- isMarkedCbv :: CbvMark -> Bool
- isRec :: RecFlag -> Bool
- isNonRec :: RecFlag -> Bool
- boolToRecFlag :: Bool -> RecFlag
- isGenerated :: Origin -> Bool
- requiresPMC :: Origin -> Bool
- setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlag
- hasIncoherentFlag :: OverlapMode -> Bool
- hasOverlappableFlag :: OverlapMode -> Bool
- hasOverlappingFlag :: OverlapMode -> Bool
- hasNonCanonicalFlag :: OverlapMode -> Bool
- topPrec :: PprPrec
- sigPrec :: PprPrec
- funPrec :: PprPrec
- opPrec :: PprPrec
- starPrec :: PprPrec
- maxPrec :: PprPrec
- maybeParen :: PprPrec -> PprPrec -> SDoc -> SDoc
- tupleSortBoxity :: TupleSort -> Boxity
- boxityTupleSort :: Boxity -> TupleSort
- tupleParens :: TupleSort -> SDoc -> SDoc
- sumParens :: SDoc -> SDoc
- pprAlternative :: (a -> SDoc) -> a -> ConTag -> Arity -> SDoc
- unboxedTupleOrSumExtension :: UnboxedTupleOrSum -> Extension
- oneBranch :: BranchCount
- noOccInfo :: OccInfo
- isNoOccInfo :: OccInfo -> Bool
- isManyOccs :: OccInfo -> Bool
- seqOccInfo :: OccInfo -> ()
- tailCallInfo :: OccInfo -> TailCallInfo
- zapOccTailCallInfo :: OccInfo -> OccInfo
- isAlwaysTailCalled :: OccInfo -> Bool
- strongLoopBreaker :: OccInfo
- weakLoopBreaker :: OccInfo
- isWeakLoopBreaker :: OccInfo -> Bool
- isStrongLoopBreaker :: OccInfo -> Bool
- isDeadOcc :: OccInfo -> Bool
- isOneOcc :: OccInfo -> Bool
- zapFragileOcc :: OccInfo -> OccInfo
- successIf :: Bool -> SuccessFlag
- succeeded :: SuccessFlag -> Bool
- failed :: SuccessFlag -> Bool
- beginPhase :: Activation -> CompilerPhase
- activeAfter :: CompilerPhase -> Activation
- nextPhase :: CompilerPhase -> CompilerPhase
- laterPhase :: CompilerPhase -> CompilerPhase -> CompilerPhase
- activateAfterInitial :: Activation
- activateDuringFinal :: Activation
- isActive :: CompilerPhase -> Activation -> Bool
- activeInFinalPhase :: Activation -> Bool
- isNeverActive :: Activation -> Bool
- isAlwaysActive :: Activation -> Bool
- competesWith :: Activation -> Activation -> Bool
- isConLike :: RuleMatchInfo -> Bool
- isFunLike :: RuleMatchInfo -> Bool
- noUserInlineSpec :: InlineSpec -> Bool
- defaultInlinePragma :: InlinePragma
- alwaysInlinePragma :: InlinePragma
- neverInlinePragma :: InlinePragma
- alwaysInlineConLikePragma :: InlinePragma
- inlinePragmaSpec :: InlinePragma -> InlineSpec
- inlinePragmaSource :: InlinePragma -> SourceText
- inlineSpecSource :: InlineSpec -> SourceText
- dfunInlinePragma :: InlinePragma
- isDefaultInlinePragma :: InlinePragma -> Bool
- isInlinePragma :: InlinePragma -> Bool
- isInlinablePragma :: InlinePragma -> Bool
- isNoInlinePragma :: InlinePragma -> Bool
- isAnyInlinePragma :: InlinePragma -> Bool
- isOpaquePragma :: InlinePragma -> Bool
- inlinePragmaSat :: InlinePragma -> Maybe Arity
- inlinePragmaActivation :: InlinePragma -> Activation
- inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo
- setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma
- setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma
- inlinePragmaName :: InlineSpec -> SDoc
- pprInline :: InlinePragma -> SDoc
- pprInlineDebug :: InlinePragma -> SDoc
- isStableUserSource :: UnfoldingSource -> Bool
- isStableSystemSource :: UnfoldingSource -> Bool
- isCompulsorySource :: UnfoldingSource -> Bool
- isStableSource :: UnfoldingSource -> Bool
- intGtLimit :: Int -> IntWithInf -> Bool
- subWithInf :: IntWithInf -> Int -> IntWithInf
- treatZeroAsInf :: Int -> IntWithInf
- mkIntWithInf :: Int -> IntWithInf
- isTypeLevel :: TypeOrKind -> Bool
- isKindLevel :: TypeOrKind -> Bool
- mightBeLifted :: Maybe Levity -> Bool
- mightBeUnlifted :: Maybe Levity -> Bool
- tyConFlavourAssoc_maybe :: TyConFlavour tc -> Maybe tc
- defaultNonStandardTyVars :: DefaultingStrategy -> Bool
- module GHC.Types.Error
- module GHC.Types.Fixity
- module GHC.Types.Name
- module GHC.Types.Name.Occurrence
- module GHC.Types.Name.Reader
- module GHC.Types.SourceText
- module GHC.Types.SrcLoc
- module GHC.Types.Unique
- module GHC.Types.Unique.FM
- module GHC.Types.Unique.Set
- module Language.Haskell.Syntax.Basic
- class Outputable a where
Documentation
dLPat :: forall (p :: Pass). LPat (GhcPass p) -> Maybe (LPat (GhcPass p)) #
Only returns located pat if there is a genuine location available.
dLPatUnsafe :: forall (p :: Pass). LPat (GhcPass p) -> LPat (GhcPass p) #
Will always give a location, but it may be noSrcSpan.
rdrFS :: RdrName -> FastString #
fsDot :: FastString #
varRdrName :: HsExpr p -> Maybe (LIdP p) #
tyvarRdrName :: HsType p -> Maybe (LIdP p) #
tyBindersToLocatedRdrNames :: [LHsTyVarBndr s GhcPs] -> [LocatedN RdrName] #
ruleBindersToQs :: [LRuleBndr GhcPs] -> [RdrName] #
getRealLoc :: SrcLoc -> Maybe RealSrcLoc #
getRealSpan :: SrcSpan -> Maybe RealSrcSpan #
module GHC.Data.Bag
module GHC.Data.FastString
module GHC.Data.FastString.Env
module GHC.Driver.Errors
module GHC.Hs
module GHC.Hs.Expr
module GHC.Parser.Annotation
module GHC.Parser.Errors.Ppr
Instances
Data Levity | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Levity -> c Levity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Levity # toConstr :: Levity -> Constr # dataTypeOf :: Levity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Levity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Levity) # gmapT :: (forall b. Data b => b -> b) -> Levity -> Levity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Levity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Levity -> r # gmapQ :: (forall d. Data d => d -> u) -> Levity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Levity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Levity -> m Levity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Levity -> m Levity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Levity -> m Levity # | |
Show Levity | |
Binary Levity | |
Outputable Levity | |
Defined in GHC.Types.Basic | |
Eq Levity | |
Ord Levity | |
data InlineSpec #
Inline Specification
Constructors
Inline SourceText | |
Inlinable SourceText | |
NoInline SourceText | |
Opaque SourceText | |
NoUserInlinePrag |
Instances
Data InlineSpec | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InlineSpec -> c InlineSpec # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlineSpec # toConstr :: InlineSpec -> Constr # dataTypeOf :: InlineSpec -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlineSpec) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlineSpec) # gmapT :: (forall b. Data b => b -> b) -> InlineSpec -> InlineSpec # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlineSpec -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlineSpec -> r # gmapQ :: (forall d. Data d => d -> u) -> InlineSpec -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InlineSpec -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlineSpec -> m InlineSpec # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineSpec -> m InlineSpec # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineSpec -> m InlineSpec # | |
Show InlineSpec | |
Defined in GHC.Types.Basic Methods showsPrec :: Int -> InlineSpec -> ShowS # show :: InlineSpec -> String # showList :: [InlineSpec] -> ShowS # | |
Binary InlineSpec | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> InlineSpec -> IO () # put :: BinHandle -> InlineSpec -> IO (Bin InlineSpec) # get :: BinHandle -> IO InlineSpec # | |
Outputable InlineSpec | |
Defined in GHC.Types.Basic Methods ppr :: InlineSpec -> SDoc # | |
Eq InlineSpec | |
Defined in GHC.Types.Basic |
infinity :: IntWithInf #
A representation of infinity
data OverlapMode #
Constructors
NoOverlap SourceText | This instance must not overlap another |
Overlappable SourceText | Silently ignore this instance if you find a more specific one that matches the constraint you are trying to resolve Example: constraint (Foo [Int]) instance Foo [Int] instance {-# OVERLAPPABLE #-} Foo [a] Since the second instance has the Overlappable flag, the first instance will be chosen (otherwise its ambiguous which to choose) |
Overlapping SourceText | Silently ignore any more general instances that may be used to solve the constraint. Example: constraint (Foo [Int]) instance {-# OVERLAPPING #-} Foo [Int] instance Foo [a] Since the first instance has the Overlapping flag, the second---more general---instance will be ignored (otherwise it is ambiguous which to choose) |
Overlaps SourceText | Equivalent to having both |
Incoherent SourceText | Behave like Overlappable and Overlapping, and in addition pick an arbitrary one if there are multiple matching candidates, and don't worry about later instantiation Example: constraint (Foo [b])
instance {-# INCOHERENT -} Foo [Int]
instance Foo [a]
Without the Incoherent flag, we'd complain that
instantiating |
NonCanonical SourceText | Behave like Incoherent, but the instance choice is observable by the program behaviour. See Note [Coherence and specialisation: overview]. We don't have surface syntax for the distinction between
Incoherent and NonCanonical instances; instead, the flag
`-f{no-}specialise-incoherents` (on by default) controls
whether |
Instances
data RuleMatchInfo #
Rule Match Information
Instances
data ForeignSrcLang #
Foreign formats supported by GHC via TH
Constructors
LangC | C |
LangCxx | C++ |
LangObjc | Objective C |
LangObjcxx | Objective C++ |
LangAsm | Assembly language (.s) |
LangJs | JavaScript |
RawObject | Object (.o) |
Instances
A *one-index* constructor tag
Type of the tags associated with each constructor possibility or superclass selector
Instances
Data Boxity | |
Defined in Language.Haskell.Syntax.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Boxity -> c Boxity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Boxity # toConstr :: Boxity -> Constr # dataTypeOf :: Boxity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Boxity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Boxity) # gmapT :: (forall b. Data b => b -> b) -> Boxity -> Boxity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Boxity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Boxity -> r # gmapQ :: (forall d. Data d => d -> u) -> Boxity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Boxity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Boxity -> m Boxity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxity -> m Boxity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxity -> m Boxity # | |
Eq Boxity | |
data SuccessFlag #
Instances
Semigroup SuccessFlag | |
Defined in GHC.Types.Basic Methods (<>) :: SuccessFlag -> SuccessFlag -> SuccessFlag # sconcat :: NonEmpty SuccessFlag -> SuccessFlag # stimes :: Integral b => b -> SuccessFlag -> SuccessFlag # | |
Outputable SuccessFlag | |
Defined in GHC.Types.Basic Methods ppr :: SuccessFlag -> SDoc # |
data PromotionFlag #
Is a TyCon a promoted data constructor or just a normal type constructor?
Constructors
NotPromoted | |
IsPromoted |
Instances
Data PromotionFlag | |
Defined in Language.Haskell.Syntax.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PromotionFlag -> c PromotionFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PromotionFlag # toConstr :: PromotionFlag -> Constr # dataTypeOf :: PromotionFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PromotionFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PromotionFlag) # gmapT :: (forall b. Data b => b -> b) -> PromotionFlag -> PromotionFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PromotionFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PromotionFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> PromotionFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PromotionFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PromotionFlag -> m PromotionFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PromotionFlag -> m PromotionFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PromotionFlag -> m PromotionFlag # | |
Eq PromotionFlag | |
Defined in Language.Haskell.Syntax.Type Methods (==) :: PromotionFlag -> PromotionFlag -> Bool # (/=) :: PromotionFlag -> PromotionFlag -> Bool # |
isPromoted :: PromotionFlag -> Bool #
data DefaultingStrategy #
Specify whether to default kind variables, and type variables
of kind RuntimeRep
Levity
Multiplicity
.
Constructors
DefaultKindVars | Default kind variables:
When this strategy is used, it means that we have determined that the variables we are considering defaulting are all kind variables. Usually, we pass this option when -XNoPolyKinds is enabled. |
NonStandardDefaulting NonStandardDefaultingStrategy | Default (or don't default) non-standard variables, of kinds
|
Instances
Outputable DefaultingStrategy | |
Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc # |
data NonStandardDefaultingStrategy #
Specify whether to default type variables of kind RuntimeRep
Levity
Multiplicity
.
Constructors
DefaultNonStandardTyVars | Default type variables of the given kinds: |
TryNotToDefaultNonStandardTyVars | Try not to default type variables of the kinds Note that these might get defaulted anyway, if they are kind variables and `-XNoPolyKinds` is enabled. |
Instances
Outputable NonStandardDefaultingStrategy | |
Defined in GHC.Types.Basic Methods |
data TypeOrData #
Whether something is a type or a data declaration, e.g. a type family or a data family.
Instances
Data TypeOrData | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeOrData -> c TypeOrData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeOrData # toConstr :: TypeOrData -> Constr # dataTypeOf :: TypeOrData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeOrData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeOrData) # gmapT :: (forall b. Data b => b -> b) -> TypeOrData -> TypeOrData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeOrData -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeOrData -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeOrData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeOrData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeOrData -> m TypeOrData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOrData -> m TypeOrData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOrData -> m TypeOrData # | |
Outputable TypeOrData | |
Defined in GHC.Types.Basic Methods ppr :: TypeOrData -> SDoc # | |
Eq TypeOrData | |
Defined in GHC.Types.Basic |
data TyConFlavour tc #
Paints a picture of what a TyCon
represents, in broad strokes.
This is used towards more informative error messages.
Constructors
ClassFlavour | |
TupleFlavour Boxity | |
SumFlavour | |
DataTypeFlavour | |
NewtypeFlavour | |
AbstractTypeFlavour | |
OpenFamilyFlavour TypeOrData (Maybe tc) | |
ClosedTypeFamilyFlavour | |
TypeSynonymFlavour | |
BuiltInTypeFlavour | e.g., the |
PromotedDataConFlavour |
Instances
Functor TyConFlavour | |
Defined in GHC.Types.Basic Methods fmap :: (a -> b) -> TyConFlavour a -> TyConFlavour b # (<$) :: a -> TyConFlavour b -> TyConFlavour a # | |
Data tc => Data (TyConFlavour tc) | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TyConFlavour tc -> c (TyConFlavour tc) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TyConFlavour tc) # toConstr :: TyConFlavour tc -> Constr # dataTypeOf :: TyConFlavour tc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (TyConFlavour tc)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TyConFlavour tc)) # gmapT :: (forall b. Data b => b -> b) -> TyConFlavour tc -> TyConFlavour tc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TyConFlavour tc -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TyConFlavour tc -> r # gmapQ :: (forall d. Data d => d -> u) -> TyConFlavour tc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TyConFlavour tc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TyConFlavour tc -> m (TyConFlavour tc) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TyConFlavour tc -> m (TyConFlavour tc) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TyConFlavour tc -> m (TyConFlavour tc) # | |
NFData tc => NFData (TyConFlavour tc) | |
Defined in GHC.Types.Basic Methods rnf :: TyConFlavour tc -> () # | |
Outputable (TyConFlavour tc) | |
Defined in GHC.Types.Basic Methods ppr :: TyConFlavour tc -> SDoc # | |
Eq tc => Eq (TyConFlavour tc) | |
Defined in GHC.Types.Basic Methods (==) :: TyConFlavour tc -> TyConFlavour tc -> Bool # (/=) :: TyConFlavour tc -> TyConFlavour tc -> Bool # |
data TypeOrConstraint #
Constructors
TypeLike | |
ConstraintLike |
Instances
Data TypeOrConstraint | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeOrConstraint -> c TypeOrConstraint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeOrConstraint # toConstr :: TypeOrConstraint -> Constr # dataTypeOf :: TypeOrConstraint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeOrConstraint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeOrConstraint) # gmapT :: (forall b. Data b => b -> b) -> TypeOrConstraint -> TypeOrConstraint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeOrConstraint -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeOrConstraint -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeOrConstraint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeOrConstraint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeOrConstraint -> m TypeOrConstraint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOrConstraint -> m TypeOrConstraint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOrConstraint -> m TypeOrConstraint # | |
Eq TypeOrConstraint | |
Defined in GHC.Types.Basic Methods (==) :: TypeOrConstraint -> TypeOrConstraint -> Bool # (/=) :: TypeOrConstraint -> TypeOrConstraint -> Bool # | |
Ord TypeOrConstraint | |
Defined in GHC.Types.Basic Methods compare :: TypeOrConstraint -> TypeOrConstraint -> Ordering # (<) :: TypeOrConstraint -> TypeOrConstraint -> Bool # (<=) :: TypeOrConstraint -> TypeOrConstraint -> Bool # (>) :: TypeOrConstraint -> TypeOrConstraint -> Bool # (>=) :: TypeOrConstraint -> TypeOrConstraint -> Bool # max :: TypeOrConstraint -> TypeOrConstraint -> TypeOrConstraint # min :: TypeOrConstraint -> TypeOrConstraint -> TypeOrConstraint # |
data TypeOrKind #
Flag to see whether we're type-checking terms or kind-checking types
Instances
Outputable TypeOrKind | |
Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc # | |
Eq TypeOrKind | |
Defined in GHC.Types.Basic |
data IntWithInf #
An integer or infinity
Instances
Num IntWithInf | |
Defined in GHC.Types.Basic Methods (+) :: IntWithInf -> IntWithInf -> IntWithInf # (-) :: IntWithInf -> IntWithInf -> IntWithInf # (*) :: IntWithInf -> IntWithInf -> IntWithInf # negate :: IntWithInf -> IntWithInf # abs :: IntWithInf -> IntWithInf # signum :: IntWithInf -> IntWithInf # fromInteger :: Integer -> IntWithInf # | |
Outputable IntWithInf | |
Defined in GHC.Types.Basic Methods ppr :: IntWithInf -> SDoc # | |
Eq IntWithInf | |
Defined in GHC.Types.Basic | |
Ord IntWithInf | |
Defined in GHC.Types.Basic Methods compare :: IntWithInf -> IntWithInf -> Ordering # (<) :: IntWithInf -> IntWithInf -> Bool # (<=) :: IntWithInf -> IntWithInf -> Bool # (>) :: IntWithInf -> IntWithInf -> Bool # (>=) :: IntWithInf -> IntWithInf -> Bool # max :: IntWithInf -> IntWithInf -> IntWithInf # min :: IntWithInf -> IntWithInf -> IntWithInf # |
data UnfoldingSource #
Constructors
VanillaSrc | |
StableUserSrc | |
StableSystemSrc | |
CompulsorySrc |
Instances
Binary UnfoldingSource | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> UnfoldingSource -> IO () # put :: BinHandle -> UnfoldingSource -> IO (Bin UnfoldingSource) # get :: BinHandle -> IO UnfoldingSource # | |
Outputable UnfoldingSource | |
Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> SDoc # |
data InlinePragma #
Constructors
InlinePragma | |
Fields
|
Instances
Data InlinePragma | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InlinePragma -> c InlinePragma # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlinePragma # toConstr :: InlinePragma -> Constr # dataTypeOf :: InlinePragma -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlinePragma) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlinePragma) # gmapT :: (forall b. Data b => b -> b) -> InlinePragma -> InlinePragma # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlinePragma -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlinePragma -> r # gmapQ :: (forall d. Data d => d -> u) -> InlinePragma -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InlinePragma -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlinePragma -> m InlinePragma # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlinePragma -> m InlinePragma # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlinePragma -> m InlinePragma # | |
Binary InlinePragma | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> InlinePragma -> IO () # put :: BinHandle -> InlinePragma -> IO (Bin InlinePragma) # get :: BinHandle -> IO InlinePragma # | |
Outputable InlinePragma | |
Defined in GHC.Types.Basic Methods ppr :: InlinePragma -> SDoc # | |
Eq InlinePragma | |
Defined in GHC.Types.Basic |
data Activation #
Constructors
AlwaysActive | |
ActiveBefore SourceText PhaseNum | |
ActiveAfter SourceText PhaseNum | |
FinalActive | |
NeverActive |
Instances
Data Activation | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Activation -> c Activation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Activation # toConstr :: Activation -> Constr # dataTypeOf :: Activation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Activation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Activation) # gmapT :: (forall b. Data b => b -> b) -> Activation -> Activation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Activation -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Activation -> r # gmapQ :: (forall d. Data d => d -> u) -> Activation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Activation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Activation -> m Activation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Activation -> m Activation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Activation -> m Activation # | |
Binary Activation | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> Activation -> IO () # put :: BinHandle -> Activation -> IO (Bin Activation) # get :: BinHandle -> IO Activation # | |
Outputable Activation | |
Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc # | |
Eq Activation | |
Defined in GHC.Types.Basic |
data CompilerPhase #
Constructors
InitialPhase | |
Phase PhaseNum | |
FinalPhase |
Instances
Outputable CompilerPhase | |
Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc # | |
Eq CompilerPhase | |
Defined in GHC.Types.Basic Methods (==) :: CompilerPhase -> CompilerPhase -> Bool # (/=) :: CompilerPhase -> CompilerPhase -> Bool # |
data DefMethSpec ty #
Default Method Specification
Instances
Binary (DefMethSpec IfaceType) | |
Defined in GHC.Iface.Type | |
Outputable (DefMethSpec ty) | |
Defined in GHC.Types.Basic Methods ppr :: DefMethSpec ty -> SDoc # |
data TailCallInfo #
Constructors
AlwaysTailCalled JoinArity | |
NoTailCallInfo |
Instances
Outputable TailCallInfo | |
Defined in GHC.Types.Basic Methods ppr :: TailCallInfo -> SDoc # | |
Eq TailCallInfo | |
Defined in GHC.Types.Basic |
Inside Lambda
Constructors
IsInsideLam | Occurs inside a non-linear lambda Substituting a redex for this occurrence is dangerous because it might duplicate work. |
NotInsideLam |
data InterestingCxt #
Interesting Context
Constructors
IsInteresting | Function: is applied Data value: scrutinised by a case with at least one non-DEFAULT branch |
NotInteresting |
Instances
Monoid InterestingCxt | |
Defined in GHC.Types.Basic Methods mappend :: InterestingCxt -> InterestingCxt -> InterestingCxt # mconcat :: [InterestingCxt] -> InterestingCxt # | |
Semigroup InterestingCxt | If there is any |
Defined in GHC.Types.Basic Methods (<>) :: InterestingCxt -> InterestingCxt -> InterestingCxt # sconcat :: NonEmpty InterestingCxt -> InterestingCxt # stimes :: Integral b => b -> InterestingCxt -> InterestingCxt # | |
Eq InterestingCxt | |
Defined in GHC.Types.Basic Methods (==) :: InterestingCxt -> InterestingCxt -> Bool # (/=) :: InterestingCxt -> InterestingCxt -> Bool # |
type BranchCount = Int #
identifier Occurrence Information
Constructors
ManyOccs | There are many occurrences, or unknown occurrences |
Fields
| |
IAmDead | Marks unused variables. Sometimes useful for lambda and case-bound variables. |
OneOcc | Occurs exactly once (per branch), not inside a rule |
Fields
| |
IAmALoopBreaker | This identifier breaks a loop of mutually recursive functions. The field marks whether it is only a loop breaker due to a reference in a rule |
Fields
|
data UnboxedTupleOrSum #
Are we dealing with an unboxed tuple or an unboxed sum?
Used when validity checking, see check_ubx_tuple_or_sum
.
Constructors
UnboxedTupleType | |
UnboxedSumType |
Instances
Outputable UnboxedTupleOrSum | |
Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc # | |
Eq UnboxedTupleOrSum | |
Defined in GHC.Types.Basic Methods (==) :: UnboxedTupleOrSum -> UnboxedTupleOrSum -> Bool # (/=) :: UnboxedTupleOrSum -> UnboxedTupleOrSum -> Bool # |
Constructors
BoxedTuple | |
UnboxedTuple | |
ConstraintTuple |
Instances
Data TupleSort | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TupleSort -> c TupleSort # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TupleSort # toConstr :: TupleSort -> Constr # dataTypeOf :: TupleSort -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TupleSort) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TupleSort) # gmapT :: (forall b. Data b => b -> b) -> TupleSort -> TupleSort # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TupleSort -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TupleSort -> r # gmapQ :: (forall d. Data d => d -> u) -> TupleSort -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TupleSort -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TupleSort -> m TupleSort # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TupleSort -> m TupleSort # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TupleSort -> m TupleSort # | |
Binary TupleSort | |
Outputable TupleSort | |
Defined in GHC.Types.Basic | |
Eq TupleSort | |
data OverlapFlag #
The semantics allowed for overlapping instances for a particular
instance. See Note [Safe Haskell isSafeOverlap] in GHC.Core.InstEnv for a
explanation of the isSafeOverlap
field.
AnnKeywordId
:AnnOpen
'{-# OVERLAPPABLE'
or'{-# OVERLAPPING'
or'{-# OVERLAPS'
or'{-# INCOHERENT'
,AnnClose
`#-}`
,
Constructors
OverlapFlag | |
Fields |
Instances
Data OverlapFlag | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverlapFlag -> c OverlapFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverlapFlag # toConstr :: OverlapFlag -> Constr # dataTypeOf :: OverlapFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverlapFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OverlapFlag) # gmapT :: (forall b. Data b => b -> b) -> OverlapFlag -> OverlapFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverlapFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverlapFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> OverlapFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OverlapFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverlapFlag -> m OverlapFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapFlag -> m OverlapFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapFlag -> m OverlapFlag # | |
Binary OverlapFlag | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> OverlapFlag -> IO () # put :: BinHandle -> OverlapFlag -> IO (Bin OverlapFlag) # get :: BinHandle -> IO OverlapFlag # | |
Outputable OverlapFlag | |
Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc # | |
Eq OverlapFlag | |
Defined in GHC.Types.Basic |
Whether to run pattern-match checks in generated code.
See Note [Generated code and pattern-match checking].
Instances
Data DoPmc | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DoPmc -> c DoPmc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DoPmc # dataTypeOf :: DoPmc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DoPmc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DoPmc) # gmapT :: (forall b. Data b => b -> b) -> DoPmc -> DoPmc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DoPmc -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DoPmc -> r # gmapQ :: (forall d. Data d => d -> u) -> DoPmc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DoPmc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DoPmc -> m DoPmc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DoPmc -> m DoPmc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DoPmc -> m DoPmc # | |
Outputable DoPmc | |
Defined in GHC.Types.Basic | |
Eq DoPmc | |
Was this piece of code user-written or generated by the compiler?
See Note [Generated code and pattern-match checking].
Constructors
FromSource | |
Generated DoPmc |
Instances
Data Origin | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Origin -> c Origin # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Origin # toConstr :: Origin -> Constr # dataTypeOf :: Origin -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Origin) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Origin) # gmapT :: (forall b. Data b => b -> b) -> Origin -> Origin # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Origin -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Origin -> r # gmapQ :: (forall d. Data d => d -> u) -> Origin -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Origin -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Origin -> m Origin # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Origin -> m Origin # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Origin -> m Origin # | |
Outputable Origin | |
Defined in GHC.Types.Basic | |
Eq Origin | |
Recursivity Flag
Constructors
Recursive | |
NonRecursive |
Instances
Data RecFlag | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecFlag -> c RecFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecFlag # toConstr :: RecFlag -> Constr # dataTypeOf :: RecFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecFlag) # gmapT :: (forall b. Data b => b -> b) -> RecFlag -> RecFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> RecFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RecFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecFlag -> m RecFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecFlag -> m RecFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecFlag -> m RecFlag # | |
Binary RecFlag | |
Outputable RecFlag | |
Defined in GHC.Types.Basic | |
Eq RecFlag | |
Should an argument be passed evaluated *and* tagged.
Constructors
MarkedCbv | |
NotMarkedCbv |
Instances
Binary CbvMark | |
Outputable CbvMark | |
Defined in GHC.Types.Basic | |
Eq CbvMark | |
data TopLevelFlag #
Constructors
TopLevel | |
NotTopLevel |
Instances
Data TopLevelFlag | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TopLevelFlag -> c TopLevelFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TopLevelFlag # toConstr :: TopLevelFlag -> Constr # dataTypeOf :: TopLevelFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TopLevelFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TopLevelFlag) # gmapT :: (forall b. Data b => b -> b) -> TopLevelFlag -> TopLevelFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TopLevelFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TopLevelFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> TopLevelFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TopLevelFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TopLevelFlag -> m TopLevelFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TopLevelFlag -> m TopLevelFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TopLevelFlag -> m TopLevelFlag # | |
Outputable TopLevelFlag | |
Defined in GHC.Types.Basic Methods ppr :: TopLevelFlag -> SDoc # |
type RuleName = FastString #
data FunctionOrData #
Constructors
IsFunction | |
IsData |
Instances
Data FunctionOrData | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionOrData -> c FunctionOrData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionOrData # toConstr :: FunctionOrData -> Constr # dataTypeOf :: FunctionOrData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunctionOrData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionOrData) # gmapT :: (forall b. Data b => b -> b) -> FunctionOrData -> FunctionOrData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionOrData -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionOrData -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionOrData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionOrData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionOrData -> m FunctionOrData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionOrData -> m FunctionOrData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionOrData -> m FunctionOrData # | |
Binary FunctionOrData | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> FunctionOrData -> IO () # put :: BinHandle -> FunctionOrData -> IO (Bin FunctionOrData) # get :: BinHandle -> IO FunctionOrData # | |
Outputable FunctionOrData | |
Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc # | |
Eq FunctionOrData | |
Defined in GHC.Types.Basic Methods (==) :: FunctionOrData -> FunctionOrData -> Bool # (/=) :: FunctionOrData -> FunctionOrData -> Bool # | |
Ord FunctionOrData | |
Defined in GHC.Types.Basic Methods compare :: FunctionOrData -> FunctionOrData -> Ordering # (<) :: FunctionOrData -> FunctionOrData -> Bool # (<=) :: FunctionOrData -> FunctionOrData -> Bool # (>) :: FunctionOrData -> FunctionOrData -> Bool # (>=) :: FunctionOrData -> FunctionOrData -> Bool # max :: FunctionOrData -> FunctionOrData -> FunctionOrData # min :: FunctionOrData -> FunctionOrData -> FunctionOrData # |
Constructors
NotSwapped | |
IsSwapped |
Instances
Outputable SwapFlag | |
Defined in GHC.Types.Basic |
data OneShotInfo #
If the Id
is a lambda-bound variable then it may have lambda-bound
variable info. Sometimes we know whether the lambda binding this variable
is a "one-shot" lambda; that is, whether it is applied at most once.
This information may be useful in optimisation, as computations may safely be floated inside such a lambda without risk of duplicating work.
See also Note [OneShotInfo overview] above.
Constructors
NoOneShotInfo | No information |
OneShotLam | The lambda is applied at most once. |
Instances
Outputable OneShotInfo | |
Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc # | |
Eq OneShotInfo | |
Defined in GHC.Types.Basic |
A power-of-two alignment
Instances
Outputable Alignment | |
Defined in GHC.Types.Basic | |
Eq Alignment | |
Ord Alignment | |
OutputableP env Alignment | |
Defined in GHC.Types.Basic |
type FullArgCount = Int #
FullArgCount is the number of type or value arguments in an application, or the number of type or value binders in a lambda. Note: it includes both type and value arguments!
The number of arguments that a join point takes. Unlike the arity of a function, this is a purely syntactic property and is fixed when the join point is created (or converted from a value). Both type and value arguments are counted.
Representation Arity
The number of represented arguments that can be applied to a value before it does "real work". So: fib 100 has representation arity 0 x -> fib x has representation arity 1 (# x, y #) -> fib (x + y) has representation arity 2
The number of value arguments that can be applied to a value before it does "real work". So: fib 100 has arity 0 x -> fib x has arity 1 See also Note [Definition of arity] in GHC.Core.Opt.Arity
data LeftOrRight #
Instances
Data LeftOrRight | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LeftOrRight -> c LeftOrRight # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LeftOrRight # toConstr :: LeftOrRight -> Constr # dataTypeOf :: LeftOrRight -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LeftOrRight) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LeftOrRight) # gmapT :: (forall b. Data b => b -> b) -> LeftOrRight -> LeftOrRight # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LeftOrRight -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LeftOrRight -> r # gmapQ :: (forall d. Data d => d -> u) -> LeftOrRight -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LeftOrRight -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LeftOrRight -> m LeftOrRight # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LeftOrRight -> m LeftOrRight # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LeftOrRight -> m LeftOrRight # | |
Binary LeftOrRight | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> LeftOrRight -> IO () # put :: BinHandle -> LeftOrRight -> IO (Bin LeftOrRight) # get :: BinHandle -> IO LeftOrRight # | |
Outputable LeftOrRight | |
Defined in GHC.Types.Basic Methods ppr :: LeftOrRight -> SDoc # | |
Eq LeftOrRight | |
Defined in GHC.Types.Basic |
pickLR :: LeftOrRight -> (a, a) -> a #
mkAlignment :: Int -> Alignment #
alignmentOf :: Int -> Alignment #
noOneShotInfo :: OneShotInfo #
It is always safe to assume that an Id
has no lambda-bound variable information
isOneShotInfo :: OneShotInfo -> Bool #
hasNoOneShotInfo :: OneShotInfo -> Bool #
worstOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo #
bestOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo #
pprRuleName :: RuleName -> SDoc #
isNotTopLevel :: TopLevelFlag -> Bool #
isTopLevel :: TopLevelFlag -> Bool #
isMarkedCbv :: CbvMark -> Bool #
boolToRecFlag :: Bool -> RecFlag #
isGenerated :: Origin -> Bool #
requiresPMC :: Origin -> Bool #
Does this Origin
require us to run pattern-match checking,
or should we skip these checks?
See Note [Generated code and pattern-match checking].
hasIncoherentFlag :: OverlapMode -> Bool #
hasOverlappableFlag :: OverlapMode -> Bool #
hasOverlappingFlag :: OverlapMode -> Bool #
hasNonCanonicalFlag :: OverlapMode -> Bool #
tupleSortBoxity :: TupleSort -> Boxity #
boxityTupleSort :: Boxity -> TupleSort #
tupleParens :: TupleSort -> SDoc -> SDoc #
Arguments
:: (a -> SDoc) | The pretty printing function to use |
-> a | The things to be pretty printed |
-> ConTag | Alternative (one-based) |
-> Arity | Arity |
-> SDoc |
|
Pretty print an alternative in an unboxed sum e.g. "| a | |".
isNoOccInfo :: OccInfo -> Bool #
isManyOccs :: OccInfo -> Bool #
seqOccInfo :: OccInfo -> () #
tailCallInfo :: OccInfo -> TailCallInfo #
zapOccTailCallInfo :: OccInfo -> OccInfo #
isAlwaysTailCalled :: OccInfo -> Bool #
isWeakLoopBreaker :: OccInfo -> Bool #
isStrongLoopBreaker :: OccInfo -> Bool #
zapFragileOcc :: OccInfo -> OccInfo #
successIf :: Bool -> SuccessFlag #
succeeded :: SuccessFlag -> Bool #
failed :: SuccessFlag -> Bool #
beginPhase :: Activation -> CompilerPhase #
activeAfter :: CompilerPhase -> Activation #
nextPhase :: CompilerPhase -> CompilerPhase #
laterPhase :: CompilerPhase -> CompilerPhase -> CompilerPhase #
isActive :: CompilerPhase -> Activation -> Bool #
activeInFinalPhase :: Activation -> Bool #
isNeverActive :: Activation -> Bool #
isAlwaysActive :: Activation -> Bool #
competesWith :: Activation -> Activation -> Bool #
isConLike :: RuleMatchInfo -> Bool #
isFunLike :: RuleMatchInfo -> Bool #
noUserInlineSpec :: InlineSpec -> Bool #
isInlinePragma :: InlinePragma -> Bool #
isInlinablePragma :: InlinePragma -> Bool #
isNoInlinePragma :: InlinePragma -> Bool #
isAnyInlinePragma :: InlinePragma -> Bool #
isOpaquePragma :: InlinePragma -> Bool #
inlinePragmaSat :: InlinePragma -> Maybe Arity #
inlinePragmaName :: InlineSpec -> SDoc #
Outputs string for pragma name for any of INLINEINLINABLENOINLINE. This differs from the Outputable instance for the InlineSpec type where the pragma name string as well as the accompanying SourceText (if any) is printed.
pprInline :: InlinePragma -> SDoc #
Pretty-print without displaying the user-specified InlineSpec
.
pprInlineDebug :: InlinePragma -> SDoc #
Pretty-print including the user-specified InlineSpec
.
isStableSource :: UnfoldingSource -> Bool #
intGtLimit :: Int -> IntWithInf -> Bool #
subWithInf :: IntWithInf -> Int -> IntWithInf #
Subtract an Int
from an IntWithInf
treatZeroAsInf :: Int -> IntWithInf #
Turn a positive number into an IntWithInf
, where 0 represents infinity
mkIntWithInf :: Int -> IntWithInf #
Inject any integer into an IntWithInf
isTypeLevel :: TypeOrKind -> Bool #
isKindLevel :: TypeOrKind -> Bool #
mightBeLifted :: Maybe Levity -> Bool #
mightBeUnlifted :: Maybe Levity -> Bool #
tyConFlavourAssoc_maybe :: TyConFlavour tc -> Maybe tc #
Get the enclosing class TyCon (if there is one) for the given TyConFlavour
module GHC.Types.Error
module GHC.Types.Fixity
module GHC.Types.Name
module GHC.Types.Name.Occurrence
module GHC.Types.Name.Reader
module GHC.Types.SourceText
module GHC.Types.SrcLoc
module GHC.Types.Unique
module GHC.Types.Unique.FM
module GHC.Types.Unique.Set
class Outputable a where #
Class designating that some type has an SDoc
representation
Instances
Outputable Void | |
Defined in GHC.Utils.Outputable | |
Outputable Fingerprint | |
Defined in GHC.Utils.Outputable Methods ppr :: Fingerprint -> SDoc # | |
Outputable Int16 | |
Defined in GHC.Utils.Outputable | |
Outputable Int32 | |
Defined in GHC.Utils.Outputable | |
Outputable Int64 | |
Defined in GHC.Utils.Outputable | |
Outputable Int8 | |
Defined in GHC.Utils.Outputable | |
Outputable Word16 | |
Defined in GHC.Utils.Outputable | |
Outputable Word32 | |
Defined in GHC.Utils.Outputable | |
Outputable Word64 | |
Defined in GHC.Utils.Outputable | |
Outputable Word8 | |
Defined in GHC.Utils.Outputable | |
Outputable IntSet | |
Defined in GHC.Utils.Outputable | |
Outputable CoreModule | |
Defined in GHC Methods ppr :: CoreModule -> SDoc # | |
Outputable PrimCall | |
Defined in GHC.Builtin.PrimOps | |
Outputable PrimOp | |
Defined in GHC.Builtin.PrimOps | |
Outputable BCInstr | |
Defined in GHC.ByteCode.Instr | |
Outputable LocalLabel | |
Defined in GHC.ByteCode.Instr Methods ppr :: LocalLabel -> SDoc # | |
Outputable ByteOff | |
Defined in GHC.ByteCode.Types | |
Outputable CgBreakInfo | |
Defined in GHC.ByteCode.Types Methods ppr :: CgBreakInfo -> SDoc # | |
Outputable CompiledByteCode | |
Defined in GHC.ByteCode.Types Methods ppr :: CompiledByteCode -> SDoc # | |
Outputable HalfWord | |
Defined in GHC.ByteCode.Types | |
Outputable NativeCallInfo | |
Defined in GHC.ByteCode.Types Methods ppr :: NativeCallInfo -> SDoc # | |
Outputable RegBitmap | |
Defined in GHC.ByteCode.Types | |
Outputable UnlinkedBCO | |
Defined in GHC.ByteCode.Types Methods ppr :: UnlinkedBCO -> SDoc # | |
Outputable WordOff | |
Defined in GHC.ByteCode.Types | |
Outputable CmmStackInfo | |
Defined in GHC.Cmm Methods ppr :: CmmStackInfo -> SDoc # | |
Outputable CmmStatic | |
Outputable ConInfoTableLocation | |
Defined in GHC.Cmm.CLabel Methods ppr :: ConInfoTableLocation -> SDoc # | |
Outputable ForeignLabelSource | |
Defined in GHC.Cmm.CLabel Methods ppr :: ForeignLabelSource -> SDoc # | |
Outputable IdLabelInfo | |
Defined in GHC.Cmm.CLabel | |
Outputable TickyIdInfo | |
Defined in GHC.Cmm.CLabel | |
Outputable ParamLocation | |
Defined in GHC.Cmm.CallConv Methods ppr :: ParamLocation -> SDoc # | |
Outputable Label | |
Defined in GHC.Cmm.Dataflow.Label | |
Outputable LabelSet | |
Defined in GHC.Cmm.Dataflow.Label | |
Outputable DominatorSet | |
Defined in GHC.Cmm.Dominators Methods ppr :: DominatorSet -> SDoc # | |
Outputable RPNum | |
Defined in GHC.Cmm.Dominators | |
Outputable Area | |
Defined in GHC.Cmm.Expr | |
Outputable CmmLit | |
Defined in GHC.Cmm.Expr | |
Outputable StackMap | |
Defined in GHC.Cmm.LayoutStack | |
Outputable StackSlot | |
Defined in GHC.Cmm.LayoutStack | |
Outputable CmmReturnInfo | |
Defined in GHC.Cmm.Node Methods ppr :: CmmReturnInfo -> SDoc # | |
Outputable CmmTickScope | |
Defined in GHC.Cmm.Node Methods ppr :: CmmTickScope -> SDoc # | |
Outputable Convention | |
Defined in GHC.Cmm.Node Methods ppr :: Convention -> SDoc # | |
Outputable ForeignConvention | |
Defined in GHC.Cmm.Node Methods ppr :: ForeignConvention -> SDoc # | |
Outputable Status | |
Defined in GHC.Cmm.ProcPoint | |
Outputable CmmReg | |
Defined in GHC.Cmm.Reg | |
Outputable GlobalReg | |
Defined in GHC.Cmm.Reg | |
Outputable GlobalRegUse | |
Defined in GHC.Cmm.Reg Methods ppr :: GlobalRegUse -> SDoc # | |
Outputable LocalReg | |
Defined in GHC.Cmm.Reg | |
Outputable CmmCat | |
Defined in GHC.Cmm.Type | |
Outputable CmmType | |
Defined in GHC.Cmm.Type | |
Outputable ForeignHint | |
Defined in GHC.Cmm.Type Methods ppr :: ForeignHint -> SDoc # | |
Outputable Width | |
Defined in GHC.Cmm.Type | |
Outputable JumpDest | |
Defined in GHC.CmmToAsm.AArch64.RegInfo | |
Outputable BlockChain | |
Defined in GHC.CmmToAsm.BlockLayout | |
Outputable BranchInfo | |
Defined in GHC.CmmToAsm.CFG | |
Outputable CfgEdge | |
Defined in GHC.CmmToAsm.CFG | |
Outputable EdgeInfo | |
Defined in GHC.CmmToAsm.CFG | |
Outputable EdgeWeight | |
Defined in GHC.CmmToAsm.CFG Methods ppr :: EdgeWeight -> SDoc # | |
Outputable LoopInfo | |
Defined in GHC.CmmToAsm.CFG | |
Outputable JumpDest | |
Defined in GHC.CmmToAsm.PPC.RegInfo | |
Outputable SpillStats | |
Defined in GHC.CmmToAsm.Reg.Graph.Spill Methods ppr :: SpillStats -> SDoc # | |
Outputable Store | |
Defined in GHC.CmmToAsm.Reg.Graph.SpillClean | |
Outputable FreeRegs | |
Defined in GHC.CmmToAsm.Reg.Linear.AArch64 | |
Outputable Loc | |
Defined in GHC.CmmToAsm.Reg.Linear.Base | |
Outputable FreeRegs | |
Defined in GHC.CmmToAsm.Reg.Linear.PPC | |
Outputable FreeRegs | |
Defined in GHC.CmmToAsm.Reg.Linear.X86 | |
Outputable FreeRegs | |
Defined in GHC.CmmToAsm.Reg.Linear.X86_64 | |
Outputable BrTableInterval | |
Defined in GHC.CmmToAsm.Wasm.Types Methods ppr :: BrTableInterval -> SDoc # | |
Outputable JumpDest | |
Defined in GHC.CmmToAsm.X86.Instr | |
Outputable AltCon | |
Outputable Class | |
Defined in GHC.Core.Class | |
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 ConLike | |
Defined in GHC.Core.ConLike | |
Outputable DataCon | |
Defined in GHC.Core.DataCon | |
Outputable EqSpec | |
Defined in GHC.Core.DataCon | |
Outputable HsImplBang | |
Defined in GHC.Core.DataCon Methods ppr :: HsImplBang -> SDoc # | |
Outputable HsSrcBang | |
Defined in GHC.Core.DataCon | |
Outputable StrictnessMark | |
Defined in GHC.Core.DataCon Methods ppr :: StrictnessMark -> SDoc # | |
Outputable FamInst | |
Defined in GHC.Core.FamInstEnv | |
Outputable FamInstEnv | |
Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstEnv -> SDoc # | |
Outputable FamInstMatch | |
Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstMatch -> SDoc # | |
Outputable ClsInst | |
Defined in GHC.Core.InstEnv | |
Outputable InstEnv | |
Defined in GHC.Core.InstEnv | |
Outputable InstMatches | |
Defined in GHC.Core.InstEnv | |
Outputable PotentialUnifiers | |
Defined in GHC.Core.InstEnv Methods ppr :: PotentialUnifiers -> SDoc # | |
Outputable FloatBind | |
Defined in GHC.Core.Make | |
Outputable IsSubmult | |
Defined in GHC.Core.Multiplicity | |
Outputable ArityEnv | |
Defined in GHC.Core.Opt.Arity | |
Outputable ArityType | This is the BNF of the generated output: @ We format AT [o1,..,on] topDiv |
Defined in GHC.Core.Opt.Arity | |
Outputable EtaInfo | |
Defined in GHC.Core.Opt.Arity | |
Outputable CallerCcFilter | |
Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: CallerCcFilter -> SDoc # | |
Outputable NamePattern | |
Defined in GHC.Core.Opt.CallerCC.Types Methods ppr :: NamePattern -> SDoc # | |
Outputable AnalEnv | |
Defined in GHC.Core.Opt.CprAnal | |
Outputable SigEnv | |
Defined in GHC.Core.Opt.CprAnal | |
Outputable AnalEnv | |
Defined in GHC.Core.Opt.DmdAnal | |
Outputable FloatInBind | |
Defined in GHC.Core.Opt.FloatIn | |
Outputable FloatBinds | |
Defined in GHC.Core.Opt.FloatOut | |
Outputable FloatOutSwitches | |
Defined in GHC.Core.Opt.Monad Methods ppr :: FloatOutSwitches -> SDoc # | |
Outputable NodeDetails | |
Defined in GHC.Core.Opt.OccurAnal | |
Outputable OccEncl | |
Defined in GHC.Core.Opt.OccurAnal | |
Outputable SimpleNodeDetails | |
Defined in GHC.Core.Opt.OccurAnal | |
Outputable TailUsageDetails | |
Defined in GHC.Core.Opt.OccurAnal | |
Outputable UsageDetails | |
Defined in GHC.Core.Opt.OccurAnal | |
Outputable CoreToDo | |
Defined in GHC.Core.Opt.Pipeline.Types | |
Outputable FloatSpec | |
Defined in GHC.Core.Opt.SetLevels | |
Outputable Level | |
Defined in GHC.Core.Opt.SetLevels | |
Outputable FloatFlag | |
Defined in GHC.Core.Opt.Simplify.Env | |
Outputable LetFloats | |
Defined in GHC.Core.Opt.Simplify.Env | |
Outputable SimplFloats | |
Defined in GHC.Core.Opt.Simplify.Env Methods ppr :: SimplFloats -> SDoc # | |
Outputable SimplMode | |
Defined in GHC.Core.Opt.Simplify.Env | |
Outputable SimplSR | |
Defined in GHC.Core.Opt.Simplify.Env | |
Outputable ArgInfo | |
Defined in GHC.Core.Opt.Simplify.Utils | |
Outputable ArgSpec | |
Defined in GHC.Core.Opt.Simplify.Utils | |
Outputable DupFlag | |
Defined in GHC.Core.Opt.Simplify.Utils | |
Outputable SimplCont | |
Defined in GHC.Core.Opt.Simplify.Utils | |
Outputable ArgOcc | |
Defined in GHC.Core.Opt.SpecConstr | |
Outputable Call | |
Defined in GHC.Core.Opt.SpecConstr | |
Outputable CallPat | |
Defined in GHC.Core.Opt.SpecConstr | |
Outputable HowBound | |
Defined in GHC.Core.Opt.SpecConstr | |
Outputable ScUsage | |
Defined in GHC.Core.Opt.SpecConstr | |
Outputable Value | |
Defined in GHC.Core.Opt.SpecConstr | |
Outputable CallInfo | |
Defined in GHC.Core.Opt.Specialise | |
Outputable CallInfoSet | |
Defined in GHC.Core.Opt.Specialise | |
Outputable DictBind | |
Defined in GHC.Core.Opt.Specialise | |
Outputable FloatedDictBinds | |
Defined in GHC.Core.Opt.Specialise | |
Outputable SpecArg | |
Defined in GHC.Core.Opt.Specialise | |
Outputable SpecEnv | |
Defined in GHC.Core.Opt.Specialise | |
Outputable UsageDetails | |
Defined in GHC.Core.Opt.Specialise | |
Outputable Tick | |
Defined in GHC.Core.Opt.Stats | |
Outputable IsRecDataConResult | |
Defined in GHC.Core.Opt.WorkWrap.Utils Methods ppr :: IsRecDataConResult -> SDoc # | |
Outputable PatSyn | |
Defined in GHC.Core.PatSyn | |
Outputable EqRel | |
Defined in GHC.Core.Predicate | |
Outputable Reduction | |
Defined in GHC.Core.Reduction | |
Outputable RoughMatchLookupTc | |
Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchLookupTc -> SDoc # | |
Outputable RoughMatchTc | |
Defined in GHC.Core.RoughMap Methods ppr :: RoughMatchTc -> SDoc # | |
Outputable SimpleOptEnv | |
Defined in GHC.Core.SimpleOpt | |
Outputable CoreStats | |
Defined in GHC.Core.Stats | |
Outputable CoSel | |
Defined in GHC.Core.TyCo.Rep | |
Outputable Coercion | |
Defined in GHC.Core.TyCo.Rep | |
Outputable CoercionHole | |
Defined in GHC.Core.TyCo.Rep Methods ppr :: CoercionHole -> SDoc # | |
Outputable FunSel | |
Defined in GHC.Core.TyCo.Rep | |
Outputable MCoercion | |
Defined in GHC.Core.TyCo.Rep | |
Outputable TyLit | |
Defined in GHC.Core.TyCo.Rep | |
Outputable Type | |
Defined in GHC.Core.TyCo.Rep | |
Outputable UnivCoProvenance | |
Defined in GHC.Core.TyCo.Rep Methods ppr :: UnivCoProvenance -> SDoc # | |
Outputable Subst | |
Defined in GHC.Core.TyCo.Subst | |
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 | |
Outputable TyCon | |
Defined in GHC.Core.TyCon | |
Outputable TyConBndrVis | |
Defined in GHC.Core.TyCon Methods ppr :: TyConBndrVis -> 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 | |
Outputable ExprSize | |
Defined in GHC.Core.Unfold | |
Outputable MaybeApartReason | |
Defined in GHC.Core.Unify Methods ppr :: MaybeApartReason -> SDoc # | |
Outputable Usage | |
Defined in GHC.Core.UsageEnv | |
Outputable UsageEnv | |
Defined in GHC.Core.UsageEnv | |
Outputable ArgInfo | |
Defined in GHC.CoreToStg.Prep | |
Outputable FloatingBind | |
Defined in GHC.CoreToStg.Prep | |
Outputable Floats | |
Defined in GHC.CoreToStg.Prep | |
Outputable OkToSpec | |
Defined in GHC.CoreToStg.Prep | |
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 | |
Outputable Time | |
Defined in GHC.Data.Graph.Directed | |
Outputable UnVarGraph | |
Defined in GHC.Data.Graph.UnVar Methods ppr :: UnVarGraph -> SDoc # | |
Outputable UnVarSet | |
Defined in GHC.Data.Graph.UnVar | |
Outputable HsComponentId | |
Defined in GHC.Driver.Backpack.Syntax Methods ppr :: HsComponentId -> SDoc # | |
Outputable GhcMode | |
Defined in GHC.Driver.DynFlags | |
Outputable ModRenaming | |
Defined in GHC.Driver.DynFlags Methods ppr :: ModRenaming -> SDoc # | |
Outputable PackageArg | |
Defined in GHC.Driver.DynFlags Methods ppr :: PackageArg -> SDoc # | |
Outputable PackageFlag | |
Defined in GHC.Driver.DynFlags Methods ppr :: PackageFlag -> SDoc # | |
Outputable Language | |
Defined in GHC.Driver.Flags | |
Outputable BuildPlan | |
Defined in GHC.Driver.Make | |
Outputable CachedIface | |
Defined in GHC.Driver.Make | |
Outputable CodeGenEnable | |
Defined in GHC.Driver.Make | |
Outputable ModuleGraphNodeWithBootFile | |
Defined in GHC.Driver.Make | |
Outputable JobResources | |
Defined in GHC.Driver.MakeSem | |
Outputable Phase | |
Defined in GHC.Driver.Phases | |
Outputable PluginRecompile | |
Defined in GHC.Driver.Plugins Methods ppr :: PluginRecompile -> SDoc # | |
Outputable ABExport | |
Defined in GHC.Hs.Binds | |
Outputable TcSpecPrag | |
Defined in GHC.Hs.Binds Methods ppr :: TcSpecPrag -> SDoc # | |
Outputable XViaStrategyPs | |
Defined in GHC.Hs.Decls Methods ppr :: XViaStrategyPs -> SDoc # | |
Outputable DocStructureItem | |
Defined in GHC.Hs.Doc Methods ppr :: DocStructureItem -> SDoc # | |
Outputable Docs | |
Defined in GHC.Hs.Doc | |
Outputable HsDocString | |
Defined in GHC.Hs.DocString Methods ppr :: HsDocString -> SDoc # | |
Outputable HsDocStringChunk | |
Defined in GHC.Hs.DocString Methods ppr :: HsDocStringChunk -> SDoc # | |
Outputable HsDocStringDecorator | |
Defined in GHC.Hs.DocString Methods ppr :: HsDocStringDecorator -> SDoc # | |
Outputable GrhsAnn | |
Defined in GHC.Hs.Expr | |
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 XXExprGhcTc | |
Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcTc -> SDoc # | |
Outputable OpName | |
Defined in GHC.Hs.Type | |
Outputable DsMatchContext | |
Defined in GHC.HsToCore.Monad Methods ppr :: DsMatchContext -> SDoc # | |
Outputable EquationInfo | |
Defined in GHC.HsToCore.Monad Methods ppr :: EquationInfo -> SDoc # | |
Outputable GenerateInhabitingPatternsMode | |
Defined in GHC.HsToCore.Pmc.Solver Methods | |
Outputable PhiCt | |
Defined in GHC.HsToCore.Pmc.Solver | |
Outputable TopNormaliseTypeResult | |
Defined in GHC.HsToCore.Pmc.Solver | |
Outputable BotInfo | |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable Nabla | |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable Nablas | |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable PmAltCon | |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable PmAltConApp | |
Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConApp -> SDoc # | |
Outputable PmAltConSet | |
Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConSet -> SDoc # | |
Outputable PmEquality | |
Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmEquality -> SDoc # | |
Outputable PmLit | |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable PmLitValue | |
Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLitValue -> SDoc # | |
Outputable ResidualCompleteMatches | |
Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: ResidualCompleteMatches -> SDoc # | |
Outputable TmState | Not user-facing. |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable TyState | Not user-facing. |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable VarInfo | Not user-facing. |
Defined in GHC.HsToCore.Pmc.Solver.Types | |
Outputable GrdVec | Format LYG guards as |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable PmEmptyCase | |
Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmEmptyCase -> SDoc # | |
Outputable PmGrd | Should not be user-facing. |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable Precision | |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable RedSets | |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable SrcInfo | |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable BindType | |
Defined in GHC.Iface.Ext.Types | |
Outputable ContextInfo | |
Defined in GHC.Iface.Ext.Types Methods ppr :: ContextInfo -> SDoc # | |
Outputable DeclType | |
Defined in GHC.Iface.Ext.Types | |
Outputable EvBindDeps | |
Defined in GHC.Iface.Ext.Types Methods ppr :: EvBindDeps -> SDoc # | |
Outputable EvVarSource | |
Defined in GHC.Iface.Ext.Types Methods ppr :: EvVarSource -> SDoc # | |
Outputable HieName | |
Defined in GHC.Iface.Ext.Types | |
Outputable IEType | |
Defined in GHC.Iface.Ext.Types | |
Outputable NodeAnnotation | |
Defined in GHC.Iface.Ext.Types Methods ppr :: NodeAnnotation -> SDoc # | |
Outputable NodeOrigin | |
Defined in GHC.Iface.Ext.Types Methods ppr :: NodeOrigin -> SDoc # | |
Outputable RecFieldContext | |
Defined in GHC.Iface.Ext.Types Methods ppr :: RecFieldContext -> SDoc # | |
Outputable Scope | |
Defined in GHC.Iface.Ext.Types | |
Outputable TyVarScope | |
Defined in GHC.Iface.Ext.Types Methods ppr :: TyVarScope -> SDoc # | |
Outputable WhereFrom | |
Defined in GHC.Iface.Load | |
Outputable CompileReason | |
Defined in GHC.Iface.Recomp Methods ppr :: CompileReason -> SDoc # | |
Outputable IfaceDeclExtras | |
Defined in GHC.Iface.Recomp | |
Outputable RecompReason | |
Defined in GHC.Iface.Recomp Methods ppr :: RecompReason -> SDoc # | |
Outputable RecompileRequired | |
Defined in GHC.Iface.Recomp Methods ppr :: RecompileRequired -> SDoc # | |
Outputable IfGuidance | |
Defined in GHC.Iface.Syntax Methods ppr :: IfGuidance -> SDoc # | |
Outputable IfaceAT | |
Defined in GHC.Iface.Syntax | |
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 | |
Outputable IfaceExpr | |
Defined in GHC.Iface.Syntax | |
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 IfaceMaybeRhs | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceMaybeRhs -> SDoc # | |
Outputable IfaceRule | |
Defined in GHC.Iface.Syntax | |
Outputable IfaceStringLiteral | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceStringLiteral -> SDoc # | |
Outputable IfaceTopBndrInfo | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceTopBndrInfo -> SDoc # | |
Outputable IfaceTyConParent | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceTyConParent -> SDoc # | |
Outputable IfaceUnfolding | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceUnfolding -> SDoc # | |
Outputable IfaceWarningTxt | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarningTxt -> SDoc # | |
Outputable IfaceWarnings | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceWarnings -> SDoc # | |
Outputable IfaceAppArgs | |
Defined in GHC.Iface.Type Methods ppr :: IfaceAppArgs -> SDoc # | |
Outputable IfaceBndr | |
Defined in GHC.Iface.Type | |
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 | |
Outputable ShowHowMuch | |
Defined in GHC.Iface.Type Methods ppr :: ShowHowMuch -> SDoc # | |
Outputable LibrarySpec | |
Defined in GHC.Linker.Types Methods ppr :: LibrarySpec -> SDoc # | |
Outputable Linkable | |
Defined in GHC.Linker.Types | |
Outputable LoadedPkgInfo | |
Defined in GHC.Linker.Types Methods ppr :: LoadedPkgInfo -> SDoc # | |
Outputable SptEntry | |
Defined in GHC.Linker.Types | |
Outputable Unlinked | |
Defined in GHC.Linker.Types | |
Outputable MetaId | |
Defined in GHC.Llvm.MetaData | |
Outputable LlvmCallConvention | |
Defined in GHC.Llvm.Types Methods ppr :: LlvmCallConvention -> SDoc # | |
Outputable LlvmCastOp | |
Defined in GHC.Llvm.Types Methods ppr :: LlvmCastOp -> SDoc # | |
Outputable LlvmCmpOp | |
Defined in GHC.Llvm.Types | |
Outputable LlvmFuncAttr | |
Defined in GHC.Llvm.Types Methods ppr :: LlvmFuncAttr -> SDoc # | |
Outputable LlvmLinkageType | |
Defined in GHC.Llvm.Types Methods ppr :: LlvmLinkageType -> SDoc # | |
Outputable LlvmMachOp | |
Defined in GHC.Llvm.Types Methods ppr :: LlvmMachOp -> SDoc # | |
Outputable LlvmParamAttr | |
Defined in GHC.Llvm.Types Methods ppr :: LlvmParamAttr -> SDoc # | |
Outputable LlvmType | |
Defined in GHC.Llvm.Types | |
Outputable AddEpAnn | |
Defined in GHC.Parser.Annotation | |
Outputable Anchor | |
Defined in GHC.Parser.Annotation | |
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 | |
Outputable AnnListItem | |
Defined in GHC.Parser.Annotation Methods ppr :: AnnListItem -> SDoc # | |
Outputable AnnPragma | |
Defined in GHC.Parser.Annotation | |
Outputable AnnSortKey | |
Defined in GHC.Parser.Annotation Methods ppr :: AnnSortKey -> SDoc # | |
Outputable DeltaPos | |
Defined in GHC.Parser.Annotation | |
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 | |
Outputable NoEpAnns | |
Defined in GHC.Parser.Annotation | |
Outputable TrailingAnn | |
Defined in GHC.Parser.Annotation Methods ppr :: TrailingAnn -> SDoc # | |
Outputable Token | |
Defined in GHC.Parser.Lexer | |
Outputable DataConBuilder | |
Defined in GHC.Parser.Types Methods ppr :: DataConBuilder -> SDoc # | |
Outputable RealReg | |
Defined in GHC.Platform.Reg | |
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 | |
Outputable VirtualReg | |
Defined in GHC.Platform.Reg Methods ppr :: VirtualReg -> SDoc # | |
Outputable RegClass | |
Defined in GHC.Platform.Reg.Class | |
Outputable ChildLookupResult | |
Defined in GHC.Rename.Env Methods ppr :: ChildLookupResult -> SDoc # | |
Outputable DisambigInfo | |
Defined in GHC.Rename.Env | |
Outputable HsSigCtxt | |
Defined in GHC.Rename.Env | |
Outputable MonadNames | |
Defined in GHC.Rename.Expr | |
Outputable RnTyKiEnv | |
Defined in GHC.Rename.HsType | |
Outputable RnTyKiWhat | |
Defined in GHC.Rename.HsType | |
Outputable WarnUnusedForalls | |
Defined in GHC.Rename.HsType Methods ppr :: WarnUnusedForalls -> SDoc # | |
Outputable ImpOccItem | |
Defined in GHC.Rename.Names | |
Outputable InteractiveImport | |
Defined in GHC.Runtime.Context Methods ppr :: InteractiveImport -> SDoc # | |
Outputable GetDocsFailure | |
Defined in GHC.Runtime.Eval Methods ppr :: GetDocsFailure -> SDoc # | |
Outputable Term | |
Defined in GHC.Runtime.Heap.Inspect | |
Outputable ArgDescr | |
Defined in GHC.Runtime.Heap.Layout | |
Outputable ClosureTypeInfo | |
Defined in GHC.Runtime.Heap.Layout Methods ppr :: ClosureTypeInfo -> SDoc # | |
Outputable SMRep | |
Defined in GHC.Runtime.Heap.Layout | |
Outputable StgHalfWord | |
Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgHalfWord -> SDoc # | |
Outputable StgWord | |
Defined in GHC.Runtime.Heap.Layout | |
Outputable TagInfo | |
Defined in GHC.Stg.InferTags.TagSig | |
Outputable TagSig | |
Defined in GHC.Stg.InferTags.TagSig | |
Outputable FloatLang | |
Defined in GHC.Stg.Lift.Monad | |
Outputable BinderInfo | |
Defined in GHC.Stg.Lift.Types Methods ppr :: BinderInfo -> SDoc # | |
Outputable Skeleton | |
Defined in GHC.Stg.Lift.Types | |
Outputable AltType | |
Defined in GHC.Stg.Syntax | |
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 | |
Outputable StgOp | |
Defined in GHC.Stg.Syntax | |
Outputable UpdateFlag | |
Defined in GHC.Stg.Syntax Methods ppr :: UpdateFlag -> SDoc # | |
Outputable UnariseVal | |
Defined in GHC.Stg.Unarise | |
Outputable Discr | |
Defined in GHC.StgToByteCode | |
Outputable ArgRep | |
Defined in GHC.StgToCmm.ArgRep | |
Outputable CallMethod | |
Defined in GHC.StgToCmm.Closure Methods ppr :: CallMethod -> SDoc # | |
Outputable Sequel | |
Defined in GHC.StgToCmm.Sequel | |
Outputable LambdaFormInfo | |
Defined in GHC.StgToCmm.Types Methods ppr :: LambdaFormInfo -> SDoc # | |
Outputable StandardFormInfo | |
Defined in GHC.StgToCmm.Types Methods ppr :: StandardFormInfo -> SDoc # | |
Outputable IPEStats | |
Defined in GHC.StgToCmm.Utils | |
Outputable LinkSpec | |
Defined in GHC.StgToJS.Linker.Linker | |
Outputable LinkPlan | |
Defined in GHC.StgToJS.Linker.Types | |
Outputable LinkedObj | |
Defined in GHC.StgToJS.Linker.Types | |
Outputable BlockInfo | |
Defined in GHC.StgToJS.Object | |
Outputable BlockLocation | |
Defined in GHC.StgToJS.Object Methods ppr :: BlockLocation -> SDoc # | |
Outputable ExportedFun | |
Defined in GHC.StgToJS.Object Methods ppr :: ExportedFun -> SDoc # | |
Outputable StaticArg | |
Defined in GHC.StgToJS.Types | |
Outputable StaticLit | |
Defined in GHC.StgToJS.Types | |
Outputable SlotCount | |
Defined in GHC.StgToJS.Utils | |
Outputable EarlyDerivSpec | |
Defined in GHC.Tc.Deriv | |
Outputable DerivInstTys | |
Defined in GHC.Tc.Deriv.Generate Methods ppr :: DerivInstTys -> SDoc # | |
Outputable DerivContext | |
Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivContext -> SDoc # | |
Outputable DerivEnv | |
Defined in GHC.Tc.Deriv.Utils | |
Outputable DerivSpecMechanism | |
Defined in GHC.Tc.Deriv.Utils Methods ppr :: DerivSpecMechanism -> SDoc # | |
Outputable PredSpec | |
Defined in GHC.Tc.Deriv.Utils | |
Outputable HoleFit | |
Defined in GHC.Tc.Errors.Hole.FitTypes | |
Outputable HoleFitCandidate | |
Defined in GHC.Tc.Errors.Hole.FitTypes Methods ppr :: HoleFitCandidate -> SDoc # | |
Outputable TypedHole | |
Defined in GHC.Tc.Errors.Hole.FitTypes | |
Outputable ErrorItem | |
Defined in GHC.Tc.Errors.Types | |
Outputable Exported | |
Defined in GHC.Tc.Errors.Types | |
Outputable HsTyVarBndrExistentialFlag | |
Defined in GHC.Tc.Errors.Types Methods ppr :: HsTyVarBndrExistentialFlag -> SDoc # | |
Outputable TypeDataForbids | |
Defined in GHC.Tc.Errors.Types Methods ppr :: TypeDataForbids -> SDoc # | |
Outputable PromotionErr | |
Defined in GHC.Tc.Errors.Types.PromotionErr Methods ppr :: PromotionErr -> SDoc # | |
Outputable GeneralisationPlan | |
Defined in GHC.Tc.Gen.Bind | |
Outputable AppCtxt | |
Defined in GHC.Tc.Gen.Head | |
Outputable EWrap | |
Defined in GHC.Tc.Gen.Head | |
Outputable HoleMode | |
Defined in GHC.Tc.Gen.HsType | |
Outputable SAKS_or_CUSK | |
Defined in GHC.Tc.Gen.HsType Methods ppr :: SAKS_or_CUSK -> SDoc # | |
Outputable TcTyMode | |
Defined in GHC.Tc.Gen.HsType | |
Outputable LetBndrSpec | |
Defined in GHC.Tc.Gen.Pat Methods ppr :: LetBndrSpec -> SDoc # | |
Outputable ClsInstResult | |
Defined in GHC.Tc.Instance.Class Methods ppr :: ClsInstResult -> SDoc # | |
Outputable InferMode | |
Defined in GHC.Tc.Solver | |
Outputable InertCans | |
Defined in GHC.Tc.Solver.InertSet | |
Outputable InertSet | |
Defined in GHC.Tc.Solver.InertSet | |
Outputable InteractResult | |
Defined in GHC.Tc.Solver.InertSet Methods ppr :: InteractResult -> SDoc # | |
Outputable WorkList | |
Defined in GHC.Tc.Solver.InertSet | |
Outputable DefaultingProposal | |
Defined in GHC.Tc.Types Methods ppr :: DefaultingProposal -> SDoc # | |
Outputable IdBindingInfo | |
Defined in GHC.Tc.Types.BasicTypes Methods ppr :: IdBindingInfo -> SDoc # | |
Outputable TcBinder | |
Defined in GHC.Tc.Types.BasicTypes | |
Outputable TcIdSigInfo | |
Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSigInfo -> SDoc # | |
Outputable TcIdSigInst | |
Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcIdSigInst -> SDoc # | |
Outputable TcPatSynInfo | |
Defined in GHC.Tc.Types.BasicTypes Methods ppr :: TcPatSynInfo -> SDoc # | |
Outputable TcSigInfo | |
Defined in GHC.Tc.Types.BasicTypes | |
Outputable TcTyThing | |
Defined in GHC.Tc.Types.BasicTypes | |
Outputable CanEqLHS | |
Defined in GHC.Tc.Types.Constraint | |
Outputable CheckTyEqProblem | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqProblem -> SDoc # | |
Outputable CheckTyEqResult | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: CheckTyEqResult -> SDoc # | |
Outputable Ct | |
Defined in GHC.Tc.Types.Constraint | |
Outputable CtEvidence | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: CtEvidence -> SDoc # | |
Outputable CtFlavour | |
Defined in GHC.Tc.Types.Constraint | |
Outputable CtIrredReason | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: CtIrredReason -> SDoc # | |
Outputable DelayedError | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: DelayedError -> SDoc # | |
Outputable DictCt | |
Defined in GHC.Tc.Types.Constraint | |
Outputable EqCt | |
Defined in GHC.Tc.Types.Constraint | |
Outputable HasGivenEqs | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: HasGivenEqs -> SDoc # | |
Outputable Hole | |
Defined in GHC.Tc.Types.Constraint | |
Outputable HoleSort | |
Defined in GHC.Tc.Types.Constraint | |
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 IrredCt | |
Defined in GHC.Tc.Types.Constraint | |
Outputable NotConcreteError | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: NotConcreteError -> SDoc # | |
Outputable QCInst | |
Defined in GHC.Tc.Types.Constraint | |
Outputable RewriterSet | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: RewriterSet -> SDoc # | |
Outputable SubGoalDepth | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: SubGoalDepth -> SDoc # | |
Outputable TcEvDest | |
Defined in GHC.Tc.Types.Constraint | |
Outputable WantedConstraints | |
Defined in GHC.Tc.Types.Constraint Methods ppr :: WantedConstraints -> SDoc # | |
Outputable EvBind | |
Defined in GHC.Tc.Types.Evidence | |
Outputable EvBindMap | |
Defined in GHC.Tc.Types.Evidence | |
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 | |
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 | |
Outputable TcEvBinds | |
Defined in GHC.Tc.Types.Evidence | |
Outputable CtOrigin | |
Defined in GHC.Tc.Types.Origin | |
Outputable FRRArrowContext | |
Defined in GHC.Tc.Types.Origin Methods ppr :: FRRArrowContext -> SDoc # | |
Outputable FixedRuntimeRepContext | |
Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepContext -> SDoc # | |
Outputable FixedRuntimeRepOrigin | |
Defined in GHC.Tc.Types.Origin Methods ppr :: FixedRuntimeRepOrigin -> SDoc # | |
Outputable InstanceWhat | |
Defined in GHC.Tc.Types.Origin Methods ppr :: InstanceWhat -> SDoc # | |
Outputable NakedScFlag | |
Defined in GHC.Tc.Types.Origin Methods ppr :: NakedScFlag -> SDoc # | |
Outputable RepPolyFun | |
Defined in GHC.Tc.Types.Origin Methods ppr :: RepPolyFun -> SDoc # | |
Outputable SkolemInfo | |
Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfo -> SDoc # | |
Outputable SkolemInfoAnon | |
Defined in GHC.Tc.Types.Origin Methods ppr :: SkolemInfoAnon -> SDoc # | |
Outputable StmtOrigin | |
Defined in GHC.Tc.Types.Origin Methods ppr :: StmtOrigin -> SDoc # | |
Outputable TyVarBndrs | |
Defined in GHC.Tc.Types.Origin Methods ppr :: TyVarBndrs -> SDoc # | |
Outputable TypedThing | |
Defined in GHC.Tc.Types.Origin Methods ppr :: TypedThing -> SDoc # | |
Outputable Rank | |
Defined in GHC.Tc.Types.Rank | |
Outputable ThStage | |
Defined in GHC.Tc.Types.TH | |
Outputable IsExtraConstraint | |
Defined in GHC.Tc.Utils.Monad Methods ppr :: IsExtraConstraint -> SDoc # | |
Outputable CandidatesQTvs | |
Defined in GHC.Tc.Utils.TcMType Methods ppr :: CandidatesQTvs -> SDoc # | |
Outputable ExpType | |
Defined in GHC.Tc.Utils.TcType | |
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 | |
Outputable PatersonSize | |
Defined in GHC.Tc.Utils.TcType Methods ppr :: PatersonSize -> SDoc # | |
Outputable TcLevel | |
Defined in GHC.Tc.Utils.TcType | |
Outputable TcTyVarDetails | |
Defined in GHC.Tc.Utils.TcType Methods ppr :: TcTyVarDetails -> SDoc # | |
Outputable AreUnifying | |
Defined in GHC.Tc.Utils.Unify Methods ppr :: AreUnifying -> SDoc # | |
Outputable LevelCheck | |
Defined in GHC.Tc.Utils.Unify Methods ppr :: LevelCheck -> SDoc # | |
Outputable ExpandMode | |
Defined in GHC.Tc.Validity | |
Outputable TypeOrKindCtxt | |
Defined in GHC.Tc.Validity | |
Outputable ValidityEnv | |
Defined in GHC.Tc.Validity | |
Outputable ZonkEnv | |
Defined in GHC.Tc.Zonk.Env | |
Outputable Annotation | |
Defined in GHC.Types.Annotations Methods ppr :: Annotation -> SDoc # | |
Outputable AvailInfo | |
Defined in GHC.Types.Avail | |
Outputable Activation | |
Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc # | |
Outputable Alignment | |
Defined in GHC.Types.Basic | |
Outputable CbvMark | |
Defined in GHC.Types.Basic | |
Outputable CompilerPhase | |
Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc # | |
Outputable DefaultingStrategy | |
Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc # | |
Outputable DoPmc | |
Defined in GHC.Types.Basic | |
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 Levity | |
Defined in GHC.Types.Basic | |
Outputable NonStandardDefaultingStrategy | |
Defined in GHC.Types.Basic Methods | |
Outputable OccInfo | |
Defined in GHC.Types.Basic | |
Outputable OneShotInfo | |
Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc # | |
Outputable Origin | |
Defined in GHC.Types.Basic | |
Outputable OverlapFlag | |
Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc # | |
Outputable OverlapMode | |
Defined in GHC.Types.Basic Methods ppr :: OverlapMode -> SDoc # | |
Outputable RecFlag | |
Defined in GHC.Types.Basic | |
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 | |
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 | |
Outputable TypeOrData | |
Defined in GHC.Types.Basic Methods ppr :: TypeOrData -> SDoc # | |
Outputable TypeOrKind | |
Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc # | |
Outputable UnboxedTupleOrSum | |
Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc # | |
Outputable UnfoldingSource | |
Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> 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 result CPR |
Defined in GHC.Types.Cpr | |
Outputable CprSig | Only print the CPR result |
Defined in GHC.Types.Cpr | |
Outputable CprType | BNF: cpr_ty ::= cpr -- short form if arty == 0 | '\' arty '.' cpr -- if arty > 0 Examples: * `f x y z = f x y z` has denotation `3.b` * `g !x = (x+1, x+2)` has denotation `1.1(1,1)`. |
Defined in GHC.Types.Cpr | |
Outputable Card | See Note [Demand notation] Current syntax was discussed in #19016. |
Defined in GHC.Types.Demand | |
Outputable Demand | See Note [Demand notation] |
Defined in GHC.Types.Demand | |
Outputable Divergence | |
Defined in GHC.Types.Demand Methods ppr :: Divergence -> SDoc # | |
Outputable DmdEnv | |
Defined in GHC.Types.Demand | |
Outputable DmdSig | |
Defined in GHC.Types.Demand | |
Outputable DmdType | |
Defined in GHC.Types.Demand | |
Outputable SubDemand | See Note [Demand notation] |
Defined in GHC.Types.Demand | |
Outputable TypeShape | |
Defined in GHC.Types.Demand | |
Outputable DiagnosticCode | |
Defined in GHC.Types.Error Methods ppr :: DiagnosticCode -> SDoc # | |
Outputable DiagnosticHint | |
Defined in GHC.Types.Error Methods ppr :: DiagnosticHint -> SDoc # | |
Outputable DiagnosticReason | |
Defined in GHC.Types.Error Methods ppr :: DiagnosticReason -> SDoc # | |
Outputable ResolvedDiagnosticReason | |
Defined in GHC.Types.Error Methods ppr :: ResolvedDiagnosticReason -> SDoc # | |
Outputable Severity | |
Defined in GHC.Types.Error | |
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 | |
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 | |
Outputable CCallConv | |
Defined in GHC.Types.ForeignCall | |
Outputable CCallSpec | |
Defined in GHC.Types.ForeignCall | |
Outputable CExportSpec | |
Defined in GHC.Types.ForeignCall Methods ppr :: CExportSpec -> SDoc # | |
Outputable CType | |
Defined in GHC.Types.ForeignCall | |
Outputable ForeignCall | |
Defined in GHC.Types.ForeignCall Methods ppr :: ForeignCall -> SDoc # | |
Outputable Header | |
Defined in GHC.Types.ForeignCall | |
Outputable Safety | |
Defined in GHC.Types.ForeignCall | |
Outputable ConInfo | |
Defined in GHC.Types.GREInfo | |
Outputable ConLikeName | |
Defined in GHC.Types.GREInfo Methods ppr :: ConLikeName -> SDoc # | |
Outputable GREInfo | |
Defined in GHC.Types.GREInfo | |
Outputable RecFieldInfo | |
Defined in GHC.Types.GREInfo Methods ppr :: RecFieldInfo -> SDoc # | |
Outputable CafInfo | |
Defined in GHC.Types.Id.Info | |
Outputable IdDetails | |
Defined in GHC.Types.Id.Info | |
Outputable RecSelParent | |
Defined in GHC.Types.Id.Info Methods ppr :: RecSelParent -> SDoc # | |
Outputable TickBoxOp | |
Defined in GHC.Types.Id.Info | |
Outputable Literal | |
Defined in GHC.Types.Literal | |
Outputable Name | |
Defined in GHC.Types.Name | |
Outputable NameSort | |
Defined in GHC.Types.Name | |
Outputable OccName | |
Defined in GHC.Types.Name.Occurrence | |
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 LookupChild | |
Defined in GHC.Types.Name.Reader Methods ppr :: LookupChild -> SDoc # | |
Outputable Parent | |
Defined in GHC.Types.Name.Reader | |
Outputable RdrName | |
Defined in GHC.Types.Name.Reader | |
Outputable PkgQual | |
Defined in GHC.Types.PkgQual | |
Outputable RawPkgQual | |
Defined in GHC.Types.PkgQual Methods ppr :: RawPkgQual -> SDoc # | |
Outputable SlotTy | |
Defined in GHC.Types.RepType | |
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 | |
Outputable SrcSpan | |
Defined in GHC.Types.SrcLoc | |
Outputable UnhelpfulSpanReason | |
Defined in GHC.Types.SrcLoc Methods ppr :: UnhelpfulSpanReason -> SDoc # | |
Outputable Target | |
Defined in GHC.Types.Target | |
Outputable TargetId | |
Defined in GHC.Types.Target | |
Outputable TickishPlacement | |
Defined in GHC.Types.Tickish Methods ppr :: TickishPlacement -> SDoc # | |
Outputable TyThing | |
Defined in GHC.Types.TyThing | |
Outputable Unique | |
Defined in GHC.Types.Unique | |
Outputable ForAllTyFlag | |
Defined in GHC.Types.Var Methods ppr :: ForAllTyFlag -> SDoc # | |
Outputable FunTyFlag | |
Defined in GHC.Types.Var | |
Outputable PiTyBinder | |
Defined in GHC.Types.Var Methods ppr :: PiTyBinder -> SDoc # | |
Outputable Var | |
Defined in GHC.Types.Var | |
Outputable InScopeSet | |
Defined in GHC.Types.Var.Env Methods ppr :: InScopeSet -> SDoc # | |
Outputable HomeUnitEnv | |
Defined in GHC.Unit.Env Methods ppr :: HomeUnitEnv -> SDoc # | |
Outputable HomeModLinkable | |
Defined in GHC.Unit.Home.ModInfo Methods ppr :: HomeModLinkable -> SDoc # | |
Outputable PackageId | |
Defined in GHC.Unit.Info | |
Outputable PackageName | |
Defined in GHC.Unit.Info Methods ppr :: PackageName -> SDoc # | |
Outputable NDModule | |
Defined in GHC.Unit.Module.Env | |
Outputable ModNodeKeyWithUid | |
Defined in GHC.Unit.Module.Graph Methods ppr :: ModNodeKeyWithUid -> SDoc # | |
Outputable ModuleGraphNode | |
Defined in GHC.Unit.Module.Graph Methods ppr :: ModuleGraphNode -> SDoc # | |
Outputable NodeKey | |
Defined in GHC.Unit.Module.Graph | |
Outputable ModLocation | |
Defined in GHC.Unit.Module.Location Methods ppr :: ModLocation -> SDoc # | |
Outputable ModSummary | |
Defined in GHC.Unit.Module.ModSummary Methods ppr :: ModSummary -> SDoc # | |
Outputable HscBackendAction | |
Defined in GHC.Unit.Module.Status Methods ppr :: HscBackendAction -> SDoc # | |
Outputable InWarningCategory | |
Defined in GHC.Unit.Module.Warnings Methods ppr :: InWarningCategory -> SDoc # | |
Outputable WarningCategory | |
Defined in GHC.Unit.Module.Warnings Methods ppr :: WarningCategory -> 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 | |
Outputable UnitVisibility | |
Defined in GHC.Unit.State | |
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 | |
Outputable Unit | |
Defined in GHC.Unit.Types | |
Outputable UnitId | |
Defined in GHC.Unit.Types | |
Outputable PprStyle | |
Defined in GHC.Utils.Outputable | |
Outputable QualifyName | |
Defined in GHC.Utils.Outputable Methods ppr :: QualifyName -> SDoc # | |
Outputable SDoc | |
Defined in GHC.Utils.Outputable | |
Outputable ContainingSyntax | |
Defined in GHC.Wasm.ControlFlow.FromCmm | |
Outputable Context | |
Defined in GHC.Wasm.ControlFlow.FromCmm | |
Outputable ModuleName | |
Defined in GHC.Utils.Outputable Methods ppr :: ModuleName -> SDoc # | |
Outputable Serialized | |
Defined in GHC.Utils.Outputable Methods ppr :: Serialized -> SDoc # | |
Outputable Extension | |
Defined in GHC.Utils.Outputable | |
Outputable Comment | |
Defined in Language.Haskell.GHC.ExactPrint.Types | |
Outputable Ordering | |
Defined in GHC.Utils.Outputable | |
Outputable UTCTime | |
Defined in GHC.Utils.Outputable | |
Outputable Integer | |
Defined in GHC.Utils.Outputable | |
Outputable () | |
Defined in GHC.Utils.Outputable | |
Outputable Bool | |
Defined in GHC.Utils.Outputable | |
Outputable Double | |
Defined in GHC.Utils.Outputable | |
Outputable Float | |
Defined in GHC.Utils.Outputable | |
Outputable Int | |
Defined in GHC.Utils.Outputable | |
Outputable Word | |
Defined in GHC.Utils.Outputable | |
Outputable a => Outputable (NonEmpty a) | |
Defined in GHC.Utils.Outputable | |
Outputable a => Outputable (SCC a) | |
Defined in GHC.Utils.Outputable | |
Outputable elt => Outputable (IntMap elt) | |
Defined in GHC.Utils.Outputable | |
Outputable a => Outputable (Set a) | |
Defined in GHC.Utils.Outputable | |
Outputable a => Outputable (ProtoBCO a) | |
Defined in GHC.ByteCode.Instr | |
Outputable instr => Outputable (GenBasicBlock instr) | |
Defined in GHC.Cmm Methods ppr :: GenBasicBlock instr -> SDoc # | |
Outputable instr => Outputable (ListGraph instr) | |
Outputable a => Outputable (LabelMap a) | |
Defined in GHC.Cmm.Dataflow.Label | |
Outputable instr => Outputable (InstrSR instr) | |
Defined in GHC.CmmToAsm.Reg.Liveness | |
Outputable instr => Outputable (LiveInstr instr) | |
Defined in GHC.CmmToAsm.Reg.Liveness | |
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 | |
Outputable a => Outputable (CoreMap a) | |
Defined in GHC.Core.Map.Expr | |
Outputable a => Outputable (TypeMapG a) | |
Defined in GHC.Core.Map.Type | |
Outputable i => Outputable (UnboxingDecision i) | |
Defined in GHC.Core.Opt.WorkWrap.Utils Methods ppr :: UnboxingDecision i -> SDoc # | |
Outputable a => Outputable (RoughMap a) | |
Defined in GHC.Core.RoughMap | |
Outputable a => Outputable (Scaled a) | |
Defined in GHC.Core.TyCo.Rep | |
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 | |
OutputableBndr a => Outputable (BooleanFormula a) | |
Defined in GHC.Data.BooleanFormula Methods ppr :: BooleanFormula a -> SDoc # | |
Outputable node => Outputable (Edge node) | |
Defined in GHC.Data.Graph.Directed | |
Outputable node => Outputable (Graph node) | |
Defined in GHC.Data.Graph.Directed | |
Outputable a => Outputable (OrdList a) | |
Defined in GHC.Data.OrdList | |
Outputable a => Outputable (Pair a) | |
Defined in GHC.Data.Pair | |
Outputable a => Outputable (OnOff a) | |
Defined in GHC.Driver.DynFlags | |
Outputable (KnotVars a) | |
Defined in GHC.Driver.Env.KnotVars | |
Outputable a => Outputable (CheckResult a) | |
Defined in GHC.HsToCore.Pmc.Types Methods ppr :: CheckResult a -> SDoc # | |
Outputable p => Outputable (PmGRHS p) | |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable p => Outputable (PmGRHSs p) | |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable p => Outputable (PmMatch p) | |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable p => Outputable (PmMatchGroup p) | |
Defined in GHC.HsToCore.Pmc.Types Methods ppr :: PmMatchGroup p -> SDoc # | |
Outputable p => Outputable (PmPatBind p) | |
Defined in GHC.HsToCore.Pmc.Types | |
Outputable a => Outputable (HieAST a) | |
Defined in GHC.Iface.Ext.Types | |
Outputable a => Outputable (HieASTs a) | |
Defined in GHC.Iface.Ext.Types | |
Outputable a => Outputable (IdentifierDetails a) | |
Defined in GHC.Iface.Ext.Types Methods ppr :: IdentifierDetails a -> SDoc # | |
Outputable a => Outputable (NodeInfo a) | |
Defined in GHC.Iface.Ext.Types | |
Outputable a => Outputable (SourcedNodeInfo a) | |
Defined in GHC.Iface.Ext.Types Methods ppr :: SourcedNodeInfo a -> SDoc # | |
Outputable a => Outputable (EvidenceInfo a) | |
Defined in GHC.Iface.Ext.Utils Methods ppr :: EvidenceInfo a -> SDoc # | |
Outputable a => Outputable (MaybeValidated a) | |
Defined in GHC.Iface.Recomp Methods ppr :: MaybeValidated a -> SDoc # | |
Outputable a => Outputable (EpAnn a) | |
Defined in GHC.Parser.Annotation | |
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 a => Outputable (StmtTree a) | |
Defined in GHC.Rename.Expr | |
Outputable (TagEnv p) | |
Defined in GHC.Stg.InferTags.Types | |
OutputablePass pass => Outputable (GenStgBinding pass) | |
Defined in GHC.Stg.Syntax Methods ppr :: GenStgBinding pass -> SDoc # | |
OutputablePass pass => Outputable (GenStgExpr pass) | |
Defined in GHC.Stg.Syntax Methods ppr :: GenStgExpr pass -> SDoc # | |
OutputablePass pass => Outputable (GenStgRhs pass) | |
Defined in GHC.Stg.Syntax | |
Outputable a => Outputable (NonVoid a) | |
Defined in GHC.StgToCmm.Closure | |
Outputable theta => Outputable (DerivSpec theta) | |
Defined in GHC.Tc.Deriv.Utils | |
OutputableBndrId p => Outputable (HsTypeOrSigType (GhcPass p)) | |
Defined in GHC.Tc.Errors.Types Methods ppr :: HsTypeOrSigType (GhcPass p) -> SDoc # | |
OutputableBndrId (XPass p) => Outputable (EValArg p) | |
Defined in GHC.Tc.Gen.Head | |
OutputableBndrId (XPass p) => Outputable (HsExprArg p) | |
Defined in GHC.Tc.Gen.Head | |
Outputable (FunDepEqn a) | |
Defined in GHC.Tc.Instance.FunDeps | |
Outputable a => Outputable (StopOrContinue a) | |
Defined in GHC.Tc.Solver.Monad Methods ppr :: StopOrContinue a -> SDoc # | |
OutputableBndrId a => Outputable (InstInfo (GhcPass a)) | |
Outputable (TyEqFamApp a) | |
Defined in GHC.Tc.Utils.Unify Methods ppr :: TyEqFamApp a -> SDoc # | |
Outputable (TyEqFlags a) | |
Defined in GHC.Tc.Utils.Unify | |
Outputable name => Outputable (AnnTarget name) | |
Defined in GHC.Types.Annotations | |
Outputable (DefMethSpec ty) | |
Defined in GHC.Types.Basic Methods ppr :: DefMethSpec ty -> SDoc # | |
Outputable (TyConFlavour tc) | |
Defined in GHC.Types.Basic Methods ppr :: TyConFlavour tc -> SDoc # | |
Diagnostic e => Outputable (Messages e) | |
Defined in GHC.Types.Error | |
Outputable a => Outputable (OccEnv a) | |
Defined in GHC.Types.Name.Occurrence | |
Outputable info => Outputable (GlobalRdrEltX info) | |
Defined in GHC.Types.Name.Reader Methods ppr :: GlobalRdrEltX info -> SDoc # | |
Outputable (WhichGREs info) | |
Defined in GHC.Types.Name.Reader | |
Outputable e => Outputable (Located e) | |
Defined in GHC.Types.SrcLoc | |
Outputable a => Outputable (UniqDSet a) | |
Defined in GHC.Types.Unique.DSet | |
Outputable a => Outputable (UniqSet a) | |
Defined in GHC.Types.Unique.Set | |
Outputable (UnitEnvGraph HomeUnitEnv) | |
Defined in GHC.Unit.Env Methods ppr :: UnitEnvGraph HomeUnitEnv -> SDoc # | |
Outputable elt => Outputable (InstalledModuleEnv elt) | |
Defined in GHC.Unit.Module.Env Methods ppr :: InstalledModuleEnv elt -> SDoc # | |
Outputable a => Outputable (ModuleEnv a) | |
Defined in GHC.Unit.Module.Env | |
Outputable (WarningTxt pass) | |
Defined in GHC.Unit.Module.Warnings Methods ppr :: WarningTxt pass -> SDoc # | |
Outputable u => Outputable (UnitDatabase u) | |
Defined in GHC.Unit.State Methods ppr :: UnitDatabase u -> SDoc # | |
Outputable unit => Outputable (Definite unit) | |
Defined in GHC.Unit.Types | |
Outputable a => Outputable (GenWithIsBoot a) | |
Defined in GHC.Unit.Types Methods ppr :: GenWithIsBoot a -> SDoc # | |
Outputable a => Outputable (Maybe a) | |
Defined in GHC.Utils.Outputable | |
Outputable a => Outputable [a] | |
Defined in GHC.Utils.Outputable | |
(Outputable a, Outputable b) => Outputable (Either a b) | |
Defined in GHC.Utils.Outputable | |
(Outputable a, Outputable b) => Outputable (Arg a b) | |
Defined in GHC.Utils.Outputable | |
(Outputable key, Outputable elt) => Outputable (Map key elt) | |
Defined in GHC.Utils.Outputable | |
(OutputableP Platform statics, OutputableP Platform instr) => Outputable (RegAllocStats statics instr) | |
Defined in GHC.CmmToAsm.Reg.Graph.Stats Methods ppr :: RegAllocStats statics instr -> SDoc # | |
(Outputable a, Outputable b) => Outputable (Node a b) | |
Defined in GHC.Data.Graph.Directed | |
(Outputable a, Outputable (m a)) => Outputable (GenMap m a) | |
Defined in GHC.Data.TrieMap | |
(TrieMap m, Outputable a) => Outputable (ListMap m a) | |
Defined in GHC.Data.TrieMap | |
Outputable a => Outputable (WithHsDocIdentifiers a pass) | For compatibility with the existing @-ddump-parsed' output, we only show the docstring. Use |
Defined in GHC.Hs.Doc Methods ppr :: WithHsDocIdentifiers a pass -> SDoc # | |
(Outputable a, Outputable b) => Outputable (HsExpansion a b) | Just print the original expression (the |
Defined in GHC.Hs.Expr Methods ppr :: HsExpansion a b -> SDoc # | |
(Outputable a, Outputable b) => Outputable (HsPatExpansion a b) | |
Defined in GHC.Hs.Pat Methods ppr :: HsPatExpansion a b -> SDoc # | |
(Outputable r, Outputable b) => Outputable (IfaceBindingX r b) | |
Defined in GHC.Iface.Syntax Methods ppr :: IfaceBindingX r b -> SDoc # | |
(Outputable a, Outputable b) => Outputable (PuResult a b) | |
Defined in GHC.Tc.Utils.Unify | |
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 a => Outputable (GenLocated TokenLocation a) | |
Defined in GHC.Parser.Annotation Methods ppr :: GenLocated TokenLocation a -> 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 | |
Outputable a => Outputable (UniqFM key a) | |
Defined in GHC.Types.Unique.FM | |
(Outputable k, Outputable a) => Outputable (UniqMap k a) | |
Defined in GHC.Types.Unique.Map | |
(Outputable key, Outputable ele) => Outputable (Shared key ele) | |
Defined in GHC.Types.Unique.SDFM | |
(Outputable key, Outputable ele) => Outputable (UniqSDFM key ele) | |
Defined in GHC.Types.Unique.SDFM | |
OutputableBndr tv => Outputable (VarBndr tv TyConBndrVis) | |
Defined in GHC.Core.TyCon Methods ppr :: VarBndr tv TyConBndrVis -> SDoc # | |
Outputable tv => Outputable (VarBndr tv ForAllTyFlag) | |
Defined in GHC.Types.Var Methods ppr :: VarBndr tv ForAllTyFlag -> SDoc # | |
Outputable tv => Outputable (VarBndr tv Specificity) | |
Defined in GHC.Types.Var Methods ppr :: VarBndr tv Specificity -> SDoc # | |
(Outputable a, Outputable b) => Outputable (a, b) | |
Defined in GHC.Utils.Outputable | |
(Outputable a, Outputable b, Outputable c) => Outputable (a, b, c) | |
Defined in GHC.Utils.Outputable | |
(Outputable a, Outputable b, Outputable c, Outputable d) => Outputable (a, b, c, d) | |
Defined in GHC.Utils.Outputable | |
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e) => Outputable (a, b, c, d, e) | |
Defined in GHC.Utils.Outputable | |
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f) => Outputable (a, b, c, d, e, f) | |
Defined in GHC.Utils.Outputable | |
(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 |