retrie-1.2.2: A powerful, easy-to-use codemodding tool for Haskell.

Safe Haskell | Safe-Inferred
Language | Haskell2010

Retrie.GHC

Synopsis

- data RuleInfo = RuleInfo {
  - riName :: RuleName
  - riQuantifiers :: [RdrName]
  - riLHS :: LHsExpr GhcPs
  - riRHS :: LHsExpr GhcPs
  }
- overlaps :: SrcSpan -> SrcSpan -> Bool
- cLPat :: LPat (GhcPass p) -> LPat (GhcPass p)
- dLPat :: LPat (GhcPass p) -> Maybe (LPat (GhcPass p))
- dLPatUnsafe :: 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)]
- ruleInfo :: RuleDecl GhcPs -> [RuleInfo]
- 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
- showSDoc :: DynFlags -> SDoc -> String
- data Levity
  - = Lifted
  - | Unlifted
- type RuleName = FastString
- data SuccessFlag
  - = Succeeded
  - | Failed
- data PromotionFlag
  - = NotPromoted
  - | IsPromoted
- type Arity = Int
- data Origin
  - = FromSource
  - | Generated
- newtype PprPrec = PprPrec Int
- data Activation
  - = AlwaysActive
  - | ActiveBefore SourceText PhaseNum
  - | ActiveAfter SourceText PhaseNum
  - | FinalActive
  - | NeverActive
- data Alignment
- type BranchCount = Int
- data CbvMark
  - = MarkedCbv
  - | NotMarkedCbv
- data CompilerPhase
  - = InitialPhase
  - | Phase PhaseNum
  - | FinalPhase
- type ConTagZ = Int
- data DefMethSpec ty
  - = VanillaDM
  - | GenericDM ty
- data DefaultingStrategy
  - = DefaultKindVars
  - | NonStandardDefaulting NonStandardDefaultingStrategy
- type FullArgCount = Int
- data FunctionOrData
  - = IsFunction
  - | IsData
- data InlinePragma = InlinePragma {
  - inl_src :: SourceText
  - inl_inline :: InlineSpec
  - inl_sat :: Maybe Arity
  - inl_act :: Activation
  - inl_rule :: RuleMatchInfo
  }
- data InlineSpec
  - = Inline SourceText
  - | Inlinable SourceText
  - | NoInline SourceText
  - | Opaque SourceText
  - | NoUserInlinePrag
- data InsideLam
  - = IsInsideLam
  - | NotInsideLam
- data IntWithInf
- data InterestingCxt
  - = IsInteresting
  - | NotInteresting
- type JoinArity = Int
- data LeftOrRight
  - = CLeft
  - | CRight
- data NonStandardDefaultingStrategy
  - = DefaultNonStandardTyVars
  - | TryNotToDefaultNonStandardTyVars
- data OccInfo
  - = ManyOccs {
    - occ_tail :: !TailCallInfo
    }
  - | IAmDead
  - | OneOcc {
    - occ_in_lam :: !InsideLam
    - occ_n_br :: !BranchCount
    - occ_int_cxt :: !InterestingCxt
    - occ_tail :: !TailCallInfo
    }
  - | IAmALoopBreaker {
    - occ_rules_only :: !RulesOnly
    - occ_tail :: !TailCallInfo
    }
- data OneShotInfo
  - = NoOneShotInfo
  - | OneShotLam
- data OverlapFlag = OverlapFlag {
  - overlapMode :: OverlapMode
  - isSafeOverlap :: Bool
  }
- data OverlapMode
  - = NoOverlap SourceText
  - | Overlappable SourceText
  - | Overlapping SourceText
  - | Overlaps SourceText
  - | Incoherent SourceText
- type PhaseNum = Int
- data RecFlag
  - = Recursive
  - | NonRecursive
- type RepArity = Int
- data RuleMatchInfo
  - = ConLike
  - | FunLike
- data SwapFlag
  - = NotSwapped
  - | IsSwapped
- data TailCallInfo
  - = AlwaysTailCalled JoinArity
  - | NoTailCallInfo
- data TopLevelFlag
  - = TopLevel
  - | NotTopLevel
- data TupleSort
  - = BoxedTuple
  - | UnboxedTuple
  - | ConstraintTuple
- data TypeOrConstraint
  - = TypeLike
  - | ConstraintLike
- data TypeOrKind
  - = TypeLevel
  - | KindLevel
- data UnboxedTupleOrSum
  - = UnboxedTupleType
  - | UnboxedSumType
- data UnfoldingSource
  - = VanillaSrc
  - | StableUserSrc
  - | StableSystemSrc
  - | CompulsorySrc
- data Boxity
  - = Boxed
  - | Unboxed
- type ConTag = Int
- data ForeignSrcLang
  - = LangC
  - | LangCxx
  - | LangObjc
  - | LangObjcxx
  - | LangAsm
  - | LangJs
  - | RawObject
- failed :: SuccessFlag -> Bool
- succeeded :: SuccessFlag -> Bool
- isPromoted :: PromotionFlag -> Bool
- appPrec :: PprPrec
- boxityTupleSort :: Boxity -> TupleSort
- opPrec :: PprPrec
- sigPrec :: PprPrec
- topPrec :: PprPrec
- tupleParens :: TupleSort -> SDoc -> SDoc
- activateAfterInitial :: Activation
- activateDuringFinal :: Activation
- activeAfter :: CompilerPhase -> Activation
- activeInFinalPhase :: Activation -> Bool
- alignmentOf :: Int -> Alignment
- alwaysInlineConLikePragma :: InlinePragma
- alwaysInlinePragma :: InlinePragma
- beginPhase :: Activation -> CompilerPhase
- bestOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
- boolToRecFlag :: Bool -> RecFlag
- competesWith :: Activation -> Activation -> Bool
- defaultInlinePragma :: InlinePragma
- defaultNonStandardTyVars :: DefaultingStrategy -> Bool
- dfunInlinePragma :: InlinePragma
- fIRST_TAG :: ConTag
- flipSwap :: SwapFlag -> SwapFlag
- fromEP :: EP a -> a
- toEP :: EP a -> a
- funPrec :: PprPrec
- hasIncoherentFlag :: OverlapMode -> Bool
- hasNoOneShotInfo :: OneShotInfo -> Bool
- hasOverlappableFlag :: OverlapMode -> Bool
- hasOverlappingFlag :: OverlapMode -> Bool
- infinity :: IntWithInf
- inlinePragmaActivation :: InlinePragma -> Activation
- inlinePragmaName :: InlineSpec -> SDoc
- inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo
- inlinePragmaSat :: InlinePragma -> Maybe Arity
- inlinePragmaSource :: InlinePragma -> SourceText
- inlinePragmaSpec :: InlinePragma -> InlineSpec
- inlineSpecSource :: InlineSpec -> SourceText
- intGtLimit :: Int -> IntWithInf -> Bool
- isActive :: CompilerPhase -> Activation -> Bool
- isAlwaysActive :: Activation -> Bool
- isAlwaysTailCalled :: OccInfo -> Bool
- isAnyInlinePragma :: InlinePragma -> Bool
- isCompulsorySource :: UnfoldingSource -> Bool
- isConLike :: RuleMatchInfo -> Bool
- isDeadOcc :: OccInfo -> Bool
- isDefaultInlinePragma :: InlinePragma -> Bool
- isFunLike :: RuleMatchInfo -> Bool
- isGenerated :: Origin -> Bool
- isInlinablePragma :: InlinePragma -> Bool
- isInlinePragma :: InlinePragma -> Bool
- isKindLevel :: TypeOrKind -> Bool
- isManyOccs :: OccInfo -> Bool
- isMarkedCbv :: CbvMark -> Bool
- isNeverActive :: Activation -> Bool
- isNoInlinePragma :: InlinePragma -> Bool
- isNoOccInfo :: OccInfo -> Bool
- isNonRec :: RecFlag -> Bool
- isNotTopLevel :: TopLevelFlag -> Bool
- isOneOcc :: OccInfo -> Bool
- isOneShotInfo :: OneShotInfo -> Bool
- isOpaquePragma :: InlinePragma -> Bool
- isRec :: RecFlag -> Bool
- isStableSource :: UnfoldingSource -> Bool
- isStableSystemSource :: UnfoldingSource -> Bool
- isStableUserSource :: UnfoldingSource -> Bool
- isStrongLoopBreaker :: OccInfo -> Bool
- isSwapped :: SwapFlag -> Bool
- isTopLevel :: TopLevelFlag -> Bool
- isTypeLevel :: TypeOrKind -> Bool
- isWeakLoopBreaker :: OccInfo -> Bool
- laterPhase :: CompilerPhase -> CompilerPhase -> CompilerPhase
- maxPrec :: PprPrec
- maybeParen :: PprPrec -> PprPrec -> SDoc -> SDoc
- mightBeLifted :: Maybe Levity -> Bool
- mightBeUnlifted :: Maybe Levity -> Bool
- mkAlignment :: Int -> Alignment
- mkIntWithInf :: Int -> IntWithInf
- neverInlinePragma :: InlinePragma
- nextPhase :: CompilerPhase -> CompilerPhase
- noOccInfo :: OccInfo
- noOneShotInfo :: OneShotInfo
- noUserInlineSpec :: InlineSpec -> Bool
- oneBranch :: BranchCount
- pickLR :: LeftOrRight -> (a, a) -> a
- pprAlternative :: (a -> SDoc) -> a -> ConTag -> Arity -> SDoc
- pprInline :: InlinePragma -> SDoc
- pprInlineDebug :: InlinePragma -> SDoc
- pprRuleName :: RuleName -> SDoc
- seqOccInfo :: OccInfo -> ()
- setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma
- setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma
- setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlag
- starPrec :: PprPrec
- strongLoopBreaker :: OccInfo
- subWithInf :: IntWithInf -> Int -> IntWithInf
- successIf :: Bool -> SuccessFlag
- sumParens :: SDoc -> SDoc
- tailCallInfo :: OccInfo -> TailCallInfo
- treatZeroAsInf :: Int -> IntWithInf
- tupleSortBoxity :: TupleSort -> Boxity
- unSwap :: SwapFlag -> (a -> a -> b) -> a -> a -> b
- unboxedTupleOrSumExtension :: UnboxedTupleOrSum -> Extension
- weakLoopBreaker :: OccInfo
- worstOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
- zapFragileOcc :: OccInfo -> OccInfo
- zapOccTailCallInfo :: OccInfo -> OccInfo
- isBoxed :: Boxity -> Bool
- class Outputable a where
  - ppr :: a -> SDoc

# Documentation

data RuleInfo #

Constructors

RuleInfo |

Fields

- riName :: RuleName
- riQuantifiers :: [RdrName]
- riLHS :: LHsExpr GhcPs
- riRHS :: LHsExpr GhcPs

overlaps :: SrcSpan -> SrcSpan -> Bool #

cLPat :: LPat (GhcPass p) -> LPat (GhcPass p) #

dLPat :: LPat (GhcPass p) -> Maybe (LPat (GhcPass p)) #

Only returns located pat if there is a genuine location available.

dLPatUnsafe :: 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) #

fixityDecls :: HsModule GhcPs -> [(LocatedN RdrName, Fixity)] #

ruleInfo :: RuleDecl GhcPs -> [RuleInfo] #

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 #

showSDoc :: DynFlags -> SDoc -> String #

data Levity #

Constructors

Lifted |
Unlifted |

#### Instances

Instances details

Outputable Levity |
Instance details Defined in GHC.Types.Basic Methods ppr :: Levity -> SDoc #
Eq Levity |
Instance details Defined in GHC.Types.Basic Methods (==) :: Levity -> Levity -> Bool (/=) :: Levity -> Levity -> Bool

type RuleName = FastString #

data SuccessFlag #

Constructors

Succeeded |
Failed |

#### Instances

Instances details

Semigroup SuccessFlag |
Instance details Defined in GHC.Types.Basic Methods (<>) :: SuccessFlag -> SuccessFlag -> SuccessFlag # sconcat :: NonEmpty SuccessFlag -> SuccessFlag stimes :: Integral b => b -> SuccessFlag -> SuccessFlag
Outputable SuccessFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: SuccessFlag -> SDoc #

data PromotionFlag #

Constructors

NotPromoted |
IsPromoted |

#### Instances

Instances details

Data PromotionFlag |

Instance details

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 |
Instance details Defined in Language.Haskell.Syntax.Type Methods (==) :: PromotionFlag -> PromotionFlag -> Bool (/=) :: PromotionFlag -> PromotionFlag -> Bool

type Arity = Int #

data Origin #

Constructors

FromSource |
Generated |

#### Instances

Instances details

Data Origin |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods ppr :: Origin -> SDoc #
Eq Origin |
Instance details Defined in GHC.Types.Basic Methods (==) :: Origin -> Origin -> Bool (/=) :: Origin -> Origin -> Bool

newtype PprPrec #

Constructors

PprPrec Int |

#### Instances

Instances details

Show PprPrec |
Instance details Defined in GHC.Types.Basic Methods showsPrec :: Int -> PprPrec -> ShowS show :: PprPrec -> String showList :: [PprPrec] -> ShowS
Eq PprPrec |
Instance details Defined in GHC.Types.Basic Methods (==) :: PprPrec -> PprPrec -> Bool (/=) :: PprPrec -> PprPrec -> Bool
Ord PprPrec |
Instance details Defined in GHC.Types.Basic Methods compare :: PprPrec -> PprPrec -> Ordering (<) :: PprPrec -> PprPrec -> Bool (<=) :: PprPrec -> PprPrec -> Bool (>) :: PprPrec -> PprPrec -> Bool (>=) :: PprPrec -> PprPrec -> Bool max :: PprPrec -> PprPrec -> PprPrec min :: PprPrec -> PprPrec -> PprPrec

data Activation #

Constructors

AlwaysActive |
ActiveBefore SourceText PhaseNum |
ActiveAfter SourceText PhaseNum |
FinalActive |
NeverActive |

#### Instances

Instances details

Data Activation |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> Activation -> IO () put :: BinHandle -> Activation -> IO (Bin Activation) get :: BinHandle -> IO Activation
Outputable Activation |
Instance details Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc #
Eq Activation |
Instance details Defined in GHC.Types.Basic Methods (==) :: Activation -> Activation -> Bool (/=) :: Activation -> Activation -> Bool

data Alignment #

#### Instances

Instances details

Outputable Alignment |
Instance details Defined in GHC.Types.Basic Methods ppr :: Alignment -> SDoc #
Eq Alignment |
Instance details Defined in GHC.Types.Basic Methods (==) :: Alignment -> Alignment -> Bool (/=) :: Alignment -> Alignment -> Bool
Ord Alignment |
Instance details Defined in GHC.Types.Basic Methods compare :: Alignment -> Alignment -> Ordering (<) :: Alignment -> Alignment -> Bool (<=) :: Alignment -> Alignment -> Bool (>) :: Alignment -> Alignment -> Bool (>=) :: Alignment -> Alignment -> Bool max :: Alignment -> Alignment -> Alignment min :: Alignment -> Alignment -> Alignment
OutputableP env Alignment |
Instance details Defined in GHC.Types.Basic Methods pdoc :: env -> Alignment -> SDoc

type BranchCount = Int #

data CbvMark #

Constructors

MarkedCbv |
NotMarkedCbv |

#### Instances

Instances details

Binary CbvMark |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> CbvMark -> IO () put :: BinHandle -> CbvMark -> IO (Bin CbvMark) get :: BinHandle -> IO CbvMark
Outputable CbvMark |
Instance details Defined in GHC.Types.Basic Methods ppr :: CbvMark -> SDoc #
Eq CbvMark |
Instance details Defined in GHC.Types.Basic Methods (==) :: CbvMark -> CbvMark -> Bool (/=) :: CbvMark -> CbvMark -> Bool

data CompilerPhase #

Constructors

InitialPhase |
Phase PhaseNum |
FinalPhase |

#### Instances

Instances details

Outputable CompilerPhase |
Instance details Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc #
Eq CompilerPhase |
Instance details Defined in GHC.Types.Basic Methods (==) :: CompilerPhase -> CompilerPhase -> Bool (/=) :: CompilerPhase -> CompilerPhase -> Bool

type ConTagZ = Int #

data DefMethSpec ty #

Constructors

VanillaDM |
GenericDM ty |

#### Instances

Instances details

Outputable (DefMethSpec ty) |
Instance details Defined in GHC.Types.Basic Methods ppr :: DefMethSpec ty -> SDoc #

data DefaultingStrategy #

Constructors

DefaultKindVars |
NonStandardDefaulting NonStandardDefaultingStrategy |

#### Instances

Instances details

Outputable DefaultingStrategy |
Instance details Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc #

type FullArgCount = Int #

data FunctionOrData #

Constructors

IsFunction |
IsData |

#### Instances

Instances details

Data FunctionOrData |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> FunctionOrData -> IO () put :: BinHandle -> FunctionOrData -> IO (Bin FunctionOrData) get :: BinHandle -> IO FunctionOrData
Outputable FunctionOrData |
Instance details Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc #
Eq FunctionOrData |
Instance details Defined in GHC.Types.Basic Methods (==) :: FunctionOrData -> FunctionOrData -> Bool (/=) :: FunctionOrData -> FunctionOrData -> Bool
Ord FunctionOrData |

Instance details

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

data InlinePragma #

Constructors

InlinePragma |

Fields

- inl_src :: SourceText
- inl_inline :: InlineSpec
- inl_sat :: Maybe Arity
- inl_act :: Activation
- inl_rule :: RuleMatchInfo

#### Instances

Instances details

Data InlinePragma |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> InlinePragma -> IO () put :: BinHandle -> InlinePragma -> IO (Bin InlinePragma) get :: BinHandle -> IO InlinePragma
Outputable InlinePragma |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlinePragma -> SDoc #
Eq InlinePragma |
Instance details Defined in GHC.Types.Basic Methods (==) :: InlinePragma -> InlinePragma -> Bool (/=) :: InlinePragma -> InlinePragma -> Bool

data InlineSpec #

Constructors

Inline SourceText |
Inlinable SourceText |
NoInline SourceText |
Opaque SourceText |
NoUserInlinePrag |

#### Instances

Instances details

Data InlineSpec |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods showsPrec :: Int -> InlineSpec -> ShowS show :: InlineSpec -> String showList :: [InlineSpec] -> ShowS
Binary InlineSpec |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> InlineSpec -> IO () put :: BinHandle -> InlineSpec -> IO (Bin InlineSpec) get :: BinHandle -> IO InlineSpec
Outputable InlineSpec |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlineSpec -> SDoc #
Eq InlineSpec |
Instance details Defined in GHC.Types.Basic Methods (==) :: InlineSpec -> InlineSpec -> Bool (/=) :: InlineSpec -> InlineSpec -> Bool

data InsideLam #

Constructors

IsInsideLam |
NotInsideLam |

#### Instances

Instances details

Monoid InsideLam |
Instance details Defined in GHC.Types.Basic Methods mempty :: InsideLam mappend :: InsideLam -> InsideLam -> InsideLam # mconcat :: [InsideLam] -> InsideLam
Semigroup InsideLam |
Instance details Defined in GHC.Types.Basic Methods (<>) :: InsideLam -> InsideLam -> InsideLam # sconcat :: NonEmpty InsideLam -> InsideLam stimes :: Integral b => b -> InsideLam -> InsideLam
Eq InsideLam |
Instance details Defined in GHC.Types.Basic Methods (==) :: InsideLam -> InsideLam -> Bool (/=) :: InsideLam -> InsideLam -> Bool

data IntWithInf #

#### Instances

Instances details

Num IntWithInf |
Instance details 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 |
Instance details Defined in GHC.Types.Basic Methods ppr :: IntWithInf -> SDoc #
Eq IntWithInf |
Instance details Defined in GHC.Types.Basic Methods (==) :: IntWithInf -> IntWithInf -> Bool (/=) :: IntWithInf -> IntWithInf -> Bool
Ord IntWithInf |
Instance details 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 InterestingCxt #

Constructors

IsInteresting |
NotInteresting |

#### Instances

Instances details

Monoid InterestingCxt |
Instance details Defined in GHC.Types.Basic Methods mempty :: InterestingCxt mappend :: InterestingCxt -> InterestingCxt -> InterestingCxt # mconcat :: [InterestingCxt] -> InterestingCxt
Semigroup InterestingCxt |
Instance details Defined in GHC.Types.Basic Methods (<>) :: InterestingCxt -> InterestingCxt -> InterestingCxt # sconcat :: NonEmpty InterestingCxt -> InterestingCxt stimes :: Integral b => b -> InterestingCxt -> InterestingCxt
Eq InterestingCxt |
Instance details Defined in GHC.Types.Basic Methods (==) :: InterestingCxt -> InterestingCxt -> Bool (/=) :: InterestingCxt -> InterestingCxt -> Bool

type JoinArity = Int #

data LeftOrRight #

Constructors

CLeft |
CRight |

#### Instances

Instances details

Data LeftOrRight |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> LeftOrRight -> IO () put :: BinHandle -> LeftOrRight -> IO (Bin LeftOrRight) get :: BinHandle -> IO LeftOrRight
Outputable LeftOrRight |
Instance details Defined in GHC.Types.Basic Methods ppr :: LeftOrRight -> SDoc #
Eq LeftOrRight |
Instance details Defined in GHC.Types.Basic Methods (==) :: LeftOrRight -> LeftOrRight -> Bool (/=) :: LeftOrRight -> LeftOrRight -> Bool

data NonStandardDefaultingStrategy #

Constructors

DefaultNonStandardTyVars |
TryNotToDefaultNonStandardTyVars |

#### Instances

Instances details

Outputable NonStandardDefaultingStrategy |
Instance details Defined in GHC.Types.Basic Methods ppr :: NonStandardDefaultingStrategy -> SDoc #

data OccInfo #

Constructors

ManyOccs |

Fields

- occ_tail :: !TailCallInfo

IAmDead |
OneOcc |

Fields

- occ_in_lam :: !InsideLam
- occ_n_br :: !BranchCount
- occ_int_cxt :: !InterestingCxt
- occ_tail :: !TailCallInfo

IAmALoopBreaker |

Fields

- occ_rules_only :: !RulesOnly
- occ_tail :: !TailCallInfo

#### Instances

Instances details

Outputable OccInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: OccInfo -> SDoc #
Eq OccInfo |
Instance details Defined in GHC.Types.Basic Methods (==) :: OccInfo -> OccInfo -> Bool (/=) :: OccInfo -> OccInfo -> Bool

data OneShotInfo #

Constructors

NoOneShotInfo |
OneShotLam |

#### Instances

Instances details

Outputable OneShotInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc #
Eq OneShotInfo |
Instance details Defined in GHC.Types.Basic Methods (==) :: OneShotInfo -> OneShotInfo -> Bool (/=) :: OneShotInfo -> OneShotInfo -> Bool

data OverlapFlag #

Constructors

OverlapFlag |

Fields

- overlapMode :: OverlapMode
- isSafeOverlap :: Bool

#### Instances

Instances details

Data OverlapFlag |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> OverlapFlag -> IO () put :: BinHandle -> OverlapFlag -> IO (Bin OverlapFlag) get :: BinHandle -> IO OverlapFlag
Outputable OverlapFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc #
Eq OverlapFlag |
Instance details Defined in GHC.Types.Basic Methods (==) :: OverlapFlag -> OverlapFlag -> Bool (/=) :: OverlapFlag -> OverlapFlag -> Bool

data OverlapMode #

Constructors

NoOverlap SourceText |
Overlappable SourceText |
Overlapping SourceText |
Overlaps SourceText |
Incoherent SourceText |

#### Instances

Instances details

Data OverlapMode |

Instance details

Defined in GHC.Types.Basic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverlapMode -> c OverlapMode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverlapMode #

toConstr :: OverlapMode -> Constr #

dataTypeOf :: OverlapMode -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverlapMode) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OverlapMode) #

gmapT :: (forall b. Data b => b -> b) -> OverlapMode -> OverlapMode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverlapMode -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverlapMode -> r #

gmapQ :: (forall d. Data d => d -> u) -> OverlapMode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OverlapMode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverlapMode -> m OverlapMode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapMode -> m OverlapMode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapMode -> m OverlapMode #

Binary OverlapMode |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> OverlapMode -> IO () put :: BinHandle -> OverlapMode -> IO (Bin OverlapMode) get :: BinHandle -> IO OverlapMode
Outputable OverlapMode |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapMode -> SDoc #
Eq OverlapMode |
Instance details Defined in GHC.Types.Basic Methods (==) :: OverlapMode -> OverlapMode -> Bool (/=) :: OverlapMode -> OverlapMode -> Bool
ExactPrint (LocatedP OverlapMode) |
Instance details Defined in Language.Haskell.GHC.ExactPrint.ExactPrint Methods getAnnotationEntry :: LocatedP OverlapMode -> Entry # setAnnotationAnchor :: LocatedP OverlapMode -> Anchor -> EpAnnComments -> LocatedP OverlapMode # exact :: forall (m :: Type -> Type) w. (Monad m, Monoid w) => LocatedP OverlapMode -> EP w m (LocatedP OverlapMode) #
type Anno OverlapMode |
Instance details Defined in GHC.Hs.Decls type Anno OverlapMode = SrcSpanAnnP
type Anno OverlapMode |
Instance details Defined in GHC.Hs.Decls type Anno OverlapMode = SrcSpanAnnP

type PhaseNum = Int #

data RecFlag #

Constructors

Recursive |
NonRecursive |

#### Instances

Instances details

Data RecFlag |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> RecFlag -> IO () put :: BinHandle -> RecFlag -> IO (Bin RecFlag) get :: BinHandle -> IO RecFlag
Outputable RecFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: RecFlag -> SDoc #
Eq RecFlag |
Instance details Defined in GHC.Types.Basic Methods (==) :: RecFlag -> RecFlag -> Bool (/=) :: RecFlag -> RecFlag -> Bool

type RepArity = Int #

data RuleMatchInfo #

Constructors

ConLike |
FunLike |

#### Instances

Instances details

Data RuleMatchInfo |

Instance details

Defined in GHC.Types.Basic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleMatchInfo -> c RuleMatchInfo #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleMatchInfo #

toConstr :: RuleMatchInfo -> Constr #

dataTypeOf :: RuleMatchInfo -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RuleMatchInfo) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RuleMatchInfo) #

gmapT :: (forall b. Data b => b -> b) -> RuleMatchInfo -> RuleMatchInfo #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatchInfo -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatchInfo -> r #

gmapQ :: (forall d. Data d => d -> u) -> RuleMatchInfo -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> RuleMatchInfo -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RuleMatchInfo -> m RuleMatchInfo #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleMatchInfo -> m RuleMatchInfo #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleMatchInfo -> m RuleMatchInfo #

Show RuleMatchInfo |
Instance details Defined in GHC.Types.Basic Methods showsPrec :: Int -> RuleMatchInfo -> ShowS show :: RuleMatchInfo -> String showList :: [RuleMatchInfo] -> ShowS
Binary RuleMatchInfo |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> RuleMatchInfo -> IO () put :: BinHandle -> RuleMatchInfo -> IO (Bin RuleMatchInfo) get :: BinHandle -> IO RuleMatchInfo
Outputable RuleMatchInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: RuleMatchInfo -> SDoc #
Eq RuleMatchInfo |
Instance details Defined in GHC.Types.Basic Methods (==) :: RuleMatchInfo -> RuleMatchInfo -> Bool (/=) :: RuleMatchInfo -> RuleMatchInfo -> Bool

data SwapFlag #

Constructors

NotSwapped |
IsSwapped |

#### Instances

Instances details

Outputable SwapFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: SwapFlag -> SDoc #

data TailCallInfo #

Constructors

AlwaysTailCalled JoinArity |
NoTailCallInfo |

#### Instances

Instances details

Outputable TailCallInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: TailCallInfo -> SDoc #
Eq TailCallInfo |
Instance details Defined in GHC.Types.Basic Methods (==) :: TailCallInfo -> TailCallInfo -> Bool (/=) :: TailCallInfo -> TailCallInfo -> Bool

data TopLevelFlag #

Constructors

TopLevel |
NotTopLevel |

#### Instances

Instances details

Data TopLevelFlag |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods ppr :: TopLevelFlag -> SDoc #

data TupleSort #

Constructors

BoxedTuple |
UnboxedTuple |
ConstraintTuple |

#### Instances

Instances details

Data TupleSort |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> TupleSort -> IO () put :: BinHandle -> TupleSort -> IO (Bin TupleSort) get :: BinHandle -> IO TupleSort
Outputable TupleSort |
Instance details Defined in GHC.Types.Basic Methods ppr :: TupleSort -> SDoc #
Eq TupleSort |
Instance details Defined in GHC.Types.Basic Methods (==) :: TupleSort -> TupleSort -> Bool (/=) :: TupleSort -> TupleSort -> Bool

data TypeOrConstraint #

Constructors

TypeLike |
ConstraintLike |

#### Instances

Instances details

Data TypeOrConstraint |

Instance details

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 |
Instance details Defined in GHC.Types.Basic Methods (==) :: TypeOrConstraint -> TypeOrConstraint -> Bool (/=) :: TypeOrConstraint -> TypeOrConstraint -> Bool
Ord TypeOrConstraint |

Instance details

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 #

Constructors

TypeLevel |
KindLevel |

#### Instances

Instances details

Outputable TypeOrKind |
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc #
Eq TypeOrKind |
Instance details Defined in GHC.Types.Basic Methods (==) :: TypeOrKind -> TypeOrKind -> Bool (/=) :: TypeOrKind -> TypeOrKind -> Bool

data UnboxedTupleOrSum #

Constructors

UnboxedTupleType |
UnboxedSumType |

#### Instances

Instances details

Outputable UnboxedTupleOrSum |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc #
Eq UnboxedTupleOrSum |
Instance details Defined in GHC.Types.Basic Methods (==) :: UnboxedTupleOrSum -> UnboxedTupleOrSum -> Bool (/=) :: UnboxedTupleOrSum -> UnboxedTupleOrSum -> Bool

data UnfoldingSource #

Constructors

VanillaSrc |
StableUserSrc |
StableSystemSrc |
CompulsorySrc |

#### Instances

Instances details

Binary UnfoldingSource |
Instance details Defined in GHC.Types.Basic Methods put_ :: BinHandle -> UnfoldingSource -> IO () put :: BinHandle -> UnfoldingSource -> IO (Bin UnfoldingSource) get :: BinHandle -> IO UnfoldingSource
Outputable UnfoldingSource |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> SDoc #

data Boxity #

Constructors

Boxed |
Unboxed |

#### Instances

Instances details

Data Boxity |

Instance details

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 |
Instance details Defined in Language.Haskell.Syntax.Basic Methods (==) :: Boxity -> Boxity -> Bool (/=) :: Boxity -> Boxity -> Bool

type ConTag = Int #

data ForeignSrcLang #

Constructors

LangC |
LangCxx |
LangObjc |
LangObjcxx |
LangAsm |
LangJs |
RawObject |

#### Instances

Instances details

Generic ForeignSrcLang |
Instance details Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x to :: Rep ForeignSrcLang x -> ForeignSrcLang
Show ForeignSrcLang |
Instance details Defined in GHC.ForeignSrcLang.Type Methods showsPrec :: Int -> ForeignSrcLang -> ShowS show :: ForeignSrcLang -> String showList :: [ForeignSrcLang] -> ShowS
Eq ForeignSrcLang |
Instance details Defined in GHC.ForeignSrcLang.Type Methods (==) :: ForeignSrcLang -> ForeignSrcLang -> Bool (/=) :: ForeignSrcLang -> ForeignSrcLang -> Bool
type Rep ForeignSrcLang |

Instance details

Defined in GHC.ForeignSrcLang.Type

type Rep ForeignSrcLang = D1 ('MetaData "ForeignSrcLang" "GHC.ForeignSrcLang.Type" "ghc-boot-th-9.6.3" 'False) ((C1 ('MetaCons "LangC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LangCxx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LangObjc" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LangObjcxx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LangAsm" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LangJs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RawObject" 'PrefixI 'False) (U1 :: Type -> Type))))

failed :: SuccessFlag -> Bool #

succeeded :: SuccessFlag -> Bool #

isPromoted :: PromotionFlag -> Bool #

appPrec :: PprPrec #

boxityTupleSort :: Boxity -> TupleSort #

opPrec :: PprPrec #

sigPrec :: PprPrec #

topPrec :: PprPrec #

tupleParens :: TupleSort -> SDoc -> SDoc #

activateAfterInitial :: Activation #

activateDuringFinal :: Activation #

activeAfter :: CompilerPhase -> Activation #

activeInFinalPhase :: Activation -> Bool #

alignmentOf :: Int -> Alignment #

alwaysInlineConLikePragma :: InlinePragma #

alwaysInlinePragma :: InlinePragma #

beginPhase :: Activation -> CompilerPhase #

bestOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo #

boolToRecFlag :: Bool -> RecFlag #

competesWith :: Activation -> Activation -> Bool #

defaultInlinePragma :: InlinePragma #

defaultNonStandardTyVars :: DefaultingStrategy -> Bool #

dfunInlinePragma :: InlinePragma #

fIRST_TAG :: ConTag #

flipSwap :: SwapFlag -> SwapFlag #

fromEP :: EP a -> a #

toEP :: EP a -> a #

funPrec :: PprPrec #

hasIncoherentFlag :: OverlapMode -> Bool #

hasNoOneShotInfo :: OneShotInfo -> Bool #

hasOverlappableFlag :: OverlapMode -> Bool #

hasOverlappingFlag :: OverlapMode -> Bool #

infinity :: IntWithInf #

inlinePragmaActivation :: InlinePragma -> Activation #

inlinePragmaName :: InlineSpec -> SDoc #

inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo #

inlinePragmaSat :: InlinePragma -> Maybe Arity #

inlinePragmaSource :: InlinePragma -> SourceText #

inlinePragmaSpec :: InlinePragma -> InlineSpec #

inlineSpecSource :: InlineSpec -> SourceText #

intGtLimit :: Int -> IntWithInf -> Bool #

isActive :: CompilerPhase -> Activation -> Bool #

isAlwaysActive :: Activation -> Bool #

isAlwaysTailCalled :: OccInfo -> Bool #

isAnyInlinePragma :: InlinePragma -> Bool #

isCompulsorySource :: UnfoldingSource -> Bool #

isConLike :: RuleMatchInfo -> Bool #

isDeadOcc :: OccInfo -> Bool #

isDefaultInlinePragma :: InlinePragma -> Bool #

isFunLike :: RuleMatchInfo -> Bool #

isGenerated :: Origin -> Bool #

isInlinablePragma :: InlinePragma -> Bool #

isInlinePragma :: InlinePragma -> Bool #

isKindLevel :: TypeOrKind -> Bool #

isManyOccs :: OccInfo -> Bool #

isMarkedCbv :: CbvMark -> Bool #

isNeverActive :: Activation -> Bool #

isNoInlinePragma :: InlinePragma -> Bool #

isNoOccInfo :: OccInfo -> Bool #

isNonRec :: RecFlag -> Bool #

isNotTopLevel :: TopLevelFlag -> Bool #

isOneOcc :: OccInfo -> Bool #

isOneShotInfo :: OneShotInfo -> Bool #

isOpaquePragma :: InlinePragma -> Bool #

isRec :: RecFlag -> Bool #

isStableSource :: UnfoldingSource -> Bool #

isStableSystemSource :: UnfoldingSource -> Bool #

isStableUserSource :: UnfoldingSource -> Bool #

isStrongLoopBreaker :: OccInfo -> Bool #

isSwapped :: SwapFlag -> Bool #

isTopLevel :: TopLevelFlag -> Bool #

isTypeLevel :: TypeOrKind -> Bool #

isWeakLoopBreaker :: OccInfo -> Bool #

laterPhase :: CompilerPhase -> CompilerPhase -> CompilerPhase #

maxPrec :: PprPrec #

maybeParen :: PprPrec -> PprPrec -> SDoc -> SDoc #

mightBeLifted :: Maybe Levity -> Bool #

mightBeUnlifted :: Maybe Levity -> Bool #

mkAlignment :: Int -> Alignment #

mkIntWithInf :: Int -> IntWithInf #

neverInlinePragma :: InlinePragma #

nextPhase :: CompilerPhase -> CompilerPhase #

noOccInfo :: OccInfo #

noOneShotInfo :: OneShotInfo #

noUserInlineSpec :: InlineSpec -> Bool #

oneBranch :: BranchCount #

pickLR :: LeftOrRight -> (a, a) -> a #

pprAlternative :: (a -> SDoc) -> a -> ConTag -> Arity -> SDoc #

pprInline :: InlinePragma -> SDoc #

pprInlineDebug :: InlinePragma -> SDoc #

pprRuleName :: RuleName -> SDoc #

seqOccInfo :: OccInfo -> () #

setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma #

setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma #

setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlag #

starPrec :: PprPrec #

strongLoopBreaker :: OccInfo #

subWithInf :: IntWithInf -> Int -> IntWithInf #

successIf :: Bool -> SuccessFlag #

sumParens :: SDoc -> SDoc #

tailCallInfo :: OccInfo -> TailCallInfo #

treatZeroAsInf :: Int -> IntWithInf #

tupleSortBoxity :: TupleSort -> Boxity #

unSwap :: SwapFlag -> (a -> a -> b) -> a -> a -> b #

unboxedTupleOrSumExtension :: UnboxedTupleOrSum -> Extension #

weakLoopBreaker :: OccInfo #

worstOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo #

zapFragileOcc :: OccInfo -> OccInfo #

zapOccTailCallInfo :: OccInfo -> OccInfo #

isBoxed :: Boxity -> Bool #

class Outputable a where #

Methods

ppr :: a -> SDoc #

#### Instances

Instances details

Outputable Fingerprint |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Fingerprint -> SDoc #
Outputable Int16 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int16 -> SDoc #
Outputable Int32 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int32 -> SDoc #
Outputable Int64 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int64 -> SDoc #
Outputable Int8 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int8 -> SDoc #
Outputable Word16 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word16 -> SDoc #
Outputable Word32 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word32 -> SDoc #
Outputable Word64 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word64 -> SDoc #
Outputable Word8 |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word8 -> SDoc #
Outputable IntSet |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: IntSet -> SDoc #
Outputable CoreModule |
Instance details Defined in GHC Methods ppr :: CoreModule -> SDoc #
Outputable ByteOff |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: ByteOff -> SDoc #
Outputable CgBreakInfo |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CgBreakInfo -> SDoc #
Outputable CompiledByteCode |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: CompiledByteCode -> SDoc #
Outputable NativeCallInfo |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: NativeCallInfo -> SDoc #
Outputable RegBitmap |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: RegBitmap -> SDoc #
Outputable UnlinkedBCO |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: UnlinkedBCO -> SDoc #
Outputable WordOff |
Instance details Defined in GHC.ByteCode.Types Methods ppr :: WordOff -> SDoc #
Outputable Label |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: Label -> SDoc #
Outputable LabelSet |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelSet -> SDoc #
Outputable AltCon |
Instance details Defined in GHC.Core Methods ppr :: AltCon -> SDoc #
Outputable Class |
Instance details Defined in GHC.Core.Class Methods ppr :: Class -> SDoc #
Outputable CoAxBranch |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxBranch -> SDoc #
Outputable CoAxiomRule |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxiomRule -> SDoc #
Outputable ConLike |
Instance details Defined in GHC.Core.ConLike Methods ppr :: ConLike -> SDoc #
Outputable DataCon |
Instance details Defined in GHC.Core.DataCon Methods ppr :: DataCon -> SDoc #
Outputable EqSpec |
Instance details Defined in GHC.Core.DataCon Methods ppr :: EqSpec -> SDoc #
Outputable HsImplBang |
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsImplBang -> SDoc #
Outputable HsSrcBang |
Instance details Defined in GHC.Core.DataCon Methods ppr :: HsSrcBang -> SDoc #
Outputable StrictnessMark |
Instance details Defined in GHC.Core.DataCon Methods ppr :: StrictnessMark -> SDoc #
Outputable FamInst |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInst -> SDoc #
Outputable FamInstEnv |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstEnv -> SDoc #
Outputable FamInstMatch |
Instance details Defined in GHC.Core.FamInstEnv Methods ppr :: FamInstMatch -> SDoc #
Outputable ClsInst |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: ClsInst -> SDoc #
Outputable InstEnv |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: InstEnv -> SDoc #
Outputable InstMatches |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: InstMatches -> SDoc #
Outputable PotentialUnifiers |
Instance details Defined in GHC.Core.InstEnv Methods ppr :: PotentialUnifiers -> SDoc #
Outputable CoSel |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoSel -> SDoc #
Outputable Coercion |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Coercion -> SDoc #
Outputable CoercionHole |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: CoercionHole -> SDoc #
Outputable FunSel |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: FunSel -> SDoc #
Outputable MCoercion |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: MCoercion -> SDoc #
Outputable TyLit |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: TyLit -> SDoc #
Outputable Type |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Type -> SDoc #
Outputable UnivCoProvenance |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: UnivCoProvenance -> SDoc #
Outputable AlgTyConFlav |
Instance details Defined in GHC.Core.TyCon Methods ppr :: AlgTyConFlav -> SDoc #
Outputable FamTyConFlav |
Instance details Defined in GHC.Core.TyCon Methods ppr :: FamTyConFlav -> SDoc #
Outputable PrimElemRep |
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimElemRep -> SDoc #
Outputable PrimRep |
Instance details Defined in GHC.Core.TyCon Methods ppr :: PrimRep -> SDoc #
Outputable TyCon |
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyCon -> SDoc #
Outputable TyConBndrVis |
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyConBndrVis -> SDoc #
Outputable TyConFlavour |
Instance details Defined in GHC.Core.TyCon Methods ppr :: TyConFlavour -> SDoc #
Outputable FastString |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: FastString -> SDoc #
Outputable LexicalFastString |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: LexicalFastString -> SDoc #
Outputable NonDetFastString |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonDetFastString -> SDoc #
Outputable Language |
Instance details Defined in GHC.Driver.Flags Methods ppr :: Language -> SDoc #
Outputable BuildPlan |
Instance details Defined in GHC.Driver.Make Methods ppr :: BuildPlan -> SDoc #
Outputable CachedIface |
Instance details Defined in GHC.Driver.Make Methods ppr :: CachedIface -> SDoc #
Outputable CodeGenEnable |
Instance details Defined in GHC.Driver.Make Methods ppr :: CodeGenEnable -> SDoc #
Outputable ModuleGraphNodeWithBootFile |
Instance details Defined in GHC.Driver.Make Methods ppr :: ModuleGraphNodeWithBootFile -> SDoc #
Outputable Phase |
Instance details Defined in GHC.Driver.Phases Methods ppr :: Phase -> SDoc #
Outputable GhcMode |
Instance details Defined in GHC.Driver.Session Methods ppr :: GhcMode -> SDoc #
Outputable ModRenaming |
Instance details Defined in GHC.Driver.Session Methods ppr :: ModRenaming -> SDoc #
Outputable PackageArg |
Instance details Defined in GHC.Driver.Session Methods ppr :: PackageArg -> SDoc #
Outputable PackageFlag |
Instance details Defined in GHC.Driver.Session Methods ppr :: PackageFlag -> SDoc #
Outputable ABExport |
Instance details Defined in GHC.Hs.Binds Methods ppr :: ABExport -> SDoc #
Outputable TcSpecPrag |
Instance details Defined in GHC.Hs.Binds Methods ppr :: TcSpecPrag -> SDoc #
Outputable XViaStrategyPs |
Instance details Defined in GHC.Hs.Decls Methods ppr :: XViaStrategyPs -> SDoc #
Outputable DocStructureItem |
Instance details Defined in GHC.Hs.Doc Methods ppr :: DocStructureItem -> SDoc #
Outputable Docs |
Instance details Defined in GHC.Hs.Doc Methods ppr :: Docs -> SDoc #
Outputable HsDocString |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocString -> SDoc #
Outputable HsDocStringChunk |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringChunk -> SDoc #
Outputable HsDocStringDecorator |
Instance details Defined in GHC.Hs.DocString Methods ppr :: HsDocStringDecorator -> SDoc #
Outputable GrhsAnn |
Instance details Defined in GHC.Hs.Expr Methods ppr :: GrhsAnn -> SDoc #
Outputable PendingRnSplice |
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingRnSplice -> SDoc #
Outputable PendingTcSplice |
Instance details Defined in GHC.Hs.Expr Methods ppr :: PendingTcSplice -> SDoc #
Outputable SyntaxExprRn |
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprRn -> SDoc #
Outputable SyntaxExprTc |
Instance details Defined in GHC.Hs.Expr Methods ppr :: SyntaxExprTc -> SDoc #
Outputable XXExprGhcTc |
Instance details Defined in GHC.Hs.Expr Methods ppr :: XXExprGhcTc -> SDoc #
Outputable DsMatchContext |
Instance details Defined in GHC.HsToCore.Monad Methods ppr :: DsMatchContext -> SDoc #
Outputable EquationInfo |
Instance details Defined in GHC.HsToCore.Monad Methods ppr :: EquationInfo -> SDoc #
Outputable BotInfo |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: BotInfo -> SDoc #
Outputable Nabla |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nabla -> SDoc #
Outputable Nablas |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: Nablas -> SDoc #
Outputable PmAltCon |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltCon -> SDoc #
Outputable PmAltConApp |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConApp -> SDoc #
Outputable PmAltConSet |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmAltConSet -> SDoc #
Outputable PmEquality |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmEquality -> SDoc #
Outputable PmLit |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLit -> SDoc #
Outputable PmLitValue |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: PmLitValue -> SDoc #
Outputable ResidualCompleteMatches |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: ResidualCompleteMatches -> SDoc #
Outputable TmState |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TmState -> SDoc #
Outputable TyState |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: TyState -> SDoc #
Outputable VarInfo |
Instance details Defined in GHC.HsToCore.Pmc.Solver.Types Methods ppr :: VarInfo -> SDoc #
Outputable AddEpAnn |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AddEpAnn -> SDoc #
Outputable Anchor |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: Anchor -> SDoc #
Outputable AnchorOperation |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnchorOperation -> SDoc #
Outputable AnnContext |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnContext -> SDoc #
Outputable AnnKeywordId |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnKeywordId -> SDoc #
Outputable AnnList |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnList -> SDoc #
Outputable AnnListItem |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnListItem -> SDoc #
Outputable AnnPragma |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnPragma -> SDoc #
Outputable AnnSortKey |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: AnnSortKey -> SDoc #
Outputable DeltaPos |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: DeltaPos -> SDoc #
Outputable EpAnnComments |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnnComments -> SDoc #
Outputable EpaComment |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpaComment -> SDoc #
Outputable EpaLocation |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpaLocation -> SDoc #
Outputable IsUnicodeSyntax |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: IsUnicodeSyntax -> SDoc #
Outputable NameAdornment |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAdornment -> SDoc #
Outputable NameAnn |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NameAnn -> SDoc #
Outputable NoEpAnns |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: NoEpAnns -> SDoc #
Outputable TrailingAnn |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: TrailingAnn -> SDoc #
Outputable Token |
Instance details Defined in GHC.Parser.Lexer Methods ppr :: Token -> SDoc #
Outputable DataConBuilder |
Instance details Defined in GHC.Parser.Types Methods ppr :: DataConBuilder -> SDoc #
Outputable InteractiveImport |
Instance details Defined in GHC.Runtime.Context Methods ppr :: InteractiveImport -> SDoc #
Outputable GetDocsFailure |
Instance details Defined in GHC.Runtime.Eval Methods ppr :: GetDocsFailure -> SDoc #
Outputable BinderInfo |
Instance details Defined in GHC.Stg.Lift.Analysis Methods ppr :: BinderInfo -> SDoc #
Outputable Skeleton |
Instance details Defined in GHC.Stg.Lift.Analysis Methods ppr :: Skeleton -> SDoc #
Outputable AltType |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: AltType -> SDoc #
Outputable ConstructorNumber |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: ConstructorNumber -> SDoc #
Outputable NoExtFieldSilent |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: NoExtFieldSilent -> SDoc #
Outputable StgArg |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgArg -> SDoc #
Outputable StgOp |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgOp -> SDoc #
Outputable UpdateFlag |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: UpdateFlag -> SDoc #
Outputable Deps |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: Deps -> SDoc #
Outputable DepsLocation |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: DepsLocation -> SDoc #
Outputable ExportedFun |
Instance details Defined in GHC.StgToJS.Object Methods ppr :: ExportedFun -> SDoc #
Outputable StaticArg |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticArg -> SDoc #
Outputable StaticLit |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: StaticLit -> SDoc #
Outputable TypedExpr |
Instance details Defined in GHC.StgToJS.Types Methods ppr :: TypedExpr -> SDoc #
Outputable ErrorItem |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: ErrorItem -> SDoc #
Outputable Exported |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: Exported -> SDoc #
Outputable PromotionErr |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: PromotionErr -> SDoc #
Outputable TypeDataForbids |
Instance details Defined in GHC.Tc.Errors.Types Methods ppr :: TypeDataForbids -> SDoc #
Outputable TouchabilityTestResult |
Instance details Defined in GHC.Tc.Solver.Monad Methods ppr :: TouchabilityTestResult -> SDoc #
Outputable IsExtraConstraint |
Instance details Defined in GHC.Tc.Utils.Monad Methods ppr :: IsExtraConstraint -> SDoc #
Outputable ExpType |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: ExpType -> SDoc #
Outputable InferResult |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: InferResult -> SDoc #
Outputable MetaDetails |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaDetails -> SDoc #
Outputable MetaInfo |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: MetaInfo -> SDoc #
Outputable PatersonSize |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: PatersonSize -> SDoc #
Outputable TcLevel |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcLevel -> SDoc #
Outputable TcTyVarDetails |
Instance details Defined in GHC.Tc.Utils.TcType Methods ppr :: TcTyVarDetails -> SDoc #
Outputable AvailInfo |
Instance details Defined in GHC.Types.Avail Methods ppr :: AvailInfo -> SDoc #
Outputable GreName |
Instance details Defined in GHC.Types.Avail Methods ppr :: GreName -> SDoc #
Outputable Activation |
Instance details Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc #
Outputable Alignment |
Instance details Defined in GHC.Types.Basic Methods ppr :: Alignment -> SDoc #
Outputable CbvMark |
Instance details Defined in GHC.Types.Basic Methods ppr :: CbvMark -> SDoc #
Outputable CompilerPhase |
Instance details Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc #
Outputable DefaultingStrategy |
Instance details Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc #
Outputable FunctionOrData |
Instance details Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc #
Outputable InlinePragma |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlinePragma -> SDoc #
Outputable InlineSpec |
Instance details Defined in GHC.Types.Basic Methods ppr :: InlineSpec -> SDoc #
Outputable IntWithInf |
Instance details Defined in GHC.Types.Basic Methods ppr :: IntWithInf -> SDoc #
Outputable LeftOrRight |
Instance details Defined in GHC.Types.Basic Methods ppr :: LeftOrRight -> SDoc #
Outputable Levity |
Instance details Defined in GHC.Types.Basic Methods ppr :: Levity -> SDoc #
Outputable NonStandardDefaultingStrategy |
Instance details Defined in GHC.Types.Basic Methods ppr :: NonStandardDefaultingStrategy -> SDoc #
Outputable OccInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: OccInfo -> SDoc #
Outputable OneShotInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc #
Outputable Origin |
Instance details Defined in GHC.Types.Basic Methods ppr :: Origin -> SDoc #
Outputable OverlapFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc #
Outputable OverlapMode |
Instance details Defined in GHC.Types.Basic Methods ppr :: OverlapMode -> SDoc #
Outputable RecFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: RecFlag -> SDoc #
Outputable RuleMatchInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: RuleMatchInfo -> SDoc #
Outputable SuccessFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: SuccessFlag -> SDoc #
Outputable SwapFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: SwapFlag -> SDoc #
Outputable TailCallInfo |
Instance details Defined in GHC.Types.Basic Methods ppr :: TailCallInfo -> SDoc #
Outputable TopLevelFlag |
Instance details Defined in GHC.Types.Basic Methods ppr :: TopLevelFlag -> SDoc #
Outputable TupleSort |
Instance details Defined in GHC.Types.Basic Methods ppr :: TupleSort -> SDoc #
Outputable TypeOrKind |
Instance details Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc #
Outputable UnboxedTupleOrSum |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc #
Outputable UnfoldingSource |
Instance details Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> SDoc #
Outputable DiagnosticCode |
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticCode -> SDoc #
Outputable DiagnosticHint |
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticHint -> SDoc #
Outputable DiagnosticReason |
Instance details Defined in GHC.Types.Error Methods ppr :: DiagnosticReason -> SDoc #
Outputable Severity |
Instance details Defined in GHC.Types.Error Methods ppr :: Severity -> SDoc #
Outputable DuplicateRecordFields |
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: DuplicateRecordFields -> SDoc #
Outputable FieldLabel |
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: FieldLabel -> SDoc #
Outputable FieldSelectors |
Instance details Defined in GHC.Types.FieldLabel Methods ppr :: FieldSelectors -> SDoc #
Outputable Fixity |
Instance details Defined in GHC.Types.Fixity Methods ppr :: Fixity -> SDoc #
Outputable FixityDirection |
Instance details Defined in GHC.Types.Fixity Methods ppr :: FixityDirection -> SDoc #
Outputable LexicalFixity |
Instance details Defined in GHC.Types.Fixity Methods ppr :: LexicalFixity -> SDoc #
Outputable CCallConv |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallConv -> SDoc #
Outputable CCallSpec |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallSpec -> SDoc #
Outputable CExportSpec |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CExportSpec -> SDoc #
Outputable CType |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CType -> SDoc #
Outputable ForeignCall |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: ForeignCall -> SDoc #
Outputable Header |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Header -> SDoc #
Outputable Safety |
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Safety -> SDoc #
Outputable Name |
Instance details Defined in GHC.Types.Name Methods ppr :: Name -> SDoc #
Outputable NameSort |
Instance details Defined in GHC.Types.Name Methods ppr :: NameSort -> SDoc #
Outputable OccName |
Instance details Defined in GHC.Types.Name.Occurrence Methods ppr :: OccName -> SDoc #
Outputable GlobalRdrElt |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: GlobalRdrElt -> SDoc #
Outputable ImportSpec |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: ImportSpec -> SDoc #
Outputable LocalRdrEnv |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: LocalRdrEnv -> SDoc #
Outputable Parent |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: Parent -> SDoc #
Outputable RdrName |
Instance details Defined in GHC.Types.Name.Reader Methods ppr :: RdrName -> SDoc #
Outputable PkgQual |
Instance details Defined in GHC.Types.PkgQual Methods ppr :: PkgQual -> SDoc #
Outputable RawPkgQual |
Instance details Defined in GHC.Types.PkgQual Methods ppr :: RawPkgQual -> SDoc #
Outputable IfaceTrustInfo |
Instance details Defined in GHC.Types.SafeHaskell Methods ppr :: IfaceTrustInfo -> SDoc #
Outputable SafeHaskellMode |
Instance details Defined in GHC.Types.SafeHaskell Methods ppr :: SafeHaskellMode -> SDoc #
Outputable FractionalLit |
Instance details Defined in GHC.Types.SourceText Methods ppr :: FractionalLit -> SDoc #
Outputable IntegralLit |
Instance details Defined in GHC.Types.SourceText Methods ppr :: IntegralLit -> SDoc #
Outputable SourceText |
Instance details Defined in GHC.Types.SourceText Methods ppr :: SourceText -> SDoc #
Outputable StringLiteral |
Instance details Defined in GHC.Types.SourceText Methods ppr :: StringLiteral -> SDoc #
Outputable RealSrcLoc |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: RealSrcLoc -> SDoc #
Outputable RealSrcSpan |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: RealSrcSpan -> SDoc #
Outputable SrcLoc |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: SrcLoc -> SDoc #
Outputable SrcSpan |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: SrcSpan -> SDoc #
Outputable UnhelpfulSpanReason |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: UnhelpfulSpanReason -> SDoc #
Outputable Target |
Instance details Defined in GHC.Types.Target Methods ppr :: Target -> SDoc #
Outputable TargetId |
Instance details Defined in GHC.Types.Target Methods ppr :: TargetId -> SDoc #
Outputable TickishPlacement |
Instance details Defined in GHC.Types.Tickish Methods ppr :: TickishPlacement -> SDoc #
Outputable TyThing |
Instance details Defined in GHC.Types.TyThing Methods ppr :: TyThing -> SDoc #
Outputable Unique |
Instance details Defined in GHC.Types.Unique Methods ppr :: Unique -> SDoc #
Outputable ForAllTyFlag |
Instance details Defined in GHC.Types.Var Methods ppr :: ForAllTyFlag -> SDoc #
Outputable FunTyFlag |
Instance details Defined in GHC.Types.Var Methods ppr :: FunTyFlag -> SDoc #
Outputable PiTyBinder |
Instance details Defined in GHC.Types.Var Methods ppr :: PiTyBinder -> SDoc #
Outputable Var |
Instance details Defined in GHC.Types.Var Methods ppr :: Var -> SDoc #
Outputable ModNodeKeyWithUid |
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: ModNodeKeyWithUid -> SDoc #
Outputable ModuleGraphNode |
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: ModuleGraphNode -> SDoc #
Outputable NodeKey |
Instance details Defined in GHC.Unit.Module.Graph Methods ppr :: NodeKey -> SDoc #
Outputable ModLocation |
Instance details Defined in GHC.Unit.Module.Location Methods ppr :: ModLocation -> SDoc #
Outputable ModSummary |
Instance details Defined in GHC.Unit.Module.ModSummary Methods ppr :: ModSummary -> SDoc #
Outputable InstalledModule |
Instance details Defined in GHC.Unit.Types Methods ppr :: InstalledModule -> SDoc #
Outputable InstantiatedModule |
Instance details Defined in GHC.Unit.Types Methods ppr :: InstantiatedModule -> SDoc #
Outputable InstantiatedUnit |
Instance details Defined in GHC.Unit.Types Methods ppr :: InstantiatedUnit -> SDoc #
Outputable Module |
Instance details Defined in GHC.Unit.Types Methods ppr :: Module -> SDoc #
Outputable Unit |
Instance details Defined in GHC.Unit.Types Methods ppr :: Unit -> SDoc #
Outputable UnitId |
Instance details Defined in GHC.Unit.Types Methods ppr :: UnitId -> SDoc #
Outputable PprStyle |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: PprStyle -> SDoc #
Outputable QualifyName |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: QualifyName -> SDoc #
Outputable SDoc |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SDoc -> SDoc #
Outputable ModuleName |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: ModuleName -> SDoc #
Outputable Serialized |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Serialized -> SDoc #
Outputable Extension |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Extension -> SDoc #
Outputable Comment |
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: Comment -> SDoc #
Outputable Ordering |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Ordering -> SDoc #
Outputable UTCTime |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: UTCTime -> SDoc #
Outputable Integer |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Integer -> SDoc #
Outputable () |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: () -> SDoc #
Outputable Bool |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Bool -> SDoc #
Outputable Double |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Double -> SDoc #
Outputable Float |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Float -> SDoc #
Outputable Int |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Int -> SDoc #
Outputable Word |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Word -> SDoc #
Outputable a => Outputable (NonEmpty a) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: NonEmpty a -> SDoc #
Outputable a => Outputable (SCC a) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: SCC a -> SDoc #
Outputable elt => Outputable (IntMap elt) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: IntMap elt -> SDoc #
Outputable a => Outputable (Set a) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Set a -> SDoc #
Outputable a => Outputable (LabelMap a) |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelMap a -> SDoc #
Outputable b => Outputable (TaggedBndr b) |
Instance details Defined in GHC.Core Methods ppr :: TaggedBndr b -> SDoc #
Outputable (CoAxiom br) |
Instance details Defined in GHC.Core.Coercion.Axiom Methods ppr :: CoAxiom br -> SDoc #
Outputable a => Outputable (CoreMap a) |
Instance details Defined in GHC.Core.Map.Expr Methods ppr :: CoreMap a -> SDoc #
Outputable a => Outputable (TypeMapG a) |
Instance details Defined in GHC.Core.Map.Type Methods ppr :: TypeMapG a -> SDoc #
Outputable a => Outputable (Scaled a) |
Instance details Defined in GHC.Core.TyCo.Rep Methods ppr :: Scaled a -> SDoc #
Outputable a => Outputable (Bag a) |
Instance details Defined in GHC.Data.Bag Methods ppr :: Bag a -> SDoc #
OutputableBndr a => Outputable (BooleanFormula a) |
Instance details Defined in GHC.Data.BooleanFormula Methods ppr :: BooleanFormula a -> SDoc #
Outputable a => Outputable (OnOff a) |
Instance details Defined in GHC.Driver.Session Methods ppr :: OnOff a -> SDoc #
Outputable a => Outputable (EpAnn a) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: EpAnn a -> SDoc #
Outputable a => Outputable (SrcSpanAnn' a) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: SrcSpanAnn' a -> SDoc #
Outputable (PatBuilder GhcPs) |
Instance details Defined in GHC.Parser.Types Methods ppr :: PatBuilder GhcPs -> SDoc #
Outputable (TagEnv p) |
Instance details Defined in GHC.Stg.InferTags.Types Methods ppr :: TagEnv p -> SDoc #
OutputablePass pass => Outputable (GenStgBinding pass) |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgBinding pass -> SDoc #
OutputablePass pass => Outputable (GenStgExpr pass) |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgExpr pass -> SDoc #
OutputablePass pass => Outputable (GenStgRhs pass) |
Instance details Defined in GHC.Stg.Syntax Methods ppr :: GenStgRhs pass -> SDoc #
OutputableBndrId a => Outputable (InstInfo (GhcPass a)) |
Instance details Defined in GHC.Tc.Utils.Env Methods ppr :: InstInfo (GhcPass a) -> SDoc #
Outputable (DefMethSpec ty) |
Instance details Defined in GHC.Types.Basic Methods ppr :: DefMethSpec ty -> SDoc #
Diagnostic e => Outputable (Messages e) |
Instance details Defined in GHC.Types.Error Methods ppr :: Messages e -> SDoc #
Outputable a => Outputable (OccEnv a) |
Instance details Defined in GHC.Types.Name.Occurrence Methods ppr :: OccEnv a -> SDoc #
Outputable e => Outputable (Located e) |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: Located e -> SDoc #
Outputable a => Outputable (UniqSet a) |
Instance details Defined in GHC.Types.Unique.Set Methods ppr :: UniqSet a -> SDoc #
Outputable (WarningTxt pass) |
Instance details Defined in GHC.Unit.Module.Warnings Methods ppr :: WarningTxt pass -> SDoc #
Outputable unit => Outputable (Definite unit) |
Instance details Defined in GHC.Unit.Types Methods ppr :: Definite unit -> SDoc #
Outputable a => Outputable (GenWithIsBoot a) |
Instance details Defined in GHC.Unit.Types Methods ppr :: GenWithIsBoot a -> SDoc #
Outputable a => Outputable (Maybe a) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Maybe a -> SDoc #
Outputable a => Outputable [a] |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: [a] -> SDoc #
(Outputable a, Outputable b) => Outputable (Either a b) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Either a b -> SDoc #
(Outputable key, Outputable elt) => Outputable (Map key elt) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: Map key elt -> SDoc #
(Outputable a, Outputable (m a)) => Outputable (GenMap m a) |
Instance details Defined in GHC.Data.TrieMap Methods ppr :: GenMap m a -> SDoc #
(TrieMap m, Outputable a) => Outputable (ListMap m a) |
Instance details Defined in GHC.Data.TrieMap Methods ppr :: ListMap m a -> SDoc #
Outputable a => Outputable (WithHsDocIdentifiers a pass) |
Instance details Defined in GHC.Hs.Doc Methods ppr :: WithHsDocIdentifiers a pass -> SDoc #
(Outputable a, Outputable b) => Outputable (HsExpansion a b) |
Instance details Defined in GHC.Hs.Expr Methods ppr :: HsExpansion a b -> SDoc #
(Outputable a, Outputable b) => Outputable (HsPatExpansion a b) |
Instance details Defined in GHC.Hs.Pat Methods ppr :: HsPatExpansion a b -> SDoc #
Outputable (GenLocated Anchor EpaComment) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated Anchor EpaComment -> SDoc #
(Outputable a, Outputable e) => Outputable (GenLocated (SrcSpanAnn' a) e) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated (SrcSpanAnn' a) e -> SDoc #
Outputable a => Outputable (GenLocated TokenLocation a) |
Instance details Defined in GHC.Parser.Annotation Methods ppr :: GenLocated TokenLocation a -> SDoc #
Outputable e => Outputable (GenLocated RealSrcSpan e) |
Instance details Defined in GHC.Types.SrcLoc Methods ppr :: GenLocated RealSrcSpan e -> SDoc #
Outputable a => Outputable (UniqFM key a) |
Instance details Defined in GHC.Types.Unique.FM Methods ppr :: UniqFM key a -> SDoc #
OutputableBndr tv => Outputable (VarBndr tv TyConBndrVis) |
Instance details Defined in GHC.Core.TyCon Methods ppr :: VarBndr tv TyConBndrVis -> SDoc #
Outputable tv => Outputable (VarBndr tv ForAllTyFlag) |
Instance details Defined in GHC.Types.Var Methods ppr :: VarBndr tv ForAllTyFlag -> SDoc #
Outputable tv => Outputable (VarBndr tv Specificity) |
Instance details Defined in GHC.Types.Var Methods ppr :: VarBndr tv Specificity -> SDoc #
(Outputable a, Outputable b) => Outputable (a, b) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b) -> SDoc #
(Outputable a, Outputable b, Outputable c) => Outputable (a, b, c) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d) => Outputable (a, b, c, d) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e) => Outputable (a, b, c, d, e) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f) => Outputable (a, b, c, d, e, f) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e, f) -> SDoc #
(Outputable a, Outputable b, Outputable c, Outputable d, Outputable e, Outputable f, Outputable g) => Outputable (a, b, c, d, e, f, g) |
Instance details Defined in GHC.Utils.Outputable Methods ppr :: (a, b, c, d, e, f, g) -> SDoc #