packages feed

pinned-warnings 0.1.1.0 → 0.1.2.0

raw patch · 5 files changed

+12/−65 lines, 5 filesdep ~containersdep ~ghcPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: containers, ghc

API changes (from Hackage documentation)

- Internal.GhcFacade: AddLollyAnnU :: EpaLocation -> TrailingAnn
- Internal.GhcFacade: AddRarrowAnn :: EpaLocation -> TrailingAnn
- Internal.GhcFacade: AddRarrowAnnU :: EpaLocation -> TrailingAnn
- Internal.GhcFacade: AnnAt :: AnnKeywordId
- Internal.GhcFacade: AnnsLet :: EpaLocation -> EpaLocation -> AnnsLet
- Internal.GhcFacade: ArgDocMap :: Map Name (IntMap HsDocString) -> ArgDocMap
- Internal.GhcFacade: AsmStyle :: LabelStyle
- Internal.GhcFacade: CStyle :: LabelStyle
- Internal.GhcFacade: CtDerived :: TcPredType -> CtLoc -> CtEvidence
- Internal.GhcFacade: DeclDocMap :: Map Name HsDocString -> DeclDocMap
- Internal.GhcFacade: Derived :: CtFlavour
- Internal.GhcFacade: EpaDocCommentNamed :: String -> EpaCommentTok
- Internal.GhcFacade: EpaDocCommentNext :: String -> EpaCommentTok
- Internal.GhcFacade: EpaDocCommentPrev :: String -> EpaCommentTok
- Internal.GhcFacade: EpaDocSection :: Int -> String -> EpaCommentTok
- Internal.GhcFacade: ExplicitSplice :: SpliceExplicitFlag
- Internal.GhcFacade: HoleBlockerReason :: HoleSet -> CtIrredReason
- Internal.GhcFacade: HsBracket :: XBracket p -> HsBracket p -> HsExpr p
- Internal.GhcFacade: HsConLikeOut :: XConLikeOut p -> ConLike -> HsExpr p
- Internal.GhcFacade: HsFieldLabel :: XCHsFieldLabel p -> Located FieldLabelString -> HsFieldLabel p
- Internal.GhcFacade: HsRecField :: XHsRecField id -> Located id -> arg -> Bool -> HsRecField' id arg
- Internal.GhcFacade: HsRecFld :: XRecFld p -> AmbiguousFieldOcc p -> HsExpr p
- Internal.GhcFacade: HsRnBracketOut :: XRnBracketOut p -> HsBracket (HsBracketRn p) -> [PendingRnSplice' p] -> HsExpr p
- Internal.GhcFacade: HsSpliceE :: XSpliceE p -> HsSplice p -> HsExpr p
- Internal.GhcFacade: HsSpliced :: XSpliced id -> ThModFinalizers -> HsSplicedThing id -> HsSplice id
- Internal.GhcFacade: HsSplicedExpr :: HsExpr id -> HsSplicedThing id
- Internal.GhcFacade: HsSplicedPat :: Pat id -> HsSplicedThing id
- Internal.GhcFacade: HsSplicedT :: DelayedSplice -> HsSplicedT
- Internal.GhcFacade: HsSplicedTy :: HsType id -> HsSplicedThing id
- Internal.GhcFacade: HsTcBracketOut :: XTcBracketOut p -> Maybe QuoteWrapper -> HsBracket (HsBracketRn p) -> [PendingTcSplice' p] -> HsExpr p
- Internal.GhcFacade: ImplicitSplice :: SpliceExplicitFlag
- Internal.GhcFacade: Interpreter :: Backend
- Internal.GhcFacade: LLVM :: Backend
- Internal.GhcFacade: ListPatTc :: Type -> Maybe (Type, SyntaxExpr GhcTc) -> ListPatTc
- Internal.GhcFacade: NCG :: Backend
- Internal.GhcFacade: NoBackend :: Backend
- Internal.GhcFacade: NoDataKindsTC :: PromotionErr
- Internal.GhcFacade: Opt_CatchBottoms :: GeneralFlag
- Internal.GhcFacade: Opt_D_faststring_stats :: GeneralFlag
- Internal.GhcFacade: RecordUpdTc :: [ConLike] -> [Type] -> [Type] -> HsWrapper -> RecordUpdTc
- Internal.GhcFacade: SevDump :: Severity
- Internal.GhcFacade: SevFatal :: Severity
- Internal.GhcFacade: SevInfo :: Severity
- Internal.GhcFacade: SevInteractive :: Severity
- Internal.GhcFacade: SevOutput :: Severity
- Internal.GhcFacade: TExpBr :: XTExpBr p -> LHsExpr p -> HsBracket p
- Internal.GhcFacade: TcPluginContradiction :: [Ct] -> TcPluginResult
- Internal.GhcFacade: TcPluginOk :: [(EvTerm, Ct)] -> [Ct] -> TcPluginResult
- Internal.GhcFacade: ViaC :: Backend
- Internal.GhcFacade: WDeriv :: ShadowInfo
- Internal.GhcFacade: WOnly :: ShadowInfo
- Internal.GhcFacade: XABExport :: !XXABExport p -> ABExport p
- Internal.GhcFacade: XBracket :: !XXBracket p -> HsBracket p
- Internal.GhcFacade: XHsFieldLabel :: !XXHsFieldLabel p -> HsFieldLabel p
- Internal.GhcFacade: XSplice :: !XXSplice id -> HsSplice id
- Internal.GhcFacade: [abe_ext] :: ABExport p -> XABE p
- Internal.GhcFacade: [abs_ext] :: HsBindLR idL idR -> XAbsBinds idL idR
- Internal.GhcFacade: [alIn] :: AnnsLet -> EpaLocation
- Internal.GhcFacade: [alLet] :: AnnsLet -> EpaLocation
- Internal.GhcFacade: [ctev_nosh] :: CtEvidence -> ShadowInfo
- Internal.GhcFacade: [dd_ND] :: HsDataDefn pass -> NewOrData
- Internal.GhcFacade: [dynamicTooFailed] :: DynFlags -> IORef Bool
- Internal.GhcFacade: [errMsgReason] :: MsgEnvelope e -> WarnReason
- Internal.GhcFacade: [extFieldOcc] :: FieldOcc pass -> XCFieldOcc pass
- Internal.GhcFacade: [flushErr] :: DynFlags -> FlushErr
- Internal.GhcFacade: [fun_tick] :: HsBindLR idL idR -> [CoreTickish]
- Internal.GhcFacade: [hflExt] :: HsFieldLabel p -> XCHsFieldLabel p
- Internal.GhcFacade: [hflLabel] :: HsFieldLabel p -> Located FieldLabelString
- Internal.GhcFacade: [hsRecFieldAnn] :: HsRecField' id arg -> XHsRecField id
- Internal.GhcFacade: [hsRecFieldArg] :: HsRecField' id arg -> arg
- Internal.GhcFacade: [hsRecFieldLbl] :: HsRecField' id arg -> Located id
- Internal.GhcFacade: [hsRecPun] :: HsRecField' id arg -> Bool
- Internal.GhcFacade: [hsc_EPS] :: HscEnv -> {-# UNPACK #-} !IORef ExternalPackageState
- Internal.GhcFacade: [hsc_HPT] :: HscEnv -> HomePackageTable
- Internal.GhcFacade: [hsc_static_plugins] :: HscEnv -> ![StaticPlugin]
- Internal.GhcFacade: [hsc_type_env_var] :: HscEnv -> Maybe (Module, IORef TypeEnv)
- Internal.GhcFacade: [hsc_unit_dbs] :: HscEnv -> !Maybe [UnitDatabase UnitId]
- Internal.GhcFacade: [ideclHiding] :: ImportDecl pass -> Maybe (Bool, XRec pass [LIE pass])
- Internal.GhcFacade: [ideclSourceSrc] :: ImportDecl pass -> SourceText
- Internal.GhcFacade: [imp_dep_mods] :: ImportAvails -> ModuleNameEnv ModuleNameWithIsBoot
- Internal.GhcFacade: [imp_dep_pkgs] :: ImportAvails -> Set UnitId
- Internal.GhcFacade: [inlineCheck] :: DynFlags -> Maybe String
- Internal.GhcFacade: [llvmConfig] :: DynFlags -> LlvmConfig
- Internal.GhcFacade: [mi_arg_docs] :: ModIface_ (phase :: ModIfacePhase) -> ArgDocMap
- Internal.GhcFacade: [mi_decl_docs] :: ModIface_ (phase :: ModIfacePhase) -> DeclDocMap
- Internal.GhcFacade: [mi_doc_hdr] :: ModIface_ (phase :: ModIfacePhase) -> Maybe HsDocString
- Internal.GhcFacade: [ms_hs_date] :: ModSummary -> UTCTime
- Internal.GhcFacade: [nextWrapperNum] :: DynFlags -> IORef (ModuleEnv Int)
- Internal.GhcFacade: [ol_rebindable] :: OverLitTc -> Bool
- Internal.GhcFacade: [ol_type] :: OverLitTc -> Type
- Internal.GhcFacade: [ol_witness] :: HsOverLit p -> HsExpr p
- Internal.GhcFacade: [optLevel] :: DynFlags -> Int
- Internal.GhcFacade: [pat_ticks] :: HsBindLR idL idR -> ([CoreTickish], [[CoreTickish]])
- Internal.GhcFacade: [rdrNameFieldOcc] :: FieldOcc pass -> LocatedN RdrName
- Internal.GhcFacade: [rds_src] :: RuleDecls pass -> SourceText
- Internal.GhcFacade: [rupd_cons] :: RecordUpdTc -> [ConLike]
- Internal.GhcFacade: [rupd_in_tys] :: RecordUpdTc -> [Type]
- Internal.GhcFacade: [rupd_out_tys] :: RecordUpdTc -> [Type]
- Internal.GhcFacade: [rupd_wrap] :: RecordUpdTc -> HsWrapper
- Internal.GhcFacade: [sdocImpredicativeTypes] :: SDocContext -> !Bool
- Internal.GhcFacade: [tcg_safeInfer] :: TcGblEnv -> TcRef (Bool, WarningMessages)
- Internal.GhcFacade: [tcg_tc_plugins] :: TcGblEnv -> [TcPluginSolver]
- Internal.GhcFacade: [wc_holes] :: WantedConstraints -> Bag Hole
- Internal.GhcFacade: [wd_src] :: WarnDecls pass -> SourceText
- Internal.GhcFacade: aBSENT_ERROR_ID :: Id
- Internal.GhcFacade: appendDocs :: HsDocString -> HsDocString -> HsDocString
- Internal.GhcFacade: asmStyle :: PprStyle -> Bool
- Internal.GhcFacade: class RenderableDiagnostic a
- Internal.GhcFacade: concatDocs :: [HsDocString] -> Maybe HsDocString
- Internal.GhcFacade: ctFlavourContainsDerived :: CtFlavour -> Bool
- Internal.GhcFacade: cteHoleBlocker :: CheckTyEqProblem
- Internal.GhcFacade: data AnnsLet
- Internal.GhcFacade: data CoPat
- Internal.GhcFacade: data HsBracket p
- Internal.GhcFacade: data HsFieldLabel p
- Internal.GhcFacade: data HsRecField' id arg
- Internal.GhcFacade: data HsSplice id
- Internal.GhcFacade: data HsSplicedThing id
- Internal.GhcFacade: data LabelStyle
- Internal.GhcFacade: data ListPatTc
- Internal.GhcFacade: data ModuleName
- Internal.GhcFacade: data NoExtCon
- Internal.GhcFacade: data PrintUnqualified
- Internal.GhcFacade: data RecordUpdTc
- Internal.GhcFacade: data ShadowInfo
- Internal.GhcFacade: data SpliceExplicitFlag
- Internal.GhcFacade: data TcPluginResult
- Internal.GhcFacade: data Validity
- Internal.GhcFacade: doIfSet :: Bool -> IO () -> IO ()
- Internal.GhcFacade: doIfSet_dyn :: DynFlags -> GeneralFlag -> IO () -> IO ()
- Internal.GhcFacade: dropDerivedSimples :: Cts -> Cts
- Internal.GhcFacade: dropDerivedWC :: WantedConstraints -> WantedConstraints
- Internal.GhcFacade: dumpIfSet :: Logger -> DynFlags -> Bool -> String -> SDoc -> IO ()
- Internal.GhcFacade: dumpIfSet_dyn :: Logger -> DynFlags -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
- Internal.GhcFacade: dumpIfSet_dyn_printer :: PrintUnqualified -> Logger -> DynFlags -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
- Internal.GhcFacade: emptyArgDocMap :: ArgDocMap
- Internal.GhcFacade: emptyDeclDocMap :: DeclDocMap
- Internal.GhcFacade: eqCanDischargeFR :: CtFlavourRole -> CtFlavourRole -> Bool
- Internal.GhcFacade: eqMayRewriteFR :: CtFlavourRole -> CtFlavourRole -> Bool
- Internal.GhcFacade: fatalErrorMsg'' :: FatalMessager -> String -> IO ()
- Internal.GhcFacade: fmapEitherM :: Monad m => (a -> m b) -> (c -> m d) -> Either a c -> m (Either b d)
- Internal.GhcFacade: fmapMaybeM :: Monad m => (a -> m b) -> Maybe a -> m (Maybe b)
- Internal.GhcFacade: getEvBindsTcPluginM :: TcPluginM EvBindsVar
- Internal.GhcFacade: getPrintUnqual :: GhcMonad m => m PrintUnqualified
- Internal.GhcFacade: getSeverityColour :: Severity -> Scheme -> PprColour
- Internal.GhcFacade: headFS :: FastString -> Char
- Internal.GhcFacade: hsDocStringToByteString :: HsDocString -> ByteString
- Internal.GhcFacade: isDerived :: CtEvidence -> Bool
- Internal.GhcFacade: isDerivedCt :: Ct -> Bool
- Internal.GhcFacade: isDroppableCt :: Ct -> Bool
- Internal.GhcFacade: isErrorMessage :: MsgEnvelope e -> Bool
- Internal.GhcFacade: isFunTyCon :: TyCon -> Bool
- Internal.GhcFacade: isPendingScInst :: QCInst -> Maybe QCInst
- Internal.GhcFacade: isTcReflCo :: TcCoercion -> Bool
- Internal.GhcFacade: isTcReflexiveCo :: TcCoercion -> Bool
- Internal.GhcFacade: isTypedBracket :: HsBracket id -> Bool
- Internal.GhcFacade: isTypedSplice :: HsSplice id -> Bool
- Internal.GhcFacade: isUnderscoreFS :: FastString -> Bool
- Internal.GhcFacade: isUserTypeErrorCt :: Ct -> Bool
- Internal.GhcFacade: isValid :: Validity -> Bool
- Internal.GhcFacade: la2r :: SrcSpanAnn' a -> RealSrcSpan
- Internal.GhcFacade: liftFstM :: Monad m => (a -> b) -> m (a, r) -> m (b, r)
- Internal.GhcFacade: liftL :: Monad m => (a -> m b) -> GenLocated l a -> m (GenLocated l b)
- Internal.GhcFacade: liftSndM :: Monad m => (a -> b) -> m (r, a) -> m (r, b)
- Internal.GhcFacade: loadModule :: (TypecheckedMod mod, GhcMonad m) => mod -> m mod
- Internal.GhcFacade: makeIntoWarning :: WarnReason -> MsgEnvelope e -> MsgEnvelope e
- Internal.GhcFacade: mapLoc :: (a -> b) -> GenLocated l a -> GenLocated l b
- Internal.GhcFacade: maybeMapM :: Monad m => (a -> m b) -> Maybe a -> m (Maybe b)
- Internal.GhcFacade: maybeTcSubCo :: HasDebugCallStack => EqRel -> TcCoercionN -> TcCoercion
- Internal.GhcFacade: maybeTcSymCo :: SwapFlag -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkBigCoreVarTup1 :: [Id] -> CoreExpr
- Internal.GhcFacade: mkCoreUbxSum :: Int -> Int -> [Type] -> CoreExpr -> CoreExpr
- Internal.GhcFacade: mkCoreUbxTup :: [Type] -> [CoreExpr] -> CoreExpr
- Internal.GhcFacade: mkErr :: SrcSpan -> PrintUnqualified -> e -> MsgEnvelope e
- Internal.GhcFacade: mkHsDocString :: String -> HsDocString
- Internal.GhcFacade: mkHsDocStringUtf8ByteString :: ByteString -> HsDocString
- Internal.GhcFacade: mkHsQuasiQuote :: RdrName -> SrcSpan -> FastString -> HsSplice GhcPs
- Internal.GhcFacade: mkLocMessageAnn :: Maybe String -> Severity -> SrcSpan -> SDoc -> SDoc
- Internal.GhcFacade: mkLongMsgEnvelope :: SrcSpan -> PrintUnqualified -> SDoc -> SDoc -> MsgEnvelope DecoratedSDoc
- Internal.GhcFacade: mkLongWarnMsg :: SrcSpan -> PrintUnqualified -> SDoc -> SDoc -> MsgEnvelope DecoratedSDoc
- Internal.GhcFacade: mkNonEmptyListExpr :: Type -> CoreExpr -> [CoreExpr] -> CoreExpr
- Internal.GhcFacade: mkPlainWarnMsg :: SrcSpan -> SDoc -> MsgEnvelope DecoratedSDoc
- Internal.GhcFacade: mkPrintUnqualifiedForModule :: GhcMonad m => ModuleInfo -> m (Maybe PrintUnqualified)
- Internal.GhcFacade: mkPtrString :: String -> PtrString
- Internal.GhcFacade: mkSmallTupleCase :: [Id] -> CoreExpr -> Id -> CoreExpr -> CoreExpr
- Internal.GhcFacade: mkSmallTupleSelector :: [Id] -> Id -> Id -> CoreExpr -> CoreExpr
- Internal.GhcFacade: mkTcAppCo :: TcCoercion -> TcCoercionN -> TcCoercion
- Internal.GhcFacade: mkTcAxInstCo :: forall (br :: BranchFlag). Role -> CoAxiom br -> BranchIndex -> [TcType] -> [TcCoercion] -> TcCoercion
- Internal.GhcFacade: mkTcAxiomRuleCo :: CoAxiomRule -> [TcCoercion] -> TcCoercionR
- Internal.GhcFacade: mkTcCoVarCo :: CoVar -> TcCoercion
- Internal.GhcFacade: mkTcCoherenceLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcCoherenceRightCo :: Role -> TcType -> TcCoercionN -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcFamilyTyConAppCo :: TyCon -> [TcCoercionN] -> TcCoercionN
- Internal.GhcFacade: mkTcForAllCo :: TyVar -> TcCoercionN -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcForAllCos :: [(TyVar, TcCoercionN)] -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcFunCo :: Role -> TcCoercion -> TcCoercion -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcGReflLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion
- Internal.GhcFacade: mkTcGReflLeftMCo :: Role -> TcType -> TcMCoercionN -> TcCoercion
- Internal.GhcFacade: mkTcGReflRightCo :: Role -> TcType -> TcCoercionN -> TcCoercion
- Internal.GhcFacade: mkTcGReflRightMCo :: Role -> TcType -> TcMCoercionN -> TcCoercion
- Internal.GhcFacade: mkTcKindCo :: TcCoercion -> TcCoercionN
- Internal.GhcFacade: mkTcLRCo :: LeftOrRight -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcNomReflCo :: TcType -> TcCoercionN
- Internal.GhcFacade: mkTcNthCo :: Role -> Int -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcPhantomCo :: TcCoercionN -> TcType -> TcType -> TcCoercionP
- Internal.GhcFacade: mkTcReflCo :: Role -> TcType -> TcCoercion
- Internal.GhcFacade: mkTcRepReflCo :: TcType -> TcCoercionR
- Internal.GhcFacade: mkTcSubCo :: HasDebugCallStack => TcCoercionN -> TcCoercionR
- Internal.GhcFacade: mkTcSymCo :: TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcSymMCo :: TcMCoercion -> TcMCoercion
- Internal.GhcFacade: mkTcTransCo :: TcCoercion -> TcCoercion -> TcCoercion
- Internal.GhcFacade: mkTcTyConAppCo :: Role -> TyCon -> [TcCoercion] -> TcCoercion
- Internal.GhcFacade: mkTcUnbranchedAxInstCo :: CoAxiom Unbranched -> [TcType] -> [TcCoercion] -> TcCoercionR
- Internal.GhcFacade: mkTupleCase :: UniqSupply -> [Id] -> CoreExpr -> Id -> CoreExpr -> CoreExpr
- Internal.GhcFacade: mkTupleSelector :: [Id] -> Id -> Id -> CoreExpr -> CoreExpr
- Internal.GhcFacade: mkTupleSelector1 :: [Id] -> Id -> Id -> CoreExpr -> CoreExpr
- Internal.GhcFacade: mkTypedSplice :: EpAnn [AddEpAnn] -> SpliceDecoration -> LHsExpr GhcPs -> HsSplice GhcPs
- Internal.GhcFacade: mkUntypedSplice :: EpAnn [AddEpAnn] -> SpliceDecoration -> LHsExpr GhcPs -> HsSplice GhcPs
- Internal.GhcFacade: mkWarnMsg :: SrcSpan -> PrintUnqualified -> SDoc -> MsgEnvelope DecoratedSDoc
- Internal.GhcFacade: mkWpLams :: [Var] -> HsWrapper
- Internal.GhcFacade: modDepsElts :: ModuleNameEnv ModuleNameWithIsBoot -> [ModuleNameWithIsBoot]
- Internal.GhcFacade: mulArrow :: SDoc -> SDoc
- Internal.GhcFacade: nameSpacesRelated :: NameSpace -> NameSpace -> Bool
- Internal.GhcFacade: needsTemplateHaskellOrQQ :: ModuleGraph -> Bool
- Internal.GhcFacade: newDerived :: CtLoc -> PredType -> TcPluginM CtEvidence
- Internal.GhcFacade: newtype ArgDocMap
- Internal.GhcFacade: newtype DeclDocMap
- Internal.GhcFacade: newtype HsSplicedT
- Internal.GhcFacade: noExtCon :: NoExtCon -> a
- Internal.GhcFacade: occEnvElts :: OccEnv a -> [a]
- Internal.GhcFacade: orValid :: Validity -> Validity -> Validity
- Internal.GhcFacade: plugins :: HscEnv -> [PluginWithArgs]
- Internal.GhcFacade: pp_st_suffix :: SourceText -> SDoc -> SDoc -> SDoc
- Internal.GhcFacade: pprFlavour :: FamilyInfo pass -> SDoc
- Internal.GhcFacade: pprHsBracket :: forall (p :: Pass). OutputableBndrId p => HsBracket (GhcPass p) -> SDoc
- Internal.GhcFacade: pprSplice :: forall (p :: Pass). OutputableBndrId p => HsSplice (GhcPass p) -> SDoc
- Internal.GhcFacade: pprSpliceDecl :: forall (p :: Pass). OutputableBndrId p => HsSplice (GhcPass p) -> SpliceExplicitFlag -> SDoc
- Internal.GhcFacade: ppr_mbDoc :: Maybe LHsDocString -> SDoc
- Internal.GhcFacade: ppr_splice_decl :: forall (p :: Pass). OutputableBndrId p => HsSplice (GhcPass p) -> SDoc
- Internal.GhcFacade: putDumpMsg :: Logger -> DumpAction
- Internal.GhcFacade: rUNTIME_ERROR_ID :: Id
- Internal.GhcFacade: renderDiagnostic :: RenderableDiagnostic a => a -> DecoratedSDoc
- Internal.GhcFacade: runTcPluginM :: TcPluginM a -> EvBindsVar -> TcM a
- Internal.GhcFacade: sLit :: String -> PtrString
- Internal.GhcFacade: setCtLoc :: Ct -> CtLoc -> Ct
- Internal.GhcFacade: tcCoercionKind :: TcCoercion -> Pair TcType
- Internal.GhcFacade: tcCoercionRole :: TcCoercion -> Role
- Internal.GhcFacade: tcDowngradeRole :: Role -> Role -> TcCoercion -> TcCoercion
- Internal.GhcFacade: type ErrorMessages = Bag MsgEnvelope DecoratedSDoc
- Internal.GhcFacade: type HoleSet = UniqSet CoercionHole
- Internal.GhcFacade: type LHsRecField' p id arg = XRec p HsRecField' id arg
- Internal.GhcFacade: type WarnMsg = MsgEnvelope DecoratedSDoc
- Internal.GhcFacade: type WarningMessages = Bag MsgEnvelope DecoratedSDoc
- Internal.GhcFacade: unpackHDS :: HsDocString -> String
- Internal.GhcFacade: warningMsg :: Logger -> DynFlags -> SDoc -> IO ()
+ Internal.GhcFacade: -- | Type of configuration options for the diagnostic.
+ Internal.GhcFacade: Ambiguity :: Bool -> ([TyVar], [TyVar]) -> AmbiguityInfo
+ Internal.GhcFacade: AmbiguityPreventsSolvingCt :: ErrorItem -> ([TyVar], [TyVar]) -> TcSolverReportMsg
+ Internal.GhcFacade: AnnCases :: AnnKeywordId
+ Internal.GhcFacade: AnyBoxedKind :: AllowedDataResKind
+ Internal.GhcFacade: AnyTYPEKind :: AllowedDataResKind
+ Internal.GhcFacade: Arg :: ArgOrResult
+ Internal.GhcFacade: ArrowLamCaseAlt :: LamCaseVariant -> HsArrowMatchContext
+ Internal.GhcFacade: BadTelescope :: TyVarBndrs -> [TyCoVar] -> TcSolverReportMsg
+ Internal.GhcFacade: BasicMismatch :: MismatchEA -> ErrorItem -> Type -> Type -> Maybe WhenMatching -> Maybe SameOccInfo -> MismatchMsg
+ Internal.GhcFacade: BlockedEquality :: ErrorItem -> TcSolverReportMsg
+ Internal.GhcFacade: CEC :: [Implication] -> TidyEnv -> EvBindsVar -> DiagnosticReason -> DiagnosticReason -> DiagnosticReason -> DiagnosticReason -> Bool -> Bool -> Bool -> SolverReportErrCtxt
+ Internal.GhcFacade: CND_Extra :: TypeOrKind -> Type -> Type -> CND_Extra
+ Internal.GhcFacade: CannotMixGADTConsWith98Cons :: ConversionFailReason
+ Internal.GhcFacade: CannotResolveInstance :: ErrorItem -> [ClsInst] -> [ClsInst] -> [ImportError] -> [GhcHint] -> RelevantBindings -> TcSolverReportMsg
+ Internal.GhcFacade: CannotUnifyVariable :: MismatchMsg -> CannotUnifyVariableReason -> TcSolverReportMsg
+ Internal.GhcFacade: CannotUnifyWithPolytype :: ErrorItem -> TyVar -> Type -> Maybe TyVarInfo -> CannotUnifyVariableReason
+ Internal.GhcFacade: CasesExprWithoutAlts :: ConversionFailReason
+ Internal.GhcFacade: ClassDeclCtx :: LocatedN RdrName -> HsDocContext
+ Internal.GhcFacade: ClassInstanceCtx :: HsDocContext
+ Internal.GhcFacade: ClssDecl :: THDeclDescriptor
+ Internal.GhcFacade: CoercionsInTypes :: UnrepresentableTypeDescr
+ Internal.GhcFacade: ConDeclCtx :: [LocatedN Name] -> HsDocContext
+ Internal.GhcFacade: ConLikeTc :: ConLike -> [TcTyVar] -> [Scaled TcType] -> XXExprGhcTc
+ Internal.GhcFacade: ContainsCast :: TcType -> TcCoercionN -> NotConcreteReason
+ Internal.GhcFacade: ContainsCoercionTy :: TcCoercion -> NotConcreteReason
+ Internal.GhcFacade: ContainsForall :: ForAllTyBinder -> TcType -> NotConcreteReason
+ Internal.GhcFacade: ConvDec :: !Dec -> ThingBeingConverted
+ Internal.GhcFacade: ConvExp :: !Exp -> ThingBeingConverted
+ Internal.GhcFacade: ConvPat :: !Pat -> ThingBeingConverted
+ Internal.GhcFacade: ConvType :: !Type -> ThingBeingConverted
+ Internal.GhcFacade: ConversionFail :: !ThingBeingConverted -> !ConversionFailReason -> RunSpliceFailReason
+ Internal.GhcFacade: CouldNotDeduce :: [Implication] -> NonEmpty ErrorItem -> Maybe CND_Extra -> MismatchMsg
+ Internal.GhcFacade: CouldNotDetermineInstance :: LookupTHInstNameErrReason
+ Internal.GhcFacade: DE_Hole :: Hole -> DelayedError
+ Internal.GhcFacade: DE_NotConcrete :: NotConcreteError -> DelayedError
+ Internal.GhcFacade: DataDeclSort :: NewOrData -> DataSort
+ Internal.GhcFacade: DataFamilySort :: DataSort
+ Internal.GhcFacade: DataInstanceSort :: NewOrData -> DataSort
+ Internal.GhcFacade: DataTypeCons :: Bool -> [a] -> DataDefnCons a
+ Internal.GhcFacade: DefaultDataInstDecl :: ![LDataFamInstDecl GhcPs] -> ConversionFailReason
+ Internal.GhcFacade: DefaultDeclCtx :: HsDocContext
+ Internal.GhcFacade: DefaultingProposal :: TcTyVar -> [Type] -> [Ct] -> DefaultingProposal
+ Internal.GhcFacade: DerivDeclCtx :: HsDocContext
+ Internal.GhcFacade: DerivErrBadConCovariant :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConExistential :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConFunTypes :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConHasConstraints :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConHasExistentials :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConHasHigherRankType :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConIsGADT :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConWrongArg :: !DataCon -> DeriveInstanceBadConstructor
+ Internal.GhcFacade: DerivErrBadConstructor :: !Maybe HasWildcard -> [DeriveInstanceBadConstructor] -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrBootFileFound :: DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrCannotEtaReduceEnough :: !Bool -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrDataConsNotAllInScope :: !TyCon -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrDerivingViaWrongKind :: !Kind -> !Type -> !Kind -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrDunnoHowToDeriveForType :: !Type -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrEnumOrProduct :: !DeriveInstanceErrReason -> !DeriveInstanceErrReason -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrGNDUsedOnData :: DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrGenerics :: [DeriveGenericsErrReason] -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrGenericsMustBeVanillaDataCon :: !DataCon -> DeriveGenericsErrReason
+ Internal.GhcFacade: DerivErrGenericsMustHaveSomeTypeParams :: !TyCon -> DeriveGenericsErrReason
+ Internal.GhcFacade: DerivErrGenericsMustNotHaveDatatypeContext :: !TyCon -> DeriveGenericsErrReason
+ Internal.GhcFacade: DerivErrGenericsMustNotHaveExistentials :: !DataCon -> DeriveGenericsErrReason
+ Internal.GhcFacade: DerivErrGenericsMustNotHaveExoticArgs :: !DataCon -> DeriveGenericsErrReason
+ Internal.GhcFacade: DerivErrGenericsWrongArgKind :: !DataCon -> DeriveGenericsErrReason
+ Internal.GhcFacade: DerivErrHasAssociatedDatatypes :: !HasAssociatedDataFamInsts -> !AssociatedTyLastVarInKind -> !AssociatedTyNotParamOverLastTyVar -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrLangExtRequired :: !Extension -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrLastArgMustBeApp :: DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrMustBeEnumType :: !TyCon -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrMustHaveExactlyOneConstructor :: !TyCon -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrMustHaveSomeParameters :: !TyCon -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrMustNotHaveClassContext :: !TyCon -> !ThetaType -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNewtypeNonDeriveableClass :: DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNoConstructors :: !TyCon -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNoEtaReduce :: !Type -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNoFamilyInstance :: !TyCon -> [Type] -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNotAClass :: !PredType -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNotDeriveable :: !DeriveAnyClassEnabled -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNotStockDeriveable :: !DeriveAnyClassEnabled -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNotWellKinded :: !TyCon -> !Kind -> !Int -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrNullaryClasses :: DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrOnlyAnyClassDeriveable :: !TyCon -> !DeriveAnyClassEnabled -> DeriveInstanceErrReason
+ Internal.GhcFacade: DerivErrSafeHaskellGenericInst :: DeriveInstanceErrReason
+ Internal.GhcFacade: DiagOpts :: !EnumSet WarningFlag -> !EnumSet WarningFlag -> !Bool -> !Bool -> !Maybe Int -> !SDocContext -> DiagOpts
+ Internal.GhcFacade: DiagnosticCode :: String -> Natural -> DiagnosticCode
+ Internal.GhcFacade: DiagnosticHint :: !SDoc -> DiagnosticHint
+ Internal.GhcFacade: DiagnosticMessage :: !DecoratedSDoc -> !DiagnosticReason -> [GhcHint] -> DiagnosticMessage
+ Internal.GhcFacade: DifferentTyVars :: TyVarInfo -> CannotUnifyVariableReason
+ Internal.GhcFacade: Docs :: Maybe (HsDoc GhcRn) -> UniqMap Name [HsDoc GhcRn] -> UniqMap Name (IntMap (HsDoc GhcRn)) -> DocStructure -> Map String (HsDoc GhcRn) -> Maybe String -> Maybe Language -> EnumSet Extension -> Docs
+ Internal.GhcFacade: DoesNotHaveSingleField :: !Int -> IllegalNewtypeReason
+ Internal.GhcFacade: DotFieldOcc :: XCDotFieldOcc p -> XRec p FieldLabelString -> DotFieldOcc p
+ Internal.GhcFacade: DsiDocChunk :: !HsDoc GhcRn -> DocStructureItem
+ Internal.GhcFacade: DsiExports :: !Avails -> DocStructureItem
+ Internal.GhcFacade: DsiModExport :: !NonEmpty ModuleName -> !Avails -> DocStructureItem
+ Internal.GhcFacade: DsiNamedChunkRef :: !String -> DocStructureItem
+ Internal.GhcFacade: DsiSectionHeading :: !Int -> !HsDoc GhcRn -> DocStructureItem
+ Internal.GhcFacade: EA :: Maybe ExpectedActualInfo -> MismatchEA
+ Internal.GhcFacade: EI :: PredType -> Maybe TcEvDest -> CtFlavour -> CtLoc -> Maybe CtIrredReason -> Bool -> ErrorItem
+ Internal.GhcFacade: EmptyStmtListInDoBlock :: ConversionFailReason
+ Internal.GhcFacade: EmptyStmtsGroupInArrowNotation :: EmptyStatementGroupErrReason
+ Internal.GhcFacade: EmptyStmtsGroupInDoNotation :: HsDoFlavour -> EmptyStatementGroupErrReason
+ Internal.GhcFacade: EmptyStmtsGroupInParallelComp :: EmptyStatementGroupErrReason
+ Internal.GhcFacade: EmptyStmtsGroupInTransformListComp :: EmptyStatementGroupErrReason
+ Internal.GhcFacade: EpaDocComment :: HsDocString -> EpaCommentTok
+ Internal.GhcFacade: EquationArgs :: !Name -> MatchArgsContext
+ Internal.GhcFacade: ErrInfo :: !SDoc -> !SDoc -> ErrInfo
+ Internal.GhcFacade: ErrorWithoutFlag :: DiagnosticReason
+ Internal.GhcFacade: EverythingBut :: ImportListInterpretation
+ Internal.GhcFacade: Exactly :: ImportListInterpretation
+ Internal.GhcFacade: ExpansionPat :: Pat GhcRn -> Pat GhcTc -> XXPatGhcTc
+ Internal.GhcFacade: ExpectedActual :: Type -> Type -> ExpectedActualInfo
+ Internal.GhcFacade: ExpectedActualAfterTySynExpansion :: Type -> Type -> ExpectedActualInfo
+ Internal.GhcFacade: ExpectingMoreArguments :: Int -> TypedThing -> TcSolverReportMsg
+ Internal.GhcFacade: ExprWithTySigCtx :: HsDocContext
+ Internal.GhcFacade: ExternalPlugin :: PluginWithArgs -> String -> String -> ExternalPlugin
+ Internal.GhcFacade: ExtraConstraintWildcardNotAllowed :: SoleExtraConstraintWildcardAllowed -> BadAnonWildcardContext
+ Internal.GhcFacade: FRR_Info :: FixedRuntimeRepOrigin -> Maybe (TcTyVar, TcType) -> FixedRuntimeRepErrorInfo
+ Internal.GhcFacade: FamPatCtx :: LocatedN RdrName -> HsDocContext
+ Internal.GhcFacade: Fits :: [HoleFit] -> Bool -> FitsMbSuppressed
+ Internal.GhcFacade: FixedRuntimeRepDataConField :: FixedRuntimeRepProvenance
+ Internal.GhcFacade: FixedRuntimeRepError :: [FixedRuntimeRepErrorInfo] -> TcSolverReportMsg
+ Internal.GhcFacade: FixedRuntimeRepPatSynSigArg :: FixedRuntimeRepProvenance
+ Internal.GhcFacade: FixedRuntimeRepPatSynSigRes :: FixedRuntimeRepProvenance
+ Internal.GhcFacade: ForeignDeclCtx :: LocatedN RdrName -> HsDocContext
+ Internal.GhcFacade: FormatJS :: DumpFormat
+ Internal.GhcFacade: FunBindLacksEquations :: !Name -> ConversionFailReason
+ Internal.GhcFacade: GHCiCtx :: HsDocContext
+ Internal.GhcFacade: GadtNoCons :: ConversionFailReason
+ Internal.GhcFacade: GeneratedDocString :: HsDocStringChunk -> HsDocString
+ Internal.GhcFacade: GenericCtx :: SDoc -> HsDocContext
+ Internal.GhcFacade: HFDC :: Bool -> Bool -> Bool -> Bool -> Bool -> HoleFitDispConfig
+ Internal.GhcFacade: HasConstructorContext :: IllegalNewtypeReason
+ Internal.GhcFacade: HasExistentialTyVar :: IllegalNewtypeReason
+ Internal.GhcFacade: HasStrictnessAnnotation :: IllegalNewtypeReason
+ Internal.GhcFacade: HoleError :: HoleSort -> [TcTyVar] -> [(SkolemInfoAnon, [TcTyVar])] -> HoleError
+ Internal.GhcFacade: HsBracketTc :: HsQuote GhcRn -> Type -> Maybe QuoteWrapper -> [PendingTcSplice] -> HsBracketTc
+ Internal.GhcFacade: HsConPatTyArg :: !LHsToken "@" p -> HsPatSigType p -> HsConPatTyArg p
+ Internal.GhcFacade: HsDoStmt :: HsDoFlavour -> HsStmtContext p
+ Internal.GhcFacade: HsDocStringChunk :: ByteString -> HsDocStringChunk
+ Internal.GhcFacade: HsDocStringGroup :: !Int -> HsDocStringDecorator
+ Internal.GhcFacade: HsDocStringNamed :: !String -> HsDocStringDecorator
+ Internal.GhcFacade: HsDocStringNext :: HsDocStringDecorator
+ Internal.GhcFacade: HsDocStringPrevious :: HsDocStringDecorator
+ Internal.GhcFacade: HsFieldBind :: XHsFieldBind lhs -> lhs -> rhs -> Bool -> HsFieldBind lhs rhs
+ Internal.GhcFacade: HsLolly :: !LHsToken "\8888" pass -> HsLinearArrowTokens pass
+ Internal.GhcFacade: HsNormalTok :: HsUniToken (tok :: Symbol) (utok :: Symbol)
+ Internal.GhcFacade: HsPatExpanded :: a -> b -> HsPatExpansion a b
+ Internal.GhcFacade: HsPct1 :: !LHsToken "%1" pass -> !LHsUniToken "->" "\8594" pass -> HsLinearArrowTokens pass
+ Internal.GhcFacade: HsRecSel :: XRecSel p -> FieldOcc p -> HsExpr p
+ Internal.GhcFacade: HsTok :: HsToken (tok :: Symbol)
+ Internal.GhcFacade: HsTypeCtx :: HsDocContext
+ Internal.GhcFacade: HsTypePatCtx :: HsDocContext
+ Internal.GhcFacade: HsTypedBracket :: XTypedBracket p -> LHsExpr p -> HsExpr p
+ Internal.GhcFacade: HsUnicodeTok :: HsUniToken (tok :: Symbol) (utok :: Symbol)
+ Internal.GhcFacade: HsUntypedBracket :: XUntypedBracket p -> HsQuote p -> HsExpr p
+ Internal.GhcFacade: HsUntypedSpliceExpr :: XUntypedSpliceExpr id -> LHsExpr id -> HsUntypedSplice id
+ Internal.GhcFacade: HsUntypedSpliceNested :: SplicePointName -> HsUntypedSpliceResult thing
+ Internal.GhcFacade: HsUntypedSpliceTop :: ThModFinalizers -> thing -> HsUntypedSpliceResult thing
+ Internal.GhcFacade: IllegalDeclaration :: !THDeclDescriptor -> !IllegalDecls -> ConversionFailReason
+ Internal.GhcFacade: IllegalDecls :: !NonEmpty (LHsDecl GhcPs) -> IllegalDecls
+ Internal.GhcFacade: IllegalFamDecls :: !NonEmpty (LFamilyDecl GhcPs) -> IllegalDecls
+ Internal.GhcFacade: IllegalLastStatement :: !HsDoFlavour -> !LStmt GhcPs (LHsExpr GhcPs) -> ConversionFailReason
+ Internal.GhcFacade: IllegalOccName :: !NameSpace -> !String -> ConversionFailReason
+ Internal.GhcFacade: IllegalSumAlt :: !SumAlt -> ConversionFailReason
+ Internal.GhcFacade: IllegalSumArity :: !SumArity -> ConversionFailReason
+ Internal.GhcFacade: ImplicitParamsWithOtherBinds :: ConversionFailReason
+ Internal.GhcFacade: ImportSuggestion :: ImportSuggestion -> GhcHint
+ Internal.GhcFacade: InjErrCannotInferFromRhs :: !TyVarSet -> !HasKinds -> !SuggestUndecidableInstances -> InjectivityErrReason
+ Internal.GhcFacade: InjErrRhsBareTyVar :: [Type] -> InjectivityErrReason
+ Internal.GhcFacade: InjErrRhsCannotBeATypeFam :: InjectivityErrReason
+ Internal.GhcFacade: InjErrRhsOverlap :: InjectivityErrReason
+ Internal.GhcFacade: InstanceDecl :: THDeclDescriptor
+ Internal.GhcFacade: InvalidCCallImpent :: !String -> ConversionFailReason
+ Internal.GhcFacade: InvalidImplicitParamBinding :: ConversionFailReason
+ Internal.GhcFacade: InvalidTyFamInstLHS :: !Type -> ConversionFailReason
+ Internal.GhcFacade: InvalidTypeInstanceHeader :: !Type -> ConversionFailReason
+ Internal.GhcFacade: IsBoot :: IsBootInterface
+ Internal.GhcFacade: IsEmptyOrSingleton :: Bool -> IsEmptyOrSingleton
+ Internal.GhcFacade: IsExported :: Exported
+ Internal.GhcFacade: IsGADT :: IllegalNewtypeReason
+ Internal.GhcFacade: IsNonLinear :: IllegalNewtypeReason
+ Internal.GhcFacade: IsNotExported :: Exported
+ Internal.GhcFacade: IsPromoted :: PromotionFlag
+ Internal.GhcFacade: JavaScriptCallConvUnsupported :: UnsupportedCallConvention
+ Internal.GhcFacade: KindMismatch :: TypedThing -> Type -> Type -> MismatchMsg
+ Internal.GhcFacade: KindSigsOnlyAllowedOnGADTs :: ConversionFailReason
+ Internal.GhcFacade: LamCase :: LamCaseVariant
+ Internal.GhcFacade: LamCaseAlt :: LamCaseVariant -> HsMatchContext p
+ Internal.GhcFacade: LamCases :: LamCaseVariant
+ Internal.GhcFacade: LangJs :: ForeignSrcLang
+ Internal.GhcFacade: LetBinding :: THDeclDescriptor
+ Internal.GhcFacade: LetExpression :: THDeclDescriptor
+ Internal.GhcFacade: LiftedKind :: AllowedDataResKind
+ Internal.GhcFacade: LinearInvisibleArgument :: UnrepresentableTypeDescr
+ Internal.GhcFacade: LinkMergedObj :: GhcLink
+ Internal.GhcFacade: LogFlags :: SDocContext -> SDocContext -> !EnumSet DumpFlag -> !Bool -> !Bool -> !Bool -> !Bool -> !Maybe FilePath -> !FilePath -> !Maybe FilePath -> !Bool -> !Bool -> !Int -> !Maybe Ways -> LogFlags
+ Internal.GhcFacade: LoopySuperclassSolveHint :: PredType -> ClsInstOrQC -> GhcHint
+ Internal.GhcFacade: MCDiagnostic :: Severity -> DiagnosticReason -> Maybe DiagnosticCode -> MessageClass
+ Internal.GhcFacade: MCDump :: MessageClass
+ Internal.GhcFacade: MCFatal :: MessageClass
+ Internal.GhcFacade: MCInfo :: MessageClass
+ Internal.GhcFacade: MCInteractive :: MessageClass
+ Internal.GhcFacade: MCOutput :: MessageClass
+ Internal.GhcFacade: MalformedType :: !TypeOrKind -> !Type -> ConversionFailReason
+ Internal.GhcFacade: Mismatch :: MismatchMsg -> Maybe TyVarInfo -> [AmbiguityInfo] -> Maybe CoercibleMsg -> TcSolverReportMsg
+ Internal.GhcFacade: MissingBinding :: SDoc -> [GhcHint] -> NotInScopeError
+ Internal.GhcFacade: MissingModule :: ModuleName -> ImportError
+ Internal.GhcFacade: MissingPatSynSig :: PatSyn -> MissingSignature
+ Internal.GhcFacade: MissingTopLevelBindingSig :: Name -> Type -> MissingSignature
+ Internal.GhcFacade: MissingTyConKindSig :: TyCon -> Bool -> MissingSignature
+ Internal.GhcFacade: MkStringIds :: !Id -> !Id -> MkStringIds
+ Internal.GhcFacade: ModuleName :: FastString -> ModuleName
+ Internal.GhcFacade: ModulesDoNotExport :: NonEmpty Module -> OccName -> ImportError
+ Internal.GhcFacade: MultiLineDocString :: !HsDocStringDecorator -> !NonEmpty LHsDocStringChunk -> HsDocString
+ Internal.GhcFacade: MultiWayIfWithoutAlts :: ConversionFailReason
+ Internal.GhcFacade: NCE_FRR :: CtLoc -> FixedRuntimeRepOrigin -> NonEmpty NotConcreteReason -> NotConcreteError
+ Internal.GhcFacade: NameAnnBars :: NameAdornment -> EpaLocation -> [EpaLocation] -> EpaLocation -> [TrailingAnn] -> NameAnn
+ Internal.GhcFacade: NamedBindings :: NonEmpty Name -> AvailableBindings
+ Internal.GhcFacade: NestedDocString :: !HsDocStringDecorator -> LHsDocStringChunk -> HsDocString
+ Internal.GhcFacade: NewTypeCon :: a -> DataDefnCons a
+ Internal.GhcFacade: NoAssocTyLastVarInKind :: AssociatedTyLastVarInKind
+ Internal.GhcFacade: NoAssociatedTyNotParamOverLastTyVar :: AssociatedTyNotParamOverLastTyVar
+ Internal.GhcFacade: NoDeriveAnyClassEnabled :: DeriveAnyClassEnabled
+ Internal.GhcFacade: NoDiagnosticOpts :: NoDiagnosticOpts
+ Internal.GhcFacade: NoEA :: MismatchEA
+ Internal.GhcFacade: NoExactName :: Name -> NotInScopeError
+ Internal.GhcFacade: NoGeneralizedNewtypeDeriving :: UsingGeneralizedNewtypeDeriving
+ Internal.GhcFacade: NoHasAdfs :: HasAssociatedDataFamInsts
+ Internal.GhcFacade: NoHasKinds :: HasKinds
+ Internal.GhcFacade: NoHasWildcard :: HasWildcard
+ Internal.GhcFacade: NoMatchesFound :: LookupTHInstNameErrReason
+ Internal.GhcFacade: NoPkgQual :: PkgQual
+ Internal.GhcFacade: NoSuggestPartialTypeSignatures :: SuggestPartialTypeSignatures
+ Internal.GhcFacade: NoSuggestUndecidableInstaces :: SuggestUndecidableInstances
+ Internal.GhcFacade: NoTokenLoc :: TokenLocation
+ Internal.GhcFacade: NoTopLevelBinding :: NotInScopeError
+ Internal.GhcFacade: NonConcreteTyCon :: TyCon -> [TcType] -> NotConcreteReason
+ Internal.GhcFacade: NonConcretisableTyVar :: TyVar -> NotConcreteReason
+ Internal.GhcFacade: NonInjectiveTyFam :: TyCon -> AmbiguityInfo
+ Internal.GhcFacade: NonVarInInfixExpr :: ConversionFailReason
+ Internal.GhcFacade: NotBoot :: IsBootInterface
+ Internal.GhcFacade: NotClosed :: Name -> NotClosedReason -> NotClosedReason
+ Internal.GhcFacade: NotInScope :: NotInScopeError
+ Internal.GhcFacade: NotLetBoundReason :: NotClosedReason
+ Internal.GhcFacade: NotPromoted :: PromotionFlag
+ Internal.GhcFacade: NotTypeClosed :: VarSet -> NotClosedReason
+ Internal.GhcFacade: OccursCheck :: [TyVar] -> [AmbiguityInfo] -> CannotUnifyVariableReason
+ Internal.GhcFacade: Opt_ByteCodeAndObjectCode :: GeneralFlag
+ Internal.GhcFacade: Opt_CatchNonexhaustiveCases :: GeneralFlag
+ Internal.GhcFacade: Opt_CmmControlFlow :: GeneralFlag
+ Internal.GhcFacade: Opt_CmmThreadSanitizer :: GeneralFlag
+ Internal.GhcFacade: Opt_CoreConstantFolding :: GeneralFlag
+ Internal.GhcFacade: Opt_DoTagInferenceChecks :: GeneralFlag
+ Internal.GhcFacade: Opt_DumpWithWays :: GeneralFlag
+ Internal.GhcFacade: Opt_FastPAPCalls :: GeneralFlag
+ Internal.GhcFacade: Opt_InfoTableMapWithFallback :: GeneralFlag
+ Internal.GhcFacade: Opt_InfoTableMapWithStack :: GeneralFlag
+ Internal.GhcFacade: Opt_LocalFloatOut :: GeneralFlag
+ Internal.GhcFacade: Opt_LocalFloatOutTopLevel :: GeneralFlag
+ Internal.GhcFacade: Opt_PolymorphicSpecialisation :: GeneralFlag
+ Internal.GhcFacade: Opt_PrintRedundantPromotionTicks :: GeneralFlag
+ Internal.GhcFacade: Opt_ProfLateCcs :: GeneralFlag
+ Internal.GhcFacade: Opt_ProfLateInlineCcs :: GeneralFlag
+ Internal.GhcFacade: Opt_ProfManualCcs :: GeneralFlag
+ Internal.GhcFacade: Opt_ShowErrorContext :: GeneralFlag
+ Internal.GhcFacade: Opt_SuppressCoercionTypes :: GeneralFlag
+ Internal.GhcFacade: Opt_SuppressCoreSizes :: GeneralFlag
+ Internal.GhcFacade: Opt_SuppressStgReps :: GeneralFlag
+ Internal.GhcFacade: Opt_Ticky_AP :: GeneralFlag
+ Internal.GhcFacade: Opt_Ticky_Tag :: GeneralFlag
+ Internal.GhcFacade: Opt_UseBytecodeRatherThanObjects :: GeneralFlag
+ Internal.GhcFacade: Opt_WorkerWrapperUnlift :: GeneralFlag
+ Internal.GhcFacade: Opt_WriteIfSimplifiedCore :: GeneralFlag
+ Internal.GhcFacade: OtherPkg :: UnitId -> PkgQual
+ Internal.GhcFacade: OutOfScopeHole :: [ImportError] -> HoleError
+ Internal.GhcFacade: OutOfScopeNewtypeConstructor :: TyCon -> DataCon -> CoercibleMsg
+ Internal.GhcFacade: OverLitRn :: Bool -> LIdP GhcRn -> OverLitRn
+ Internal.GhcFacade: OverlappingInstances :: ErrorItem -> NonEmpty ClsInst -> [ClsInst] -> TcSolverReportMsg
+ Internal.GhcFacade: ParsedResult :: HsParsedModule -> PsMessages -> ParsedResult
+ Internal.GhcFacade: PatCtx :: HsDocContext
+ Internal.GhcFacade: PatternArgs :: !HsMatchContext GhcTc -> MatchArgsContext
+ Internal.GhcFacade: Plugins :: ![StaticPlugin] -> ![ExternalPlugin] -> ![LoadedPlugin] -> !([Linkable], PkgsLoaded) -> Plugins
+ Internal.GhcFacade: PotentialInstances :: [ClsInst] -> [ClsInst] -> PotentialInstances
+ Internal.GhcFacade: PrimCallConvUnsupported :: UnsupportedCallConvention
+ Internal.GhcFacade: PromTickCtx :: !Bool -> !Bool -> PromotionTickContext
+ Internal.GhcFacade: PromotedItemDataCon :: OccName -> PromotedItem
+ Internal.GhcFacade: PromotedItemListSyntax :: IsEmptyOrSingleton -> PromotedItem
+ Internal.GhcFacade: PromotedItemTupleSyntax :: PromotedItem
+ Internal.GhcFacade: PsMessages :: Messages PsWarning -> Messages PsError -> PsMessages
+ Internal.GhcFacade: RE :: !CtLoc -> !CtFlavour -> !EqRel -> !TcRef RewriterSet -> RewriteEnv
+ Internal.GhcFacade: RecFieldsDotDot :: Int -> RecFieldsDotDot
+ Internal.GhcFacade: RecGadtNoCons :: ConversionFailReason
+ Internal.GhcFacade: RecordFieldConstructor :: !Name -> RecordFieldPart
+ Internal.GhcFacade: RecordFieldPattern :: !Name -> RecordFieldPart
+ Internal.GhcFacade: RecordFieldUpdate :: RecordFieldPart
+ Internal.GhcFacade: RelevantBindings :: [(Name, Type)] -> Bool -> RelevantBindings
+ Internal.GhcFacade: RemindFieldSelectorSuppressed :: RdrName -> [Name] -> GhcHint
+ Internal.GhcFacade: ReportHoleError :: Hole -> HoleError -> TcSolverReportMsg
+ Internal.GhcFacade: RepresentationalEq :: TyVarInfo -> Maybe CoercibleMsg -> CannotUnifyVariableReason
+ Internal.GhcFacade: Result :: ArgOrResult
+ Internal.GhcFacade: RewriterSet :: UniqSet CoercionHole -> RewriterSet
+ Internal.GhcFacade: RuleCtx :: FastString -> HsDocContext
+ Internal.GhcFacade: SameName :: [GlobalRdrElt] -> NotInScopeError
+ Internal.GhcFacade: SameOcc :: Bool -> Name -> Name -> SameOccInfo
+ Internal.GhcFacade: SevIgnore :: Severity
+ Internal.GhcFacade: ShadowedNameProvenanceGlobal :: [GlobalRdrElt] -> ShadowedNameProvenance
+ Internal.GhcFacade: ShadowedNameProvenanceLocal :: !SrcLoc -> ShadowedNameProvenance
+ Internal.GhcFacade: SkolemEscape :: ErrorItem -> Implication -> [TyVar] -> CannotUnifyVariableReason
+ Internal.GhcFacade: SoleExtraConstraintWildcardAllowed :: SoleExtraConstraintWildcardAllowed
+ Internal.GhcFacade: SoleExtraConstraintWildcardNotAllowed :: SoleExtraConstraintWildcardAllowed
+ Internal.GhcFacade: SolverReport :: SolverReportWithCtxt -> [SolverReportSupplementary] -> [GhcHint] -> SolverReport
+ Internal.GhcFacade: SolverReportWithCtxt :: SolverReportErrCtxt -> TcSolverReportMsg -> SolverReportWithCtxt
+ Internal.GhcFacade: SpecInstSigCtx :: HsDocContext
+ Internal.GhcFacade: SplicePhase_CompileAndLink :: SplicePhase
+ Internal.GhcFacade: SplicePhase_Run :: SplicePhase
+ Internal.GhcFacade: SpliceTypeCtx :: LHsType GhcPs -> HsDocContext
+ Internal.GhcFacade: StandaloneKindSigCtx :: SDoc -> HsDocContext
+ Internal.GhcFacade: StdCallConvUnsupported :: UnsupportedCallConvention
+ Internal.GhcFacade: SuggestAddInlineOrNoInlinePragma :: !Var -> !Activation -> GhcHint
+ Internal.GhcFacade: SuggestAddPhaseToCompetingRule :: !RuleName -> GhcHint
+ Internal.GhcFacade: SuggestAddSignatureCabalFile :: !ModuleName -> GhcHint
+ Internal.GhcFacade: SuggestAddStandaloneDerivation :: GhcHint
+ Internal.GhcFacade: SuggestAddTick :: UntickedPromotedThing -> GhcHint
+ Internal.GhcFacade: SuggestAddToHSigExportList :: !Name -> !Maybe Module -> GhcHint
+ Internal.GhcFacade: SuggestAddTypeSignatures :: AvailableBindings -> GhcHint
+ Internal.GhcFacade: SuggestAnyExtension :: !SDoc -> [Extension] -> LanguageExtensionHint
+ Internal.GhcFacade: SuggestAppropriateTHTick :: NameSpace -> GhcHint
+ Internal.GhcFacade: SuggestBindToWildcard :: !LHsExpr GhcTc -> GhcHint
+ Internal.GhcFacade: SuggestCorrectPragmaName :: ![String] -> GhcHint
+ Internal.GhcFacade: SuggestDumpSlices :: GhcHint
+ Internal.GhcFacade: SuggestExtension :: !LanguageExtensionHint -> GhcHint
+ Internal.GhcFacade: SuggestExtensionInOrderTo :: !SDoc -> !Extension -> LanguageExtensionHint
+ Internal.GhcFacade: SuggestExtensions :: !SDoc -> [Extension] -> LanguageExtensionHint
+ Internal.GhcFacade: SuggestFillInWildcardConstraint :: GhcHint
+ Internal.GhcFacade: SuggestFixOrphanInstance :: GhcHint
+ Internal.GhcFacade: SuggestImportingDataCon :: GhcHint
+ Internal.GhcFacade: SuggestIncreaseMaxPmCheckModels :: GhcHint
+ Internal.GhcFacade: SuggestIncreaseSimplifierIterations :: GhcHint
+ Internal.GhcFacade: SuggestLetInDo :: GhcHint
+ Internal.GhcFacade: SuggestMissingDo :: GhcHint
+ Internal.GhcFacade: SuggestMoveToDeclarationSite :: SDoc -> RdrName -> GhcHint
+ Internal.GhcFacade: SuggestParentheses :: GhcHint
+ Internal.GhcFacade: SuggestPatternMatchingSyntax :: GhcHint
+ Internal.GhcFacade: SuggestPlacePragmaInHeader :: GhcHint
+ Internal.GhcFacade: SuggestQualifiedAfterModuleName :: GhcHint
+ Internal.GhcFacade: SuggestQualifyStarOperator :: GhcHint
+ Internal.GhcFacade: SuggestRenameForall :: GhcHint
+ Internal.GhcFacade: SuggestRoles :: [Role] -> GhcHint
+ Internal.GhcFacade: SuggestSignatureInstantiations :: !ModuleName -> [InstantiationSuggestion] -> GhcHint
+ Internal.GhcFacade: SuggestSimilarNames :: RdrName -> NonEmpty SimilarName -> GhcHint
+ Internal.GhcFacade: SuggestSingleExtension :: !SDoc -> !Extension -> LanguageExtensionHint
+ Internal.GhcFacade: SuggestSpecialiseVisibilityHints :: Name -> GhcHint
+ Internal.GhcFacade: SuggestThQuotationSyntax :: GhcHint
+ Internal.GhcFacade: SuggestTypeSignatureForm :: GhcHint
+ Internal.GhcFacade: SuggestUnliftedDatatypes :: SuggestUnliftedTypes
+ Internal.GhcFacade: SuggestUnliftedNewtypes :: SuggestUnliftedTypes
+ Internal.GhcFacade: SuggestUseSpaces :: GhcHint
+ Internal.GhcFacade: SuggestUseTypeFromDataKind :: Maybe RdrName -> GhcHint
+ Internal.GhcFacade: SuggestUseWhitespaceAfter :: !OperatorWhitespaceSymbol -> GhcHint
+ Internal.GhcFacade: SuggestUseWhitespaceAround :: !String -> !OperatorWhitespaceOccurrence -> GhcHint
+ Internal.GhcFacade: SumAltArityExceeded :: !SumAlt -> !SumArity -> ConversionFailReason
+ Internal.GhcFacade: SupplementaryBindings :: RelevantBindings -> SolverReportSupplementary
+ Internal.GhcFacade: SupplementaryCts :: [(PredType, RealSrcSpan)] -> SolverReportSupplementary
+ Internal.GhcFacade: SupplementaryHoleFits :: ValidHoleFits -> SolverReportSupplementary
+ Internal.GhcFacade: TcPluginNoRewrite :: TcPluginRewriteResult
+ Internal.GhcFacade: TcPluginRewriteTo :: !Reduction -> [Ct] -> TcPluginRewriteResult
+ Internal.GhcFacade: TcPluginSolveResult :: [Ct] -> [(EvTerm, Ct)] -> [Ct] -> TcPluginSolveResult
+ Internal.GhcFacade: TcRnMessageDetailed :: !ErrInfo -> !TcRnMessage -> TcRnMessageDetailed
+ Internal.GhcFacade: TermVariablePE :: PromotionErr
+ Internal.GhcFacade: ThisPkg :: UnitId -> PkgQual
+ Internal.GhcFacade: TokenLoc :: !EpaLocation -> TokenLocation
+ Internal.GhcFacade: TyConIsAbstract :: TyCon -> CoercibleMsg
+ Internal.GhcFacade: TyDataCtx :: LocatedN RdrName -> HsDocContext
+ Internal.GhcFacade: TyFamilyCtx :: LocatedN RdrName -> HsDocContext
+ Internal.GhcFacade: TySynCtx :: LocatedN RdrName -> HsDocContext
+ Internal.GhcFacade: TyVarInfo :: TyVar -> Maybe Implication -> Maybe TyVar -> TyVarInfo
+ Internal.GhcFacade: TypBrCtx :: HsDocContext
+ Internal.GhcFacade: TypeDataForbidsDatatypeContexts :: TypeDataForbids
+ Internal.GhcFacade: TypeDataForbidsDerivingClauses :: TypeDataForbids
+ Internal.GhcFacade: TypeDataForbidsLabelledFields :: TypeDataForbids
+ Internal.GhcFacade: TypeDataForbidsStrictnessAnnotations :: TypeDataForbids
+ Internal.GhcFacade: TypeEqMismatch :: Bool -> ErrorItem -> Type -> Type -> Type -> Type -> Maybe TypedThing -> Maybe SameOccInfo -> MismatchMsg
+ Internal.GhcFacade: TypeSigCtx :: SDoc -> HsDocContext
+ Internal.GhcFacade: UnboundImplicitParams :: NonEmpty ErrorItem -> TcSolverReportMsg
+ Internal.GhcFacade: UnknownHint :: a -> GhcHint
+ Internal.GhcFacade: UnknownRoles :: Type -> CoercibleMsg
+ Internal.GhcFacade: UnknownSubordinate :: SDoc -> NotInScopeError
+ Internal.GhcFacade: UnnamedBinding :: AvailableBindings
+ Internal.GhcFacade: UnsafeOverlap :: ErrorItem -> ClsInst -> NonEmpty ClsInst -> TcSolverReportMsg
+ Internal.GhcFacade: UntouchableVariable :: TyVar -> Implication -> TcSolverReportMsg
+ Internal.GhcFacade: UserTypeError :: Type -> TcSolverReportMsg
+ Internal.GhcFacade: ValidHoleFits :: FitsMbSuppressed -> FitsMbSuppressed -> ValidHoleFits
+ Internal.GhcFacade: WarningWithFlag :: !WarningFlag -> DiagnosticReason
+ Internal.GhcFacade: WarningWithoutFlag :: DiagnosticReason
+ Internal.GhcFacade: WhenMatching :: TcType -> TcType -> CtOrigin -> Maybe TypeOrKind -> WhenMatching
+ Internal.GhcFacade: WhereClause :: THDeclDescriptor
+ Internal.GhcFacade: WildcardNotLastInConstraint :: BadAnonWildcardContext
+ Internal.GhcFacade: WildcardsNotAllowedAtAll :: BadAnonWildcardContext
+ Internal.GhcFacade: WithHsDocIdentifiers :: !a -> ![Located (IdP pass)] -> WithHsDocIdentifiers a pass
+ Internal.GhcFacade: XDotFieldOcc :: !XXDotFieldOcc p -> DotFieldOcc p
+ Internal.GhcFacade: XForeignExport :: !XXForeignExport pass -> ForeignExport pass
+ Internal.GhcFacade: XForeignImport :: !XXForeignImport pass -> ForeignImport pass
+ Internal.GhcFacade: XIEWrappedName :: !XXIEWrappedName p -> IEWrappedName p
+ Internal.GhcFacade: XImportDeclPass :: EpAnn EpAnnImportDecl -> SourceText -> Bool -> XImportDeclPass
+ Internal.GhcFacade: XModule :: !XXModule p -> HsModule p
+ Internal.GhcFacade: XModulePs :: EpAnn AnnsModule -> LayoutInfo GhcPs -> Maybe (LocatedP (WarningTxt GhcPs)) -> Maybe (LHsDoc GhcPs) -> XModulePs
+ Internal.GhcFacade: XQuote :: !XXQuote p -> HsQuote p
+ Internal.GhcFacade: XTyLit :: !XXTyLit pass -> HsTyLit pass
+ Internal.GhcFacade: XUntypedSplice :: !XXUntypedSplice id -> HsUntypedSplice id
+ Internal.GhcFacade: YesAssocTyLastVarInKind :: !TyCon -> AssociatedTyLastVarInKind
+ Internal.GhcFacade: YesAssociatedTyNotParamOverLastTyVar :: !TyCon -> AssociatedTyNotParamOverLastTyVar
+ Internal.GhcFacade: YesDeriveAnyClassEnabled :: DeriveAnyClassEnabled
+ Internal.GhcFacade: YesGeneralizedNewtypeDeriving :: UsingGeneralizedNewtypeDeriving
+ Internal.GhcFacade: YesHasAdfs :: HasAssociatedDataFamInsts
+ Internal.GhcFacade: YesHasKinds :: HasKinds
+ Internal.GhcFacade: YesHasWildcard :: HasWildcard
+ Internal.GhcFacade: YesSuggestPartialTypeSignatures :: SuggestPartialTypeSignatures
+ Internal.GhcFacade: YesSuggestUndecidableInstaces :: SuggestUndecidableInstances
+ Internal.GhcFacade: [$sel:ol_from_fun:OverLitRn] :: OverLitRn -> LIdP GhcRn
+ Internal.GhcFacade: [$sel:ol_rebindable:OverLitRn] :: OverLitRn -> Bool
+ Internal.GhcFacade: [$sel:ol_rebindable:OverLitTc] :: OverLitTc -> Bool
+ Internal.GhcFacade: [$sel:ol_type:OverLitTc] :: OverLitTc -> Type
+ Internal.GhcFacade: [$sel:ol_witness:OverLitTc] :: OverLitTc -> HsExpr GhcTc
+ Internal.GhcFacade: [MatchArgMatches] :: forall body. LocatedA (Match GhcRn body) -> NonEmpty (LocatedA (Match GhcRn body)) -> MatchArgBadMatches
+ Internal.GhcFacade: [TcRnAbstractClassInst] :: !Class -> TcRnMessage
+ Internal.GhcFacade: [TcRnAddDocToNonLocalDefn] :: !DocLoc -> TcRnMessage
+ Internal.GhcFacade: [TcRnAddInvalidCorePlugin] :: !String -> TcRnMessage
+ Internal.GhcFacade: [TcRnAmbiguousField] :: HsExpr GhcRn -> TyCon -> TcRnMessage
+ Internal.GhcFacade: [TcRnAnnotationInSafeHaskell] :: TcRnMessage
+ Internal.GhcFacade: [TcRnArrowIfThenElsePredDependsOnResultTy] :: TcRnMessage
+ Internal.GhcFacade: [TcRnArrowProcGADTPattern] :: TcRnMessage
+ Internal.GhcFacade: [TcRnBadAssociatedType] :: !Name -> !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnBadBootFamInstDecl] :: TcRnMessage
+ Internal.GhcFacade: [TcRnBadDefaultType] :: Type -> [Class] -> TcRnMessage
+ Internal.GhcFacade: [TcRnBadFamInstDecl] :: TyCon -> TcRnMessage
+ Internal.GhcFacade: [TcRnBadGenericMethod] :: !Name -> !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnBadMethodErr] :: !Name -> !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnBadOverloadedRecordUpdate] :: [LHsRecUpdField GhcRn] -> TcRnMessage
+ Internal.GhcFacade: [TcRnBadQuantPredHead] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnBangOnUnliftedType] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotBindScopedTyVarInPatSig] :: !NonEmpty (Name, TcTyVar) -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotBindTyVarsInPatBind] :: !NonEmpty (Name, TcTyVar) -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotDefaultConcrete] :: !FixedRuntimeRepOrigin -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotDeriveInstance] :: !Class -> [Type] -> !Maybe (DerivStrategy GhcTc) -> !UsingGeneralizedNewtypeDeriving -> !DeriveInstanceErrReason -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotReifyInstance] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotReifyOutOfScopeThing] :: !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotReifyThingNotInTypeEnv] :: !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnCannotRepresentType] :: !UnrepresentableTypeDescr -> !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnCharLiteralOutOfRange] :: !Char -> TcRnMessage
+ Internal.GhcFacade: [TcRnClassKindNotConstraint] :: !Kind -> TcRnMessage
+ Internal.GhcFacade: [TcRnConflictingExports] :: OccName -> GreName -> GlobalRdrElt -> IE GhcPs -> GreName -> GlobalRdrElt -> IE GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnConflictingFamInstDecls] :: NonEmpty FamInst -> TcRnMessage
+ Internal.GhcFacade: [TcRnConstraintInKind] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnDefaultMethodForPragmaLacksBinding] :: Id -> Sig GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnDerivingDefaults] :: !Class -> TcRnMessage
+ Internal.GhcFacade: [TcRnDifferentNamesForTyVar] :: !Name -> !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnDodgyExports] :: Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnDodgyImports] :: RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnDupInstanceDecls] :: !UnitState -> NonEmpty ClsInst -> TcRnMessage
+ Internal.GhcFacade: [TcRnDupeModuleExport] :: ModuleName -> TcRnMessage
+ Internal.GhcFacade: [TcRnDuplicateExport] :: GreName -> IE GhcPs -> IE GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnDuplicateFieldName] :: !RecordFieldPart -> NonEmpty RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnDuplicateWarningDecls] :: !LocatedN RdrName -> !RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnEmptyRecordUpdate] :: TcRnMessage
+ Internal.GhcFacade: [TcRnEmptyStmtsGroup] :: EmptyStatementGroupErrReason -> TcRnMessage
+ Internal.GhcFacade: [TcRnExpectedValueId] :: !TcTyThing -> TcRnMessage
+ Internal.GhcFacade: [TcRnExportHiddenComponents] :: IE GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnExportedModNotImported] :: ModuleName -> TcRnMessage
+ Internal.GhcFacade: [TcRnExportedParentChildMismatch] :: Name -> TyThing -> GreName -> [Name] -> TcRnMessage
+ Internal.GhcFacade: [TcRnFailedToLookupThInstName] :: !Type -> !LookupTHInstNameErrReason -> TcRnMessage
+ Internal.GhcFacade: [TcRnFamInstNotInjective] :: InjectivityErrReason -> TyCon -> NonEmpty CoAxBranch -> TcRnMessage
+ Internal.GhcFacade: [TcRnFieldUpdateInvalidType] :: [(FieldLabelString, TcType)] -> TcRnMessage
+ Internal.GhcFacade: [TcRnForAllEscapeError] :: !Type -> !Kind -> TcRnMessage
+ Internal.GhcFacade: [TcRnForAllRankErr] :: !Rank -> !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnForallIdentifier] :: RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnForeignFunctionImportAsValue] :: ForeignImport GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnForeignImportPrimExtNotSet] :: ForeignImport GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnForeignImportPrimSafeAnn] :: ForeignImport GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnFunDepConflict] :: !UnitState -> NonEmpty ClsInst -> TcRnMessage
+ Internal.GhcFacade: [TcRnFunPtrImportWithoutAmpersand] :: ForeignImport GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnGADTMonoLocalBinds] :: TcRnMessage
+ Internal.GhcFacade: [TcRnIdNotExportedFromLocalSig] :: Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnIdNotExportedFromModuleSig] :: Name -> Module -> TcRnMessage
+ Internal.GhcFacade: [TcRnIgnoreSpecialisePragmaOnDefMethod] :: !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnIgnoringAnnotations] :: [LAnnDecl GhcRn] -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalBindingOfBuiltIn] :: !OccName -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalBuiltinSyntax] :: SDoc -> RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalClassInst] :: !TyConFlavour -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalConstraintSynonymOfKind] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalDerivingItem] :: !LHsSigType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalFamilyInstance] :: TyCon -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalFieldPunning] :: !Located RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalForeignDeclBackend] :: Either (ForeignExport GhcRn) (ForeignImport GhcRn) -> Backend -> ExpectedBackends -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalForeignType] :: !Maybe ArgOrResult -> !IllegalForeignTypeReason -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalHsBootFileDecl] :: TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalHsigDefaultMethods] :: !Name -> NonEmpty (LHsBind GhcRn) -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalImplicitParam] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalImplicitParameterBindings] :: Either (HsLocalBindsLR GhcPs GhcPs) (HsLocalBindsLR GhcRn GhcPs) -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalNewtype] :: DataCon -> Bool -> IllegalNewtypeReason -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalPatSynDecl] :: !LIdP GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalRecordSyntax] :: !HsType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalStaticExpression] :: HsExpr GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalStaticFormInSplice] :: HsExpr GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalTupleConstraint] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalTupleSection] :: TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalTypeData] :: TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalTypeOperatorDecl] :: !RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalTypeOperator] :: !SDoc -> !RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalViewPattern] :: !Pat GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalWildcardInType] :: Maybe Name -> !BadAnonWildcardContext -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalWildcardsInConstructor] :: !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnIllegalWildcardsInRecord] :: !RecordFieldPart -> TcRnMessage
+ Internal.GhcFacade: [TcRnImplicitLift] :: Name -> !ErrInfo -> TcRnMessage
+ Internal.GhcFacade: [TcRnInaccessibleCode] :: Implication -> SolverReportWithCtxt -> TcRnMessage
+ Internal.GhcFacade: [TcRnIncorrectNameSpace] :: Name -> Bool -> TcRnMessage
+ Internal.GhcFacade: [TcRnInterfaceLookupError] :: !Name -> !SDoc -> TcRnMessage
+ Internal.GhcFacade: [TcRnInvalidCIdentifier] :: !CLabelString -> TcRnMessage
+ Internal.GhcFacade: [TcRnInvalidReturnKind] :: !DataSort -> !AllowedDataResKind -> !Kind -> !Maybe SuggestUnliftedTypes -> TcRnMessage
+ Internal.GhcFacade: [TcRnInvalidTopDecl] :: !HsDecl GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnInvalidTypeApplication] :: Type -> LHsWcType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnInvalidVisibleKindArgument] :: !LHsType GhcRn -> !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnLastStmtNotExpr] :: HsStmtContext GhcRn -> UnexpectedStatement -> TcRnMessage
+ Internal.GhcFacade: [TcRnLazyBangOnUnliftedType] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnLazyGADTPattern] :: TcRnMessage
+ Internal.GhcFacade: [TcRnLinearFuncInKind] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnLinearPatSyn] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnListComprehensionDuplicateBinding] :: Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnLoopySuperclassSolve] :: CtLoc -> PredType -> TcRnMessage
+ Internal.GhcFacade: [TcRnMatchesHaveDiffNumArgs] :: !HsMatchContext GhcTc -> !MatchArgBadMatches -> TcRnMessage
+ Internal.GhcFacade: [TcRnMessageWithInfo] :: !UnitState -> !TcRnMessageDetailed -> TcRnMessage
+ Internal.GhcFacade: [TcRnMisplacedInstSig] :: Name -> LHsSigType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnMissingClassAssoc] :: TyCon -> TcRnMessage
+ Internal.GhcFacade: [TcRnMissingExportList] :: ModuleName -> TcRnMessage
+ Internal.GhcFacade: [TcRnMissingFields] :: ConLike -> [(FieldLabelString, TcType)] -> TcRnMessage
+ Internal.GhcFacade: [TcRnMissingImportList] :: IE GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnMissingSignature] :: MissingSignature -> Exported -> Bool -> TcRnMessage
+ Internal.GhcFacade: [TcRnMissingStrictFields] :: ConLike -> [(FieldLabelString, TcType)] -> TcRnMessage
+ Internal.GhcFacade: [TcRnMixedSelectors] :: Name -> [Id] -> Name -> [Id] -> TcRnMessage
+ Internal.GhcFacade: [TcRnModMissingRealSrcSpan] :: Module -> TcRnMessage
+ Internal.GhcFacade: [TcRnMonomorphicBindings] :: [Name] -> TcRnMessage
+ Internal.GhcFacade: [TcRnMultipleDefaultDeclarations] :: [LDefaultDecl GhcRn] -> TcRnMessage
+ Internal.GhcFacade: [TcRnMultipleInlinePragmas] :: !Id -> !LocatedA InlinePragma -> !NonEmpty (LocatedA InlinePragma) -> TcRnMessage
+ Internal.GhcFacade: [TcRnNameByTemplateHaskellQuote] :: !RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnNoClassInstHead] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnNoConstructorHasAllFields] :: [FieldLabelString] -> TcRnMessage
+ Internal.GhcFacade: [TcRnNoExplicitAssocTypeOrDefaultDeclaration] :: Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnNoFieldPunsRecordDot] :: TcRnMessage
+ Internal.GhcFacade: [TcRnNoPossibleParentForFields] :: [LHsRecUpdField GhcRn] -> TcRnMessage
+ Internal.GhcFacade: [TcRnNoRebindableSyntaxRecordDot] :: TcRnMessage
+ Internal.GhcFacade: [TcRnNoRolesAssociatedWithThing] :: !TcTyThing -> TcRnMessage
+ Internal.GhcFacade: [TcRnNonExactName] :: !RdrName -> TcRnMessage
+ Internal.GhcFacade: [TcRnNonOverloadedSpecialisePragma] :: !LIdP GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnNonTypeVarArgInConstraint] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnNonUnaryTypeclassConstraint] :: !LHsSigType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnNotARecordSelector] :: !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnNotInScope] :: NotInScopeError -> RdrName -> [ImportError] -> [GhcHint] -> TcRnMessage
+ Internal.GhcFacade: [TcRnNotOpenFamily] :: TyCon -> TcRnMessage
+ Internal.GhcFacade: [TcRnNullExportedModule] :: ModuleName -> TcRnMessage
+ Internal.GhcFacade: [TcRnOrphanInstance] :: ClsInst -> TcRnMessage
+ Internal.GhcFacade: [TcRnOverloadedSig] :: TcIdSigInfo -> TcRnMessage
+ Internal.GhcFacade: [TcRnOversaturatedVisibleKindArg] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnPartialTypeSigBadQuantifier] :: Name -> Name -> Maybe Type -> LHsSigWcType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnPartialTypeSigTyVarMismatch] :: Name -> Name -> Name -> LHsSigWcType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnPartialTypeSignatures] :: !SuggestPartialTypeSignatures -> !ThetaType -> TcRnMessage
+ Internal.GhcFacade: [TcRnPatSynBundledWithNonDataCon] :: TcRnMessage
+ Internal.GhcFacade: [TcRnPatSynBundledWithWrongType] :: Type -> Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnPatSynNotBidirectional] :: !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnPolymorphicBinderMissingSig] :: Name -> Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnPragmaWarning] :: OccName -> WarningTxt GhcRn -> ModuleName -> ModuleName -> TcRnMessage
+ Internal.GhcFacade: [TcRnRecSelectorEscapedTyVar] :: !OccName -> TcRnMessage
+ Internal.GhcFacade: [TcRnRecursivePatternSynonym] :: LHsBinds GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnRedundantConstraints] :: [Id] -> (SkolemInfoAnon, Bool) -> TcRnMessage
+ Internal.GhcFacade: [TcRnReportCustomQuasiError] :: !Bool -> !String -> TcRnMessage
+ Internal.GhcFacade: [TcRnRunSpliceFailure] :: !Maybe String -> !RunSpliceFailReason -> TcRnMessage
+ Internal.GhcFacade: [TcRnSectionWithoutParentheses] :: HsExpr GhcPs -> TcRnMessage
+ Internal.GhcFacade: [TcRnShadowedName] :: OccName -> ShadowedNameProvenance -> TcRnMessage
+ Internal.GhcFacade: [TcRnSimplifierTooManyIterations] :: Cts -> !IntWithInf -> WantedConstraints -> TcRnMessage
+ Internal.GhcFacade: [TcRnSolverReport] :: SolverReportWithCtxt -> DiagnosticReason -> [GhcHint] -> TcRnMessage
+ Internal.GhcFacade: [TcRnSpecialClassInst] :: !Class -> !Bool -> TcRnMessage
+ Internal.GhcFacade: [TcRnSpecialiseNotVisible] :: !Name -> TcRnMessage
+ Internal.GhcFacade: [TcRnSplicePolymorphicLocalVar] :: !Id -> TcRnMessage
+ Internal.GhcFacade: [TcRnSpliceThrewException] :: !SplicePhase -> !SomeException -> !String -> !LHsExpr GhcTc -> !Bool -> TcRnMessage
+ Internal.GhcFacade: [TcRnStaticFormNotClosed] :: Name -> NotClosedReason -> TcRnMessage
+ Internal.GhcFacade: [TcRnTagToEnumMissingValArg] :: TcRnMessage
+ Internal.GhcFacade: [TcRnTagToEnumResTyNotAnEnum] :: Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnTagToEnumResTyTypeData] :: Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnTagToEnumUnspecifiedResTy] :: Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnTooManyBinders] :: !Kind -> ![LHsTyVarBndr () GhcRn] -> TcRnMessage
+ Internal.GhcFacade: [TcRnTooManyTyArgsInConPattern] :: !ConLike -> !Int -> !Int -> TcRnMessage
+ Internal.GhcFacade: [TcRnTupleConstraintInst] :: !Class -> TcRnMessage
+ Internal.GhcFacade: [TcRnTypeDataForbids] :: !TypeDataForbids -> TcRnMessage
+ Internal.GhcFacade: [TcRnTypeDoesNotHaveFixedRuntimeRep] :: !Type -> !FixedRuntimeRepProvenance -> !ErrInfo -> TcRnMessage
+ Internal.GhcFacade: [TcRnTypeEqualityOutOfScope] :: TcRnMessage
+ Internal.GhcFacade: [TcRnTypeEqualityRequiresOperators] :: TcRnMessage
+ Internal.GhcFacade: [TcRnTypedTHWithPolyType] :: !TcType -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnboxedTupleOrSumTypeFuncArg] :: UnboxedTupleOrSum -> !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnexpectedAnnotation] :: !HsType GhcRn -> !HsSrcBang -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnexpectedPragmas] :: !Id -> !NonEmpty (LSig GhcRn) -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnexpectedStatementInContext] :: HsStmtContext GhcRn -> UnexpectedStatement -> Maybe Extension -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnexpectedTypeSplice] :: !HsType GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnknownMessage] :: UnknownDiagnostic -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnpromotableThing] :: !Name -> !PromotionErr -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnsafeDueToPlugin] :: TcRnMessage
+ Internal.GhcFacade: [TcRnUnsatisfiedMinimalDef] :: ClassMinimalDef -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnsupportedCallConv] :: Either (ForeignExport GhcRn) (ForeignImport GhcRn) -> UnsupportedCallConvention -> TcRnMessage
+ Internal.GhcFacade: [TcRnUntickedPromotedThing] :: UntickedPromotedThing -> TcRnMessage
+ Internal.GhcFacade: [TcRnUnusedPatternBinds] :: HsBind GhcRn -> TcRnMessage
+ Internal.GhcFacade: [TcRnUselessTypeable] :: TcRnMessage
+ Internal.GhcFacade: [TcRnUserTypeError] :: !Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnVDQInTermType] :: !Maybe Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnWarnDefaulting] :: [Ct] -> Maybe TyVar -> Type -> TcRnMessage
+ Internal.GhcFacade: [TcRnWarningMinimalDefIncomplete] :: ClassMinimalDef -> TcRnMessage
+ Internal.GhcFacade: [TcRnWithHsDocContext] :: !HsDocContext -> !TcRnMessage -> TcRnMessage
+ Internal.GhcFacade: [UnexpectedStatement] :: forall body. Outputable (StmtLR GhcPs GhcPs body) => StmtLR GhcPs GhcPs body -> UnexpectedStatement
+ Internal.GhcFacade: [UnknownDiagnostic] :: forall a. (DiagnosticOpts a ~ NoDiagnosticOpts, Diagnostic a, Typeable a) => a -> UnknownDiagnostic
+ Internal.GhcFacade: [ambig_tyvars] :: AmbiguityInfo -> ([TyVar], [TyVar])
+ Internal.GhcFacade: [cannotResolve_candidates] :: TcSolverReportMsg -> [ClsInst]
+ Internal.GhcFacade: [cannotResolve_importErrors] :: TcSolverReportMsg -> [ImportError]
+ Internal.GhcFacade: [cannotResolve_item] :: TcSolverReportMsg -> ErrorItem
+ Internal.GhcFacade: [cannotResolve_relevant_bindings] :: TcSolverReportMsg -> RelevantBindings
+ Internal.GhcFacade: [cannotResolve_suggestions] :: TcSolverReportMsg -> [GhcHint]
+ Internal.GhcFacade: [cannotResolve_unifiers] :: TcSolverReportMsg -> [ClsInst]
+ Internal.GhcFacade: [cannotUnifyReason] :: TcSolverReportMsg -> CannotUnifyVariableReason
+ Internal.GhcFacade: [cec_binds] :: SolverReportErrCtxt -> EvBindsVar
+ Internal.GhcFacade: [cec_defer_type_errors] :: SolverReportErrCtxt -> DiagnosticReason
+ Internal.GhcFacade: [cec_encl] :: SolverReportErrCtxt -> [Implication]
+ Internal.GhcFacade: [cec_expand_syns] :: SolverReportErrCtxt -> Bool
+ Internal.GhcFacade: [cec_expr_holes] :: SolverReportErrCtxt -> DiagnosticReason
+ Internal.GhcFacade: [cec_out_of_scope_holes] :: SolverReportErrCtxt -> DiagnosticReason
+ Internal.GhcFacade: [cec_suppress] :: SolverReportErrCtxt -> Bool
+ Internal.GhcFacade: [cec_tidy] :: SolverReportErrCtxt -> TidyEnv
+ Internal.GhcFacade: [cec_type_holes] :: SolverReportErrCtxt -> DiagnosticReason
+ Internal.GhcFacade: [cec_warn_redundant] :: SolverReportErrCtxt -> Bool
+ Internal.GhcFacade: [cnd_extra] :: MismatchMsg -> Maybe CND_Extra
+ Internal.GhcFacade: [cnd_user_givens] :: MismatchMsg -> [Implication]
+ Internal.GhcFacade: [cnd_wanted] :: MismatchMsg -> NonEmpty ErrorItem
+ Internal.GhcFacade: [con_dcolon] :: ConDecl pass -> !LHsUniToken "::" "\8759" pass
+ Internal.GhcFacade: [ctev_rewriters] :: CtEvidence -> RewriterSet
+ Internal.GhcFacade: [deProposalCandidates] :: DefaultingProposal -> [Type]
+ Internal.GhcFacade: [deProposalCts] :: DefaultingProposal -> [Ct]
+ Internal.GhcFacade: [deProposalTyVar] :: DefaultingProposal -> TcTyVar
+ Internal.GhcFacade: [defaultingPlugin] :: Plugin -> DefaultingPlugin
+ Internal.GhcFacade: [dfoExt] :: DotFieldOcc p -> XCDotFieldOcc p
+ Internal.GhcFacade: [dfoLabel] :: DotFieldOcc p -> XRec p FieldLabelString
+ Internal.GhcFacade: [diagHints] :: DiagnosticMessage -> [GhcHint]
+ Internal.GhcFacade: [diagMessage] :: DiagnosticMessage -> !DecoratedSDoc
+ Internal.GhcFacade: [diagReason] :: DiagnosticMessage -> !DiagnosticReason
+ Internal.GhcFacade: [diag_fatal_warning_flags] :: DiagOpts -> !EnumSet WarningFlag
+ Internal.GhcFacade: [diag_max_errors] :: DiagOpts -> !Maybe Int
+ Internal.GhcFacade: [diag_ppr_ctx] :: DiagOpts -> !SDocContext
+ Internal.GhcFacade: [diag_reverse_errors] :: DiagOpts -> !Bool
+ Internal.GhcFacade: [diag_warn_is_error] :: DiagOpts -> !Bool
+ Internal.GhcFacade: [diag_warning_flags] :: DiagOpts -> !EnumSet WarningFlag
+ Internal.GhcFacade: [diagnosticCodeNameSpace] :: DiagnosticCode -> String
+ Internal.GhcFacade: [diagnosticCodeNumber] :: DiagnosticCode -> Natural
+ Internal.GhcFacade: [dmdUnboxWidth] :: DynFlags -> !Int
+ Internal.GhcFacade: [docs_args] :: Docs -> UniqMap Name (IntMap (HsDoc GhcRn))
+ Internal.GhcFacade: [docs_decls] :: Docs -> UniqMap Name [HsDoc GhcRn]
+ Internal.GhcFacade: [docs_extensions] :: Docs -> EnumSet Extension
+ Internal.GhcFacade: [docs_haddock_opts] :: Docs -> Maybe String
+ Internal.GhcFacade: [docs_language] :: Docs -> Maybe Language
+ Internal.GhcFacade: [docs_mod_hdr] :: Docs -> Maybe (HsDoc GhcRn)
+ Internal.GhcFacade: [docs_named_chunks] :: Docs -> Map String (HsDoc GhcRn)
+ Internal.GhcFacade: [docs_structure] :: Docs -> DocStructure
+ Internal.GhcFacade: [ea_actual] :: ExpectedActualInfo -> Type
+ Internal.GhcFacade: [ea_expanded_actual] :: ExpectedActualInfo -> Type
+ Internal.GhcFacade: [ea_expanded_expected] :: ExpectedActualInfo -> Type
+ Internal.GhcFacade: [ea_expected] :: ExpectedActualInfo -> Type
+ Internal.GhcFacade: [ei_evdest] :: ErrorItem -> Maybe TcEvDest
+ Internal.GhcFacade: [ei_flavour] :: ErrorItem -> CtFlavour
+ Internal.GhcFacade: [ei_loc] :: ErrorItem -> CtLoc
+ Internal.GhcFacade: [ei_m_reason] :: ErrorItem -> Maybe CtIrredReason
+ Internal.GhcFacade: [ei_pred] :: ErrorItem -> PredType
+ Internal.GhcFacade: [ei_suppress] :: ErrorItem -> Bool
+ Internal.GhcFacade: [epModule] :: ExternalPlugin -> String
+ Internal.GhcFacade: [epPlugin] :: ExternalPlugin -> PluginWithArgs
+ Internal.GhcFacade: [epUnit] :: ExternalPlugin -> String
+ Internal.GhcFacade: [errInfoContext] :: ErrInfo -> !SDoc
+ Internal.GhcFacade: [errInfoSupplementary] :: ErrInfo -> !SDoc
+ Internal.GhcFacade: [externalPluginSpecs] :: DynFlags -> [ExternalPluginSpec]
+ Internal.GhcFacade: [externalPlugins] :: Plugins -> ![ExternalPlugin]
+ Internal.GhcFacade: [fitsSuppressed] :: FitsMbSuppressed -> Bool
+ Internal.GhcFacade: [fits] :: FitsMbSuppressed -> [HoleFit]
+ Internal.GhcFacade: [foExt] :: FieldOcc pass -> XCFieldOcc pass
+ Internal.GhcFacade: [foLabel] :: FieldOcc pass -> XRec pass RdrName
+ Internal.GhcFacade: [frr_info_not_concrete] :: FixedRuntimeRepErrorInfo -> Maybe (TcTyVar, TcType)
+ Internal.GhcFacade: [frr_info_origin] :: FixedRuntimeRepErrorInfo -> FixedRuntimeRepOrigin
+ Internal.GhcFacade: [hfbAnn] :: HsFieldBind lhs rhs -> XHsFieldBind lhs
+ Internal.GhcFacade: [hfbLHS] :: HsFieldBind lhs rhs -> lhs
+ Internal.GhcFacade: [hfbPun] :: HsFieldBind lhs rhs -> Bool
+ Internal.GhcFacade: [hfbRHS] :: HsFieldBind lhs rhs -> rhs
+ Internal.GhcFacade: [hiddenModules] :: DynFlags -> Set ModuleName
+ Internal.GhcFacade: [holeFits] :: ValidHoleFits -> FitsMbSuppressed
+ Internal.GhcFacade: [hsDocIdentifiers] :: WithHsDocIdentifiers a pass -> ![Located (IdP pass)]
+ Internal.GhcFacade: [hsDocString] :: WithHsDocIdentifiers a pass -> !a
+ Internal.GhcFacade: [hsb_quote] :: HsBracketTc -> HsQuote GhcRn
+ Internal.GhcFacade: [hsb_splices] :: HsBracketTc -> [PendingTcSplice]
+ Internal.GhcFacade: [hsb_ty] :: HsBracketTc -> Type
+ Internal.GhcFacade: [hsb_wrap] :: HsBracketTc -> Maybe QuoteWrapper
+ Internal.GhcFacade: [hsc_llvm_config] :: HscEnv -> !LlvmConfigCache
+ Internal.GhcFacade: [hsc_type_env_vars] :: HscEnv -> KnotVars (IORef TypeEnv)
+ Internal.GhcFacade: [hsmodExt] :: HsModule p -> XCModule p
+ Internal.GhcFacade: [ideclAnn] :: XImportDeclPass -> EpAnn EpAnnImportDecl
+ Internal.GhcFacade: [ideclImportList] :: ImportDecl pass -> Maybe (ImportListInterpretation, XRec pass [LIE pass])
+ Internal.GhcFacade: [ideclSourceText] :: XImportDeclPass -> SourceText
+ Internal.GhcFacade: [imp_boot_mods] :: ImportAvails -> InstalledModuleEnv ModuleNameWithIsBoot
+ Internal.GhcFacade: [imp_dep_direct_pkgs] :: ImportAvails -> Set UnitId
+ Internal.GhcFacade: [imp_direct_dep_mods] :: ImportAvails -> InstalledModuleEnv ModuleNameWithIsBoot
+ Internal.GhcFacade: [imp_sig_mods] :: ImportAvails -> [ModuleName]
+ Internal.GhcFacade: [kmismatch_actual] :: MismatchMsg -> Type
+ Internal.GhcFacade: [kmismatch_expected] :: MismatchMsg -> Type
+ Internal.GhcFacade: [kmismatch_what] :: MismatchMsg -> TypedThing
+ Internal.GhcFacade: [lead_with_ambig_msg] :: AmbiguityInfo -> Bool
+ Internal.GhcFacade: [llvmOptLevel] :: DynFlags -> Int
+ Internal.GhcFacade: [loadedPluginDeps] :: Plugins -> !([Linkable], PkgsLoaded)
+ Internal.GhcFacade: [loadedPlugins] :: Plugins -> ![LoadedPlugin]
+ Internal.GhcFacade: [log_default_dump_context] :: LogFlags -> SDocContext
+ Internal.GhcFacade: [log_default_user_context] :: LogFlags -> SDocContext
+ Internal.GhcFacade: [log_dump_dir] :: LogFlags -> !Maybe FilePath
+ Internal.GhcFacade: [log_dump_flags] :: LogFlags -> !EnumSet DumpFlag
+ Internal.GhcFacade: [log_dump_prefix] :: LogFlags -> !FilePath
+ Internal.GhcFacade: [log_dump_prefix_override] :: LogFlags -> !Maybe FilePath
+ Internal.GhcFacade: [log_dump_to_file] :: LogFlags -> !Bool
+ Internal.GhcFacade: [log_enable_debug] :: LogFlags -> !Bool
+ Internal.GhcFacade: [log_enable_timestamps] :: LogFlags -> !Bool
+ Internal.GhcFacade: [log_show_caret] :: LogFlags -> !Bool
+ Internal.GhcFacade: [log_show_warn_groups] :: LogFlags -> !Bool
+ Internal.GhcFacade: [log_verbosity] :: LogFlags -> !Int
+ Internal.GhcFacade: [log_ways] :: LogFlags -> !Maybe Ways
+ Internal.GhcFacade: [log_with_ways] :: LogFlags -> !Bool
+ Internal.GhcFacade: [matches] :: PotentialInstances -> [ClsInst]
+ Internal.GhcFacade: [mi_docs] :: ModIface_ (phase :: ModIfacePhase) -> !Maybe Docs
+ Internal.GhcFacade: [mi_extra_decls] :: ModIface_ (phase :: ModIfacePhase) -> Maybe [IfaceBindingX IfaceMaybeRhs IfaceTopBndrInfo]
+ Internal.GhcFacade: [mi_src_hash] :: ModIface_ (phase :: ModIfacePhase) -> !Fingerprint
+ Internal.GhcFacade: [mismatchAmbiguityInfo] :: TcSolverReportMsg -> [AmbiguityInfo]
+ Internal.GhcFacade: [mismatchCoercibleInfo] :: TcSolverReportMsg -> Maybe CoercibleMsg
+ Internal.GhcFacade: [mismatchMsg] :: TcSolverReportMsg -> MismatchMsg
+ Internal.GhcFacade: [mismatchTyVarInfo] :: TcSolverReportMsg -> Maybe TyVarInfo
+ Internal.GhcFacade: [mismatch_ea] :: MismatchMsg -> MismatchEA
+ Internal.GhcFacade: [mismatch_item] :: MismatchMsg -> ErrorItem
+ Internal.GhcFacade: [mismatch_mbEA] :: MismatchEA -> Maybe ExpectedActualInfo
+ Internal.GhcFacade: [mismatch_mb_same_occ] :: MismatchMsg -> Maybe SameOccInfo
+ Internal.GhcFacade: [mismatch_ty1] :: MismatchMsg -> Type
+ Internal.GhcFacade: [mismatch_ty2] :: MismatchMsg -> Type
+ Internal.GhcFacade: [mismatch_whenMatching] :: MismatchMsg -> Maybe WhenMatching
+ Internal.GhcFacade: [ml_dyn_hi_file] :: ModLocation -> FilePath
+ Internal.GhcFacade: [ml_dyn_obj_file] :: ModLocation -> FilePath
+ Internal.GhcFacade: [ms_dyn_obj_date] :: ModSummary -> !Maybe UTCTime
+ Internal.GhcFacade: [ms_ghc_prim_import] :: ModSummary -> !Bool
+ Internal.GhcFacade: [ms_hs_hash] :: ModSummary -> Fingerprint
+ Internal.GhcFacade: [nann_bars] :: NameAnn -> [EpaLocation]
+ Internal.GhcFacade: [nce_frr_origin] :: NotConcreteError -> FixedRuntimeRepOrigin
+ Internal.GhcFacade: [nce_loc] :: NotConcreteError -> CtLoc
+ Internal.GhcFacade: [nce_reasons] :: NotConcreteError -> NonEmpty NotConcreteReason
+ Internal.GhcFacade: [occursCheckAmbiguityInfos] :: CannotUnifyVariableReason -> [AmbiguityInfo]
+ Internal.GhcFacade: [occursCheckInterestingTyVars] :: CannotUnifyVariableReason -> [TyVar]
+ Internal.GhcFacade: [otherTy] :: TyVarInfo -> Maybe TyVar
+ Internal.GhcFacade: [overlappingInstances_item] :: TcSolverReportMsg -> ErrorItem
+ Internal.GhcFacade: [overlappingInstances_matches] :: TcSolverReportMsg -> NonEmpty ClsInst
+ Internal.GhcFacade: [overlappingInstances_unifiers] :: TcSolverReportMsg -> [ClsInst]
+ Internal.GhcFacade: [parsedResultMessages] :: ParsedResult -> PsMessages
+ Internal.GhcFacade: [parsedResultModule] :: ParsedResult -> HsParsedModule
+ Internal.GhcFacade: [psErrors] :: PsMessages -> Messages PsError
+ Internal.GhcFacade: [psWarnings] :: PsMessages -> Messages PsWarning
+ Internal.GhcFacade: [ptcListTuplePuns] :: PromotionTickContext -> !Bool
+ Internal.GhcFacade: [ptcPrintRedundantPromTicks] :: PromotionTickContext -> !Bool
+ Internal.GhcFacade: [queryPromotionTick] :: NamePprCtx -> QueryPromotionTick
+ Internal.GhcFacade: [ranOutOfFuel] :: RelevantBindings -> Bool
+ Internal.GhcFacade: [re_eq_rel] :: RewriteEnv -> !EqRel
+ Internal.GhcFacade: [re_flavour] :: RewriteEnv -> !CtFlavour
+ Internal.GhcFacade: [re_loc] :: RewriteEnv -> !CtLoc
+ Internal.GhcFacade: [re_rewriters] :: RewriteEnv -> !TcRef RewriterSet
+ Internal.GhcFacade: [reexportedModules] :: DynFlags -> Set ModuleName
+ Internal.GhcFacade: [refinementFits] :: ValidHoleFits -> FitsMbSuppressed
+ Internal.GhcFacade: [relevantBindingNamesAndTys] :: RelevantBindings -> [(Name, Type)]
+ Internal.GhcFacade: [reportContent] :: SolverReportWithCtxt -> TcSolverReportMsg
+ Internal.GhcFacade: [reportContext] :: SolverReportWithCtxt -> SolverReportErrCtxt
+ Internal.GhcFacade: [rtasmInfo] :: DynFlags -> IORef (Maybe CompilerInfo)
+ Internal.GhcFacade: [sameOcc_lhs] :: SameOccInfo -> Name
+ Internal.GhcFacade: [sameOcc_rhs] :: SameOccInfo -> Name
+ Internal.GhcFacade: [sameOcc_same_pkg] :: SameOccInfo -> Bool
+ Internal.GhcFacade: [sdocListTuplePuns] :: SDocContext -> !Bool
+ Internal.GhcFacade: [sdocSuppressCoercionTypes] :: SDocContext -> !Bool
+ Internal.GhcFacade: [sdocSuppressStgReps] :: SDocContext -> !Bool
+ Internal.GhcFacade: [showMatches] :: HoleFitDispConfig -> Bool
+ Internal.GhcFacade: [showProv] :: HoleFitDispConfig -> Bool
+ Internal.GhcFacade: [showType] :: HoleFitDispConfig -> Bool
+ Internal.GhcFacade: [showWrapVars] :: HoleFitDispConfig -> Bool
+ Internal.GhcFacade: [showWrap] :: HoleFitDispConfig -> Bool
+ Internal.GhcFacade: [sr_hints] :: SolverReport -> [GhcHint]
+ Internal.GhcFacade: [sr_important_msg] :: SolverReport -> SolverReportWithCtxt
+ Internal.GhcFacade: [sr_supplementary] :: SolverReport -> [SolverReportSupplementary]
+ Internal.GhcFacade: [staticPlugins] :: Plugins -> ![StaticPlugin]
+ Internal.GhcFacade: [suppressed_parents] :: GhcHint -> [Name]
+ Internal.GhcFacade: [suppressed_selector] :: GhcHint -> RdrName
+ Internal.GhcFacade: [targetUnitId] :: Target -> !UnitId
+ Internal.GhcFacade: [tcPluginInsolubleCts] :: TcPluginSolveResult -> [Ct]
+ Internal.GhcFacade: [tcPluginNewCts] :: TcPluginSolveResult -> [Ct]
+ Internal.GhcFacade: [tcPluginReduction] :: TcPluginRewriteResult -> !Reduction
+ Internal.GhcFacade: [tcPluginRewrite] :: TcPlugin -> s -> UniqFM TyCon TcPluginRewriter
+ Internal.GhcFacade: [tcPluginSolvedCts] :: TcPluginSolveResult -> [(EvTerm, Ct)]
+ Internal.GhcFacade: [tcRewriterNewWanteds] :: TcPluginRewriteResult -> [Ct]
+ Internal.GhcFacade: [tcdLayout] :: TyClDecl pass -> !LayoutInfo pass
+ Internal.GhcFacade: [tcg_defaulting_plugins] :: TcGblEnv -> [FillDefaulting]
+ Internal.GhcFacade: [tcg_next_wrapper_num] :: TcGblEnv -> TcRef (ModuleEnv Int)
+ Internal.GhcFacade: [tcg_safe_infer] :: TcGblEnv -> TcRef Bool
+ Internal.GhcFacade: [tcg_safe_infer_reasons] :: TcGblEnv -> TcRef (Messages TcRnMessage)
+ Internal.GhcFacade: [tcg_tc_plugin_rewriters] :: TcGblEnv -> UniqFM TyCon [TcPluginRewriter]
+ Internal.GhcFacade: [tcg_tc_plugin_solvers] :: TcGblEnv -> [TcPluginSolver]
+ Internal.GhcFacade: [tcg_th_needed_deps] :: TcGblEnv -> TcRef ([Linkable], PkgsLoaded)
+ Internal.GhcFacade: [teq_mb_same_occ] :: MismatchMsg -> Maybe SameOccInfo
+ Internal.GhcFacade: [teq_mismatch_actual] :: MismatchMsg -> Type
+ Internal.GhcFacade: [teq_mismatch_expected] :: MismatchMsg -> Type
+ Internal.GhcFacade: [teq_mismatch_item] :: MismatchMsg -> ErrorItem
+ Internal.GhcFacade: [teq_mismatch_ppr_explicit_kinds] :: MismatchMsg -> Bool
+ Internal.GhcFacade: [teq_mismatch_ty1] :: MismatchMsg -> Type
+ Internal.GhcFacade: [teq_mismatch_ty2] :: MismatchMsg -> Type
+ Internal.GhcFacade: [teq_mismatch_what] :: MismatchMsg -> Maybe TypedThing
+ Internal.GhcFacade: [thisPackageName] :: DynFlags -> Maybe String
+ Internal.GhcFacade: [thisTyVarIsUntouchable] :: TyVarInfo -> Maybe Implication
+ Internal.GhcFacade: [thisTyVar] :: TyVarInfo -> TyVar
+ Internal.GhcFacade: [tmpDir] :: DynFlags -> TempDir
+ Internal.GhcFacade: [unIdSig] :: IdSig -> Id
+ Internal.GhcFacade: [unRecFieldsDotDot] :: RecFieldsDotDot -> Int
+ Internal.GhcFacade: [unifiers] :: PotentialInstances -> [ClsInst]
+ Internal.GhcFacade: [unpackCStringId] :: MkStringIds -> !Id
+ Internal.GhcFacade: [unpackCStringUtf8Id] :: MkStringIds -> !Id
+ Internal.GhcFacade: [unsafeOverlap_item] :: TcSolverReportMsg -> ErrorItem
+ Internal.GhcFacade: [unsafeOverlap_match] :: TcSolverReportMsg -> ClsInst
+ Internal.GhcFacade: [unsafeOverlapped] :: TcSolverReportMsg -> NonEmpty ClsInst
+ Internal.GhcFacade: [untouchableTyVarImplication] :: TcSolverReportMsg -> Implication
+ Internal.GhcFacade: [untouchableTyVar] :: TcSolverReportMsg -> TyVar
+ Internal.GhcFacade: [utsplice_result] :: HsUntypedSpliceResult thing -> thing
+ Internal.GhcFacade: [utsplice_result_finalizers] :: HsUntypedSpliceResult thing -> ThModFinalizers
+ Internal.GhcFacade: [wc_errors] :: WantedConstraints -> Bag DelayedError
+ Internal.GhcFacade: [workingDirectory] :: DynFlags -> Maybe FilePath
+ Internal.GhcFacade: addDelayedErrors :: WantedConstraints -> Bag DelayedError -> WantedConstraints
+ Internal.GhcFacade: addNotConcreteError :: WantedConstraints -> NotConcreteError -> WantedConstraints
+ Internal.GhcFacade: addRewriterSet :: RewriterSet -> CoercionHole -> RewriterSet
+ Internal.GhcFacade: alwaysPrintPromTick :: QueryPromotionTick
+ Internal.GhcFacade: anyLConIsGadt :: Foldable f => f (GenLocated l (ConDecl pass)) -> Bool
+ Internal.GhcFacade: associatedTyLastVarInKind :: Maybe TyCon -> AssociatedTyLastVarInKind
+ Internal.GhcFacade: associatedTyNotParamOverLastTyVar :: Maybe TyCon -> AssociatedTyNotParamOverLastTyVar
+ Internal.GhcFacade: bPutHDoc :: BufHandle -> SDocContext -> HDoc -> IO ()
+ Internal.GhcFacade: bootExports :: SelfBootInfo -> NameSet
+ Internal.GhcFacade: checkImplicationInvariants :: (HasCallStack, Applicative m) => Implication -> m ()
+ Internal.GhcFacade: class () => Diagnostic a where {
+ Internal.GhcFacade: class (IsOutput doc, IsLine Line doc) => IsDoc doc where {
+ Internal.GhcFacade: class IsOutput doc => IsLine doc
+ Internal.GhcFacade: class () => IsOutput doc
+ Internal.GhcFacade: collectXSplicePat :: CollectPass p => CollectFlag p -> XSplicePat p -> [IdP p] -> [IdP p]
+ Internal.GhcFacade: collectXXHsBindsLR :: CollectPass p => XXHsBindsLR p pR -> [IdP p] -> [IdP p]
+ Internal.GhcFacade: combineBufSpans :: BufSpan -> BufSpan -> BufSpan
+ Internal.GhcFacade: ctEvRewriters :: CtEvidence -> RewriterSet
+ Internal.GhcFacade: ctEvUnique :: CtEvidence -> Unique
+ Internal.GhcFacade: ctRewriters :: Ct -> RewriterSet
+ Internal.GhcFacade: data () => AbsBinds
+ Internal.GhcFacade: data () => AllowedDataResKind
+ Internal.GhcFacade: data () => AmbiguityInfo
+ Internal.GhcFacade: data () => ArgOrResult
+ Internal.GhcFacade: data () => AssociatedTyLastVarInKind
+ Internal.GhcFacade: data () => AssociatedTyNotParamOverLastTyVar
+ Internal.GhcFacade: data () => AvailableBindings
+ Internal.GhcFacade: data () => BadAnonWildcardContext
+ Internal.GhcFacade: data () => CND_Extra
+ Internal.GhcFacade: data () => CannotUnifyVariableReason
+ Internal.GhcFacade: data () => CoercibleMsg
+ Internal.GhcFacade: data () => ConversionFailReason
+ Internal.GhcFacade: data () => DataConCantHappen
+ Internal.GhcFacade: data () => DataDefnCons a
+ Internal.GhcFacade: data () => DataSort
+ Internal.GhcFacade: data () => DefaultingProposal
+ Internal.GhcFacade: data () => DelayedError
+ Internal.GhcFacade: data () => DeriveAnyClassEnabled
+ Internal.GhcFacade: data () => DeriveGenericsErrReason
+ Internal.GhcFacade: data () => DeriveInstanceBadConstructor
+ Internal.GhcFacade: data () => DeriveInstanceErrReason
+ Internal.GhcFacade: data () => DiagOpts
+ Internal.GhcFacade: data () => DiagnosticCode
+ Internal.GhcFacade: data () => DiagnosticHint
+ Internal.GhcFacade: data () => DiagnosticMessage
+ Internal.GhcFacade: data () => DiagnosticReason
+ Internal.GhcFacade: data () => DocStructureItem
+ Internal.GhcFacade: data () => Docs
+ Internal.GhcFacade: data () => DotFieldOcc p
+ Internal.GhcFacade: data () => EmptyStatementGroupErrReason
+ Internal.GhcFacade: data () => ErrInfo
+ Internal.GhcFacade: data () => ErrorItem
+ Internal.GhcFacade: data () => ExpectedActualInfo
+ Internal.GhcFacade: data () => Exported
+ Internal.GhcFacade: data () => ExternalPlugin
+ Internal.GhcFacade: data () => FitsMbSuppressed
+ Internal.GhcFacade: data () => FixedRuntimeRepErrorInfo
+ Internal.GhcFacade: data () => FixedRuntimeRepProvenance
+ Internal.GhcFacade: data () => GhcHint
+ Internal.GhcFacade: data () => HDoc
+ Internal.GhcFacade: data () => HLine
+ Internal.GhcFacade: data () => HasAssociatedDataFamInsts
+ Internal.GhcFacade: data () => HasKinds
+ Internal.GhcFacade: data () => HasWildcard
+ Internal.GhcFacade: data () => HoleError
+ Internal.GhcFacade: data () => HoleFitDispConfig
+ Internal.GhcFacade: data () => HsBracketTc
+ Internal.GhcFacade: data () => HsConPatTyArg p
+ Internal.GhcFacade: data () => HsDoFlavour
+ Internal.GhcFacade: data () => HsDocContext
+ Internal.GhcFacade: data () => HsDocStringDecorator
+ Internal.GhcFacade: data () => HsFieldBind lhs rhs
+ Internal.GhcFacade: data () => HsLinearArrowTokens pass
+ Internal.GhcFacade: data () => HsPatExpansion a b
+ Internal.GhcFacade: data () => HsQuote p
+ Internal.GhcFacade: data () => HsToken (tok :: Symbol)
+ Internal.GhcFacade: data () => HsUniToken (tok :: Symbol) (utok :: Symbol)
+ Internal.GhcFacade: data () => HsUntypedSplice id
+ Internal.GhcFacade: data () => HsUntypedSpliceResult thing
+ Internal.GhcFacade: data () => IllegalDecls
+ Internal.GhcFacade: data () => IllegalNewtypeReason
+ Internal.GhcFacade: data () => ImportError
+ Internal.GhcFacade: data () => ImportListInterpretation
+ Internal.GhcFacade: data () => InjectivityErrReason
+ Internal.GhcFacade: data () => IsBootInterface
+ Internal.GhcFacade: data () => LamCaseVariant
+ Internal.GhcFacade: data () => LanguageExtensionHint
+ Internal.GhcFacade: data () => LogFlags
+ Internal.GhcFacade: data () => LookupTHInstNameErrReason
+ Internal.GhcFacade: data () => MatchArgBadMatches
+ Internal.GhcFacade: data () => MatchArgsContext
+ Internal.GhcFacade: data () => MessageClass
+ Internal.GhcFacade: data () => MismatchEA
+ Internal.GhcFacade: data () => MismatchMsg
+ Internal.GhcFacade: data () => MissingSignature
+ Internal.GhcFacade: data () => MkStringIds
+ Internal.GhcFacade: data () => NamePprCtx
+ Internal.GhcFacade: data () => NoDiagnosticOpts
+ Internal.GhcFacade: data () => NotClosedReason
+ Internal.GhcFacade: data () => NotConcreteError
+ Internal.GhcFacade: data () => NotConcreteReason
+ Internal.GhcFacade: data () => NotInScopeError
+ Internal.GhcFacade: data () => OverLitRn
+ Internal.GhcFacade: data () => ParsedResult
+ Internal.GhcFacade: data () => PkgQual
+ Internal.GhcFacade: data () => Plugins
+ Internal.GhcFacade: data () => PotentialInstances
+ Internal.GhcFacade: data () => PromotedItem
+ Internal.GhcFacade: data () => PromotionFlag
+ Internal.GhcFacade: data () => PromotionTickContext
+ Internal.GhcFacade: data () => PsMessages
+ Internal.GhcFacade: data () => RecordFieldPart
+ Internal.GhcFacade: data () => RelevantBindings
+ Internal.GhcFacade: data () => RewriteEnv
+ Internal.GhcFacade: data () => RunSpliceFailReason
+ Internal.GhcFacade: data () => SameOccInfo
+ Internal.GhcFacade: data () => ShadowedNameProvenance
+ Internal.GhcFacade: data () => SoleExtraConstraintWildcardAllowed
+ Internal.GhcFacade: data () => SolverReport
+ Internal.GhcFacade: data () => SolverReportErrCtxt
+ Internal.GhcFacade: data () => SolverReportSupplementary
+ Internal.GhcFacade: data () => SolverReportWithCtxt
+ Internal.GhcFacade: data () => SplicePhase
+ Internal.GhcFacade: data () => SuggestPartialTypeSignatures
+ Internal.GhcFacade: data () => SuggestUndecidableInstances
+ Internal.GhcFacade: data () => SuggestUnliftedTypes
+ Internal.GhcFacade: data () => THDeclDescriptor
+ Internal.GhcFacade: data () => TcPluginRewriteResult
+ Internal.GhcFacade: data () => TcPluginSolveResult
+ Internal.GhcFacade: data () => TcRnMessage
+ Internal.GhcFacade: data () => TcRnMessageDetailed
+ Internal.GhcFacade: data () => TcSolverReportMsg
+ Internal.GhcFacade: data () => ThingBeingConverted
+ Internal.GhcFacade: data () => TokenLocation
+ Internal.GhcFacade: data () => TyVarInfo
+ Internal.GhcFacade: data () => TypeDataForbids
+ Internal.GhcFacade: data () => UnexpectedStatement
+ Internal.GhcFacade: data () => UnknownDiagnostic
+ Internal.GhcFacade: data () => UnrepresentableTypeDescr
+ Internal.GhcFacade: data () => UnsupportedCallConvention
+ Internal.GhcFacade: data () => UsingGeneralizedNewtypeDeriving
+ Internal.GhcFacade: data () => ValidHoleFits
+ Internal.GhcFacade: data () => Validity' a
+ Internal.GhcFacade: data () => WhenMatching
+ Internal.GhcFacade: data () => WithHsDocIdentifiers a pass
+ Internal.GhcFacade: data () => XImportDeclPass
+ Internal.GhcFacade: data () => XModulePs
+ Internal.GhcFacade: data () => XXPatGhcTc
+ Internal.GhcFacade: dataConCantHappen :: DataConCantHappen -> a
+ Internal.GhcFacade: dataDefnConsNewOrData :: DataDefnCons a -> NewOrData
+ Internal.GhcFacade: dePluginInit :: DefaultingPlugin -> TcPluginM s
+ Internal.GhcFacade: dePluginRun :: DefaultingPlugin -> s -> FillDefaulting
+ Internal.GhcFacade: dePluginStop :: DefaultingPlugin -> s -> TcPluginM ()
+ Internal.GhcFacade: defaultDiagnosticOpts :: Diagnostic a => DiagnosticOpts a
+ Internal.GhcFacade: defaultLogFlags :: LogFlags
+ Internal.GhcFacade: deriveAnyClassEnabled :: Bool -> DeriveAnyClassEnabled
+ Internal.GhcFacade: diagReasonSeverity :: DiagOpts -> DiagnosticReason -> Severity
+ Internal.GhcFacade: diag_fatal_wopt :: WarningFlag -> DiagOpts -> Bool
+ Internal.GhcFacade: diag_wopt :: WarningFlag -> DiagOpts -> Bool
+ Internal.GhcFacade: diagnosticCode :: Diagnostic a => a -> Maybe DiagnosticCode
+ Internal.GhcFacade: diagnosticHints :: Diagnostic a => a -> [GhcHint]
+ Internal.GhcFacade: diagnosticMessage :: Diagnostic a => DiagnosticOpts a -> a -> DecoratedSDoc
+ Internal.GhcFacade: diagnosticReason :: Diagnostic a => a -> DiagnosticReason
+ Internal.GhcFacade: discardProvCtxtGivens :: CtOrigin -> [UserGiven] -> [UserGiven]
+ Internal.GhcFacade: docStringChunks :: HsDocString -> [LHsDocStringChunk]
+ Internal.GhcFacade: docWithContext :: IsOutput doc => (SDocContext -> doc) -> doc
+ Internal.GhcFacade: dualDoc :: IsDoc doc => SDoc -> HDoc -> doc
+ Internal.GhcFacade: dualLine :: IsLine doc => SDoc -> HLine -> doc
+ Internal.GhcFacade: emptyDocs :: Docs
+ Internal.GhcFacade: emptyPlugins :: Plugins
+ Internal.GhcFacade: emptyRewriterSet :: RewriterSet
+ Internal.GhcFacade: errorDiagnostic :: MessageClass
+ Internal.GhcFacade: errorItemCtLoc :: ErrorItem -> CtLoc
+ Internal.GhcFacade: errorItemEqRel :: ErrorItem -> EqRel
+ Internal.GhcFacade: errorItemOrigin :: ErrorItem -> CtOrigin
+ Internal.GhcFacade: errorItemPred :: ErrorItem -> PredType
+ Internal.GhcFacade: errorsOrFatalWarningsFound :: Messages e -> Bool
+ Internal.GhcFacade: exactPrintHsDocString :: HsDocString -> String
+ Internal.GhcFacade: extractSpecPragName :: SourceText -> String
+ Internal.GhcFacade: findQualifiedModule :: GhcMonad m => PkgQual -> ModuleName -> m Module
+ Internal.GhcFacade: gHsPar :: forall (id :: Pass). LHsExpr (GhcPass id) -> HsExpr (GhcPass id)
+ Internal.GhcFacade: gParPat :: forall (pass :: Pass). LPat (GhcPass pass) -> Pat (GhcPass pass)
+ Internal.GhcFacade: getMkStringIds :: Applicative m => (Name -> m Id) -> m MkStringIds
+ Internal.GhcFacade: getNamePprCtx :: GhcMonad m => m NamePprCtx
+ Internal.GhcFacade: getTargetPlatform :: TcPluginM Platform
+ Internal.GhcFacade: getUserGivens :: SolverReportErrCtxt -> [UserGiven]
+ Internal.GhcFacade: getUserGivensFromImplics :: [Implication] -> [UserGiven]
+ Internal.GhcFacade: hasAssociatedDataFamInsts :: Bool -> HasAssociatedDataFamInsts
+ Internal.GhcFacade: hasKinds :: Bool -> HasKinds
+ Internal.GhcFacade: hasOrHave :: [a] -> SDoc
+ Internal.GhcFacade: hasWildcard :: Bool -> HasWildcard
+ Internal.GhcFacade: headMaybe :: Bag a -> Maybe a
+ Internal.GhcFacade: hsDocIds :: WithHsDocIdentifiers a GhcRn -> NameSet
+ Internal.GhcFacade: initDiagOpts :: DynFlags -> DiagOpts
+ Internal.GhcFacade: initDriverMessageOpts :: DynFlags -> DiagnosticOpts DriverMessage
+ Internal.GhcFacade: initDsMessageOpts :: DynFlags -> DiagnosticOpts DsMessage
+ Internal.GhcFacade: initPrintConfig :: DynFlags -> DiagnosticOpts GhcMessage
+ Internal.GhcFacade: initPsMessageOpts :: DynFlags -> DiagnosticOpts PsMessage
+ Internal.GhcFacade: initTcMessageOpts :: DynFlags -> DiagnosticOpts TcRnMessage
+ Internal.GhcFacade: insolubleWantedCt :: Ct -> Bool
+ Internal.GhcFacade: interpreterBackend :: Backend
+ Internal.GhcFacade: isDoComprehensionContext :: HsDoFlavour -> Bool
+ Internal.GhcFacade: isEmptyRewriterSet :: RewriterSet -> Bool
+ Internal.GhcFacade: isExtrinsicErrorMessage :: MsgEnvelope e -> Bool
+ Internal.GhcFacade: isIntrinsicErrorMessage :: Diagnostic e => MsgEnvelope e -> Bool
+ Internal.GhcFacade: isListEmptyOrSingleton :: [a] -> IsEmptyOrSingleton
+ Internal.GhcFacade: isLoadedModule :: GhcMonad m => UnitId -> ModuleName -> m Bool
+ Internal.GhcFacade: isMonadDoCompContext :: HsDoFlavour -> Bool
+ Internal.GhcFacade: isMonadDoStmtContext :: HsDoFlavour -> Bool
+ Internal.GhcFacade: isNoSrcSpan :: SrcSpan -> Bool
+ Internal.GhcFacade: isPromoted :: PromotionFlag -> Bool
+ Internal.GhcFacade: isTypeDataDefnCons :: DataDefnCons a -> Bool
+ Internal.GhcFacade: isUserTypeError :: PredType -> Bool
+ Internal.GhcFacade: la2e :: SrcSpanAnn' a -> EpaLocation
+ Internal.GhcFacade: lamCaseKeyword :: LamCaseVariant -> SDoc
+ Internal.GhcFacade: lclEnvInGeneratedCode :: TcLclEnv -> Bool
+ Internal.GhcFacade: line :: IsDoc doc => Line doc -> doc
+ Internal.GhcFacade: lines_ :: IsDoc doc => [Line doc] -> doc
+ Internal.GhcFacade: llvmBackend :: Backend
+ Internal.GhcFacade: loadExternalPlugins :: [ExternalPluginSpec] -> IO [ExternalPlugin]
+ Internal.GhcFacade: loadWithCache :: GhcMonad m => Maybe ModIfaceCache -> LoadHowMuch -> m SuccessFlag
+ Internal.GhcFacade: logDumpFile :: Logger -> PprStyle -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
+ Internal.GhcFacade: logDumpMsg :: Logger -> String -> SDoc -> IO ()
+ Internal.GhcFacade: logHasDumpFlag :: Logger -> DumpFlag -> Bool
+ Internal.GhcFacade: logMsg :: Logger -> MessageClass -> SrcSpan -> SDoc -> IO ()
+ Internal.GhcFacade: logTraceMsg :: Logger -> String -> SDoc -> a -> a
+ Internal.GhcFacade: logVerbAtLeast :: Logger -> Int -> Bool
+ Internal.GhcFacade: log_dopt :: DumpFlag -> LogFlags -> Bool
+ Internal.GhcFacade: log_set_dopt :: DumpFlag -> LogFlags -> LogFlags
+ Internal.GhcFacade: loggerTraceFlush :: Logger -> IO ()
+ Internal.GhcFacade: loggerTraceFlushUpdate :: Logger -> (IO () -> IO ()) -> Logger
+ Internal.GhcFacade: lookupQualifiedModule :: GhcMonad m => PkgQual -> ModuleName -> m Module
+ Internal.GhcFacade: mapDecoratedSDoc :: (SDoc -> SDoc) -> DecoratedSDoc -> DecoratedSDoc
+ Internal.GhcFacade: matchDoContextErrString :: HsDoFlavour -> SDoc
+ Internal.GhcFacade: maybeSymCo :: SwapFlag -> TcCoercion -> TcCoercion
+ Internal.GhcFacade: minusOccEnv :: OccEnv a -> OccEnv b -> OccEnv a
+ Internal.GhcFacade: minusOccEnv_C :: (a -> b -> Maybe a) -> OccEnv a -> OccEnv b -> OccEnv a
+ Internal.GhcFacade: mkBasicMismatchMsg :: MismatchEA -> ErrorItem -> Type -> Type -> MismatchMsg
+ Internal.GhcFacade: mkBigCoreVarTupSolo :: [Id] -> CoreExpr
+ Internal.GhcFacade: mkBigTupleCase :: UniqSupply -> [Id] -> CoreExpr -> CoreExpr -> CoreExpr
+ Internal.GhcFacade: mkBigTupleSelector :: [Id] -> Id -> Id -> CoreExpr -> CoreExpr
+ Internal.GhcFacade: mkBigTupleSelectorSolo :: [Id] -> Id -> Id -> CoreExpr -> CoreExpr
+ Internal.GhcFacade: mkConLikeTc :: ConLike -> HsExpr GhcTc
+ Internal.GhcFacade: mkCoreUnboxedSum :: Int -> Int -> [Type] -> CoreExpr -> CoreExpr
+ Internal.GhcFacade: mkCoreUnboxedTuple :: [CoreExpr] -> CoreExpr
+ Internal.GhcFacade: mkDecoratedDiagnostic :: DiagnosticReason -> [GhcHint] -> [SDoc] -> DiagnosticMessage
+ Internal.GhcFacade: mkDecoratedError :: [GhcHint] -> [SDoc] -> DiagnosticMessage
+ Internal.GhcFacade: mkErrorMsgEnvelope :: Diagnostic e => SrcSpan -> NamePprCtx -> e -> MsgEnvelope e
+ Internal.GhcFacade: mkGeneratedHsDocString :: String -> HsDocString
+ Internal.GhcFacade: mkHsDocStringChunk :: String -> HsDocStringChunk
+ Internal.GhcFacade: mkHsDocStringChunkUtf8ByteString :: ByteString -> HsDocStringChunk
+ Internal.GhcFacade: mkHsStringFS :: forall (p :: Pass). FastString -> HsLit (GhcPass p)
+ Internal.GhcFacade: mkLamCaseMatchGroup :: forall (p :: Pass) body. AnnoBody p body => Origin -> LamCaseVariant -> LocatedL [LocatedA (Match (GhcPass p) (LocatedA (body (GhcPass p))))] -> MatchGroup (GhcPass p) (LocatedA (body (GhcPass p)))
+ Internal.GhcFacade: mkLitRubbish :: Type -> Maybe CoreExpr
+ Internal.GhcFacade: mkLocMessageWarningGroups :: Bool -> MessageClass -> SrcSpan -> SDoc -> SDoc
+ Internal.GhcFacade: mkMCDiagnostic :: DiagOpts -> DiagnosticReason -> Maybe DiagnosticCode -> MessageClass
+ Internal.GhcFacade: mkModuleNameFS :: FastString -> ModuleName
+ Internal.GhcFacade: mkNamePprCtxForModule :: GhcMonad m => ModuleInfo -> m (Maybe NamePprCtx)
+ Internal.GhcFacade: mkPlainDiagnostic :: DiagnosticReason -> [GhcHint] -> SDoc -> DiagnosticMessage
+ Internal.GhcFacade: mkPlainError :: [GhcHint] -> SDoc -> DiagnosticMessage
+ Internal.GhcFacade: mkPlainErrorMsgEnvelope :: Diagnostic e => SrcSpan -> e -> MsgEnvelope e
+ Internal.GhcFacade: mkPlainMismatchMsg :: MismatchMsg -> TcSolverReportMsg
+ Internal.GhcFacade: mkSimpleDecorated :: SDoc -> DecoratedSDoc
+ Internal.GhcFacade: mkTcRnNotInScope :: RdrName -> NotInScopeError -> TcRnMessage
+ Internal.GhcFacade: mkTcRnUnknownMessage :: (Diagnostic a, Typeable a, DiagnosticOpts a ~ NoDiagnosticOpts) => a -> TcRnMessage
+ Internal.GhcFacade: mkWpEta :: [Id] -> HsWrapper -> HsWrapper
+ Internal.GhcFacade: mkWpEvLams :: [Var] -> HsWrapper
+ Internal.GhcFacade: moduleNameColons :: ModuleName -> String
+ Internal.GhcFacade: moduleNameFS :: ModuleName -> FastString
+ Internal.GhcFacade: moduleNameSlashes :: ModuleName -> String
+ Internal.GhcFacade: ncgBackend :: Backend
+ Internal.GhcFacade: newtype () => HsDocStringChunk
+ Internal.GhcFacade: newtype () => IdSig
+ Internal.GhcFacade: newtype () => IsEmptyOrSingleton
+ Internal.GhcFacade: newtype () => ModuleName
+ Internal.GhcFacade: newtype () => RecFieldsDotDot
+ Internal.GhcFacade: newtype () => RewriterSet
+ Internal.GhcFacade: noBackend :: Backend
+ Internal.GhcFacade: noHints :: [GhcHint]
+ Internal.GhcFacade: noHsTok :: forall (tok :: Symbol). GenLocated TokenLocation (HsToken tok)
+ Internal.GhcFacade: noHsUniTok :: forall (tok :: Symbol) (utok :: Symbol). GenLocated TokenLocation (HsUniToken tok utok)
+ Internal.GhcFacade: noValidHoleFits :: ValidHoleFits
+ Internal.GhcFacade: nonDefaultableTyVarsOfWC :: WantedConstraints -> TyCoVarSet
+ Internal.GhcFacade: nonDetOccEnvElts :: OccEnv a -> [a]
+ Internal.GhcFacade: occSetToEnv :: OccSet -> OccEnv OccName
+ Internal.GhcFacade: parseModuleName :: ReadP ModuleName
+ Internal.GhcFacade: partitionM :: Monad m => (a -> m Bool) -> [a] -> m ([a], [a])
+ Internal.GhcFacade: pattern TcPluginContradiction :: [Ct] -> TcPluginSolveResult
+ Internal.GhcFacade: pattern TcPluginOk :: [(EvTerm, Ct)] -> [Ct] -> TcPluginSolveResult
+ Internal.GhcFacade: pendingScDict_maybe :: Ct -> Maybe Ct
+ Internal.GhcFacade: pendingScInst_maybe :: QCInst -> Maybe QCInst
+ Internal.GhcFacade: pluginsWithArgs :: Plugins -> [PluginWithArgs]
+ Internal.GhcFacade: ppDataDefnHeader :: forall (p :: Pass). OutputableBndrId p => (Maybe (LHsContext (GhcPass p)) -> SDoc) -> HsDataDefn (GhcPass p) -> SDoc
+ Internal.GhcFacade: ppDataSort :: DataSort -> SDoc
+ Internal.GhcFacade: pp_vanilla_decl_head :: forall (p :: Pass). OutputableBndrId p => XRec (GhcPass p) (IdP (GhcPass p)) -> LHsQTyVars (GhcPass p) -> LexicalFixity -> Maybe (LHsContext (GhcPass p)) -> SDoc
+ Internal.GhcFacade: pprAHsDoFlavour :: HsDoFlavour -> SDoc
+ Internal.GhcFacade: pprArrowExpr :: forall (p :: Pass) body. (OutputableBndrId p, Outputable body, Anno (StmtLR (GhcPass p) (GhcPass p) body) ~ SrcSpanAnnA) => [LStmt (GhcPass p) body] -> SDoc
+ Internal.GhcFacade: pprArrowMatchContextNouns :: HsArrowMatchContext -> SDoc
+ Internal.GhcFacade: pprDebugAndThen :: SDocContext -> (String -> a) -> SDoc -> SDoc -> a
+ Internal.GhcFacade: pprFixedRuntimeRepProvenance :: FixedRuntimeRepProvenance -> SDoc
+ Internal.GhcFacade: pprHsArgsApp :: (OutputableBndr id, Outputable tm, Outputable ty) => id -> LexicalFixity -> [HsArg tm ty] -> SDoc
+ Internal.GhcFacade: pprHsArrType :: HsArrAppType -> SDoc
+ Internal.GhcFacade: pprHsArrow :: forall (pass :: Pass). OutputableBndrId pass => HsArrow (GhcPass pass) -> SDoc
+ Internal.GhcFacade: pprHsDoFlavour :: HsDoFlavour -> SDoc
+ Internal.GhcFacade: pprHsDocDebug :: Outputable (IdP name) => HsDoc name -> SDoc
+ Internal.GhcFacade: pprHsDocString :: HsDocString -> SDoc
+ Internal.GhcFacade: pprHsDocStrings :: [HsDocString] -> SDoc
+ Internal.GhcFacade: pprLocMsgEnvelopeDefault :: Diagnostic e => MsgEnvelope e -> SDoc
+ Internal.GhcFacade: pprLocatedAlways :: (Outputable l, Outputable e) => GenLocated l e -> SDoc
+ Internal.GhcFacade: pprMatchContextNouns :: (Outputable (IdP (NoGhcTc p)), UnXRec (NoGhcTc p)) => HsMatchContext p -> SDoc
+ Internal.GhcFacade: pprMaybeWithDoc :: Maybe (LHsDoc name) -> SDoc -> SDoc
+ Internal.GhcFacade: pprMessages :: Diagnostic e => DiagnosticOpts e -> Messages e -> SDoc
+ Internal.GhcFacade: pprModuleName :: IsLine doc => ModuleName -> doc
+ Internal.GhcFacade: pprMsgEnvelopeBagWithLocDefault :: Diagnostic e => Bag (MsgEnvelope e) -> [SDoc]
+ Internal.GhcFacade: pprPrefixFastString :: FastString -> SDoc
+ Internal.GhcFacade: pprRelevantBindings :: RelevantBindings -> SDoc
+ Internal.GhcFacade: pprStmtCat :: forall (p :: Pass) body. Stmt (GhcPass p) body -> SDoc
+ Internal.GhcFacade: pprTypedSplice :: forall (p :: Pass). OutputableBndrId p => Maybe SplicePointName -> LHsExpr (GhcPass p) -> SDoc
+ Internal.GhcFacade: pprUntypedSplice :: forall (p :: Pass). OutputableBndrId p => Bool -> Maybe SplicePointName -> HsUntypedSplice (GhcPass p) -> SDoc
+ Internal.GhcFacade: pprWithDoc :: LHsDoc name -> SDoc -> SDoc
+ Internal.GhcFacade: pprWithDocString :: HsDocString -> SDoc -> SDoc
+ Internal.GhcFacade: pprXOverLit :: forall (p :: Pass). GhcPass p -> XOverLit (GhcPass p) -> SDoc
+ Internal.GhcFacade: ppr_infix_expr_rn :: HsExpansion (HsExpr GhcRn) (HsExpr GhcRn) -> Maybe SDoc
+ Internal.GhcFacade: ppr_infix_expr_tc :: XXExprGhcTc -> Maybe SDoc
+ Internal.GhcFacade: ppr_with_pending_tc_splices :: SDoc -> [PendingTcSplice] -> SDoc
+ Internal.GhcFacade: promTick :: PprStyle -> QueryPromotionTick
+ Internal.GhcFacade: psLocatedToLocated :: PsLocated a -> Located a
+ Internal.GhcFacade: putDumpFile :: Logger -> DumpAction
+ Internal.GhcFacade: putDumpFileMaybe :: Logger -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
+ Internal.GhcFacade: putDumpFileMaybe' :: Logger -> NamePprCtx -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
+ Internal.GhcFacade: removeBufSpan :: SrcSpan -> SrcSpan
+ Internal.GhcFacade: renamePkgQualM :: GhcMonad m => ModuleName -> Maybe FastString -> m PkgQual
+ Internal.GhcFacade: renameRawPkgQualM :: GhcMonad m => ModuleName -> RawPkgQual -> m PkgQual
+ Internal.GhcFacade: renderHsDocString :: HsDocString -> String
+ Internal.GhcFacade: renderHsDocStrings :: [HsDocString] -> String
+ Internal.GhcFacade: rewriterSetFromCo :: Coercion -> RewriterSet
+ Internal.GhcFacade: rewriterSetFromType :: Type -> RewriterSet
+ Internal.GhcFacade: rewriterSetFromTypes :: [Type] -> RewriterSet
+ Internal.GhcFacade: setCtEvLoc :: CtEvidence -> CtLoc -> CtEvidence
+ Internal.GhcFacade: setCtEvPredType :: HasDebugCallStack => CtEvidence -> Type -> CtEvidence
+ Internal.GhcFacade: setLogFlags :: Logger -> LogFlags -> Logger
+ Internal.GhcFacade: setTopSessionDynFlags :: GhcMonad m => DynFlags -> m ()
+ Internal.GhcFacade: setUnitDynFlags :: GhcMonad m => UnitId -> DynFlags -> m ()
+ Internal.GhcFacade: singleMessage :: MsgEnvelope e -> Messages e
+ Internal.GhcFacade: singular :: [a] -> SDoc
+ Internal.GhcFacade: spaceIfSingleQuote :: SDoc -> SDoc
+ Internal.GhcFacade: srcSpan2e :: SrcSpan -> EpaLocation
+ Internal.GhcFacade: stableModuleNameCmp :: ModuleName -> ModuleName -> Ordering
+ Internal.GhcFacade: suggestAnyExtension :: [Extension] -> GhcHint
+ Internal.GhcFacade: suggestAnyExtensionWithInfo :: SDoc -> [Extension] -> GhcHint
+ Internal.GhcFacade: suggestExtension :: Extension -> GhcHint
+ Internal.GhcFacade: suggestExtensionWithInfo :: SDoc -> Extension -> GhcHint
+ Internal.GhcFacade: suggestExtensions :: [Extension] -> GhcHint
+ Internal.GhcFacade: suggestExtensionsWithInfo :: SDoc -> [Extension] -> GhcHint
+ Internal.GhcFacade: suggestPartialTypeSignatures :: Bool -> SuggestPartialTypeSignatures
+ Internal.GhcFacade: suggestUndecidableInstances :: Bool -> SuggestUndecidableInstances
+ Internal.GhcFacade: tcEvDestUnique :: TcEvDest -> Unique
+ Internal.GhcFacade: tcTyThingTyCon_maybe :: TcTyThing -> Maybe TyCon
+ Internal.GhcFacade: thisOrThese :: [a] -> SDoc
+ Internal.GhcFacade: traceSDocContext :: SDocContext
+ Internal.GhcFacade: traceSystoolCommand :: Logger -> String -> IO a -> IO a
+ Internal.GhcFacade: trailingAnnToAddEpAnn :: TrailingAnn -> AddEpAnn
+ Internal.GhcFacade: tyCoVarsOfCtEv :: CtEvidence -> TcTyCoVarSet
+ Internal.GhcFacade: tyCoVarsOfCtEvList :: CtEvidence -> [TcTyCoVar]
+ Internal.GhcFacade: tyCoVarsOfCtEvsList :: [CtEvidence] -> [TcTyCoVar]
+ Internal.GhcFacade: type DefaultingPlugin = [CommandLineOption] -> Maybe DefaultingPlugin
+ Internal.GhcFacade: type DefaultingPluginResult = [DefaultingProposal]
+ Internal.GhcFacade: type DocStructure = [DocStructureItem]
+ Internal.GhcFacade: type ExpectedBackends = [Backend]
+ Internal.GhcFacade: type FillDefaulting = WantedConstraints -> TcPluginM [DefaultingProposal]
+ Internal.GhcFacade: type HsDoc = WithHsDocIdentifiers HsDocString
+ Internal.GhcFacade: type LAmbiguousFieldOcc pass = XRec pass AmbiguousFieldOcc pass
+ Internal.GhcFacade: type LFieldLabelStrings p = XRec p FieldLabelStrings p
+ Internal.GhcFacade: type LHsDoc pass = Located HsDoc pass
+ Internal.GhcFacade: type LHsDocStringChunk = Located HsDocStringChunk
+ Internal.GhcFacade: type LHsFieldBind p id arg = XRec p HsFieldBind id arg
+ Internal.GhcFacade: type LHsToken (tok :: Symbol) p = XRec p HsToken tok
+ Internal.GhcFacade: type LHsUniToken (tok :: Symbol) (utok :: Symbol) p = XRec p HsUniToken tok utok
+ Internal.GhcFacade: type QueryPromotionTick = PromotedItem -> Bool
+ Internal.GhcFacade: type TcPluginRewriter = RewriteEnv -> [Ct] -> [TcType] -> TcPluginM TcPluginRewriteResult
+ Internal.GhcFacade: type ThBindEnv = NameEnv (TopLevelFlag, ThLevel)
+ Internal.GhcFacade: type UserGiven = Implication
+ Internal.GhcFacade: type Validity = Validity' SDoc
+ Internal.GhcFacade: unionDecoratedSDoc :: DecoratedSDoc -> DecoratedSDoc -> DecoratedSDoc
+ Internal.GhcFacade: unionManyMessages :: Foldable f => f (Messages e) -> Messages e
+ Internal.GhcFacade: unpackHDSC :: HsDocStringChunk -> String
+ Internal.GhcFacade: unpackPtrStringTakeN :: Int -> PtrString -> String
+ Internal.GhcFacade: unzipBag :: Bag (a, b) -> (Bag a, Bag b)
+ Internal.GhcFacade: updateLogFlags :: Logger -> (LogFlags -> LogFlags) -> Logger
+ Internal.GhcFacade: useExtensionInOrderTo :: SDoc -> Extension -> GhcHint
+ Internal.GhcFacade: usingGeneralizedNewtypeDeriving :: Bool -> UsingGeneralizedNewtypeDeriving
+ Internal.GhcFacade: viaCBackend :: Backend
+ Internal.GhcFacade: wantedEvId_maybe :: Ct -> Maybe EvVar
+ Internal.GhcFacade: zStringTakeN :: Int -> FastZString -> String
+ Internal.GhcFacade: }
- Internal.GhcFacade: ($$) :: SDoc -> SDoc -> SDoc
+ Internal.GhcFacade: ($$) :: IsDoc doc => doc -> doc -> doc
- Internal.GhcFacade: (<+>) :: SDoc -> SDoc -> SDoc
+ Internal.GhcFacade: (<+>) :: IsLine doc => doc -> doc -> doc
- Internal.GhcFacade: (<>) :: SDoc -> SDoc -> SDoc
+ Internal.GhcFacade: (<>) :: IsLine doc => doc -> doc -> doc
- Internal.GhcFacade: ABE :: XABE p -> IdP p -> IdP p -> HsWrapper -> TcSpecPrags -> ABExport p
+ Internal.GhcFacade: ABE :: Id -> Id -> HsWrapper -> TcSpecPrags -> ABExport
- Internal.GhcFacade: AbsBinds :: XAbsBinds idL idR -> [TyVar] -> [EvVar] -> [ABExport idL] -> [TcEvBinds] -> LHsBinds idL -> Bool -> HsBindLR idL idR
+ Internal.GhcFacade: AbsBinds :: [TyVar] -> [EvVar] -> [ABExport] -> [TcEvBinds] -> LHsBinds GhcTc -> Bool -> AbsBinds
- Internal.GhcFacade: Ambiguous :: XAmbiguous pass -> LocatedN RdrName -> AmbiguousFieldOcc pass
+ Internal.GhcFacade: Ambiguous :: XAmbiguous pass -> XRec pass RdrName -> AmbiguousFieldOcc pass
- Internal.GhcFacade: ApplicativeArgMany :: XApplicativeArgMany idL -> [ExprLStmt idL] -> HsExpr idL -> LPat idL -> HsStmtContext (ApplicativeArgStmCtxPass idL) -> ApplicativeArg idL
+ Internal.GhcFacade: ApplicativeArgMany :: XApplicativeArgMany idL -> [ExprLStmt idL] -> HsExpr idL -> LPat idL -> HsDoFlavour -> ApplicativeArg idL
- Internal.GhcFacade: AsPat :: XAsPat p -> LIdP p -> LPat p -> Pat p
+ Internal.GhcFacade: AsPat :: XAsPat p -> LIdP p -> !LHsToken "@" p -> LPat p -> Pat p
- Internal.GhcFacade: CExport :: Located CExportSpec -> Located SourceText -> ForeignExport
+ Internal.GhcFacade: CExport :: XCExport pass -> XRec pass CExportSpec -> ForeignExport pass
- Internal.GhcFacade: CImport :: Located CCallConv -> Located Safety -> Maybe Header -> CImportSpec -> Located SourceText -> ForeignImport
+ Internal.GhcFacade: CImport :: XCImport pass -> XRec pass CCallConv -> XRec pass Safety -> Maybe Header -> CImportSpec -> ForeignImport pass
- Internal.GhcFacade: ClassDecl :: XClassDecl pass -> Maybe (LHsContext pass) -> LIdP pass -> LHsQTyVars pass -> LexicalFixity -> [LHsFunDep pass] -> [LSig pass] -> LHsBinds pass -> [LFamilyDecl pass] -> [LTyFamDefltDecl pass] -> [LDocDecl pass] -> TyClDecl pass
+ Internal.GhcFacade: ClassDecl :: XClassDecl pass -> !LayoutInfo pass -> Maybe (LHsContext pass) -> LIdP pass -> LHsQTyVars pass -> LexicalFixity -> [LHsFunDep pass] -> [LSig pass] -> LHsBinds pass -> [LFamilyDecl pass] -> [LTyFamDefltDecl pass] -> [LDocDecl pass] -> TyClDecl pass
- Internal.GhcFacade: CoPat :: HsWrapper -> Pat GhcTc -> Type -> CoPat
+ Internal.GhcFacade: CoPat :: HsWrapper -> Pat GhcTc -> Type -> XXPatGhcTc
- Internal.GhcFacade: CompleteMatchSig :: XCompleteMatchSig pass -> SourceText -> XRec pass [LIdP pass] -> Maybe (LIdP pass) -> Sig pass
+ Internal.GhcFacade: CompleteMatchSig :: XCompleteMatchSig pass -> XRec pass [LIdP pass] -> Maybe (LIdP pass) -> Sig pass
- Internal.GhcFacade: ConDeclField :: XConDeclField pass -> [LFieldOcc pass] -> LBangType pass -> Maybe LHsDocString -> ConDeclField pass
+ Internal.GhcFacade: ConDeclField :: XConDeclField pass -> [LFieldOcc pass] -> LBangType pass -> Maybe (LHsDoc pass) -> ConDeclField pass
- Internal.GhcFacade: ConDeclGADT :: XConDeclGADT pass -> [LIdP pass] -> XRec pass (HsOuterSigTyVarBndrs pass) -> Maybe (LHsContext pass) -> HsConDeclGADTDetails pass -> LHsType pass -> Maybe LHsDocString -> ConDecl pass
+ Internal.GhcFacade: ConDeclGADT :: XConDeclGADT pass -> NonEmpty (LIdP pass) -> !LHsUniToken "::" "\8759" pass -> XRec pass (HsOuterSigTyVarBndrs pass) -> Maybe (LHsContext pass) -> HsConDeclGADTDetails pass -> LHsType pass -> Maybe (LHsDoc pass) -> ConDecl pass
- Internal.GhcFacade: ConDeclH98 :: XConDeclH98 pass -> LIdP pass -> Bool -> [LHsTyVarBndr Specificity pass] -> Maybe (LHsContext pass) -> HsConDeclH98Details pass -> Maybe LHsDocString -> ConDecl pass
+ Internal.GhcFacade: ConDeclH98 :: XConDeclH98 pass -> LIdP pass -> Bool -> [LHsTyVarBndr Specificity pass] -> Maybe (LHsContext pass) -> HsConDeclH98Details pass -> Maybe (LHsDoc pass) -> ConDecl pass
- Internal.GhcFacade: CtWanted :: TcPredType -> TcEvDest -> ShadowInfo -> CtLoc -> CtEvidence
+ Internal.GhcFacade: CtWanted :: TcPredType -> TcEvDest -> CtLoc -> RewriterSet -> CtEvidence
- Internal.GhcFacade: DecBrG :: XDecBrG p -> HsGroup p -> HsBracket p
+ Internal.GhcFacade: DecBrG :: XDecBrG p -> HsGroup p -> HsQuote p
- Internal.GhcFacade: DecBrL :: XDecBrL p -> [LHsDecl p] -> HsBracket p
+ Internal.GhcFacade: DecBrL :: XDecBrL p -> [LHsDecl p] -> HsQuote p
- Internal.GhcFacade: DoExpr :: Maybe ModuleName -> HsStmtContext p
+ Internal.GhcFacade: DoExpr :: Maybe ModuleName -> HsDoFlavour
- Internal.GhcFacade: DocCommentNamed :: String -> HsDocString -> DocDecl
+ Internal.GhcFacade: DocCommentNamed :: String -> LHsDoc pass -> DocDecl pass
- Internal.GhcFacade: DocCommentNext :: HsDocString -> DocDecl
+ Internal.GhcFacade: DocCommentNext :: LHsDoc pass -> DocDecl pass
- Internal.GhcFacade: DocCommentPrev :: HsDocString -> DocDecl
+ Internal.GhcFacade: DocCommentPrev :: LHsDoc pass -> DocDecl pass
- Internal.GhcFacade: DocD :: XDocD p -> DocDecl -> HsDecl p
+ Internal.GhcFacade: DocD :: XDocD p -> DocDecl p -> HsDecl p
- Internal.GhcFacade: DocGroup :: Int -> HsDocString -> DocDecl
+ Internal.GhcFacade: DocGroup :: Int -> LHsDoc pass -> DocDecl pass
- Internal.GhcFacade: DynFlags :: GhcMode -> GhcLink -> !Backend -> {-# UNPACK #-} !GhcNameVersion -> {-# UNPACK #-} !FileSettings -> Platform -> {-# UNPACK #-} !ToolSettings -> {-# UNPACK #-} !PlatformMisc -> [(String, String)] -> LlvmConfig -> Int -> Int -> Int -> Int -> Int -> Maybe String -> Maybe String -> [Int] -> Maybe Int -> Bool -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe Int -> Int -> Int -> Int -> Maybe Int -> Maybe Int -> Int -> Word -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe Int -> Bool -> Maybe Int -> Int -> [FilePath] -> ModuleName -> Maybe String -> IntWithInf -> IntWithInf -> UnitId -> Maybe UnitId -> [(ModuleName, Module)] -> Ways -> Maybe (String, Int) -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> String -> String -> String -> String -> IORef Bool -> String -> String -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> DynLibLoader -> !Bool -> Maybe FilePath -> Maybe FilePath -> [Option] -> IncludeSpecs -> [String] -> [String] -> [String] -> Maybe String -> RtsOptsEnabled -> Bool -> String -> [ModuleName] -> [(ModuleName, String)] -> [String] -> FilePath -> Bool -> Bool -> [ModuleName] -> [String] -> [PackageDBFlag] -> [IgnorePackageFlag] -> [PackageFlag] -> [PackageFlag] -> [TrustFlag] -> Maybe FilePath -> EnumSet DumpFlag -> EnumSet GeneralFlag -> EnumSet WarningFlag -> EnumSet WarningFlag -> Maybe Language -> SafeHaskellMode -> Bool -> Bool -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> [OnOff Extension] -> EnumSet Extension -> !UnfoldingOpts -> Int -> Int -> FlushOut -> FlushErr -> Maybe FilePath -> Maybe String -> [String] -> Int -> Int -> Bool -> OverridingBool -> Bool -> Scheme -> ProfAuto -> [CallerCcFilter] -> Maybe String -> IORef (ModuleEnv Int) -> Maybe SseVersion -> Maybe BmiVersion -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> IORef (Maybe LinkerInfo) -> IORef (Maybe CompilerInfo) -> Int -> Int -> Int -> Bool -> Maybe Int -> Word -> Int -> Weights -> DynFlags
+ Internal.GhcFacade: DynFlags :: GhcMode -> GhcLink -> !Backend -> {-# UNPACK #-} !GhcNameVersion -> {-# UNPACK #-} !FileSettings -> Platform -> {-# UNPACK #-} !ToolSettings -> {-# UNPACK #-} !PlatformMisc -> [(String, String)] -> TempDir -> Int -> Int -> Int -> Int -> Int -> Maybe String -> [Int] -> Maybe Int -> Bool -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe Int -> Int -> Int -> Int -> !Int -> Maybe Int -> Maybe Int -> Int -> Maybe Word -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe Int -> Bool -> Maybe Int -> Int -> [FilePath] -> ModuleName -> Maybe String -> IntWithInf -> IntWithInf -> UnitId -> Maybe UnitId -> [(ModuleName, Module)] -> Maybe FilePath -> Maybe String -> Set ModuleName -> Set ModuleName -> Ways -> Maybe (String, Int) -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> String -> String -> String -> String -> String -> String -> Maybe String -> Maybe String -> Maybe String -> Maybe String -> DynLibLoader -> !Bool -> FilePath -> Maybe FilePath -> [Option] -> IncludeSpecs -> [String] -> [String] -> [String] -> Maybe String -> RtsOptsEnabled -> Bool -> String -> [ModuleName] -> [(ModuleName, String)] -> [String] -> [ExternalPluginSpec] -> FilePath -> Bool -> Bool -> [ModuleName] -> [String] -> [PackageDBFlag] -> [IgnorePackageFlag] -> [PackageFlag] -> [PackageFlag] -> [TrustFlag] -> Maybe FilePath -> EnumSet DumpFlag -> EnumSet GeneralFlag -> EnumSet WarningFlag -> EnumSet WarningFlag -> Maybe Language -> SafeHaskellMode -> Bool -> Bool -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> SrcSpan -> [OnOff Extension] -> EnumSet Extension -> !UnfoldingOpts -> Int -> Int -> FlushOut -> Maybe FilePath -> Maybe String -> [String] -> Int -> Int -> Bool -> OverridingBool -> Bool -> Scheme -> ProfAuto -> [CallerCcFilter] -> Maybe String -> Maybe SseVersion -> Maybe BmiVersion -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> IORef (Maybe LinkerInfo) -> IORef (Maybe CompilerInfo) -> IORef (Maybe CompilerInfo) -> Int -> Int -> Int -> Bool -> Maybe Int -> Word -> Int -> Weights -> DynFlags
- Internal.GhcFacade: Env :: !HscEnv -> !Char -> gbl -> lcl -> Env gbl lcl
+ Internal.GhcFacade: Env :: !HscEnv -> {-# UNPACK #-} !Char -> gbl -> lcl -> Env gbl lcl
- Internal.GhcFacade: EpaSpan :: !RealSrcSpan -> EpaLocation
+ Internal.GhcFacade: EpaSpan :: !RealSrcSpan -> !Maybe BufSpan -> EpaLocation
- Internal.GhcFacade: EvCsPushCall :: Name -> RealSrcSpan -> EvExpr -> EvCallStack
+ Internal.GhcFacade: EvCsPushCall :: FastString -> RealSrcSpan -> EvExpr -> EvCallStack
- Internal.GhcFacade: ExpBr :: XExpBr p -> LHsExpr p -> HsBracket p
+ Internal.GhcFacade: ExpBr :: XExpBr p -> LHsExpr p -> HsQuote p
- Internal.GhcFacade: ExplicitBraces :: LayoutInfo
+ Internal.GhcFacade: ExplicitBraces :: !LHsToken "{" pass -> !LHsToken "}" pass -> LayoutInfo pass
- Internal.GhcFacade: ExplicitSum :: XExplicitSum p -> ConTag -> Arity -> LHsExpr p -> HsExpr p
+ Internal.GhcFacade: ExplicitSum :: XExplicitSum p -> ConTag -> SumWidth -> LHsExpr p -> HsExpr p
- Internal.GhcFacade: ExtractedTHDocs :: Maybe HsDocString -> DeclDocMap -> ArgDocMap -> DeclDocMap -> ExtractedTHDocs
+ Internal.GhcFacade: ExtractedTHDocs :: Maybe (HsDoc GhcRn) -> UniqMap Name (HsDoc GhcRn) -> UniqMap Name (IntMap (HsDoc GhcRn)) -> UniqMap Name (HsDoc GhcRn) -> ExtractedTHDocs
- Internal.GhcFacade: FieldLabelStrings :: [Located (HsFieldLabel p)] -> FieldLabelStrings p
+ Internal.GhcFacade: FieldLabelStrings :: [XRec p (DotFieldOcc p)] -> FieldLabelStrings p
- Internal.GhcFacade: FieldOcc :: XCFieldOcc pass -> LocatedN RdrName -> FieldOcc pass
+ Internal.GhcFacade: FieldOcc :: XCFieldOcc pass -> XRec pass RdrName -> FieldOcc pass
- Internal.GhcFacade: ForeignExport :: XForeignExport pass -> LIdP pass -> LHsSigType pass -> ForeignExport -> ForeignDecl pass
+ Internal.GhcFacade: ForeignExport :: XForeignExport pass -> LIdP pass -> LHsSigType pass -> ForeignExport pass -> ForeignDecl pass
- Internal.GhcFacade: ForeignImport :: XForeignImport pass -> LIdP pass -> LHsSigType pass -> ForeignImport -> ForeignDecl pass
+ Internal.GhcFacade: ForeignImport :: XForeignImport pass -> LIdP pass -> LHsSigType pass -> ForeignImport pass -> ForeignDecl pass
- Internal.GhcFacade: FunBind :: XFunBind idL idR -> LIdP idL -> MatchGroup idR (LHsExpr idR) -> [CoreTickish] -> HsBindLR idL idR
+ Internal.GhcFacade: FunBind :: XFunBind idL idR -> LIdP idL -> MatchGroup idR (LHsExpr idR) -> HsBindLR idL idR
- Internal.GhcFacade: FunRhs :: LIdP p -> LexicalFixity -> SrcStrictness -> HsMatchContext p
+ Internal.GhcFacade: FunRhs :: LIdP (NoGhcTc p) -> LexicalFixity -> SrcStrictness -> HsMatchContext p
- Internal.GhcFacade: GhciStmtCtxt :: HsStmtContext p
+ Internal.GhcFacade: GhciStmtCtxt :: HsDoFlavour
- Internal.GhcFacade: Hole :: HoleSort -> OccName -> TcType -> CtLoc -> Hole
+ Internal.GhcFacade: Hole :: HoleSort -> RdrName -> TcType -> CtLoc -> Hole
- Internal.GhcFacade: HsAnnotation :: XHsAnnotation pass -> SourceText -> AnnProvenance pass -> XRec pass (HsExpr pass) -> AnnDecl pass
+ Internal.GhcFacade: HsAnnotation :: XHsAnnotation pass -> AnnProvenance pass -> XRec pass (HsExpr pass) -> AnnDecl pass
- Internal.GhcFacade: HsAppType :: XAppTypeE p -> LHsExpr p -> LHsWcType (NoGhcTc p) -> HsExpr p
+ Internal.GhcFacade: HsAppType :: XAppTypeE p -> LHsExpr p -> !LHsToken "@" p -> LHsWcType (NoGhcTc p) -> HsExpr p
- Internal.GhcFacade: HsBinTick :: XBinTick p -> Int -> Int -> LHsExpr p -> HsExpr p
+ Internal.GhcFacade: HsBinTick :: Int -> Int -> LHsExpr GhcTc -> XXExprGhcTc
- Internal.GhcFacade: HsCharTy :: SourceText -> Char -> HsTyLit
+ Internal.GhcFacade: HsCharTy :: XCharTy pass -> Char -> HsTyLit pass
- Internal.GhcFacade: HsCmdLamCase :: XCmdLamCase id -> MatchGroup id (LHsCmd id) -> HsCmd id
+ Internal.GhcFacade: HsCmdLamCase :: XCmdLamCase id -> LamCaseVariant -> MatchGroup id (LHsCmd id) -> HsCmd id
- Internal.GhcFacade: HsCmdLet :: XCmdLet id -> HsLocalBinds id -> LHsCmd id -> HsCmd id
+ Internal.GhcFacade: HsCmdLet :: XCmdLet id -> !LHsToken "let" id -> HsLocalBinds id -> !LHsToken "in" id -> LHsCmd id -> HsCmd id
- Internal.GhcFacade: HsCmdPar :: XCmdPar id -> LHsCmd id -> HsCmd id
+ Internal.GhcFacade: HsCmdPar :: XCmdPar id -> !LHsToken "(" id -> LHsCmd id -> !LHsToken ")" id -> HsCmd id
- Internal.GhcFacade: HsDataDefn :: XCHsDataDefn pass -> NewOrData -> Maybe (LHsContext pass) -> Maybe (XRec pass CType) -> Maybe (LHsKind pass) -> [LConDecl pass] -> HsDeriving pass -> HsDataDefn pass
+ Internal.GhcFacade: HsDataDefn :: XCHsDataDefn pass -> Maybe (LHsContext pass) -> Maybe (XRec pass CType) -> Maybe (LHsKind pass) -> DataDefnCons (LConDecl pass) -> HsDeriving pass -> HsDataDefn pass
- Internal.GhcFacade: HsDo :: XDo p -> HsStmtContext (HsDoRn p) -> XRec p [ExprLStmt p] -> HsExpr p
+ Internal.GhcFacade: HsDo :: XDo p -> HsDoFlavour -> XRec p [ExprLStmt p] -> HsExpr p
- Internal.GhcFacade: HsDocTy :: XDocTy pass -> LHsType pass -> LHsDocString -> HsType pass
+ Internal.GhcFacade: HsDocTy :: XDocTy pass -> LHsType pass -> LHsDoc pass -> HsType pass
- Internal.GhcFacade: HsExpanded :: a -> b -> HsExpansion a b
+ Internal.GhcFacade: HsExpanded :: orig -> expanded -> HsExpansion orig expanded
- Internal.GhcFacade: HsExplicitMult :: IsUnicodeSyntax -> Maybe AddEpAnn -> LHsType pass -> HsArrow pass
+ Internal.GhcFacade: HsExplicitMult :: !LHsToken "%" pass -> !LHsType pass -> !LHsUniToken "->" "\8594" pass -> HsArrow pass
- Internal.GhcFacade: HsGetField :: XGetField p -> LHsExpr p -> Located (HsFieldLabel p) -> HsExpr p
+ Internal.GhcFacade: HsGetField :: XGetField p -> LHsExpr p -> XRec p (DotFieldOcc p) -> HsExpr p
- Internal.GhcFacade: HsLamCase :: XLamCase p -> MatchGroup p (LHsExpr p) -> HsExpr p
+ Internal.GhcFacade: HsLamCase :: XLamCase p -> LamCaseVariant -> MatchGroup p (LHsExpr p) -> HsExpr p
- Internal.GhcFacade: HsLet :: XLet p -> HsLocalBinds p -> LHsExpr p -> HsExpr p
+ Internal.GhcFacade: HsLet :: XLet p -> !LHsToken "let" p -> HsLocalBinds p -> !LHsToken "in" p -> LHsExpr p -> HsExpr p
- Internal.GhcFacade: HsLinearArrow :: IsUnicodeSyntax -> Maybe AddEpAnn -> HsArrow pass
+ Internal.GhcFacade: HsLinearArrow :: !HsLinearArrowTokens pass -> HsArrow pass
- Internal.GhcFacade: HsModule :: EpAnn AnnsModule -> LayoutInfo -> Maybe (LocatedA ModuleName) -> Maybe (LocatedL [LIE GhcPs]) -> [LImportDecl GhcPs] -> [LHsDecl GhcPs] -> Maybe (LocatedP WarningTxt) -> Maybe LHsDocString -> HsModule
+ Internal.GhcFacade: HsModule :: XCModule p -> Maybe (XRec p ModuleName) -> Maybe (XRec p [LIE p]) -> [LImportDecl p] -> [LHsDecl p] -> HsModule p
- Internal.GhcFacade: HsNumTy :: SourceText -> Integer -> HsTyLit
+ Internal.GhcFacade: HsNumTy :: XNumTy pass -> Integer -> HsTyLit pass
- Internal.GhcFacade: HsOpTy :: XOpTy pass -> LHsType pass -> LIdP pass -> LHsType pass -> HsType pass
+ Internal.GhcFacade: HsOpTy :: XOpTy pass -> PromotionFlag -> LHsType pass -> LIdP pass -> LHsType pass -> HsType pass
- Internal.GhcFacade: HsOverLabel :: XOverLabel p -> FastString -> HsExpr p
+ Internal.GhcFacade: HsOverLabel :: XOverLabel p -> SourceText -> FastString -> HsExpr p
- Internal.GhcFacade: HsPar :: XPar p -> LHsExpr p -> HsExpr p
+ Internal.GhcFacade: HsPar :: XPar p -> !LHsToken "(" p -> LHsExpr p -> !LHsToken ")" p -> HsExpr p
- Internal.GhcFacade: HsParsedModule :: Located HsModule -> [FilePath] -> HsParsedModule
+ Internal.GhcFacade: HsParsedModule :: Located (HsModule GhcPs) -> [FilePath] -> HsParsedModule
- Internal.GhcFacade: HsPragSCC :: XSCC p -> SourceText -> StringLiteral -> HsPragE p
+ Internal.GhcFacade: HsPragSCC :: XSCC p -> StringLiteral -> HsPragE p
- Internal.GhcFacade: HsProjection :: XProjection p -> NonEmpty (Located (HsFieldLabel p)) -> HsExpr p
+ Internal.GhcFacade: HsProjection :: XProjection p -> NonEmpty (XRec p (DotFieldOcc p)) -> HsExpr p
- Internal.GhcFacade: HsQualTy :: XQualTy pass -> Maybe (LHsContext pass) -> LHsType pass -> HsType pass
+ Internal.GhcFacade: HsQualTy :: XQualTy pass -> LHsContext pass -> LHsType pass -> HsType pass
- Internal.GhcFacade: HsQuasiQuote :: XQuasiQuote id -> IdP id -> IdP id -> SrcSpan -> FastString -> HsSplice id
+ Internal.GhcFacade: HsQuasiQuote :: XQuasiQuote id -> IdP id -> XRec id FastString -> HsUntypedSplice id
- Internal.GhcFacade: HsRecFields :: [LHsRecField p arg] -> Maybe (Located Int) -> HsRecFields p arg
+ Internal.GhcFacade: HsRecFields :: [LHsRecField p arg] -> Maybe (XRec p RecFieldsDotDot) -> HsRecFields p arg
- Internal.GhcFacade: HsRule :: XHsRule pass -> XRec pass (SourceText, RuleName) -> Activation -> Maybe [LHsTyVarBndr () (NoGhcTc pass)] -> [LRuleBndr pass] -> XRec pass (HsExpr pass) -> XRec pass (HsExpr pass) -> RuleDecl pass
+ Internal.GhcFacade: HsRule :: XHsRule pass -> XRec pass RuleName -> Activation -> Maybe [LHsTyVarBndr () (NoGhcTc pass)] -> [LRuleBndr pass] -> XRec pass (HsExpr pass) -> XRec pass (HsExpr pass) -> RuleDecl pass
- Internal.GhcFacade: HsRules :: XCRuleDecls pass -> SourceText -> [LRuleDecl pass] -> RuleDecls pass
+ Internal.GhcFacade: HsRules :: XCRuleDecls pass -> [LRuleDecl pass] -> RuleDecls pass
- Internal.GhcFacade: HsSpliceTy :: XSpliceTy pass -> HsSplice pass -> HsType pass
+ Internal.GhcFacade: HsSpliceTy :: XSpliceTy pass -> HsUntypedSplice pass -> HsType pass
- Internal.GhcFacade: HsStrTy :: SourceText -> FastString -> HsTyLit
+ Internal.GhcFacade: HsStrTy :: XStrTy pass -> FastString -> HsTyLit pass
- Internal.GhcFacade: HsStrict :: HsImplBang
+ Internal.GhcFacade: HsStrict :: Bool -> HsImplBang
- Internal.GhcFacade: HsTick :: XTick p -> CoreTickish -> LHsExpr p -> HsExpr p
+ Internal.GhcFacade: HsTick :: CoreTickish -> LHsExpr GhcTc -> XXExprGhcTc
- Internal.GhcFacade: HsTyLit :: XTyLit pass -> HsTyLit -> HsType pass
+ Internal.GhcFacade: HsTyLit :: XTyLit pass -> HsTyLit pass -> HsType pass
- Internal.GhcFacade: HsTypedSplice :: XTypedSplice id -> SpliceDecoration -> IdP id -> LHsExpr id -> HsSplice id
+ Internal.GhcFacade: HsTypedSplice :: XTypedSplice p -> LHsExpr p -> HsExpr p
- Internal.GhcFacade: HsUnboundVar :: XUnboundVar p -> OccName -> HsExpr p
+ Internal.GhcFacade: HsUnboundVar :: XUnboundVar p -> RdrName -> HsExpr p
- Internal.GhcFacade: HsUnrestrictedArrow :: IsUnicodeSyntax -> HsArrow pass
+ Internal.GhcFacade: HsUnrestrictedArrow :: !LHsUniToken "->" "\8594" pass -> HsArrow pass
- Internal.GhcFacade: HsUntypedSplice :: XUntypedSplice id -> SpliceDecoration -> IdP id -> LHsExpr id -> HsSplice id
+ Internal.GhcFacade: HsUntypedSplice :: XUntypedSplice p -> HsUntypedSplice p -> HsExpr p
- Internal.GhcFacade: Hsc :: (HscEnv -> WarningMessages -> IO (a, WarningMessages)) -> Hsc a
+ Internal.GhcFacade: Hsc :: (HscEnv -> Messages GhcMessage -> IO (a, Messages GhcMessage)) -> Hsc a
- Internal.GhcFacade: HscEnv :: DynFlags -> [Target] -> ModuleGraph -> InteractiveContext -> HomePackageTable -> {-# UNPACK #-} !IORef ExternalPackageState -> {-# UNPACK #-} !IORef NameCache -> {-# UNPACK #-} !IORef FinderCache -> Maybe (Module, IORef TypeEnv) -> Maybe Interp -> ![LoadedPlugin] -> ![StaticPlugin] -> !Maybe [UnitDatabase UnitId] -> UnitEnv -> !Logger -> !Hooks -> !TmpFs -> HscEnv
+ Internal.GhcFacade: HscEnv :: DynFlags -> [Target] -> ModuleGraph -> InteractiveContext -> {-# UNPACK #-} !NameCache -> {-# UNPACK #-} !FinderCache -> KnotVars (IORef TypeEnv) -> Maybe Interp -> !Plugins -> UnitEnv -> !Logger -> !Hooks -> !TmpFs -> !LlvmConfigCache -> HscEnv
- Internal.GhcFacade: IEDoc :: XIEDoc pass -> HsDocString -> IE pass
+ Internal.GhcFacade: IEDoc :: XIEDoc pass -> LHsDoc pass -> IE pass
- Internal.GhcFacade: IEGroup :: XIEGroup pass -> Int -> HsDocString -> IE pass
+ Internal.GhcFacade: IEGroup :: XIEGroup pass -> Int -> LHsDoc pass -> IE pass
- Internal.GhcFacade: IEName :: LocatedN name -> IEWrappedName name
+ Internal.GhcFacade: IEName :: XIEName p -> LIdP p -> IEWrappedName p
- Internal.GhcFacade: IEPattern :: EpaLocation -> LocatedN name -> IEWrappedName name
+ Internal.GhcFacade: IEPattern :: XIEPattern p -> LIdP p -> IEWrappedName p
- Internal.GhcFacade: IEThingAbs :: XIEThingAbs pass -> LIEWrappedName (IdP pass) -> IE pass
+ Internal.GhcFacade: IEThingAbs :: XIEThingAbs pass -> LIEWrappedName pass -> IE pass
- Internal.GhcFacade: IEThingAll :: XIEThingAll pass -> LIEWrappedName (IdP pass) -> IE pass
+ Internal.GhcFacade: IEThingAll :: XIEThingAll pass -> LIEWrappedName pass -> IE pass
- Internal.GhcFacade: IEThingWith :: XIEThingWith pass -> LIEWrappedName (IdP pass) -> IEWildcard -> [LIEWrappedName (IdP pass)] -> IE pass
+ Internal.GhcFacade: IEThingWith :: XIEThingWith pass -> LIEWrappedName pass -> IEWildcard -> [LIEWrappedName pass] -> IE pass
- Internal.GhcFacade: IEType :: EpaLocation -> LocatedN name -> IEWrappedName name
+ Internal.GhcFacade: IEType :: XIEType p -> LIdP p -> IEWrappedName p
- Internal.GhcFacade: IEVar :: XIEVar pass -> LIEWrappedName (IdP pass) -> IE pass
+ Internal.GhcFacade: IEVar :: XIEVar pass -> LIEWrappedName pass -> IE pass
- Internal.GhcFacade: IPBind :: XCIPBind id -> Either (XRec id HsIPName) (IdP id) -> LHsExpr id -> IPBind id
+ Internal.GhcFacade: IPBind :: XCIPBind id -> XRec id HsIPName -> LHsExpr id -> IPBind id
- Internal.GhcFacade: IdSig :: XIdSig pass -> Id -> Sig pass
+ Internal.GhcFacade: IdSig :: Id -> IdSig
- Internal.GhcFacade: IfGblEnv :: SDoc -> Maybe (Module, IfG TypeEnv) -> IfGblEnv
+ Internal.GhcFacade: IfGblEnv :: SDoc -> KnotVars (IfG TypeEnv) -> IfGblEnv
- Internal.GhcFacade: IfLclEnv :: Module -> IsBootInterface -> SDoc -> Maybe NameShape -> Maybe TypeEnv -> FastStringEnv TyVar -> FastStringEnv Id -> IfLclEnv
+ Internal.GhcFacade: IfLclEnv :: !Module -> IsBootInterface -> SDoc -> Maybe NameShape -> Maybe TypeEnv -> FastStringEnv TyVar -> FastStringEnv Id -> IfLclEnv
- Internal.GhcFacade: Implic :: TcLevel -> [TcTyVar] -> SkolemInfo -> [EvVar] -> HasGivenEqs -> Bool -> TcLclEnv -> WantedConstraints -> EvBindsVar -> VarSet -> VarSet -> ImplicStatus -> Implication
+ Internal.GhcFacade: Implic :: TcLevel -> SkolemInfoAnon -> [TcTyVar] -> [EvVar] -> HasGivenEqs -> Bool -> TcLclEnv -> WantedConstraints -> EvBindsVar -> VarSet -> VarSet -> ImplicStatus -> Implication
- Internal.GhcFacade: ImportAvails :: ImportedMods -> ModuleNameEnv ModuleNameWithIsBoot -> Set UnitId -> Set UnitId -> Bool -> [Module] -> [Module] -> ImportAvails
+ Internal.GhcFacade: ImportAvails :: ImportedMods -> InstalledModuleEnv ModuleNameWithIsBoot -> Set UnitId -> Bool -> Set UnitId -> InstalledModuleEnv ModuleNameWithIsBoot -> [ModuleName] -> [Module] -> [Module] -> ImportAvails
- Internal.GhcFacade: ImportDecl :: XCImportDecl pass -> SourceText -> XRec pass ModuleName -> Maybe StringLiteral -> IsBootInterface -> Bool -> ImportDeclQualifiedStyle -> Bool -> Maybe (XRec pass ModuleName) -> Maybe (Bool, XRec pass [LIE pass]) -> ImportDecl pass
+ Internal.GhcFacade: ImportDecl :: XCImportDecl pass -> XRec pass ModuleName -> ImportDeclPkgQual pass -> IsBootInterface -> Bool -> ImportDeclQualifiedStyle -> Maybe (XRec pass ModuleName) -> Maybe (ImportListInterpretation, XRec pass [LIE pass]) -> ImportDecl pass
- Internal.GhcFacade: IsValid :: Validity
+ Internal.GhcFacade: IsValid :: Validity' a
- Internal.GhcFacade: ListComp :: HsStmtContext p
+ Internal.GhcFacade: ListComp :: HsDoFlavour
- Internal.GhcFacade: LoadDependenciesOf :: ModuleName -> LoadHowMuch
+ Internal.GhcFacade: LoadDependenciesOf :: HomeUnitModule -> LoadHowMuch
- Internal.GhcFacade: LoadUpTo :: ModuleName -> LoadHowMuch
+ Internal.GhcFacade: LoadUpTo :: HomeUnitModule -> LoadHowMuch
- Internal.GhcFacade: MDoExpr :: Maybe ModuleName -> HsStmtContext p
+ Internal.GhcFacade: MDoExpr :: Maybe ModuleName -> HsDoFlavour
- Internal.GhcFacade: MG :: XMG p body -> XRec p [LMatch p body] -> Origin -> MatchGroup p body
+ Internal.GhcFacade: MG :: XMG p body -> XRec p [LMatch p body] -> MatchGroup p body
- Internal.GhcFacade: Match :: XCMatch p body -> HsMatchContext (NoGhcTc p) -> [LPat p] -> GRHSs p body -> Match p body
+ Internal.GhcFacade: Match :: XCMatch p body -> HsMatchContext p -> [LPat p] -> GRHSs p body -> Match p body
- Internal.GhcFacade: MatchGroupTc :: [Scaled Type] -> Type -> MatchGroupTc
+ Internal.GhcFacade: MatchGroupTc :: [Scaled Type] -> Type -> Origin -> MatchGroupTc
- Internal.GhcFacade: MinimalSig :: XMinimalSig pass -> SourceText -> LBooleanFormula (LIdP pass) -> Sig pass
+ Internal.GhcFacade: MinimalSig :: XMinimalSig pass -> LBooleanFormula (LIdP pass) -> Sig pass
- Internal.GhcFacade: ModIface :: !Module -> !Maybe Module -> !HscSource -> Dependencies -> [Usage] -> ![IfaceExport] -> !Bool -> [(OccName, Fixity)] -> Warnings -> [IfaceAnnotation] -> [IfaceDeclExts phase] -> !Maybe GlobalRdrEnv -> [IfaceClsInst] -> [IfaceFamInst] -> [IfaceRule] -> !AnyHpcUsage -> !IfaceTrustInfo -> !Bool -> [IfaceCompleteMatch] -> Maybe HsDocString -> DeclDocMap -> ArgDocMap -> !IfaceBackendExts phase -> ExtensibleFields -> ModIface_ (phase :: ModIfacePhase)
+ Internal.GhcFacade: ModIface :: !Module -> !Maybe Module -> !HscSource -> Dependencies -> [Usage] -> ![IfaceExport] -> !Bool -> [(OccName, Fixity)] -> Warnings GhcRn -> [IfaceAnnotation] -> [IfaceDeclExts phase] -> Maybe [IfaceBindingX IfaceMaybeRhs IfaceTopBndrInfo] -> !Maybe GlobalRdrEnv -> [IfaceClsInst] -> [IfaceFamInst] -> [IfaceRule] -> !AnyHpcUsage -> !IfaceTrustInfo -> !Bool -> ![IfaceCompleteMatch] -> !Maybe Docs -> !IfaceBackendExts phase -> !ExtensibleFields -> !Fingerprint -> ModIface_ (phase :: ModIfacePhase)
- Internal.GhcFacade: ModLocation :: Maybe FilePath -> FilePath -> FilePath -> FilePath -> ModLocation
+ Internal.GhcFacade: ModLocation :: Maybe FilePath -> FilePath -> FilePath -> FilePath -> FilePath -> FilePath -> ModLocation
- Internal.GhcFacade: ModSummary :: Module -> HscSource -> ModLocation -> UTCTime -> Maybe UTCTime -> Maybe UTCTime -> Maybe UTCTime -> [(Maybe FastString, Located ModuleName)] -> [(Maybe FastString, Located ModuleName)] -> Maybe HsParsedModule -> FilePath -> DynFlags -> Maybe StringBuffer -> ModSummary
+ Internal.GhcFacade: ModSummary :: Module -> HscSource -> ModLocation -> Fingerprint -> Maybe UTCTime -> !Maybe UTCTime -> Maybe UTCTime -> Maybe UTCTime -> [(PkgQual, Located ModuleName)] -> [(PkgQual, Located ModuleName)] -> !Bool -> Maybe HsParsedModule -> FilePath -> DynFlags -> Maybe StringBuffer -> ModSummary
- Internal.GhcFacade: MonadComp :: HsStmtContext p
+ Internal.GhcFacade: MonadComp :: HsDoFlavour
- Internal.GhcFacade: MsgEnvelope :: SrcSpan -> PrintUnqualified -> e -> Severity -> WarnReason -> MsgEnvelope e
+ Internal.GhcFacade: MsgEnvelope :: SrcSpan -> NamePprCtx -> e -> Severity -> MsgEnvelope e
- Internal.GhcFacade: NoLayoutInfo :: LayoutInfo
+ Internal.GhcFacade: NoLayoutInfo :: LayoutInfo pass
- Internal.GhcFacade: NotValid :: SDoc -> Validity
+ Internal.GhcFacade: NotValid :: a -> Validity' a
- Internal.GhcFacade: OverLit :: XOverLit p -> OverLitVal -> HsExpr p -> HsOverLit p
+ Internal.GhcFacade: OverLit :: XOverLit p -> OverLitVal -> HsOverLit p
- Internal.GhcFacade: OverLitTc :: Bool -> Type -> OverLitTc
+ Internal.GhcFacade: OverLitTc :: Bool -> HsExpr GhcTc -> Type -> OverLitTc
- Internal.GhcFacade: ParPat :: XParPat p -> LPat p -> Pat p
+ Internal.GhcFacade: ParPat :: XParPat p -> !LHsToken "(" p -> LPat p -> !LHsToken ")" p -> Pat p
- Internal.GhcFacade: PatBind :: XPatBind idL idR -> LPat idL -> GRHSs idR (LHsExpr idR) -> ([CoreTickish], [[CoreTickish]]) -> HsBindLR idL idR
+ Internal.GhcFacade: PatBind :: XPatBind idL idR -> LPat idL -> GRHSs idR (LHsExpr idR) -> HsBindLR idL idR
- Internal.GhcFacade: PatBr :: XPatBr p -> LPat p -> HsBracket p
+ Internal.GhcFacade: PatBr :: XPatBr p -> LPat p -> HsQuote p
- Internal.GhcFacade: Plugin :: CorePlugin -> TcPlugin -> HoleFitPlugin -> ([CommandLineOption] -> HscEnv -> IO HscEnv) -> ([CommandLineOption] -> IO PluginRecompile) -> ([CommandLineOption] -> ModSummary -> HsParsedModule -> Hsc HsParsedModule) -> ([CommandLineOption] -> TcGblEnv -> HsGroup GhcRn -> TcM (TcGblEnv, HsGroup GhcRn)) -> ([CommandLineOption] -> ModSummary -> TcGblEnv -> TcM TcGblEnv) -> ([CommandLineOption] -> LHsExpr GhcTc -> TcM (LHsExpr GhcTc)) -> (forall lcl. () => [CommandLineOption] -> ModIface -> IfM lcl ModIface) -> Plugin
+ Internal.GhcFacade: Plugin :: CorePlugin -> TcPlugin -> DefaultingPlugin -> HoleFitPlugin -> ([CommandLineOption] -> HscEnv -> IO HscEnv) -> ([CommandLineOption] -> IO PluginRecompile) -> ([CommandLineOption] -> ModSummary -> ParsedResult -> Hsc ParsedResult) -> ([CommandLineOption] -> TcGblEnv -> HsGroup GhcRn -> TcM (TcGblEnv, HsGroup GhcRn)) -> ([CommandLineOption] -> ModSummary -> TcGblEnv -> TcM TcGblEnv) -> ([CommandLineOption] -> LHsExpr GhcTc -> TcM (LHsExpr GhcTc)) -> (forall lcl. () => [CommandLineOption] -> ModIface -> IfM lcl ModIface) -> Plugin
- Internal.GhcFacade: PprCode :: LabelStyle -> PprStyle
+ Internal.GhcFacade: PprCode :: PprStyle
- Internal.GhcFacade: PprDump :: PrintUnqualified -> PprStyle
+ Internal.GhcFacade: PprDump :: NamePprCtx -> PprStyle
- Internal.GhcFacade: PprUser :: PrintUnqualified -> Depth -> Coloured -> PprStyle
+ Internal.GhcFacade: PprUser :: NamePprCtx -> Depth -> Coloured -> PprStyle
- Internal.GhcFacade: QueryQualify :: QueryQualifyName -> QueryQualifyModule -> QueryQualifyPackage -> PrintUnqualified
+ Internal.GhcFacade: QueryQualify :: QueryQualifyName -> QueryQualifyModule -> QueryQualifyPackage -> QueryPromotionTick -> NamePprCtx
- Internal.GhcFacade: RecConGADT :: XRec pass [LConDeclField pass] -> HsConDeclGADTDetails pass
+ Internal.GhcFacade: RecConGADT :: XRec pass [LConDeclField pass] -> LHsUniToken "->" "\8594" pass -> HsConDeclGADTDetails pass
- Internal.GhcFacade: Resume :: String -> ForeignRef (ResumeContext [HValueRef]) -> ([TyThing], GlobalRdrEnv) -> [Id] -> ForeignHValue -> Maybe BreakInfo -> SrcSpan -> String -> RemotePtr CostCentreStack -> [History] -> Int -> Resume
+ Internal.GhcFacade: Resume :: String -> ForeignRef (ResumeContext [HValueRef]) -> ResumeBindings -> [Id] -> ForeignHValue -> Maybe BreakInfo -> SrcSpan -> String -> RemotePtr CostCentreStack -> [History] -> Int -> Resume
- Internal.GhcFacade: SCCFunSig :: XSCCFunSig pass -> SourceText -> LIdP pass -> Maybe (XRec pass StringLiteral) -> Sig pass
+ Internal.GhcFacade: SCCFunSig :: XSCCFunSig pass -> LIdP pass -> Maybe (XRec pass StringLiteral) -> Sig pass
- Internal.GhcFacade: SDC :: !PprStyle -> !Scheme -> !PprColour -> !Bool -> !Int -> !Int -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !FastString -> SDoc -> SDocContext
+ Internal.GhcFacade: SDC :: !PprStyle -> !Scheme -> !PprColour -> !Bool -> !Int -> !Int -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !Bool -> !FastString -> SDoc -> SDocContext
- Internal.GhcFacade: SpecInstSig :: XSpecInstSig pass -> SourceText -> LHsSigType pass -> Sig pass
+ Internal.GhcFacade: SpecInstSig :: XSpecInstSig pass -> LHsSigType pass -> Sig pass
- Internal.GhcFacade: SpliceDecl :: XSpliceDecl p -> XRec p (HsSplice p) -> SpliceExplicitFlag -> SpliceDecl p
+ Internal.GhcFacade: SpliceDecl :: XSpliceDecl p -> XRec p (HsUntypedSplice p) -> SpliceDecoration -> SpliceDecl p
- Internal.GhcFacade: SplicePat :: XSplicePat p -> HsSplice p -> Pat p
+ Internal.GhcFacade: SplicePat :: XSplicePat p -> HsUntypedSplice p -> Pat p
- Internal.GhcFacade: SumPat :: XSumPat p -> LPat p -> ConTag -> Arity -> Pat p
+ Internal.GhcFacade: SumPat :: XSumPat p -> LPat p -> ConTag -> SumWidth -> Pat p
- Internal.GhcFacade: Target :: !TargetId -> !Bool -> !Maybe (InputFileBuffer, UTCTime) -> Target
+ Internal.GhcFacade: Target :: !TargetId -> !Bool -> !UnitId -> !Maybe (InputFileBuffer, UTCTime) -> Target
- Internal.GhcFacade: TcGblEnv :: Module -> Module -> HscSource -> GlobalRdrEnv -> Maybe [Type] -> FixityEnv -> RecFieldEnv -> TypeEnv -> TcRef TypeEnv -> !InstEnv -> !FamInstEnv -> AnnEnv -> [AvailInfo] -> ImportAvails -> DefUses -> TcRef [GlobalRdrElt] -> TcRef NameSet -> TcRef Bool -> TcRef Bool -> TcRef OccSet -> [(Module, Fingerprint)] -> Maybe [(LIE GhcRn, Avails)] -> [LImportDecl GhcRn] -> Maybe (HsGroup GhcRn) -> TcRef [FilePath] -> TcRef [LHsDecl GhcPs] -> TcRef [(ForeignSrcLang, FilePath)] -> TcRef NameSet -> TcRef [(TcLclEnv, ThModFinalizers)] -> TcRef [String] -> TcRef (Map TypeRep Dynamic) -> TcRef (Maybe (ForeignRef (IORef QState))) -> TcRef THDocs -> Bag EvBind -> Maybe Id -> LHsBinds GhcTc -> NameSet -> [LTcSpecPrag] -> Warnings -> [Annotation] -> [TyCon] -> NameSet -> [ClsInst] -> [FamInst] -> [LRuleDecl GhcTc] -> [LForeignDecl GhcTc] -> [PatSyn] -> Maybe LHsDocString -> !AnyHpcUsage -> SelfBootInfo -> Maybe Name -> TcRef (Bool, WarningMessages) -> [TcPluginSolver] -> [HoleFitPlugin] -> RealSrcSpan -> TcRef WantedConstraints -> !CompleteMatches -> TcRef CostCentreState -> TcGblEnv
+ Internal.GhcFacade: TcGblEnv :: Module -> Module -> HscSource -> GlobalRdrEnv -> Maybe [Type] -> FixityEnv -> RecFieldEnv -> TypeEnv -> KnotVars (IORef TypeEnv) -> !InstEnv -> !FamInstEnv -> AnnEnv -> [AvailInfo] -> ImportAvails -> DefUses -> TcRef [GlobalRdrElt] -> TcRef NameSet -> TcRef Bool -> TcRef Bool -> TcRef ([Linkable], PkgsLoaded) -> TcRef OccSet -> [(Module, Fingerprint)] -> Maybe [(LIE GhcRn, Avails)] -> [LImportDecl GhcRn] -> Maybe (HsGroup GhcRn) -> TcRef [FilePath] -> TcRef [LHsDecl GhcPs] -> TcRef [(ForeignSrcLang, FilePath)] -> TcRef NameSet -> TcRef [(TcLclEnv, ThModFinalizers)] -> TcRef [String] -> TcRef (Map TypeRep Dynamic) -> TcRef (Maybe (ForeignRef (IORef QState))) -> TcRef THDocs -> Bag EvBind -> Maybe Id -> LHsBinds GhcTc -> NameSet -> [LTcSpecPrag] -> Warnings GhcRn -> [Annotation] -> [TyCon] -> NameSet -> [ClsInst] -> [FamInst] -> [LRuleDecl GhcTc] -> [LForeignDecl GhcTc] -> [PatSyn] -> Maybe (LHsDoc GhcRn) -> !AnyHpcUsage -> SelfBootInfo -> Maybe Name -> TcRef Bool -> TcRef (Messages TcRnMessage) -> [TcPluginSolver] -> UniqFM TyCon [TcPluginRewriter] -> [FillDefaulting] -> [HoleFitPlugin] -> RealSrcSpan -> TcRef WantedConstraints -> !CompleteMatches -> TcRef CostCentreState -> TcRef (ModuleEnv Int) -> TcGblEnv
- Internal.GhcFacade: TcLclEnv :: RealSrcSpan -> [ErrCtxt] -> Bool -> TcLevel -> ThStage -> ThBindEnv -> ArrowCtxt -> LocalRdrEnv -> TcTypeEnv -> TcRef UsageEnv -> TcBinderStack -> TcRef WantedConstraints -> TcRef (Messages DecoratedSDoc) -> TcLclEnv
+ Internal.GhcFacade: TcLclEnv :: RealSrcSpan -> [ErrCtxt] -> Bool -> TcLevel -> ThStage -> ThBindEnv -> ArrowCtxt -> LocalRdrEnv -> TcTypeEnv -> TcRef UsageEnv -> TcBinderStack -> TcRef WantedConstraints -> TcRef (Messages TcRnMessage) -> TcLclEnv
- Internal.GhcFacade: TcPlugin :: TcPluginM s -> (s -> TcPluginSolver) -> (s -> TcPluginM ()) -> TcPlugin
+ Internal.GhcFacade: TcPlugin :: TcPluginM s -> (s -> TcPluginSolver) -> (s -> UniqFM TyCon TcPluginRewriter) -> (s -> TcPluginM ()) -> TcPlugin
- Internal.GhcFacade: TypBr :: XTypBr p -> LHsType p -> HsBracket p
+ Internal.GhcFacade: TypBr :: XTypBr p -> LHsType p -> HsQuote p
- Internal.GhcFacade: Unambiguous :: XUnambiguous pass -> LocatedN RdrName -> AmbiguousFieldOcc pass
+ Internal.GhcFacade: Unambiguous :: XUnambiguous pass -> XRec pass RdrName -> AmbiguousFieldOcc pass
- Internal.GhcFacade: UnhelpfulLoc :: FastString -> SrcLoc
+ Internal.GhcFacade: UnhelpfulLoc :: !FastString -> SrcLoc
- Internal.GhcFacade: VarBr :: XVarBr p -> Bool -> LIdP p -> HsBracket p
+ Internal.GhcFacade: VarBr :: XVarBr p -> Bool -> LIdP p -> HsQuote p
- Internal.GhcFacade: VirtualBraces :: !Int -> LayoutInfo
+ Internal.GhcFacade: VirtualBraces :: !Int -> LayoutInfo pass
- Internal.GhcFacade: WC :: Cts -> Bag Implication -> Bag Hole -> WantedConstraints
+ Internal.GhcFacade: WC :: Cts -> Bag Implication -> Bag DelayedError -> WantedConstraints
- Internal.GhcFacade: Wanted :: ShadowInfo -> CtFlavour
+ Internal.GhcFacade: Wanted :: CtFlavour
- Internal.GhcFacade: Warning :: XWarning pass -> [LIdP pass] -> WarningTxt -> WarnDecl pass
+ Internal.GhcFacade: Warning :: XWarning pass -> [LIdP pass] -> WarningTxt pass -> WarnDecl pass
- Internal.GhcFacade: Warnings :: XWarnings pass -> SourceText -> [LWarnDecl pass] -> WarnDecls pass
+ Internal.GhcFacade: Warnings :: XWarnings pass -> [LWarnDecl pass] -> WarnDecls pass
- Internal.GhcFacade: WpFun :: HsWrapper -> HsWrapper -> Scaled TcType -> SDoc -> HsWrapper
+ Internal.GhcFacade: WpFun :: HsWrapper -> HsWrapper -> Scaled TcTypeFRR -> HsWrapper
- Internal.GhcFacade: [abe_mono] :: ABExport p -> IdP p
+ Internal.GhcFacade: [abe_mono] :: ABExport -> Id
- Internal.GhcFacade: [abe_poly] :: ABExport p -> IdP p
+ Internal.GhcFacade: [abe_poly] :: ABExport -> Id
- Internal.GhcFacade: [abe_prags] :: ABExport p -> TcSpecPrags
+ Internal.GhcFacade: [abe_prags] :: ABExport -> TcSpecPrags
- Internal.GhcFacade: [abe_wrap] :: ABExport p -> HsWrapper
+ Internal.GhcFacade: [abe_wrap] :: ABExport -> HsWrapper
- Internal.GhcFacade: [abs_binds] :: HsBindLR idL idR -> LHsBinds idL
+ Internal.GhcFacade: [abs_binds] :: AbsBinds -> LHsBinds GhcTc
- Internal.GhcFacade: [abs_ev_binds] :: HsBindLR idL idR -> [TcEvBinds]
+ Internal.GhcFacade: [abs_ev_binds] :: AbsBinds -> [TcEvBinds]
- Internal.GhcFacade: [abs_ev_vars] :: HsBindLR idL idR -> [EvVar]
+ Internal.GhcFacade: [abs_ev_vars] :: AbsBinds -> [EvVar]
- Internal.GhcFacade: [abs_exports] :: HsBindLR idL idR -> [ABExport idL]
+ Internal.GhcFacade: [abs_exports] :: AbsBinds -> [ABExport]
- Internal.GhcFacade: [abs_sig] :: HsBindLR idL idR -> Bool
+ Internal.GhcFacade: [abs_sig] :: AbsBinds -> Bool
- Internal.GhcFacade: [abs_tvs] :: HsBindLR idL idR -> [TyVar]
+ Internal.GhcFacade: [abs_tvs] :: AbsBinds -> [TyVar]
- Internal.GhcFacade: [binBlobThreshold] :: DynFlags -> Word
+ Internal.GhcFacade: [binBlobThreshold] :: DynFlags -> Maybe Word
- Internal.GhcFacade: [cd_fld_doc] :: ConDeclField pass -> Maybe LHsDocString
+ Internal.GhcFacade: [cd_fld_doc] :: ConDeclField pass -> Maybe (LHsDoc pass)
- Internal.GhcFacade: [co_cpt_wrap] :: CoPat -> HsWrapper
+ Internal.GhcFacade: [co_cpt_wrap] :: XXPatGhcTc -> HsWrapper
- Internal.GhcFacade: [co_pat_inner] :: CoPat -> Pat GhcTc
+ Internal.GhcFacade: [co_pat_inner] :: XXPatGhcTc -> Pat GhcTc
- Internal.GhcFacade: [co_pat_ty] :: CoPat -> Type
+ Internal.GhcFacade: [co_pat_ty] :: XXPatGhcTc -> Type
- Internal.GhcFacade: [con_doc] :: ConDecl pass -> Maybe LHsDocString
+ Internal.GhcFacade: [con_doc] :: ConDecl pass -> Maybe (LHsDoc pass)
- Internal.GhcFacade: [con_names] :: ConDecl pass -> [LIdP pass]
+ Internal.GhcFacade: [con_names] :: ConDecl pass -> NonEmpty (LIdP pass)
- Internal.GhcFacade: [dd_cons] :: HsDataDefn pass -> [LConDecl pass]
+ Internal.GhcFacade: [dd_cons] :: HsDataDefn pass -> DataDefnCons (LConDecl pass)
- Internal.GhcFacade: [dumpPrefix] :: DynFlags -> Maybe FilePath
+ Internal.GhcFacade: [dumpPrefix] :: DynFlags -> FilePath
- Internal.GhcFacade: [env_um] :: Env gbl lcl -> !Char
+ Internal.GhcFacade: [env_um] :: Env gbl lcl -> {-# UNPACK #-} !Char
- Internal.GhcFacade: [errMsgContext] :: MsgEnvelope e -> PrintUnqualified
+ Internal.GhcFacade: [errMsgContext] :: MsgEnvelope e -> NamePprCtx
- Internal.GhcFacade: [ethd_arg_docs] :: ExtractedTHDocs -> ArgDocMap
+ Internal.GhcFacade: [ethd_arg_docs] :: ExtractedTHDocs -> UniqMap Name (IntMap (HsDoc GhcRn))
- Internal.GhcFacade: [ethd_decl_docs] :: ExtractedTHDocs -> DeclDocMap
+ Internal.GhcFacade: [ethd_decl_docs] :: ExtractedTHDocs -> UniqMap Name (HsDoc GhcRn)
- Internal.GhcFacade: [ethd_inst_docs] :: ExtractedTHDocs -> DeclDocMap
+ Internal.GhcFacade: [ethd_inst_docs] :: ExtractedTHDocs -> UniqMap Name (HsDoc GhcRn)
- Internal.GhcFacade: [ethd_mod_header] :: ExtractedTHDocs -> Maybe HsDocString
+ Internal.GhcFacade: [ethd_mod_header] :: ExtractedTHDocs -> Maybe (HsDoc GhcRn)
- Internal.GhcFacade: [fd_fe] :: ForeignDecl pass -> ForeignExport
+ Internal.GhcFacade: [fd_fe] :: ForeignDecl pass -> ForeignExport pass
- Internal.GhcFacade: [fd_fi] :: ForeignDecl pass -> ForeignImport
+ Internal.GhcFacade: [fd_fi] :: ForeignDecl pass -> ForeignImport pass
- Internal.GhcFacade: [gf_field] :: HsExpr p -> Located (HsFieldLabel p)
+ Internal.GhcFacade: [gf_field] :: HsExpr p -> XRec p (DotFieldOcc p)
- Internal.GhcFacade: [hole_occ] :: Hole -> OccName
+ Internal.GhcFacade: [hole_occ] :: Hole -> RdrName
- Internal.GhcFacade: [hpm_module] :: HsParsedModule -> Located HsModule
+ Internal.GhcFacade: [hpm_module] :: HsParsedModule -> Located (HsModule GhcPs)
- Internal.GhcFacade: [hsc_FC] :: HscEnv -> {-# UNPACK #-} !IORef FinderCache
+ Internal.GhcFacade: [hsc_FC] :: HscEnv -> {-# UNPACK #-} !FinderCache
- Internal.GhcFacade: [hsc_NC] :: HscEnv -> {-# UNPACK #-} !IORef NameCache
+ Internal.GhcFacade: [hsc_NC] :: HscEnv -> {-# UNPACK #-} !NameCache
- Internal.GhcFacade: [hsc_plugins] :: HscEnv -> ![LoadedPlugin]
+ Internal.GhcFacade: [hsc_plugins] :: HscEnv -> !Plugins
- Internal.GhcFacade: [hsmodAnn] :: HsModule -> EpAnn AnnsModule
+ Internal.GhcFacade: [hsmodAnn] :: XModulePs -> EpAnn AnnsModule
- Internal.GhcFacade: [hsmodDecls] :: HsModule -> [LHsDecl GhcPs]
+ Internal.GhcFacade: [hsmodDecls] :: HsModule p -> [LHsDecl p]
- Internal.GhcFacade: [hsmodDeprecMessage] :: HsModule -> Maybe (LocatedP WarningTxt)
+ Internal.GhcFacade: [hsmodDeprecMessage] :: XModulePs -> Maybe (LocatedP (WarningTxt GhcPs))
- Internal.GhcFacade: [hsmodExports] :: HsModule -> Maybe (LocatedL [LIE GhcPs])
+ Internal.GhcFacade: [hsmodExports] :: HsModule p -> Maybe (XRec p [LIE p])
- Internal.GhcFacade: [hsmodHaddockModHeader] :: HsModule -> Maybe LHsDocString
+ Internal.GhcFacade: [hsmodHaddockModHeader] :: XModulePs -> Maybe (LHsDoc GhcPs)
- Internal.GhcFacade: [hsmodImports] :: HsModule -> [LImportDecl GhcPs]
+ Internal.GhcFacade: [hsmodImports] :: HsModule p -> [LImportDecl p]
- Internal.GhcFacade: [hsmodLayout] :: HsModule -> LayoutInfo
+ Internal.GhcFacade: [hsmodLayout] :: XModulePs -> LayoutInfo GhcPs
- Internal.GhcFacade: [hsmodName] :: HsModule -> Maybe (LocatedA ModuleName)
+ Internal.GhcFacade: [hsmodName] :: HsModule p -> Maybe (XRec p ModuleName)
- Internal.GhcFacade: [hst_ctxt] :: HsType pass -> Maybe (LHsContext pass)
+ Internal.GhcFacade: [hst_ctxt] :: HsType pass -> LHsContext pass
- Internal.GhcFacade: [ic_info] :: Implication -> SkolemInfo
+ Internal.GhcFacade: [ic_info] :: Implication -> SkolemInfoAnon
- Internal.GhcFacade: [ideclImplicit] :: ImportDecl pass -> Bool
+ Internal.GhcFacade: [ideclImplicit] :: XImportDeclPass -> Bool
- Internal.GhcFacade: [ideclPkgQual] :: ImportDecl pass -> Maybe StringLiteral
+ Internal.GhcFacade: [ideclPkgQual] :: ImportDecl pass -> ImportDeclPkgQual pass
- Internal.GhcFacade: [if_mod] :: IfLclEnv -> Module
+ Internal.GhcFacade: [if_mod] :: IfLclEnv -> !Module
- Internal.GhcFacade: [if_rec_types] :: IfGblEnv -> Maybe (Module, IfG TypeEnv)
+ Internal.GhcFacade: [if_rec_types] :: IfGblEnv -> KnotVars (IfG TypeEnv)
- Internal.GhcFacade: [m_ctxt] :: Match p body -> HsMatchContext (NoGhcTc p)
+ Internal.GhcFacade: [m_ctxt] :: Match p body -> HsMatchContext p
- Internal.GhcFacade: [mc_fun] :: HsMatchContext p -> LIdP p
+ Internal.GhcFacade: [mc_fun] :: HsMatchContext p -> LIdP (NoGhcTc p)
- Internal.GhcFacade: [mg_origin] :: MatchGroup p body -> Origin
+ Internal.GhcFacade: [mg_origin] :: MatchGroupTc -> Origin
- Internal.GhcFacade: [mi_complete_matches] :: ModIface_ (phase :: ModIfacePhase) -> [IfaceCompleteMatch]
+ Internal.GhcFacade: [mi_complete_matches] :: ModIface_ (phase :: ModIfacePhase) -> ![IfaceCompleteMatch]
- Internal.GhcFacade: [mi_ext_fields] :: ModIface_ (phase :: ModIfacePhase) -> ExtensibleFields
+ Internal.GhcFacade: [mi_ext_fields] :: ModIface_ (phase :: ModIfacePhase) -> !ExtensibleFields
- Internal.GhcFacade: [mi_warns] :: ModIface_ (phase :: ModIfacePhase) -> Warnings
+ Internal.GhcFacade: [mi_warns] :: ModIface_ (phase :: ModIfacePhase) -> Warnings GhcRn
- Internal.GhcFacade: [ms_srcimps] :: ModSummary -> [(Maybe FastString, Located ModuleName)]
+ Internal.GhcFacade: [ms_srcimps] :: ModSummary -> [(PkgQual, Located ModuleName)]
- Internal.GhcFacade: [ms_textual_imps] :: ModSummary -> [(Maybe FastString, Located ModuleName)]
+ Internal.GhcFacade: [ms_textual_imps] :: ModSummary -> [(PkgQual, Located ModuleName)]
- Internal.GhcFacade: [parsedResultAction] :: Plugin -> [CommandLineOption] -> ModSummary -> HsParsedModule -> Hsc HsParsedModule
+ Internal.GhcFacade: [parsedResultAction] :: Plugin -> [CommandLineOption] -> ModSummary -> ParsedResult -> Hsc ParsedResult
- Internal.GhcFacade: [proj_flds] :: HsExpr p -> NonEmpty (Located (HsFieldLabel p))
+ Internal.GhcFacade: [proj_flds] :: HsExpr p -> NonEmpty (XRec p (DotFieldOcc p))
- Internal.GhcFacade: [queryQualifyModule] :: PrintUnqualified -> QueryQualifyModule
+ Internal.GhcFacade: [queryQualifyModule] :: NamePprCtx -> QueryQualifyModule
- Internal.GhcFacade: [queryQualifyName] :: PrintUnqualified -> QueryQualifyName
+ Internal.GhcFacade: [queryQualifyName] :: NamePprCtx -> QueryQualifyName
- Internal.GhcFacade: [queryQualifyPackage] :: PrintUnqualified -> QueryQualifyPackage
+ Internal.GhcFacade: [queryQualifyPackage] :: NamePprCtx -> QueryQualifyPackage
- Internal.GhcFacade: [rd_name] :: RuleDecl pass -> XRec pass (SourceText, RuleName)
+ Internal.GhcFacade: [rd_name] :: RuleDecl pass -> XRec pass RuleName
- Internal.GhcFacade: [rec_dotdot] :: HsRecFields p arg -> Maybe (Located Int)
+ Internal.GhcFacade: [rec_dotdot] :: HsRecFields p arg -> Maybe (XRec p RecFieldsDotDot)
- Internal.GhcFacade: [resumeBindings] :: Resume -> ([TyThing], GlobalRdrEnv)
+ Internal.GhcFacade: [resumeBindings] :: Resume -> ResumeBindings
- Internal.GhcFacade: [stmt_context] :: ApplicativeArg idL -> HsStmtContext (ApplicativeArgStmCtxPass idL)
+ Internal.GhcFacade: [stmt_context] :: ApplicativeArg idL -> HsDoFlavour
- Internal.GhcFacade: [tcg_doc_hdr] :: TcGblEnv -> Maybe LHsDocString
+ Internal.GhcFacade: [tcg_doc_hdr] :: TcGblEnv -> Maybe (LHsDoc GhcRn)
- Internal.GhcFacade: [tcg_type_env_var] :: TcGblEnv -> TcRef TypeEnv
+ Internal.GhcFacade: [tcg_type_env_var] :: TcGblEnv -> KnotVars (IORef TypeEnv)
- Internal.GhcFacade: [tcg_warns] :: TcGblEnv -> Warnings
+ Internal.GhcFacade: [tcg_warns] :: TcGblEnv -> Warnings GhcRn
- Internal.GhcFacade: [tcl_errs] :: TcLclEnv -> TcRef (Messages DecoratedSDoc)
+ Internal.GhcFacade: [tcl_errs] :: TcLclEnv -> TcRef (Messages TcRnMessage)
- Internal.GhcFacade: allM :: Monad m => (a -> m Bool) -> [a] -> m Bool
+ Internal.GhcFacade: allM :: (Monad m, Foldable f) => (a -> m Bool) -> f a -> m Bool
- Internal.GhcFacade: allValid :: [Validity] -> Validity
+ Internal.GhcFacade: allValid :: [Validity' a] -> Validity' a
- Internal.GhcFacade: alwaysQualify :: PrintUnqualified
+ Internal.GhcFacade: alwaysQualify :: NamePprCtx
- Internal.GhcFacade: andValid :: Validity -> Validity -> Validity
+ Internal.GhcFacade: andValid :: Validity' a -> Validity' a -> Validity' a
- Internal.GhcFacade: angleBrackets :: SDoc -> SDoc
+ Internal.GhcFacade: angleBrackets :: IsLine doc => doc -> doc
- Internal.GhcFacade: anyM :: Monad m => (a -> m Bool) -> [a] -> m Bool
+ Internal.GhcFacade: anyM :: (Monad m, Foldable f) => (a -> m Bool) -> f a -> m Bool
- Internal.GhcFacade: braces :: SDoc -> SDoc
+ Internal.GhcFacade: braces :: IsLine doc => doc -> doc
- Internal.GhcFacade: brackets :: SDoc -> SDoc
+ Internal.GhcFacade: brackets :: IsLine doc => doc -> doc
- Internal.GhcFacade: char :: Char -> SDoc
+ Internal.GhcFacade: char :: IsLine doc => Char -> doc
- Internal.GhcFacade: checkTelescopeSkol :: SkolemInfo -> Bool
+ Internal.GhcFacade: checkTelescopeSkol :: SkolemInfoAnon -> Bool
- Internal.GhcFacade: class ContainsLogger t
+ Internal.GhcFacade: class () => ContainsLogger t
- Internal.GhcFacade: class HasLogger (m :: Type -> Type)
+ Internal.GhcFacade: class () => HasLogger (m :: Type -> Type)
- Internal.GhcFacade: class HasOccName name
+ Internal.GhcFacade: class () => HasOccName name
- Internal.GhcFacade: class MapXRec p
+ Internal.GhcFacade: class () => MapXRec p
- Internal.GhcFacade: class NamedThing a
+ Internal.GhcFacade: class () => NamedThing a
- Internal.GhcFacade: class Outputable a
+ Internal.GhcFacade: class () => Outputable a
- Internal.GhcFacade: class OutputableBndrFlag flag (p :: Pass)
+ Internal.GhcFacade: class () => OutputableBndrFlag flag (p :: Pass)
- Internal.GhcFacade: class OutputableP env a
+ Internal.GhcFacade: class () => OutputableP env a
- Internal.GhcFacade: class ParsedMod m
+ Internal.GhcFacade: class () => ParsedMod m
- Internal.GhcFacade: class UnXRec p
+ Internal.GhcFacade: class () => UnXRec p
- Internal.GhcFacade: class WrapXRec p a
+ Internal.GhcFacade: class () => WrapXRec p a
- Internal.GhcFacade: collectHsValBinders :: forall (idL :: Pass) (idR :: Pass). CollectPass (GhcPass idL) => CollectFlag (GhcPass idL) -> HsValBindsLR (GhcPass idL) (GhcPass idR) -> [IdP (GhcPass idL)]
+ Internal.GhcFacade: collectHsValBinders :: forall (idL :: Pass) idR. CollectPass (GhcPass idL) => CollectFlag (GhcPass idL) -> HsValBindsLR (GhcPass idL) idR -> [IdP (GhcPass idL)]
- Internal.GhcFacade: collectXXPat :: CollectPass p => Proxy p -> CollectFlag p -> XXPat p -> [IdP p] -> [IdP p]
+ Internal.GhcFacade: collectXXPat :: CollectPass p => CollectFlag p -> XXPat p -> [IdP p] -> [IdP p]
- Internal.GhcFacade: colon :: SDoc
+ Internal.GhcFacade: colon :: IsLine doc => doc
- Internal.GhcFacade: comma :: SDoc
+ Internal.GhcFacade: comma :: IsLine doc => doc
- Internal.GhcFacade: compilationProgressMsg :: Logger -> DynFlags -> SDoc -> IO ()
+ Internal.GhcFacade: compilationProgressMsg :: Logger -> SDoc -> IO ()
- Internal.GhcFacade: concatMapM :: Monad m => (a -> m [b]) -> [a] -> m [b]
+ Internal.GhcFacade: concatMapM :: (Monad m, Traversable f) => (a -> m [b]) -> f a -> m [b]
- Internal.GhcFacade: ctEvExpr :: CtEvidence -> EvExpr
+ Internal.GhcFacade: ctEvExpr :: HasDebugCallStack => CtEvidence -> EvExpr
- Internal.GhcFacade: ctEvId :: Ct -> EvVar
+ Internal.GhcFacade: ctEvId :: HasDebugCallStack => Ct -> EvVar
- Internal.GhcFacade: data ABExport p
+ Internal.GhcFacade: data () => ABExport
- Internal.GhcFacade: data ATValidityInfo
+ Internal.GhcFacade: data () => ATValidityInfo
- Internal.GhcFacade: data AddEpAnn
+ Internal.GhcFacade: data () => AddEpAnn
- Internal.GhcFacade: data AmbiguousFieldOcc pass
+ Internal.GhcFacade: data () => AmbiguousFieldOcc pass
- Internal.GhcFacade: data Anchor
+ Internal.GhcFacade: data () => Anchor
- Internal.GhcFacade: data AnchorOperation
+ Internal.GhcFacade: data () => AnchorOperation
- Internal.GhcFacade: data AnnContext
+ Internal.GhcFacade: data () => AnnContext
- Internal.GhcFacade: data AnnDecl pass
+ Internal.GhcFacade: data () => AnnDecl pass
- Internal.GhcFacade: data AnnExplicitSum
+ Internal.GhcFacade: data () => AnnExplicitSum
- Internal.GhcFacade: data AnnFieldLabel
+ Internal.GhcFacade: data () => AnnFieldLabel
- Internal.GhcFacade: data AnnKeywordId
+ Internal.GhcFacade: data () => AnnKeywordId
- Internal.GhcFacade: data AnnList
+ Internal.GhcFacade: data () => AnnList
- Internal.GhcFacade: data AnnListItem
+ Internal.GhcFacade: data () => AnnListItem
- Internal.GhcFacade: data AnnParen
+ Internal.GhcFacade: data () => AnnParen
- Internal.GhcFacade: data AnnPragma
+ Internal.GhcFacade: data () => AnnPragma
- Internal.GhcFacade: data AnnProjection
+ Internal.GhcFacade: data () => AnnProjection
- Internal.GhcFacade: data AnnProvenance pass
+ Internal.GhcFacade: data () => AnnProvenance pass
- Internal.GhcFacade: data AnnSig
+ Internal.GhcFacade: data () => AnnSig
- Internal.GhcFacade: data AnnSortKey
+ Internal.GhcFacade: data () => AnnSortKey
- Internal.GhcFacade: data AnnsIf
+ Internal.GhcFacade: data () => AnnsIf
- Internal.GhcFacade: data AnnsModule
+ Internal.GhcFacade: data () => AnnsModule
- Internal.GhcFacade: data ApplicativeArg idL
+ Internal.GhcFacade: data () => ApplicativeArg idL
- Internal.GhcFacade: data ArithSeqInfo id
+ Internal.GhcFacade: data () => ArithSeqInfo id
- Internal.GhcFacade: data ArrowCtxt
+ Internal.GhcFacade: data () => ArrowCtxt
- Internal.GhcFacade: data Backend
+ Internal.GhcFacade: data () => Backend
- Internal.GhcFacade: data Bag a
+ Internal.GhcFacade: data () => Bag a
- Internal.GhcFacade: data BindingSite
+ Internal.GhcFacade: data () => BindingSite
- Internal.GhcFacade: data BreakInfo
+ Internal.GhcFacade: data () => BreakInfo
- Internal.GhcFacade: data BufSpan
+ Internal.GhcFacade: data () => BufSpan
- Internal.GhcFacade: data CImportSpec
+ Internal.GhcFacade: data () => CImportSpec
- Internal.GhcFacade: data CanEqLHS
+ Internal.GhcFacade: data () => CanEqLHS
- Internal.GhcFacade: data CheckTyEqProblem
+ Internal.GhcFacade: data () => CheckTyEqProblem
- Internal.GhcFacade: data CheckTyEqResult
+ Internal.GhcFacade: data () => CheckTyEqResult
- Internal.GhcFacade: data Class
+ Internal.GhcFacade: data () => Class
- Internal.GhcFacade: data ClassATItem
+ Internal.GhcFacade: data () => ClassATItem
- Internal.GhcFacade: data ClsInst
+ Internal.GhcFacade: data () => ClsInst
- Internal.GhcFacade: data ClsInstDecl pass
+ Internal.GhcFacade: data () => ClsInstDecl pass
- Internal.GhcFacade: data CmdTopTc
+ Internal.GhcFacade: data () => CmdTopTc
- Internal.GhcFacade: data CoercionHole
+ Internal.GhcFacade: data () => CoercionHole
- Internal.GhcFacade: data CollectFlag p
+ Internal.GhcFacade: data () => CollectFlag p
- Internal.GhcFacade: data CompleteMatch
+ Internal.GhcFacade: data () => CompleteMatch
- Internal.GhcFacade: data ConDecl pass
+ Internal.GhcFacade: data () => ConDecl pass
- Internal.GhcFacade: data ConDeclField pass
+ Internal.GhcFacade: data () => ConDeclField pass
- Internal.GhcFacade: data ConPatTc
+ Internal.GhcFacade: data () => ConPatTc
- Internal.GhcFacade: data CoreModule
+ Internal.GhcFacade: data () => CoreModule
- Internal.GhcFacade: data Ct
+ Internal.GhcFacade: data () => Ct
- Internal.GhcFacade: data CtEvidence
+ Internal.GhcFacade: data () => CtEvidence
- Internal.GhcFacade: data CtFlavour
+ Internal.GhcFacade: data () => CtFlavour
- Internal.GhcFacade: data CtIrredReason
+ Internal.GhcFacade: data () => CtIrredReason
- Internal.GhcFacade: data CtLoc
+ Internal.GhcFacade: data () => CtLoc
- Internal.GhcFacade: data DataCon
+ Internal.GhcFacade: data () => DataCon
- Internal.GhcFacade: data DataDeclRn
+ Internal.GhcFacade: data () => DataDeclRn
- Internal.GhcFacade: data DecoratedSDoc
+ Internal.GhcFacade: data () => DecoratedSDoc
- Internal.GhcFacade: data DefaultDecl pass
+ Internal.GhcFacade: data () => DefaultDecl pass
- Internal.GhcFacade: data DelayedSplice
+ Internal.GhcFacade: data () => DelayedSplice
- Internal.GhcFacade: data DeltaPos
+ Internal.GhcFacade: data () => DeltaPos
- Internal.GhcFacade: data Depth
+ Internal.GhcFacade: data () => Depth
- Internal.GhcFacade: data DerivClauseTys pass
+ Internal.GhcFacade: data () => DerivClauseTys pass
- Internal.GhcFacade: data DerivDecl pass
+ Internal.GhcFacade: data () => DerivDecl pass
- Internal.GhcFacade: data DerivStrategy pass
+ Internal.GhcFacade: data () => DerivStrategy pass
- Internal.GhcFacade: data DesugaredModule
+ Internal.GhcFacade: data () => DesugaredModule
- Internal.GhcFacade: data DocDecl
+ Internal.GhcFacade: data () => DocDecl pass
- Internal.GhcFacade: data DocLoc
+ Internal.GhcFacade: data () => DocLoc
- Internal.GhcFacade: data DumpFormat
+ Internal.GhcFacade: data () => DumpFormat
- Internal.GhcFacade: data DynFlags
+ Internal.GhcFacade: data () => DynFlags
- Internal.GhcFacade: data Env gbl lcl
+ Internal.GhcFacade: data () => Env gbl lcl
- Internal.GhcFacade: data EpAnn ann
+ Internal.GhcFacade: data () => EpAnn ann
- Internal.GhcFacade: data EpAnnComments
+ Internal.GhcFacade: data () => EpAnnComments
- Internal.GhcFacade: data EpAnnHsCase
+ Internal.GhcFacade: data () => EpAnnHsCase
- Internal.GhcFacade: data EpAnnImportDecl
+ Internal.GhcFacade: data () => EpAnnImportDecl
- Internal.GhcFacade: data EpAnnSumPat
+ Internal.GhcFacade: data () => EpAnnSumPat
- Internal.GhcFacade: data EpAnnUnboundVar
+ Internal.GhcFacade: data () => EpAnnUnboundVar
- Internal.GhcFacade: data EpaComment
+ Internal.GhcFacade: data () => EpaComment
- Internal.GhcFacade: data EpaCommentTok
+ Internal.GhcFacade: data () => EpaCommentTok
- Internal.GhcFacade: data EpaLocation
+ Internal.GhcFacade: data () => EpaLocation
- Internal.GhcFacade: data EvBind
+ Internal.GhcFacade: data () => EvBind
- Internal.GhcFacade: data EvBindsVar
+ Internal.GhcFacade: data () => EvBindsVar
- Internal.GhcFacade: data EvCallStack
+ Internal.GhcFacade: data () => EvCallStack
- Internal.GhcFacade: data EvTerm
+ Internal.GhcFacade: data () => EvTerm
- Internal.GhcFacade: data EvTypeable
+ Internal.GhcFacade: data () => EvTypeable
- Internal.GhcFacade: data ExecOptions
+ Internal.GhcFacade: data () => ExecOptions
- Internal.GhcFacade: data ExecResult
+ Internal.GhcFacade: data () => ExecResult
- Internal.GhcFacade: data ExtractedTHDocs
+ Internal.GhcFacade: data () => ExtractedTHDocs
- Internal.GhcFacade: data FamEqn pass rhs
+ Internal.GhcFacade: data () => FamEqn pass rhs
- Internal.GhcFacade: data FamInst
+ Internal.GhcFacade: data () => FamInst
- Internal.GhcFacade: data FamilyDecl pass
+ Internal.GhcFacade: data () => FamilyDecl pass
- Internal.GhcFacade: data FamilyInfo pass
+ Internal.GhcFacade: data () => FamilyInfo pass
- Internal.GhcFacade: data FamilyResultSig pass
+ Internal.GhcFacade: data () => FamilyResultSig pass
- Internal.GhcFacade: data FastString
+ Internal.GhcFacade: data () => FastString
- Internal.GhcFacade: data FastZString
+ Internal.GhcFacade: data () => FastZString
- Internal.GhcFacade: data FieldOcc pass
+ Internal.GhcFacade: data () => FieldOcc pass
- Internal.GhcFacade: data FindResult
+ Internal.GhcFacade: data () => FindResult
- Internal.GhcFacade: data Fixity
+ Internal.GhcFacade: data () => Fixity
- Internal.GhcFacade: data FixityDirection
+ Internal.GhcFacade: data () => FixityDirection
- Internal.GhcFacade: data FixitySig pass
+ Internal.GhcFacade: data () => FixitySig pass
- Internal.GhcFacade: data FloatBind
+ Internal.GhcFacade: data () => FloatBind
- Internal.GhcFacade: data ForeignDecl pass
+ Internal.GhcFacade: data () => ForeignDecl pass
- Internal.GhcFacade: data ForeignExport
+ Internal.GhcFacade: data () => ForeignExport pass
- Internal.GhcFacade: data ForeignImport
+ Internal.GhcFacade: data () => ForeignImport pass
- Internal.GhcFacade: data ForeignSrcLang
+ Internal.GhcFacade: data () => ForeignSrcLang
- Internal.GhcFacade: data FrontendPlugin
+ Internal.GhcFacade: data () => FrontendPlugin
- Internal.GhcFacade: data FrontendResult
+ Internal.GhcFacade: data () => FrontendResult
- Internal.GhcFacade: data GRHS p body
+ Internal.GhcFacade: data () => GRHS p body
- Internal.GhcFacade: data GRHSs p body
+ Internal.GhcFacade: data () => GRHSs p body
- Internal.GhcFacade: data GenLocated l e
+ Internal.GhcFacade: data () => GenLocated l e
- Internal.GhcFacade: data GeneralFlag
+ Internal.GhcFacade: data () => GeneralFlag
- Internal.GhcFacade: data GetDocsFailure
+ Internal.GhcFacade: data () => GetDocsFailure
- Internal.GhcFacade: data Ghc a
+ Internal.GhcFacade: data () => Ghc a
- Internal.GhcFacade: data GhcException
+ Internal.GhcFacade: data () => GhcException
- Internal.GhcFacade: data GhcLink
+ Internal.GhcFacade: data () => GhcLink
- Internal.GhcFacade: data GhcMode
+ Internal.GhcFacade: data () => GhcMode
- Internal.GhcFacade: data GhcPass (c :: Pass)
+ Internal.GhcFacade: data () => GhcPass (c :: Pass)
- Internal.GhcFacade: data GhcT (m :: Type -> Type) a
+ Internal.GhcFacade: data () => GhcT (m :: Type -> Type) a
- Internal.GhcFacade: data GrhsAnn
+ Internal.GhcFacade: data () => GrhsAnn
- Internal.GhcFacade: data HValue
+ Internal.GhcFacade: data () => HValue
- Internal.GhcFacade: data HasE
+ Internal.GhcFacade: data () => HasE
- Internal.GhcFacade: data HasGivenEqs
+ Internal.GhcFacade: data () => HasGivenEqs
- Internal.GhcFacade: data History
+ Internal.GhcFacade: data () => History
- Internal.GhcFacade: data Hole
+ Internal.GhcFacade: data () => Hole
- Internal.GhcFacade: data HoleExprRef
+ Internal.GhcFacade: data () => HoleExprRef
- Internal.GhcFacade: data HoleFitPluginR
+ Internal.GhcFacade: data () => HoleFitPluginR
- Internal.GhcFacade: data HoleSort
+ Internal.GhcFacade: data () => HoleSort
- Internal.GhcFacade: data HsArg tm ty
+ Internal.GhcFacade: data () => HsArg tm ty
- Internal.GhcFacade: data HsArrAppType
+ Internal.GhcFacade: data () => HsArrAppType
- Internal.GhcFacade: data HsArrow pass
+ Internal.GhcFacade: data () => HsArrow pass
- Internal.GhcFacade: data HsArrowMatchContext
+ Internal.GhcFacade: data () => HsArrowMatchContext
- Internal.GhcFacade: data HsBindLR idL idR
+ Internal.GhcFacade: data () => HsBindLR idL idR
- Internal.GhcFacade: data HsCmd id
+ Internal.GhcFacade: data () => HsCmd id
- Internal.GhcFacade: data HsCmdTop p
+ Internal.GhcFacade: data () => HsCmdTop p
- Internal.GhcFacade: data HsConDeclGADTDetails pass
+ Internal.GhcFacade: data () => HsConDeclGADTDetails pass
- Internal.GhcFacade: data HsConDetails tyarg arg rec
+ Internal.GhcFacade: data () => HsConDetails tyarg arg rec
- Internal.GhcFacade: data HsDataDefn pass
+ Internal.GhcFacade: data () => HsDataDefn pass
- Internal.GhcFacade: data HsDecl p
+ Internal.GhcFacade: data () => HsDecl p
- Internal.GhcFacade: data HsDerivingClause pass
+ Internal.GhcFacade: data () => HsDerivingClause pass
- Internal.GhcFacade: data HsDocString
+ Internal.GhcFacade: data () => HsDocString
- Internal.GhcFacade: data HsExpansion a b
+ Internal.GhcFacade: data () => HsExpansion orig expanded
- Internal.GhcFacade: data HsExpr p
+ Internal.GhcFacade: data () => HsExpr p
- Internal.GhcFacade: data HsForAllTelescope pass
+ Internal.GhcFacade: data () => HsForAllTelescope pass
- Internal.GhcFacade: data HsGroup p
+ Internal.GhcFacade: data () => HsGroup p
- Internal.GhcFacade: data HsIPBinds id
+ Internal.GhcFacade: data () => HsIPBinds id
- Internal.GhcFacade: data HsImplBang
+ Internal.GhcFacade: data () => HsImplBang
- Internal.GhcFacade: data HsLit x
+ Internal.GhcFacade: data () => HsLit x
- Internal.GhcFacade: data HsLocalBindsLR idL idR
+ Internal.GhcFacade: data () => HsLocalBindsLR idL idR
- Internal.GhcFacade: data HsMatchContext p
+ Internal.GhcFacade: data () => HsMatchContext p
- Internal.GhcFacade: data HsModule
+ Internal.GhcFacade: data () => HsModule p
- Internal.GhcFacade: data HsOuterTyVarBndrs flag pass
+ Internal.GhcFacade: data () => HsOuterTyVarBndrs flag pass
- Internal.GhcFacade: data HsOverLit p
+ Internal.GhcFacade: data () => HsOverLit p
- Internal.GhcFacade: data HsPSRn
+ Internal.GhcFacade: data () => HsPSRn
- Internal.GhcFacade: data HsParsedModule
+ Internal.GhcFacade: data () => HsParsedModule
- Internal.GhcFacade: data HsPatSigType pass
+ Internal.GhcFacade: data () => HsPatSigType pass
- Internal.GhcFacade: data HsPatSynDir id
+ Internal.GhcFacade: data () => HsPatSynDir id
- Internal.GhcFacade: data HsPragE p
+ Internal.GhcFacade: data () => HsPragE p
- Internal.GhcFacade: data HsRecFields p arg
+ Internal.GhcFacade: data () => HsRecFields p arg
- Internal.GhcFacade: data HsRuleAnn
+ Internal.GhcFacade: data () => HsRuleAnn
- Internal.GhcFacade: data HsRuleRn
+ Internal.GhcFacade: data () => HsRuleRn
- Internal.GhcFacade: data HsScaled pass a
+ Internal.GhcFacade: data () => HsScaled pass a
- Internal.GhcFacade: data HsSigType pass
+ Internal.GhcFacade: data () => HsSigType pass
- Internal.GhcFacade: data HsSrcBang
+ Internal.GhcFacade: data () => HsSrcBang
- Internal.GhcFacade: data HsStmtContext p
+ Internal.GhcFacade: data () => HsStmtContext p
- Internal.GhcFacade: data HsTupArg id
+ Internal.GhcFacade: data () => HsTupArg id
- Internal.GhcFacade: data HsTupleSort
+ Internal.GhcFacade: data () => HsTupleSort
- Internal.GhcFacade: data HsTyLit
+ Internal.GhcFacade: data () => HsTyLit pass
- Internal.GhcFacade: data HsTyVarBndr flag pass
+ Internal.GhcFacade: data () => HsTyVarBndr flag pass
- Internal.GhcFacade: data HsType pass
+ Internal.GhcFacade: data () => HsType pass
- Internal.GhcFacade: data HsValBindsLR idL idR
+ Internal.GhcFacade: data () => HsValBindsLR idL idR
- Internal.GhcFacade: data HsWildCardBndrs pass thing
+ Internal.GhcFacade: data () => HsWildCardBndrs pass thing
- Internal.GhcFacade: data HsWrap (hs_syn :: Type -> Type)
+ Internal.GhcFacade: data () => HsWrap (hs_syn :: Type -> Type)
- Internal.GhcFacade: data HsWrapper
+ Internal.GhcFacade: data () => HsWrapper
- Internal.GhcFacade: data HscEnv
+ Internal.GhcFacade: data () => HscEnv
- Internal.GhcFacade: data IE pass
+ Internal.GhcFacade: data () => IE pass
- Internal.GhcFacade: data IEWildcard
+ Internal.GhcFacade: data () => IEWildcard
- Internal.GhcFacade: data IEWrappedName name
+ Internal.GhcFacade: data () => IEWrappedName p
- Internal.GhcFacade: data IOEnv env a
+ Internal.GhcFacade: data () => IOEnv env a
- Internal.GhcFacade: data IOEnvFailure
+ Internal.GhcFacade: data () => IOEnvFailure
- Internal.GhcFacade: data IORef a
+ Internal.GhcFacade: data () => IORef a
- Internal.GhcFacade: data IPBind id
+ Internal.GhcFacade: data () => IPBind id
- Internal.GhcFacade: data IdBindingInfo
+ Internal.GhcFacade: data () => IdBindingInfo
- Internal.GhcFacade: data IfGblEnv
+ Internal.GhcFacade: data () => IfGblEnv
- Internal.GhcFacade: data IfLclEnv
+ Internal.GhcFacade: data () => IfLclEnv
- Internal.GhcFacade: data ImplicStatus
+ Internal.GhcFacade: data () => ImplicStatus
- Internal.GhcFacade: data Implication
+ Internal.GhcFacade: data () => Implication
- Internal.GhcFacade: data ImportAvails
+ Internal.GhcFacade: data () => ImportAvails
- Internal.GhcFacade: data ImportDecl pass
+ Internal.GhcFacade: data () => ImportDecl pass
- Internal.GhcFacade: data ImportDeclQualifiedStyle
+ Internal.GhcFacade: data () => ImportDeclQualifiedStyle
- Internal.GhcFacade: data InjectivityAnn pass
+ Internal.GhcFacade: data () => InjectivityAnn pass
- Internal.GhcFacade: data InstDecl pass
+ Internal.GhcFacade: data () => InstDecl pass
- Internal.GhcFacade: data InteractiveImport
+ Internal.GhcFacade: data () => InteractiveImport
- Internal.GhcFacade: data IsGroupClosed
+ Internal.GhcFacade: data () => IsGroupClosed
- Internal.GhcFacade: data IsUnicodeSyntax
+ Internal.GhcFacade: data () => IsUnicodeSyntax
- Internal.GhcFacade: data LHsQTyVars pass
+ Internal.GhcFacade: data () => LHsQTyVars pass
- Internal.GhcFacade: data LayoutInfo
+ Internal.GhcFacade: data () => LayoutInfo pass
- Internal.GhcFacade: data LeftOrRight
+ Internal.GhcFacade: data () => LeftOrRight
- Internal.GhcFacade: data LexicalFixity
+ Internal.GhcFacade: data () => LexicalFixity
- Internal.GhcFacade: data LoadHowMuch
+ Internal.GhcFacade: data () => LoadHowMuch
- Internal.GhcFacade: data LoadedPlugin
+ Internal.GhcFacade: data () => LoadedPlugin
- Internal.GhcFacade: data Logger
+ Internal.GhcFacade: data () => Logger
- Internal.GhcFacade: data Match p body
+ Internal.GhcFacade: data () => Match p body
- Internal.GhcFacade: data MatchGroup p body
+ Internal.GhcFacade: data () => MatchGroup p body
- Internal.GhcFacade: data MatchGroupTc
+ Internal.GhcFacade: data () => MatchGroupTc
- Internal.GhcFacade: data Messages e
+ Internal.GhcFacade: data () => Messages e
- Internal.GhcFacade: data ModBreaks
+ Internal.GhcFacade: data () => ModBreaks
- Internal.GhcFacade: data ModIface_ (phase :: ModIfacePhase)
+ Internal.GhcFacade: data () => ModIface_ (phase :: ModIfacePhase)
- Internal.GhcFacade: data ModLocation
+ Internal.GhcFacade: data () => ModLocation
- Internal.GhcFacade: data ModSummary
+ Internal.GhcFacade: data () => ModSummary
- Internal.GhcFacade: data ModuleGraph
+ Internal.GhcFacade: data () => ModuleGraph
- Internal.GhcFacade: data ModuleInfo
+ Internal.GhcFacade: data () => ModuleInfo
- Internal.GhcFacade: data MsgEnvelope e
+ Internal.GhcFacade: data () => MsgEnvelope e
- Internal.GhcFacade: data NHsValBindsLR idL
+ Internal.GhcFacade: data () => NHsValBindsLR idL
- Internal.GhcFacade: data Name
+ Internal.GhcFacade: data () => Name
- Internal.GhcFacade: data NameAdornment
+ Internal.GhcFacade: data () => NameAdornment
- Internal.GhcFacade: data NameAnn
+ Internal.GhcFacade: data () => NameAnn
- Internal.GhcFacade: data NameShape
+ Internal.GhcFacade: data () => NameShape
- Internal.GhcFacade: data NameSpace
+ Internal.GhcFacade: data () => NameSpace
- Internal.GhcFacade: data NewOrData
+ Internal.GhcFacade: data () => NewOrData
- Internal.GhcFacade: data NoEpAnns
+ Internal.GhcFacade: data () => NoEpAnns
- Internal.GhcFacade: data NoExtField
+ Internal.GhcFacade: data () => NoExtField
- Internal.GhcFacade: data OccEnv a
+ Internal.GhcFacade: data () => OccEnv a
- Internal.GhcFacade: data OccName
+ Internal.GhcFacade: data () => OccName
- Internal.GhcFacade: data OverLitTc
+ Internal.GhcFacade: data () => OverLitTc
- Internal.GhcFacade: data OverLitVal
+ Internal.GhcFacade: data () => OverLitVal
- Internal.GhcFacade: data ParStmtBlock idL idR
+ Internal.GhcFacade: data () => ParStmtBlock idL idR
- Internal.GhcFacade: data ParenType
+ Internal.GhcFacade: data () => ParenType
- Internal.GhcFacade: data ParsedModule
+ Internal.GhcFacade: data () => ParsedModule
- Internal.GhcFacade: data Pass
+ Internal.GhcFacade: data () => Pass
- Internal.GhcFacade: data Pat p
+ Internal.GhcFacade: data () => Pat p
- Internal.GhcFacade: data PatSynBind idL idR
+ Internal.GhcFacade: data () => PatSynBind idL idR
- Internal.GhcFacade: data PendingRnSplice
+ Internal.GhcFacade: data () => PendingRnSplice
- Internal.GhcFacade: data PendingStuff
+ Internal.GhcFacade: data () => PendingStuff
- Internal.GhcFacade: data PendingTcSplice
+ Internal.GhcFacade: data () => PendingTcSplice
- Internal.GhcFacade: data Phase
+ Internal.GhcFacade: data () => Phase
- Internal.GhcFacade: data Plugin
+ Internal.GhcFacade: data () => Plugin
- Internal.GhcFacade: data PluginRecompile
+ Internal.GhcFacade: data () => PluginRecompile
- Internal.GhcFacade: data PluginWithArgs
+ Internal.GhcFacade: data () => PluginWithArgs
- Internal.GhcFacade: data PprStyle
+ Internal.GhcFacade: data () => PprStyle
- Internal.GhcFacade: data PromotionErr
+ Internal.GhcFacade: data () => PromotionErr
- Internal.GhcFacade: data PsLoc
+ Internal.GhcFacade: data () => PsLoc
- Internal.GhcFacade: data PsSpan
+ Internal.GhcFacade: data () => PsSpan
- Internal.GhcFacade: data PtrString
+ Internal.GhcFacade: data () => PtrString
- Internal.GhcFacade: data QCInst
+ Internal.GhcFacade: data () => QCInst
- Internal.GhcFacade: data QualifyName
+ Internal.GhcFacade: data () => QualifyName
- Internal.GhcFacade: data QuoteWrapper
+ Internal.GhcFacade: data () => QuoteWrapper
- Internal.GhcFacade: data RdrName
+ Internal.GhcFacade: data () => RdrName
- Internal.GhcFacade: data RealSrcLoc
+ Internal.GhcFacade: data () => RealSrcLoc
- Internal.GhcFacade: data RealSrcSpan
+ Internal.GhcFacade: data () => RealSrcSpan
- Internal.GhcFacade: data RecStmtTc
+ Internal.GhcFacade: data () => RecStmtTc
- Internal.GhcFacade: data RecordPatSynField pass
+ Internal.GhcFacade: data () => RecordPatSynField pass
- Internal.GhcFacade: data Resume
+ Internal.GhcFacade: data () => Resume
- Internal.GhcFacade: data Role
+ Internal.GhcFacade: data () => Role
- Internal.GhcFacade: data RoleAnnotDecl pass
+ Internal.GhcFacade: data () => RoleAnnotDecl pass
- Internal.GhcFacade: data RuleBndr pass
+ Internal.GhcFacade: data () => RuleBndr pass
- Internal.GhcFacade: data RuleDecl pass
+ Internal.GhcFacade: data () => RuleDecl pass
- Internal.GhcFacade: data RuleDecls pass
+ Internal.GhcFacade: data () => RuleDecls pass
- Internal.GhcFacade: data SDoc
+ Internal.GhcFacade: data () => SDoc
- Internal.GhcFacade: data SDocContext
+ Internal.GhcFacade: data () => SDocContext
- Internal.GhcFacade: data SafeHaskellMode
+ Internal.GhcFacade: data () => SafeHaskellMode
- Internal.GhcFacade: data SelfBootInfo
+ Internal.GhcFacade: data () => SelfBootInfo
- Internal.GhcFacade: data Severity
+ Internal.GhcFacade: data () => Severity
- Internal.GhcFacade: data Sig pass
+ Internal.GhcFacade: data () => Sig pass
- Internal.GhcFacade: data SingleStep
+ Internal.GhcFacade: data () => SingleStep
- Internal.GhcFacade: data SpliceDecl p
+ Internal.GhcFacade: data () => SpliceDecl p
- Internal.GhcFacade: data SpliceDecoration
+ Internal.GhcFacade: data () => SpliceDecoration
- Internal.GhcFacade: data SpliceType
+ Internal.GhcFacade: data () => SpliceType
- Internal.GhcFacade: data SrcLoc
+ Internal.GhcFacade: data () => SrcLoc
- Internal.GhcFacade: data SrcSpan
+ Internal.GhcFacade: data () => SrcSpan
- Internal.GhcFacade: data SrcSpanAnn' a
+ Internal.GhcFacade: data () => SrcSpanAnn' a
- Internal.GhcFacade: data SrcStrictness
+ Internal.GhcFacade: data () => SrcStrictness
- Internal.GhcFacade: data SrcUnpackedness
+ Internal.GhcFacade: data () => SrcUnpackedness
- Internal.GhcFacade: data StandaloneKindSig pass
+ Internal.GhcFacade: data () => StandaloneKindSig pass
- Internal.GhcFacade: data StaticPlugin
+ Internal.GhcFacade: data () => StaticPlugin
- Internal.GhcFacade: data StmtLR idL idR body
+ Internal.GhcFacade: data () => StmtLR idL idR body
- Internal.GhcFacade: data StrictnessMark
+ Internal.GhcFacade: data () => StrictnessMark
- Internal.GhcFacade: data SubGoalDepth
+ Internal.GhcFacade: data () => SubGoalDepth
- Internal.GhcFacade: data SuccessFlag
+ Internal.GhcFacade: data () => SuccessFlag
- Internal.GhcFacade: data SyntaxExprRn
+ Internal.GhcFacade: data () => SyntaxExprRn
- Internal.GhcFacade: data SyntaxExprTc
+ Internal.GhcFacade: data () => SyntaxExprTc
- Internal.GhcFacade: data Target
+ Internal.GhcFacade: data () => Target
- Internal.GhcFacade: data TargetId
+ Internal.GhcFacade: data () => TargetId
- Internal.GhcFacade: data TcBinder
+ Internal.GhcFacade: data () => TcBinder
- Internal.GhcFacade: data TcEvBinds
+ Internal.GhcFacade: data () => TcEvBinds
- Internal.GhcFacade: data TcEvDest
+ Internal.GhcFacade: data () => TcEvDest
- Internal.GhcFacade: data TcGblEnv
+ Internal.GhcFacade: data () => TcGblEnv
- Internal.GhcFacade: data TcIdSigInfo
+ Internal.GhcFacade: data () => TcIdSigInfo
- Internal.GhcFacade: data TcIdSigInst
+ Internal.GhcFacade: data () => TcIdSigInst
- Internal.GhcFacade: data TcLclEnv
+ Internal.GhcFacade: data () => TcLclEnv
- Internal.GhcFacade: data TcPatSynInfo
+ Internal.GhcFacade: data () => TcPatSynInfo
- Internal.GhcFacade: data TcPlugin
+ Internal.GhcFacade: data () => TcPlugin
- Internal.GhcFacade: data TcPluginM a
+ Internal.GhcFacade: data () => TcPluginM a
- Internal.GhcFacade: data TcRnExprMode
+ Internal.GhcFacade: data () => TcRnExprMode
- Internal.GhcFacade: data TcSigInfo
+ Internal.GhcFacade: data () => TcSigInfo
- Internal.GhcFacade: data TcSpecPrag
+ Internal.GhcFacade: data () => TcSpecPrag
- Internal.GhcFacade: data TcSpecPrags
+ Internal.GhcFacade: data () => TcSpecPrags
- Internal.GhcFacade: data TcTyThing
+ Internal.GhcFacade: data () => TcTyThing
- Internal.GhcFacade: data ThStage
+ Internal.GhcFacade: data () => ThStage
- Internal.GhcFacade: data Token
+ Internal.GhcFacade: data () => Token
- Internal.GhcFacade: data TrailingAnn
+ Internal.GhcFacade: data () => TrailingAnn
- Internal.GhcFacade: data TransForm
+ Internal.GhcFacade: data () => TransForm
- Internal.GhcFacade: data TyClDecl pass
+ Internal.GhcFacade: data () => TyClDecl pass
- Internal.GhcFacade: data TyClGroup pass
+ Internal.GhcFacade: data () => TyClGroup pass
- Internal.GhcFacade: data TyCon
+ Internal.GhcFacade: data () => TyCon
- Internal.GhcFacade: data TyFamInstDecl pass
+ Internal.GhcFacade: data () => TyFamInstDecl pass
- Internal.GhcFacade: data TyThing
+ Internal.GhcFacade: data () => TyThing
- Internal.GhcFacade: data Type
+ Internal.GhcFacade: data () => Type
- Internal.GhcFacade: data TypecheckedModule
+ Internal.GhcFacade: data () => TypecheckedModule
- Internal.GhcFacade: data UnhelpfulSpanReason
+ Internal.GhcFacade: data () => UnhelpfulSpanReason
- Internal.GhcFacade: data UntypedSpliceFlavour
+ Internal.GhcFacade: data () => UntypedSpliceFlavour
- Internal.GhcFacade: data WantedConstraints
+ Internal.GhcFacade: data () => WantedConstraints
- Internal.GhcFacade: data WarnDecl pass
+ Internal.GhcFacade: data () => WarnDecl pass
- Internal.GhcFacade: data WarnDecls pass
+ Internal.GhcFacade: data () => WarnDecls pass
- Internal.GhcFacade: data WhereFrom
+ Internal.GhcFacade: data () => WhereFrom
- Internal.GhcFacade: data XBindStmtRn
+ Internal.GhcFacade: data () => XBindStmtRn
- Internal.GhcFacade: data XBindStmtTc
+ Internal.GhcFacade: data () => XBindStmtTc
- Internal.GhcFacade: data XViaStrategyPs
+ Internal.GhcFacade: data () => XViaStrategyPs
- Internal.GhcFacade: data XXExprGhcTc
+ Internal.GhcFacade: data () => XXExprGhcTc
- Internal.GhcFacade: debugTraceMsg :: Logger -> DynFlags -> Int -> SDoc -> IO ()
+ Internal.GhcFacade: debugTraceMsg :: Logger -> Int -> SDoc -> IO ()
- Internal.GhcFacade: defaultLogActionHPrintDoc :: DynFlags -> Bool -> Handle -> SDoc -> IO ()
+ Internal.GhcFacade: defaultLogActionHPrintDoc :: LogFlags -> Bool -> Handle -> SDoc -> IO ()
- Internal.GhcFacade: defaultLogActionHPutStrDoc :: DynFlags -> Bool -> Handle -> SDoc -> IO ()
+ Internal.GhcFacade: defaultLogActionHPutStrDoc :: LogFlags -> Bool -> Handle -> SDoc -> IO ()
- Internal.GhcFacade: depanalE :: GhcMonad m => [ModuleName] -> Bool -> m (ErrorMessages, ModuleGraph)
+ Internal.GhcFacade: depanalE :: GhcMonad m => [ModuleName] -> Bool -> m (DriverMessages, ModuleGraph)
- Internal.GhcFacade: docDeclDoc :: DocDecl -> HsDocString
+ Internal.GhcFacade: docDeclDoc :: DocDecl pass -> LHsDoc pass
- Internal.GhcFacade: dot :: SDoc
+ Internal.GhcFacade: dot :: IsLine doc => doc
- Internal.GhcFacade: double :: Double -> SDoc
+ Internal.GhcFacade: double :: IsLine doc => Double -> doc
- Internal.GhcFacade: doubleQuotes :: SDoc -> SDoc
+ Internal.GhcFacade: doubleQuotes :: IsLine doc => doc -> doc
- Internal.GhcFacade: empty :: SDoc
+ Internal.GhcFacade: empty :: IsOutput doc => doc
- Internal.GhcFacade: equals :: SDoc
+ Internal.GhcFacade: equals :: IsLine doc => doc
- Internal.GhcFacade: errorMsg :: Logger -> DynFlags -> SDoc -> IO ()
+ Internal.GhcFacade: errorMsg :: Logger -> SDoc -> IO ()
- Internal.GhcFacade: errorsFound :: Messages e -> Bool
+ Internal.GhcFacade: errorsFound :: Diagnostic e => Messages e -> Bool
- Internal.GhcFacade: fatalErrorMsg :: Logger -> DynFlags -> SDoc -> IO ()
+ Internal.GhcFacade: fatalErrorMsg :: Logger -> SDoc -> IO ()
- Internal.GhcFacade: findImportedModule :: ModuleName -> Maybe FastString -> TcPluginM FindResult
+ Internal.GhcFacade: findImportedModule :: ModuleName -> PkgQual -> TcPluginM FindResult
- Internal.GhcFacade: float :: Float -> SDoc
+ Internal.GhcFacade: float :: IsLine doc => Float -> doc
- Internal.GhcFacade: fsep :: [SDoc] -> SDoc
+ Internal.GhcFacade: fsep :: IsLine doc => [doc] -> doc
- Internal.GhcFacade: ftext :: FastString -> SDoc
+ Internal.GhcFacade: ftext :: IsLine doc => FastString -> doc
- Internal.GhcFacade: funResultTy :: Type -> Type
+ Internal.GhcFacade: funResultTy :: HasDebugCallStack => Type -> Type
- Internal.GhcFacade: getCaretDiagnostic :: Severity -> SrcSpan -> IO SDoc
+ Internal.GhcFacade: getCaretDiagnostic :: MessageClass -> SrcSpan -> IO SDoc
- Internal.GhcFacade: getDocs :: GhcMonad m => Name -> m (Either GetDocsFailure (Maybe HsDocString, IntMap HsDocString))
+ Internal.GhcFacade: getDocs :: GhcMonad m => Name -> m (Either GetDocsFailure (Maybe [HsDoc GhcRn], IntMap (HsDoc GhcRn)))
- Internal.GhcFacade: getErrorMessages :: Messages e -> Bag (MsgEnvelope e)
+ Internal.GhcFacade: getErrorMessages :: Diagnostic e => Messages e -> Bag (MsgEnvelope e)
- Internal.GhcFacade: getInvalids :: [Validity] -> [SDoc]
+ Internal.GhcFacade: getInvalids :: [Validity' a] -> [a]
- Internal.GhcFacade: getNameToInstancesIndex :: GhcMonad m => [Module] -> Maybe [Module] -> m (Messages DecoratedSDoc, Maybe (NameEnv ([ClsInst], [FamInst])))
+ Internal.GhcFacade: getNameToInstancesIndex :: GhcMonad m => [Module] -> Maybe [Module] -> m (Messages TcRnMessage, Maybe (NameEnv ([ClsInst], [FamInst])))
- Internal.GhcFacade: getPlatform :: TcM Platform
+ Internal.GhcFacade: getPlatform :: TcRnIf a b Platform
- Internal.GhcFacade: getPprDebug :: (Bool -> SDoc) -> SDoc
+ Internal.GhcFacade: getPprDebug :: IsOutput doc => (Bool -> doc) -> doc
- Internal.GhcFacade: getRichTokenStream :: GhcMonad m => Module -> m [(Located Token, String)]
+ Internal.GhcFacade: getRichTokenStream :: ModSummary -> IO [(Located Token, String)]
- Internal.GhcFacade: getTokenStream :: GhcMonad m => Module -> m [Located Token]
+ Internal.GhcFacade: getTokenStream :: ModSummary -> IO [Located Token]
- Internal.GhcFacade: getUserTypeErrorMsg :: Ct -> Maybe Type
+ Internal.GhcFacade: getUserTypeErrorMsg :: PredType -> Maybe Type
- Internal.GhcFacade: getWarningMessages :: Messages e -> Bag (MsgEnvelope e)
+ Internal.GhcFacade: getWarningMessages :: Diagnostic e => Messages e -> Bag (MsgEnvelope e)
- Internal.GhcFacade: ghcExit :: Logger -> DynFlags -> Int -> IO ()
+ Internal.GhcFacade: ghcExit :: Logger -> Int -> IO ()
- Internal.GhcFacade: guessTarget :: GhcMonad m => String -> Maybe Phase -> m Target
+ Internal.GhcFacade: guessTarget :: GhcMonad m => String -> Maybe UnitId -> Maybe Phase -> m Target
- Internal.GhcFacade: hcat :: [SDoc] -> SDoc
+ Internal.GhcFacade: hcat :: IsLine doc => [doc] -> doc
- Internal.GhcFacade: hsLinear :: a -> HsScaled pass a
+ Internal.GhcFacade: hsLinear :: forall a (p :: Pass). a -> HsScaled (GhcPass p) a
- Internal.GhcFacade: hsRecFieldId :: HsRecField GhcTc arg -> Located Id
+ Internal.GhcFacade: hsRecFieldId :: HsRecField GhcTc arg -> Id
- Internal.GhcFacade: hsRecFieldSel :: HsRecField pass arg -> Located (XCFieldOcc pass)
+ Internal.GhcFacade: hsRecFieldSel :: UnXRec p => HsRecField p arg -> XCFieldOcc p
- Internal.GhcFacade: hsRecUpdFieldId :: HsRecField' (AmbiguousFieldOcc GhcTc) arg -> Located Id
+ Internal.GhcFacade: hsRecUpdFieldId :: HsFieldBind (LAmbiguousFieldOcc GhcTc) arg -> Located Id
- Internal.GhcFacade: hsRecUpdFieldOcc :: HsRecField' (AmbiguousFieldOcc GhcTc) arg -> LFieldOcc GhcTc
+ Internal.GhcFacade: hsRecUpdFieldOcc :: HsFieldBind (LAmbiguousFieldOcc GhcTc) arg -> LFieldOcc GhcTc
- Internal.GhcFacade: hsSigDoc :: Sig name -> SDoc
+ Internal.GhcFacade: hsSigDoc :: forall (p :: Pass). IsPass p => Sig (GhcPass p) -> SDoc
- Internal.GhcFacade: hsUnrestricted :: a -> HsScaled pass a
+ Internal.GhcFacade: hsUnrestricted :: forall a (p :: Pass). a -> HsScaled (GhcPass p) a
- Internal.GhcFacade: hsep :: [SDoc] -> SDoc
+ Internal.GhcFacade: hsep :: IsLine doc => [doc] -> doc
- Internal.GhcFacade: ieLWrappedName :: LIEWrappedName name -> LocatedN name
+ Internal.GhcFacade: ieLWrappedName :: forall (p :: Pass). LIEWrappedName (GhcPass p) -> LIdP (GhcPass p)
- Internal.GhcFacade: ieWrappedLName :: IEWrappedName name -> LocatedN name
+ Internal.GhcFacade: ieWrappedLName :: forall (p :: Pass). IEWrappedName (GhcPass p) -> LIdP (GhcPass p)
- Internal.GhcFacade: ieWrappedName :: IEWrappedName name -> name
+ Internal.GhcFacade: ieWrappedName :: forall (p :: Pass). IEWrappedName (GhcPass p) -> IdP (GhcPass p)
- Internal.GhcFacade: ifPprDebug :: SDoc -> SDoc -> SDoc
+ Internal.GhcFacade: ifPprDebug :: IsOutput doc => doc -> doc -> doc
- Internal.GhcFacade: int :: Int -> SDoc
+ Internal.GhcFacade: int :: IsLine doc => Int -> doc
- Internal.GhcFacade: integer :: Integer -> SDoc
+ Internal.GhcFacade: integer :: IsLine doc => Integer -> doc
- Internal.GhcFacade: isPendingScDict :: Ct -> Maybe Ct
+ Internal.GhcFacade: isPendingScDict :: Ct -> Bool
- Internal.GhcFacade: isWarningMessage :: MsgEnvelope e -> Bool
+ Internal.GhcFacade: isWarningMessage :: Diagnostic e => MsgEnvelope e -> Bool
- Internal.GhcFacade: lbrace :: SDoc
+ Internal.GhcFacade: lbrace :: IsLine doc => doc
- Internal.GhcFacade: lbrack :: SDoc
+ Internal.GhcFacade: lbrack :: IsLine doc => doc
- Internal.GhcFacade: lieWrappedName :: LIEWrappedName name -> name
+ Internal.GhcFacade: lieWrappedName :: forall (p :: Pass). LIEWrappedName (GhcPass p) -> IdP (GhcPass p)
- Internal.GhcFacade: load :: GhcMonad m => LoadHowMuch -> m SuccessFlag
+ Internal.GhcFacade: load :: GhcMonad f => LoadHowMuch -> f SuccessFlag
- Internal.GhcFacade: logInfo :: Logger -> DynFlags -> SDoc -> IO ()
+ Internal.GhcFacade: logInfo :: Logger -> SDoc -> IO ()
- Internal.GhcFacade: logOutput :: Logger -> DynFlags -> SDoc -> IO ()
+ Internal.GhcFacade: logOutput :: Logger -> SDoc -> IO ()
- Internal.GhcFacade: looksLazyPatBind :: forall (p :: Pass). HsBind (GhcPass p) -> Bool
+ Internal.GhcFacade: looksLazyPatBind :: HsBind GhcTc -> Bool
- Internal.GhcFacade: lparen :: SDoc
+ Internal.GhcFacade: lparen :: IsLine doc => doc
- Internal.GhcFacade: mapAccumLM :: Monad m => (acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
+ Internal.GhcFacade: mapAccumLM :: (Monad m, Traversable t) => (acc -> x -> m (acc, y)) -> acc -> t x -> m (acc, t y)
- Internal.GhcFacade: mapPlugins :: HscEnv -> (Plugin -> [CommandLineOption] -> a) -> [a]
+ Internal.GhcFacade: mapPlugins :: Plugins -> (Plugin -> [CommandLineOption] -> a) -> [a]
- Internal.GhcFacade: mapSndM :: Monad m => (b -> m c) -> [(a, b)] -> m [(a, c)]
+ Internal.GhcFacade: mapSndM :: (Applicative m, Traversable f) => (b -> m c) -> f (a, b) -> m (f (a, c))
- Internal.GhcFacade: matchFam :: TyCon -> [Type] -> TcPluginM (Maybe (TcCoercion, TcType))
+ Internal.GhcFacade: matchFam :: TyCon -> [Type] -> TcPluginM (Maybe Reduction)
- Internal.GhcFacade: mkDumpStyle :: PrintUnqualified -> PprStyle
+ Internal.GhcFacade: mkDumpStyle :: NamePprCtx -> PprStyle
- Internal.GhcFacade: mkErrStyle :: PrintUnqualified -> PprStyle
+ Internal.GhcFacade: mkErrStyle :: NamePprCtx -> PprStyle
- Internal.GhcFacade: mkGivenLoc :: TcLevel -> SkolemInfo -> TcLclEnv -> CtLoc
+ Internal.GhcFacade: mkGivenLoc :: TcLevel -> SkolemInfoAnon -> TcLclEnv -> CtLoc
- Internal.GhcFacade: mkHsCaseAlt :: forall (p :: Pass) body. (Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpan, Anno (Match (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpanAnnA) => LPat (GhcPass p) -> LocatedA (body (GhcPass p)) -> LMatch (GhcPass p) (LocatedA (body (GhcPass p)))
+ Internal.GhcFacade: mkHsCaseAlt :: forall (p :: Pass) body. (Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcAnn NoEpAnns, Anno (Match (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpanAnnA) => LPat (GhcPass p) -> LocatedA (body (GhcPass p)) -> LMatch (GhcPass p) (LocatedA (body (GhcPass p)))
- Internal.GhcFacade: mkHsComp :: HsStmtContext GhcRn -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> HsExpr GhcPs
+ Internal.GhcFacade: mkHsComp :: HsDoFlavour -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> HsExpr GhcPs
- Internal.GhcFacade: mkHsCompAnns :: HsStmtContext GhcRn -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> EpAnn AnnList -> HsExpr GhcPs
+ Internal.GhcFacade: mkHsCompAnns :: HsDoFlavour -> [ExprLStmt GhcPs] -> LHsExpr GhcPs -> EpAnn AnnList -> HsExpr GhcPs
- Internal.GhcFacade: mkHsDo :: HsStmtContext GhcRn -> LocatedL [ExprLStmt GhcPs] -> HsExpr GhcPs
+ Internal.GhcFacade: mkHsDo :: HsDoFlavour -> LocatedL [ExprLStmt GhcPs] -> HsExpr GhcPs
- Internal.GhcFacade: mkHsDoAnns :: HsStmtContext GhcRn -> LocatedL [ExprLStmt GhcPs] -> EpAnn AnnList -> HsExpr GhcPs
+ Internal.GhcFacade: mkHsDoAnns :: HsDoFlavour -> LocatedL [ExprLStmt GhcPs] -> EpAnn AnnList -> HsExpr GhcPs
- Internal.GhcFacade: mkHsLam :: forall (p :: Pass). (IsPass p, XMG (GhcPass p) (LHsExpr (GhcPass p)) ~ NoExtField) => [LPat (GhcPass p)] -> LHsExpr (GhcPass p) -> LHsExpr (GhcPass p)
+ Internal.GhcFacade: mkHsLam :: forall (p :: Pass). (IsPass p, XMG (GhcPass p) (LHsExpr (GhcPass p)) ~ Origin) => [LPat (GhcPass p)] -> LHsExpr (GhcPass p) -> LHsExpr (GhcPass p)
- Internal.GhcFacade: mkHsOpTy :: forall (p :: Pass). Anno (IdGhcP p) ~ SrcSpanAnnN => LHsType (GhcPass p) -> LocatedN (IdP (GhcPass p)) -> LHsType (GhcPass p) -> HsType (GhcPass p)
+ Internal.GhcFacade: mkHsOpTy :: forall (p :: Pass). Anno (IdGhcP p) ~ SrcSpanAnnN => PromotionFlag -> LHsType (GhcPass p) -> LocatedN (IdP (GhcPass p)) -> LHsType (GhcPass p) -> HsType (GhcPass p)
- Internal.GhcFacade: mkHsPatSigType :: EpAnn EpaLocation -> LHsType GhcPs -> HsPatSigType GhcPs
+ Internal.GhcFacade: mkHsPatSigType :: EpAnnCO -> LHsType GhcPs -> HsPatSigType GhcPs
- Internal.GhcFacade: mkImpossibleExpr :: Type -> CoreExpr
+ Internal.GhcFacade: mkImpossibleExpr :: Type -> String -> CoreExpr
- Internal.GhcFacade: mkIntegerExpr :: Integer -> CoreExpr
+ Internal.GhcFacade: mkIntegerExpr :: Platform -> Integer -> CoreExpr
- Internal.GhcFacade: mkLocMessage :: Severity -> SrcSpan -> SDoc -> SDoc
+ Internal.GhcFacade: mkLocMessage :: MessageClass -> SrcSpan -> SDoc -> SDoc
- Internal.GhcFacade: mkMatch :: forall (p :: Pass). IsPass p => HsMatchContext (NoGhcTc (GhcPass p)) -> [LPat (GhcPass p)] -> LHsExpr (GhcPass p) -> HsLocalBinds (GhcPass p) -> LMatch (GhcPass p) (LHsExpr (GhcPass p))
+ Internal.GhcFacade: mkMatch :: forall (p :: Pass). IsPass p => HsMatchContext (GhcPass p) -> [LPat (GhcPass p)] -> LHsExpr (GhcPass p) -> HsLocalBinds (GhcPass p) -> LMatch (GhcPass p) (LHsExpr (GhcPass p))
- Internal.GhcFacade: mkModDeps :: [ModuleNameWithIsBoot] -> ModuleNameEnv ModuleNameWithIsBoot
+ Internal.GhcFacade: mkModDeps :: Set (UnitId, ModuleNameWithIsBoot) -> InstalledModuleEnv ModuleNameWithIsBoot
- Internal.GhcFacade: mkModuleGraph :: [ExtendedModSummary] -> ModuleGraph
+ Internal.GhcFacade: mkModuleGraph :: [ModuleGraphNode] -> ModuleGraph
- Internal.GhcFacade: mkMsgEnvelope :: SrcSpan -> PrintUnqualified -> SDoc -> MsgEnvelope DecoratedSDoc
+ Internal.GhcFacade: mkMsgEnvelope :: Diagnostic e => DiagOpts -> SrcSpan -> NamePprCtx -> e -> MsgEnvelope e
- Internal.GhcFacade: mkNPat :: Located (HsOverLit GhcPs) -> Maybe (SyntaxExpr GhcPs) -> EpAnn [AddEpAnn] -> Pat GhcPs
+ Internal.GhcFacade: mkNPat :: LocatedAn NoEpAnns (HsOverLit GhcPs) -> Maybe (SyntaxExpr GhcPs) -> EpAnn [AddEpAnn] -> Pat GhcPs
- Internal.GhcFacade: mkNPlusKPat :: LocatedN RdrName -> Located (HsOverLit GhcPs) -> EpAnn EpaLocation -> Pat GhcPs
+ Internal.GhcFacade: mkNPlusKPat :: LocatedN RdrName -> LocatedAn NoEpAnns (HsOverLit GhcPs) -> EpAnn EpaLocation -> Pat GhcPs
- Internal.GhcFacade: mkNaturalExpr :: Integer -> CoreExpr
+ Internal.GhcFacade: mkNaturalExpr :: Platform -> Integer -> CoreExpr
- Internal.GhcFacade: mkPlainMsgEnvelope :: SrcSpan -> SDoc -> MsgEnvelope DecoratedSDoc
+ Internal.GhcFacade: mkPlainMsgEnvelope :: Diagnostic e => DiagOpts -> SrcSpan -> e -> MsgEnvelope e
- Internal.GhcFacade: mkPrefixFunRhs :: LIdP p -> HsMatchContext p
+ Internal.GhcFacade: mkPrefixFunRhs :: LIdP (NoGhcTc p) -> HsMatchContext p
- Internal.GhcFacade: mkRecFldSelOcc :: String -> OccName
+ Internal.GhcFacade: mkRecFldSelOcc :: FastString -> OccName
- Internal.GhcFacade: mkSimpleMatch :: forall (p :: Pass) body. (Anno (Match (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpanAnnA, Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpan) => HsMatchContext (NoGhcTc (GhcPass p)) -> [LPat (GhcPass p)] -> LocatedA (body (GhcPass p)) -> LMatch (GhcPass p) (LocatedA (body (GhcPass p)))
+ Internal.GhcFacade: mkSimpleMatch :: forall (p :: Pass) body. (Anno (Match (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpanAnnA, Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcAnn NoEpAnns) => HsMatchContext (GhcPass p) -> [LPat (GhcPass p)] -> LocatedA (body (GhcPass p)) -> LMatch (GhcPass p) (LocatedA (body (GhcPass p)))
- Internal.GhcFacade: mkStringExprFSWith :: Monad m => (Name -> m Id) -> FastString -> m CoreExpr
+ Internal.GhcFacade: mkStringExprFSWith :: MkStringIds -> FastString -> CoreExpr
- Internal.GhcFacade: mkUserStyle :: PrintUnqualified -> Depth -> PprStyle
+ Internal.GhcFacade: mkUserStyle :: NamePprCtx -> Depth -> PprStyle
- Internal.GhcFacade: mkWpFun :: HsWrapper -> HsWrapper -> Scaled TcType -> TcType -> SDoc -> HsWrapper
+ Internal.GhcFacade: mkWpFun :: HsWrapper -> HsWrapper -> Scaled TcTypeFRR -> TcType -> HsWrapper
- Internal.GhcFacade: neverQualify :: PrintUnqualified
+ Internal.GhcFacade: neverQualify :: NamePprCtx
- Internal.GhcFacade: newGiven :: CtLoc -> PredType -> EvExpr -> TcPluginM CtEvidence
+ Internal.GhcFacade: newGiven :: EvBindsVar -> CtLoc -> PredType -> EvExpr -> TcPluginM CtEvidence
- Internal.GhcFacade: newtype BufPos
+ Internal.GhcFacade: newtype () => BufPos
- Internal.GhcFacade: newtype DataFamInstDecl pass
+ Internal.GhcFacade: newtype () => DataFamInstDecl pass
- Internal.GhcFacade: newtype EvBindMap
+ Internal.GhcFacade: newtype () => EvBindMap
- Internal.GhcFacade: newtype FieldLabelStrings p
+ Internal.GhcFacade: newtype () => FieldLabelStrings p
- Internal.GhcFacade: newtype GhcApiError
+ Internal.GhcFacade: newtype () => GhcApiError
- Internal.GhcFacade: newtype HsIPName
+ Internal.GhcFacade: newtype () => HsIPName
- Internal.GhcFacade: newtype Hsc a
+ Internal.GhcFacade: newtype () => Hsc a
- Internal.GhcFacade: newtype LexicalFastString
+ Internal.GhcFacade: newtype () => LexicalFastString
- Internal.GhcFacade: newtype NonDetFastString
+ Internal.GhcFacade: newtype () => NonDetFastString
- Internal.GhcFacade: newtype PDoc a
+ Internal.GhcFacade: newtype () => PDoc a
- Internal.GhcFacade: newtype ThModFinalizers
+ Internal.GhcFacade: newtype () => ThModFinalizers
- Internal.GhcFacade: nlHsDo :: HsStmtContext GhcRn -> [LStmt GhcPs (LHsExpr GhcPs)] -> LHsExpr GhcPs
+ Internal.GhcFacade: nlHsDo :: HsDoFlavour -> [LStmt GhcPs (LHsExpr GhcPs)] -> LHsExpr GhcPs
- Internal.GhcFacade: nlHsTyConApp :: forall (p :: Pass) a. IsSrcSpanAnn p a => LexicalFixity -> IdP (GhcPass p) -> [LHsTypeArg (GhcPass p)] -> LHsType (GhcPass p)
+ Internal.GhcFacade: nlHsTyConApp :: forall (p :: Pass) a. IsSrcSpanAnn p a => PromotionFlag -> LexicalFixity -> IdP (GhcPass p) -> [LHsTypeArg (GhcPass p)] -> LHsType (GhcPass p)
- Internal.GhcFacade: nlHsTyVar :: forall (p :: Pass) a. IsSrcSpanAnn p a => IdP (GhcPass p) -> LHsType (GhcPass p)
+ Internal.GhcFacade: nlHsTyVar :: forall (p :: Pass) a. IsSrcSpanAnn p a => PromotionFlag -> IdP (GhcPass p) -> LHsType (GhcPass p)
- Internal.GhcFacade: parens :: SDoc -> SDoc
+ Internal.GhcFacade: parens :: IsLine doc => doc -> doc
- Internal.GhcFacade: parseName :: GhcMonad m => String -> m [Name]
+ Internal.GhcFacade: parseName :: GhcMonad m => String -> m (NonEmpty Name)
- Internal.GhcFacade: parser :: String -> DynFlags -> FilePath -> (WarningMessages, Either ErrorMessages (Located HsModule))
+ Internal.GhcFacade: parser :: String -> DynFlags -> FilePath -> (WarningMessages, Either ErrorMessages (Located (HsModule GhcPs)))
- Internal.GhcFacade: partitionMessages :: Messages e -> (Bag (MsgEnvelope e), Bag (MsgEnvelope e))
+ Internal.GhcFacade: partitionMessages :: Diagnostic e => Messages e -> (Messages e, Messages e)
- Internal.GhcFacade: ppUnless :: Bool -> SDoc -> SDoc
+ Internal.GhcFacade: ppUnless :: IsOutput doc => Bool -> doc -> doc
- Internal.GhcFacade: ppUnlessOption :: (SDocContext -> Bool) -> SDoc -> SDoc
+ Internal.GhcFacade: ppUnlessOption :: IsLine doc => (SDocContext -> Bool) -> doc -> doc
- Internal.GhcFacade: ppWhen :: Bool -> SDoc -> SDoc
+ Internal.GhcFacade: ppWhen :: IsOutput doc => Bool -> doc -> doc
- Internal.GhcFacade: pprAStmtContext :: (Outputable (IdP p), UnXRec p) => HsStmtContext p -> SDoc
+ Internal.GhcFacade: pprAStmtContext :: (Outputable (IdP (NoGhcTc p)), UnXRec (NoGhcTc p)) => HsStmtContext p -> SDoc
- Internal.GhcFacade: pprCode :: LabelStyle -> SDoc -> SDoc
+ Internal.GhcFacade: pprCode :: SDoc -> SDoc
- Internal.GhcFacade: pprDo :: forall (p :: Pass) body any. (OutputableBndrId p, Outputable body, Anno (StmtLR (GhcPass p) (GhcPass p) body) ~ SrcSpanAnnA) => HsStmtContext any -> [LStmt (GhcPass p) body] -> SDoc
+ Internal.GhcFacade: pprDo :: forall (p :: Pass) body. (OutputableBndrId p, Outputable body, Anno (StmtLR (GhcPass p) (GhcPass p) body) ~ SrcSpanAnnA) => HsDoFlavour -> [LStmt (GhcPass p) body] -> SDoc
- Internal.GhcFacade: pprFieldLabelStrings :: FieldLabelStrings p -> SDoc
+ Internal.GhcFacade: pprFieldLabelStrings :: (UnXRec p, Outputable (XRec p FieldLabelString)) => FieldLabelStrings p -> SDoc
- Internal.GhcFacade: pprFilePathString :: FilePath -> SDoc
+ Internal.GhcFacade: pprFilePathString :: IsLine doc => FilePath -> doc
- Internal.GhcFacade: pprForAll :: [TyCoVarBinder] -> SDoc
+ Internal.GhcFacade: pprForAll :: [ForAllTyBinder] -> SDoc
- Internal.GhcFacade: pprFullRuleName :: Located (SourceText, RuleName) -> SDoc
+ Internal.GhcFacade: pprFullRuleName :: SourceText -> GenLocated a RuleName -> SDoc
- Internal.GhcFacade: pprLocMsgEnvelope :: RenderableDiagnostic e => MsgEnvelope e -> SDoc
+ Internal.GhcFacade: pprLocMsgEnvelope :: Diagnostic e => DiagnosticOpts e -> MsgEnvelope e -> SDoc
- Internal.GhcFacade: pprMatchContext :: (Outputable (IdP p), UnXRec p) => HsMatchContext p -> SDoc
+ Internal.GhcFacade: pprMatchContext :: (Outputable (IdP (NoGhcTc p)), UnXRec (NoGhcTc p)) => HsMatchContext p -> SDoc
- Internal.GhcFacade: pprMatchContextNoun :: (Outputable (IdP p), UnXRec p) => HsMatchContext p -> SDoc
+ Internal.GhcFacade: pprMatchContextNoun :: (Outputable (IdP (NoGhcTc p)), UnXRec (NoGhcTc p)) => HsMatchContext p -> SDoc
- Internal.GhcFacade: pprModule :: Module -> SDoc
+ Internal.GhcFacade: pprModule :: IsLine doc => Module -> doc
- Internal.GhcFacade: pprMsgEnvelopeBagWithLoc :: Bag (MsgEnvelope DecoratedSDoc) -> [SDoc]
+ Internal.GhcFacade: pprMsgEnvelopeBagWithLoc :: Diagnostic e => DiagnosticOpts e -> Bag (MsgEnvelope e) -> [SDoc]
- Internal.GhcFacade: pprNameSpaceBrief :: NameSpace -> SDoc
+ Internal.GhcFacade: pprNameSpaceBrief :: IsLine doc => NameSpace -> doc
- Internal.GhcFacade: pprOccName :: OccName -> SDoc
+ Internal.GhcFacade: pprOccName :: IsLine doc => OccName -> doc
- Internal.GhcFacade: pprStmtContext :: (Outputable (IdP p), UnXRec p) => HsStmtContext p -> SDoc
+ Internal.GhcFacade: pprStmtContext :: (Outputable (IdP (NoGhcTc p)), UnXRec (NoGhcTc p)) => HsStmtContext p -> SDoc
- Internal.GhcFacade: pprStmtInCtxt :: forall (idL :: Pass) (idR :: Pass) body. (OutputableBndrId idL, OutputableBndrId idR, Outputable body, Anno (StmtLR (GhcPass idL) (GhcPass idR) body) ~ SrcSpanAnnA) => HsStmtContext (GhcPass idL) -> StmtLR (GhcPass idL) (GhcPass idR) body -> SDoc
+ Internal.GhcFacade: pprStmtInCtxt :: forall (idL :: Pass) (idR :: Pass) (ctx :: Pass) body. (OutputableBndrId idL, OutputableBndrId idR, OutputableBndrId ctx, Outputable body, Anno (StmtLR (GhcPass idL) (GhcPass idR) body) ~ SrcSpanAnnA) => HsStmtContext (GhcPass ctx) -> StmtLR (GhcPass idL) (GhcPass idR) body -> SDoc
- Internal.GhcFacade: ppr_quasi :: OutputableBndr p => p -> p -> FastString -> SDoc
+ Internal.GhcFacade: ppr_quasi :: OutputableBndr p => p -> FastString -> SDoc
- Internal.GhcFacade: ppr_splice :: forall (p :: Pass). OutputableBndrId p => SDoc -> IdP (GhcPass p) -> LHsExpr (GhcPass p) -> SDoc -> SDoc
+ Internal.GhcFacade: ppr_splice :: forall (p :: Pass). OutputableBndrId p => SDoc -> Maybe SplicePointName -> LHsExpr (GhcPass p) -> SDoc
- Internal.GhcFacade: prettyPrintGhcErrors :: ExceptionMonad m => DynFlags -> m a -> m a
+ Internal.GhcFacade: prettyPrintGhcErrors :: ExceptionMonad m => Logger -> m a -> m a
- Internal.GhcFacade: printException :: GhcMonad m => SourceError -> m ()
+ Internal.GhcFacade: printException :: (HasLogger m, MonadIO m, HasDynFlags m) => SourceError -> m ()
- Internal.GhcFacade: printInfoForUser :: Logger -> DynFlags -> PrintUnqualified -> SDoc -> IO ()
+ Internal.GhcFacade: printInfoForUser :: Logger -> NamePprCtx -> SDoc -> IO ()
- Internal.GhcFacade: printOutputForUser :: Logger -> DynFlags -> PrintUnqualified -> SDoc -> IO ()
+ Internal.GhcFacade: printOutputForUser :: Logger -> NamePprCtx -> SDoc -> IO ()
- Internal.GhcFacade: punctuate :: SDoc -> [SDoc] -> [SDoc]
+ Internal.GhcFacade: punctuate :: IsLine doc => doc -> [doc] -> [doc]
- Internal.GhcFacade: putLogMsgM :: GhcMonad m => WarnReason -> Severity -> SrcSpan -> SDoc -> m ()
+ Internal.GhcFacade: putLogMsgM :: GhcMonad m => MessageClass -> SrcSpan -> SDoc -> m ()
- Internal.GhcFacade: putMsg :: Logger -> DynFlags -> SDoc -> IO ()
+ Internal.GhcFacade: putMsg :: Logger -> SDoc -> IO ()
- Internal.GhcFacade: queryQual :: PprStyle -> PrintUnqualified
+ Internal.GhcFacade: queryQual :: PprStyle -> NamePprCtx
- Internal.GhcFacade: rbrace :: SDoc
+ Internal.GhcFacade: rbrace :: IsLine doc => doc
- Internal.GhcFacade: rbrack :: SDoc
+ Internal.GhcFacade: rbrack :: IsLine doc => doc
- Internal.GhcFacade: reallyAlwaysQualify :: PrintUnqualified
+ Internal.GhcFacade: reallyAlwaysQualify :: NamePprCtx
- Internal.GhcFacade: replaceLWrappedName :: LIEWrappedName name1 -> name2 -> LIEWrappedName name2
+ Internal.GhcFacade: replaceLWrappedName :: LIEWrappedName GhcPs -> IdP GhcRn -> LIEWrappedName GhcRn
- Internal.GhcFacade: replaceWrappedName :: IEWrappedName name1 -> name2 -> IEWrappedName name2
+ Internal.GhcFacade: replaceWrappedName :: IEWrappedName GhcPs -> IdP GhcRn -> IEWrappedName GhcRn
- Internal.GhcFacade: rparen :: SDoc
+ Internal.GhcFacade: rparen :: IsLine doc => doc
- Internal.GhcFacade: runTcInteractive :: HscEnv -> TcRn a -> IO (Messages DecoratedSDoc, Maybe a)
+ Internal.GhcFacade: runTcInteractive :: HscEnv -> TcRn a -> IO (Messages TcRnMessage, Maybe a)
- Internal.GhcFacade: semi :: SDoc
+ Internal.GhcFacade: semi :: IsLine doc => doc
- Internal.GhcFacade: sep :: [SDoc] -> SDoc
+ Internal.GhcFacade: sep :: IsLine doc => [doc] -> doc
- Internal.GhcFacade: setEvBind :: EvBind -> TcPluginM ()
+ Internal.GhcFacade: setEvBind :: EvBindsVar -> EvBind -> TcPluginM ()
- Internal.GhcFacade: setSessionDynFlags :: GhcMonad m => DynFlags -> m ()
+ Internal.GhcFacade: setSessionDynFlags :: (HasCallStack, GhcMonad m) => DynFlags -> m ()
- Internal.GhcFacade: showPass :: Logger -> DynFlags -> String -> IO ()
+ Internal.GhcFacade: showPass :: Logger -> String -> IO ()
- Internal.GhcFacade: sortMsgBag :: Maybe DynFlags -> Bag (MsgEnvelope e) -> [MsgEnvelope e]
+ Internal.GhcFacade: sortMsgBag :: Maybe DiagOpts -> Bag (MsgEnvelope e) -> [MsgEnvelope e]
- Internal.GhcFacade: space :: SDoc
+ Internal.GhcFacade: space :: IsLine doc => doc
- Internal.GhcFacade: spanHsLocaLBinds :: forall (p :: Pass). Data (HsLocalBinds (GhcPass p)) => HsLocalBinds (GhcPass p) -> SrcSpan
+ Internal.GhcFacade: spanHsLocaLBinds :: forall (p :: Pass). HsLocalBinds (GhcPass p) -> SrcSpan
- Internal.GhcFacade: text :: String -> SDoc
+ Internal.GhcFacade: text :: IsLine doc => String -> doc
- Internal.GhcFacade: topSortModuleGraph :: Bool -> ModuleGraph -> Maybe ModuleName -> [SCC ModuleGraphNode]
+ Internal.GhcFacade: topSortModuleGraph :: Bool -> ModuleGraph -> Maybe HomeUnitModule -> [SCC ModuleGraphNode]
- Internal.GhcFacade: touchDumpFile :: Logger -> DynFlags -> DumpFlag -> IO ()
+ Internal.GhcFacade: touchDumpFile :: Logger -> DumpFlag -> IO ()
- Internal.GhcFacade: traceCmd :: Logger -> DynFlags -> String -> String -> IO a -> IO a
+ Internal.GhcFacade: traceCmd :: Logger -> String -> String -> IO a -> IO a
- Internal.GhcFacade: type DumpAction = DynFlags -> PprStyle -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
+ Internal.GhcFacade: type DumpAction = LogFlags -> PprStyle -> DumpFlag -> String -> DumpFormat -> SDoc -> IO ()
- Internal.GhcFacade: type HsConPatDetails p = HsConDetails HsPatSigType NoGhcTc p LPat p HsRecFields p LPat p
+ Internal.GhcFacade: type HsConPatDetails p = HsConDetails HsConPatTyArg NoGhcTc p LPat p HsRecFields p LPat p
- Internal.GhcFacade: type HsRecField p arg = HsRecField' FieldOcc p arg
+ Internal.GhcFacade: type HsRecField p arg = HsFieldBind LFieldOcc p arg
- Internal.GhcFacade: type HsRecUpdField p = HsRecField' AmbiguousFieldOcc p LHsExpr p
+ Internal.GhcFacade: type HsRecUpdField p = HsFieldBind LAmbiguousFieldOcc p LHsExpr p
- Internal.GhcFacade: type LDocDecl pass = XRec pass DocDecl
+ Internal.GhcFacade: type LDocDecl pass = XRec pass DocDecl pass
- Internal.GhcFacade: type LIEWrappedName name = LocatedA IEWrappedName name
+ Internal.GhcFacade: type LIEWrappedName p = XRec p IEWrappedName p
- Internal.GhcFacade: type LogAction = DynFlags -> WarnReason -> Severity -> SrcSpan -> SDoc -> IO ()
+ Internal.GhcFacade: type LogAction = LogFlags -> MessageClass -> SrcSpan -> SDoc -> IO ()
- Internal.GhcFacade: type WarnErrLogger = forall (m :: Type -> Type). GhcMonad m => Maybe SourceError -> m ()
+ Internal.GhcFacade: type WarnErrLogger = forall (m :: Type -> Type). (HasDynFlags m, MonadIO m, HasLogger m) => Maybe SourceError -> m ()
- Internal.GhcFacade: type ParsedSource = Located HsModule
+ Internal.GhcFacade: type ParsedSource = Located HsModule GhcPs
- Internal.GhcFacade: type RecProj p arg = HsRecField' FieldLabelStrings p arg
+ Internal.GhcFacade: type RecProj p arg = HsFieldBind LFieldLabelStrings p arg
- Internal.GhcFacade: type RenamedSource = (HsGroup GhcRn, [LImportDecl GhcRn], Maybe [(LIE GhcRn, Avails)], Maybe LHsDocString)
+ Internal.GhcFacade: type RenamedSource = (HsGroup GhcRn, [LImportDecl GhcRn], Maybe [(LIE GhcRn, Avails)], Maybe LHsDoc GhcRn)
- Internal.GhcFacade: type THDocs = Map DocLoc String
+ Internal.GhcFacade: type THDocs = Map DocLoc HsDoc GhcRn
- Internal.GhcFacade: type TcPluginResult' = TcPluginResult
+ Internal.GhcFacade: type TcPluginResult' = TcPluginSolveResult
- Internal.GhcFacade: type TcPluginSolver = [Ct] -> [Ct] -> [Ct] -> TcPluginM TcPluginResult
+ Internal.GhcFacade: type TcPluginSolver = EvBindsVar -> [Ct] -> [Ct] -> TcPluginM TcPluginSolveResult
- Internal.GhcFacade: type TraceAction a = DynFlags -> String -> SDoc -> a -> a
+ Internal.GhcFacade: type TraceAction a = LogFlags -> String -> SDoc -> a -> a
- Internal.GhcFacade: type family Anno a = (b :: Type)
+ Internal.GhcFacade: type family SyntaxExprGhc (p :: Pass) = (r :: Type) | r -> p
- Internal.GhcFacade: underscore :: SDoc
+ Internal.GhcFacade: underscore :: IsLine doc => doc
- Internal.GhcFacade: unguardedGRHSs :: forall (p :: Pass) body. Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpan => SrcSpan -> LocatedA (body (GhcPass p)) -> EpAnn GrhsAnn -> GRHSs (GhcPass p) (LocatedA (body (GhcPass p)))
+ Internal.GhcFacade: unguardedGRHSs :: forall (p :: Pass) body. Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcAnn NoEpAnns => SrcSpan -> LocatedA (body (GhcPass p)) -> EpAnn GrhsAnn -> GRHSs (GhcPass p) (LocatedA (body (GhcPass p)))
- Internal.GhcFacade: unguardedRHS :: forall (p :: Pass) body. Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpan => EpAnn GrhsAnn -> SrcSpan -> LocatedA (body (GhcPass p)) -> [LGRHS (GhcPass p) (LocatedA (body (GhcPass p)))]
+ Internal.GhcFacade: unguardedRHS :: forall (p :: Pass) body. Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcAnn NoEpAnns => EpAnn GrhsAnn -> SrcSpan -> LocatedA (body (GhcPass p)) -> [LGRHS (GhcPass p) (LocatedA (body (GhcPass p)))]
- Internal.GhcFacade: vbar :: SDoc
+ Internal.GhcFacade: vbar :: IsLine doc => doc
- Internal.GhcFacade: vcat :: [SDoc] -> SDoc
+ Internal.GhcFacade: vcat :: IsDoc doc => [doc] -> doc
- Internal.GhcFacade: whenPprDebug :: SDoc -> SDoc
+ Internal.GhcFacade: whenPprDebug :: IsOutput doc => doc -> doc
- Internal.GhcFacade: withDumpFileHandle :: DumpCache -> DynFlags -> DumpFlag -> (Maybe Handle -> IO ()) -> IO ()
+ Internal.GhcFacade: withDumpFileHandle :: DumpCache -> LogFlags -> DumpFlag -> (Maybe Handle -> IO ()) -> IO ()
- Internal.GhcFacade: withErrStyle :: PrintUnqualified -> SDoc -> SDoc
+ Internal.GhcFacade: withErrStyle :: NamePprCtx -> SDoc -> SDoc
- Internal.GhcFacade: withPlugins :: Monad m => HscEnv -> PluginOperation m a -> a -> m a
+ Internal.GhcFacade: withPlugins :: Monad m => Plugins -> PluginOperation m a -> a -> m a
- Internal.GhcFacade: withPlugins_ :: Monad m => HscEnv -> ConstPluginOperation m a -> a -> m ()
+ Internal.GhcFacade: withPlugins_ :: Monad m => Plugins -> ConstPluginOperation m a -> a -> m ()
- Internal.GhcFacade: withTiming :: MonadIO m => Logger -> DynFlags -> SDoc -> (a -> ()) -> m a -> m a
+ Internal.GhcFacade: withTiming :: MonadIO m => Logger -> SDoc -> (a -> ()) -> m a -> m a
- Internal.GhcFacade: withTimingSilent :: MonadIO m => Logger -> DynFlags -> SDoc -> (a -> ()) -> m a -> m a
+ Internal.GhcFacade: withTimingSilent :: MonadIO m => Logger -> SDoc -> (a -> ()) -> m a -> m a
- Internal.GhcFacade: withUserStyle :: PrintUnqualified -> Depth -> SDoc -> SDoc
+ Internal.GhcFacade: withUserStyle :: NamePprCtx -> Depth -> SDoc -> SDoc
- Internal.GhcFacade: ztext :: FastZString -> SDoc
+ Internal.GhcFacade: ztext :: IsLine doc => FastZString -> doc
- Internal.Types: Warning :: MsgEnvelope DecoratedSDoc -> Warning
+ Internal.Types: Warning :: MsgEnvelope DiagnosticMessage -> Warning
- Internal.Types: [unWarning] :: Warning -> MsgEnvelope DecoratedSDoc
+ Internal.Types: [unWarning] :: Warning -> MsgEnvelope DiagnosticMessage

Files

CHANGELOG.md view
@@ -1,9 +1,13 @@ # Revision history for pinned-warnings +## 0.1.2.0+* Support GHC 9.10.x+* Drop support for GHC 9.2+ ## 0.1.1.0  * Support GHC 9.8.x-* Drop support for GHC 9.2 and 8.10+* Drop support for GHC 8.10  ## 0.1.0.14 
pinned-warnings.cabal view
@@ -4,7 +4,7 @@ -- http://haskell.org/cabal/users-guide/  name:                pinned-warnings-version:             0.1.1.0+version:             0.1.2.0 synopsis: Preserve warnings in a GHCi session description: Please see the README on GitHub at <https://github.com/aaronallen8455/pinned-warnings#readme> homepage:       https://github.com/aaronallen8455/pinned-warnings#readme@@ -19,7 +19,7 @@ extra-source-files:   README.md   CHANGELOG.md-tested-with: GHC ==9.2.2 || ==9.4.2 || ==9.6.1 || ==9.8.1+tested-with: GHC ==9.4.2 || ==9.6.1 || ==9.8.1 || ==9.10.1  library   exposed-modules:     PinnedWarnings@@ -28,10 +28,10 @@                        Internal.GhcFacade                        Internal.Types -  build-depends:       ghc              >= 9.2 && < 9.9,+  build-depends:       ghc              >= 9.4 && < 9.11,                        base             >= 4.16.0 && < 5,                        bytestring       >= 0.11.3 && < 0.13,-                       containers       >= 0.6.5 && < 0.7,+                       containers       >= 0.6.5 && < 0.8,                        directory        >= 1.3.6 && < 1.4,                        time             >= 1.11.1 && < 1.13,                        transformers     >= 0.5.6 && < 0.7
src/Internal/GhcFacade.hs view
@@ -50,25 +50,6 @@ import GHC.Utils.Outputable as X import GHC.Driver.Config.Diagnostic as X -#elif MIN_VERSION_ghc(9,2,0)-import GHC as X hiding (FunDep)-import GHC.Core.Class as X-import GHC.Core.Make as X-import GHC.Data.Bag as X-import GHC.Data.FastString as X-import GHC.Data.IOEnv as X-import GHC.Driver.Plugins as X hiding (TcPlugin)-import GHC.Driver.Env.Types as X-import GHC.Tc.Plugin as X-import GHC.Tc.Types as X-import GHC.Tc.Types.Constraint as X-import GHC.Tc.Types.Evidence as X-import GHC.Types.Error as X-import GHC.Types.Name.Occurrence as X-import GHC.Types.SrcLoc as X-import GHC.Utils.Error as X-import GHC.Utils.Logger as X-import GHC.Utils.Outputable as X #endif  #if MIN_VERSION_ghc(9,4,0)
src/Internal/Types.hs view
@@ -19,17 +19,10 @@ type ModuleFile = String  newtype Warning = Warning-  { unWarning-#if MIN_VERSION_ghc(9,4,0)-      :: Ghc.MsgEnvelope Ghc.DiagnosticMessage-#elif MIN_VERSION_ghc(9,2,0)-      :: Ghc.MsgEnvelope Ghc.DecoratedSDoc-#endif-  }+  { unWarning :: Ghc.MsgEnvelope Ghc.DiagnosticMessage }  showWarning :: Warning -> String showWarning =-#if MIN_VERSION_ghc(9,4,0)   let sdocCtx = Ghc.defaultSDocContext               { Ghc.sdocPrintUnicodeSyntax = True               , Ghc.sdocCanUseUnicode = True@@ -42,14 +35,6 @@       . Ghc.diagnosticMessage #endif       . Ghc.errMsgDiagnostic . unWarning-#elif MIN_VERSION_ghc(9,2,0)-  let sdocCtx = Ghc.defaultSDocContext-              { Ghc.sdocPrintUnicodeSyntax = True-              , Ghc.sdocCanUseUnicode = True-              }-   in foldMap (Ghc.showSDocOneLine sdocCtx)-      . Ghc.unDecorated . Ghc.errMsgDiagnostic . unWarning-#endif  instance Eq Warning where   Warning a == Warning b = show a == show b
src/PinnedWarnings.hs view
@@ -8,7 +8,9 @@ import           Control.Monad import           Control.Monad.IO.Class import           Data.IORef+#if !MIN_VERSION_ghc(9,10,0) import           Data.List+#endif import qualified Data.Map.Strict as M import           Data.Maybe import qualified Data.Set as S@@ -147,9 +149,6 @@     $ \messages ->         (Ghc.mkMessages ((fmap . fmap) Ghc.TcRnUnknownMessage pinnedWarns)           `Ghc.unionMessages` messages, ())-#elif MIN_VERSION_ghc(9,2,0)-    $ \messages ->-        (Ghc.mkMessages pinnedWarns `Ghc.unionMessages` messages, ()) #endif  -- | Remove warnings for modules that no longer exist@@ -185,7 +184,6 @@   pure parsedModule  -- | Taps into the log action to capture the warnings that GHC emits.-#if MIN_VERSION_ghc(9,4,0) addWarningCapture :: Ghc.HscEnv -> Ghc.HscEnv addWarningCapture hscEnv =   hscEnv@@ -216,27 +214,6 @@             addWarningToGlobalState start end modFile warn         _ -> pure ()       logAction dynFlags messageClass srcSpan sdoc-#elif MIN_VERSION_ghc(9,2,0)-addWarningCapture :: Ghc.HscEnv -> Ghc.HscEnv-addWarningCapture hscEnv =-  hscEnv-    { Ghc.hsc_logger = Ghc.pushLogHook warningsHook (Ghc.hsc_logger hscEnv)-    }-  where-    warningsHook :: Ghc.LogAction -> Ghc.LogAction-    warningsHook logAction dynFlags warnReason severity srcSpan sdoc = do-      case severity of-        Ghc.SevWarning-          | Ghc.RealSrcLoc start _ <- Ghc.srcSpanStart srcSpan-          , Ghc.RealSrcLoc end _ <- Ghc.srcSpanEnd srcSpan-          , Just modFile <- Ghc.srcSpanFileName_maybe srcSpan-          -> do-            let warn = Warning $ Ghc.mkPlainWarnMsg srcSpan sdoc-            addWarningToGlobalState start end modFile warn-        _ -> pure ()--      logAction dynFlags warnReason severity srcSpan sdoc-#endif  -- | Adds a warning to the global state variable addWarningToGlobalState