Safe Haskell	None
Language	Haskell2010

Development.IDE.GHC.Compat.Core

Contents

Session
Linear Haskell
Interface Files
Fixity
ModSummary
HomeModInfo
ModGuts
ModDetails
HsExpr,
Var
Specs
SourceText
Name
Ways
AvailInfo
TcGblEnv
Parsing and LExer types
Compilation Main
Typecheck utils
Source Locations
Finder
Module and Package
Linker
Hooks
HPT
Driver-Make
GHCi
ModLocation
DataCon
Role
Panic
Other
Util Module re-exports
Syntax re-exports

Description

Compat Core module that handles the GHC module hierarchy re-organisation by re-exporting everything we care about.

This module provides no other compat mechanisms, except for simple backward-compatible pattern synonyms.

Synopsis

data DynFlags
extensions :: DynFlags -> [OnOff Extension]
extensionFlags :: DynFlags -> EnumSet Extension
targetPlatform :: DynFlags -> Platform
packageFlags :: DynFlags -> [PackageFlag]
generalFlags :: DynFlags -> EnumSet GeneralFlag
warningFlags :: DynFlags -> EnumSet WarningFlag
topDir :: DynFlags -> FilePath
hiDir :: DynFlags -> Maybe String
tmpDir :: DynFlags -> String
importPaths :: DynFlags -> [FilePath]
useColor :: DynFlags -> OverridingBool
canUseColor :: DynFlags -> Bool
useUnicode :: DynFlags -> Bool
objectDir :: DynFlags -> Maybe String
flagsForCompletion :: Bool -> [String]
setImportPaths :: [FilePath] -> DynFlags -> DynFlags
outputFile :: DynFlags -> Maybe String
pluginModNames :: DynFlags -> [ModuleName]
refLevelHoleFits :: DynFlags -> Maybe Int
maxRefHoleFits :: DynFlags -> Maybe Int
maxValidHoleFits :: DynFlags -> Maybe Int
setOutputFile :: FilePath -> DynFlags -> DynFlags
type CommandLineOption = String
staticPlugins :: DynFlags -> [StaticPlugin]
sPgm_F :: Settings -> String
settings :: DynFlags -> Settings
gopt :: GeneralFlag -> DynFlags -> Bool
gopt_set :: DynFlags -> GeneralFlag -> DynFlags
gopt_unset :: DynFlags -> GeneralFlag -> DynFlags
wopt :: WarningFlag -> DynFlags -> Bool
wopt_set :: DynFlags -> WarningFlag -> DynFlags
xFlags :: [FlagSpec Extension]
xopt :: Extension -> DynFlags -> Bool
xopt_unset :: DynFlags -> Extension -> DynFlags
xopt_set :: DynFlags -> Extension -> DynFlags
data FlagSpec flag = FlagSpec {
- flagSpecName :: String
- flagSpecFlag :: flag
- flagSpecAction :: TurnOnFlag -> DynP ()
- flagSpecGhcMode :: GhcFlagMode
}
data WarningFlag
- = Opt_WarnDuplicateExports
- | Opt_WarnDuplicateConstraints
- | Opt_WarnRedundantConstraints
- | Opt_WarnHiShadows
- | Opt_WarnImplicitPrelude
- | Opt_WarnIncompletePatterns
- | Opt_WarnIncompleteUniPatterns
- | Opt_WarnIncompletePatternsRecUpd
- | Opt_WarnOverflowedLiterals
- | Opt_WarnEmptyEnumerations
- | Opt_WarnMissingFields
- | Opt_WarnMissingImportList
- | Opt_WarnMissingMethods
- | Opt_WarnMissingSignatures
- | Opt_WarnMissingLocalSignatures
- | Opt_WarnNameShadowing
- | Opt_WarnOverlappingPatterns
- | Opt_WarnTypeDefaults
- | Opt_WarnMonomorphism
- | Opt_WarnUnusedTopBinds
- | Opt_WarnUnusedLocalBinds
- | Opt_WarnUnusedPatternBinds
- | Opt_WarnUnusedImports
- | Opt_WarnUnusedMatches
- | Opt_WarnUnusedTypePatterns
- | Opt_WarnUnusedForalls
- | Opt_WarnUnusedRecordWildcards
- | Opt_WarnRedundantRecordWildcards
- | Opt_WarnWarningsDeprecations
- | Opt_WarnDeprecatedFlags
- | Opt_WarnMissingMonadFailInstances
- | Opt_WarnSemigroup
- | Opt_WarnDodgyExports
- | Opt_WarnDodgyImports
- | Opt_WarnOrphans
- | Opt_WarnAutoOrphans
- | Opt_WarnIdentities
- | Opt_WarnTabs
- | Opt_WarnUnrecognisedPragmas
- | Opt_WarnDodgyForeignImports
- | Opt_WarnUnusedDoBind
- | Opt_WarnWrongDoBind
- | Opt_WarnAlternativeLayoutRuleTransitional
- | Opt_WarnUnsafe
- | Opt_WarnSafe
- | Opt_WarnTrustworthySafe
- | Opt_WarnMissedSpecs
- | Opt_WarnAllMissedSpecs
- | Opt_WarnUnsupportedCallingConventions
- | Opt_WarnUnsupportedLlvmVersion
- | Opt_WarnMissedExtraSharedLib
- | Opt_WarnInlineRuleShadowing
- | Opt_WarnTypedHoles
- | Opt_WarnPartialTypeSignatures
- | Opt_WarnMissingExportedSignatures
- | Opt_WarnUntickedPromotedConstructors
- | Opt_WarnDerivingTypeable
- | Opt_WarnDeferredTypeErrors
- | Opt_WarnDeferredOutOfScopeVariables
- | Opt_WarnNonCanonicalMonadInstances
- | Opt_WarnNonCanonicalMonadFailInstances
- | Opt_WarnNonCanonicalMonoidInstances
- | Opt_WarnMissingPatternSynonymSignatures
- | Opt_WarnUnrecognisedWarningFlags
- | Opt_WarnSimplifiableClassConstraints
- | Opt_WarnCPPUndef
- | Opt_WarnUnbangedStrictPatterns
- | Opt_WarnMissingHomeModules
- | Opt_WarnPartialFields
- | Opt_WarnMissingExportList
- | Opt_WarnInaccessibleCode
- | Opt_WarnStarIsType
- | Opt_WarnStarBinder
- | Opt_WarnImplicitKindVars
- | Opt_WarnSpaceAfterBang
- | Opt_WarnMissingDerivingStrategies
- | Opt_WarnPrepositiveQualifiedModule
- | Opt_WarnUnusedPackages
- | Opt_WarnInferredSafeImports
- | Opt_WarnMissingSafeHaskellMode
- | Opt_WarnCompatUnqualifiedImports
- | Opt_WarnDerivingDefaults
data GeneralFlag
- = Opt_DumpToFile
- | Opt_D_faststring_stats
- | Opt_D_dump_minimal_imports
- | Opt_DoCoreLinting
- | Opt_DoStgLinting
- | Opt_DoCmmLinting
- | Opt_DoAsmLinting
- | Opt_DoAnnotationLinting
- | Opt_NoLlvmMangler
- | Opt_FastLlvm
- | Opt_NoTypeableBinds
- | Opt_WarnIsError
- | Opt_ShowWarnGroups
- | Opt_HideSourcePaths
- | Opt_PrintExplicitForalls
- | Opt_PrintExplicitKinds
- | Opt_PrintExplicitCoercions
- | Opt_PrintExplicitRuntimeReps
- | Opt_PrintEqualityRelations
- | Opt_PrintAxiomIncomps
- | Opt_PrintUnicodeSyntax
- | Opt_PrintExpandedSynonyms
- | Opt_PrintPotentialInstances
- | Opt_PrintTypecheckerElaboration
- | Opt_CallArity
- | Opt_Exitification
- | Opt_Strictness
- | Opt_LateDmdAnal
- | Opt_KillAbsence
- | Opt_KillOneShot
- | Opt_FullLaziness
- | Opt_FloatIn
- | Opt_LateSpecialise
- | Opt_Specialise
- | Opt_SpecialiseAggressively
- | Opt_CrossModuleSpecialise
- | Opt_StaticArgumentTransformation
- | Opt_CSE
- | Opt_StgCSE
- | Opt_StgLiftLams
- | Opt_LiberateCase
- | Opt_SpecConstr
- | Opt_SpecConstrKeen
- | Opt_DoLambdaEtaExpansion
- | Opt_IgnoreAsserts
- | Opt_DoEtaReduction
- | Opt_CaseMerge
- | Opt_CaseFolding
- | Opt_UnboxStrictFields
- | Opt_UnboxSmallStrictFields
- | Opt_DictsCheap
- | Opt_EnableRewriteRules
- | Opt_EnableThSpliceWarnings
- | Opt_RegsGraph
- | Opt_RegsIterative
- | Opt_PedanticBottoms
- | Opt_LlvmTBAA
- | Opt_LlvmFillUndefWithGarbage
- | Opt_IrrefutableTuples
- | Opt_CmmSink
- | Opt_CmmElimCommonBlocks
- | Opt_AsmShortcutting
- | Opt_OmitYields
- | Opt_FunToThunk
- | Opt_DictsStrict
- | Opt_DmdTxDictSel
- | Opt_Loopification
- | Opt_CfgBlocklayout
- | Opt_WeightlessBlocklayout
- | Opt_CprAnal
- | Opt_WorkerWrapper
- | Opt_SolveConstantDicts
- | Opt_AlignmentSanitisation
- | Opt_CatchBottoms
- | Opt_NumConstantFolding
- | Opt_SimplPreInlining
- | Opt_IgnoreInterfacePragmas
- | Opt_OmitInterfacePragmas
- | Opt_ExposeAllUnfoldings
- | Opt_WriteInterface
- | Opt_WriteHie
- | Opt_AutoSccsOnIndividualCafs
- | Opt_ProfCountEntries
- | Opt_Pp
- | Opt_ForceRecomp
- | Opt_IgnoreOptimChanges
- | Opt_IgnoreHpcChanges
- | Opt_ExcessPrecision
- | Opt_EagerBlackHoling
- | Opt_NoHsMain
- | Opt_SplitSections
- | Opt_StgStats
- | Opt_HideAllPackages
- | Opt_HideAllPluginPackages
- | Opt_PrintBindResult
- | Opt_Haddock
- | Opt_HaddockOptions
- | Opt_BreakOnException
- | Opt_BreakOnError
- | Opt_PrintEvldWithShow
- | Opt_PrintBindContents
- | Opt_GenManifest
- | Opt_EmbedManifest
- | Opt_SharedImplib
- | Opt_BuildingCabalPackage
- | Opt_IgnoreDotGhci
- | Opt_GhciSandbox
- | Opt_GhciHistory
- | Opt_GhciLeakCheck
- | Opt_ValidateHie
- | Opt_LocalGhciHistory
- | Opt_NoIt
- | Opt_HelpfulErrors
- | Opt_DeferTypeErrors
- | Opt_DeferTypedHoles
- | Opt_DeferOutOfScopeVariables
- | Opt_PIC
- | Opt_PIE
- | Opt_PICExecutable
- | Opt_ExternalDynamicRefs
- | Opt_SccProfilingOn
- | Opt_Ticky
- | Opt_Ticky_Allocd
- | Opt_Ticky_LNE
- | Opt_Ticky_Dyn_Thunk
- | Opt_RPath
- | Opt_RelativeDynlibPaths
- | Opt_Hpc
- | Opt_FlatCache
- | Opt_ExternalInterpreter
- | Opt_OptimalApplicativeDo
- | Opt_VersionMacros
- | Opt_WholeArchiveHsLibs
- | Opt_SingleLibFolder
- | Opt_KeepCAFs
- | Opt_KeepGoing
- | Opt_ByteCode
- | Opt_ErrorSpans
- | Opt_DeferDiagnostics
- | Opt_DiagnosticsShowCaret
- | Opt_PprCaseAsLet
- | Opt_PprShowTicks
- | Opt_ShowHoleConstraints
- | Opt_ShowValidHoleFits
- | Opt_SortValidHoleFits
- | Opt_SortBySizeHoleFits
- | Opt_SortBySubsumHoleFits
- | Opt_AbstractRefHoleFits
- | Opt_UnclutterValidHoleFits
- | Opt_ShowTypeAppOfHoleFits
- | Opt_ShowTypeAppVarsOfHoleFits
- | Opt_ShowDocsOfHoleFits
- | Opt_ShowTypeOfHoleFits
- | Opt_ShowProvOfHoleFits
- | Opt_ShowMatchesOfHoleFits
- | Opt_ShowLoadedModules
- | Opt_HexWordLiterals
- | Opt_SuppressCoercions
- | Opt_SuppressVarKinds
- | Opt_SuppressModulePrefixes
- | Opt_SuppressTypeApplications
- | Opt_SuppressIdInfo
- | Opt_SuppressUnfoldings
- | Opt_SuppressTypeSignatures
- | Opt_SuppressUniques
- | Opt_SuppressStgExts
- | Opt_SuppressTicks
- | Opt_SuppressTimestamps
- | Opt_AutoLinkPackages
- | Opt_ImplicitImportQualified
- | Opt_KeepHscppFiles
- | Opt_KeepHiDiffs
- | Opt_KeepHcFiles
- | Opt_KeepSFiles
- | Opt_KeepTmpFiles
- | Opt_KeepRawTokenStream
- | Opt_KeepLlvmFiles
- | Opt_KeepHiFiles
- | Opt_KeepOFiles
- | Opt_BuildDynamicToo
- | Opt_DistrustAllPackages
- | Opt_PackageTrust
- | Opt_PluginTrustworthy
- | Opt_G_NoStateHack
- | Opt_G_NoOptCoercion
data PackageFlag
data PackageArg
- = PackageArg String
- | UnitIdArg UnitId
data ModRenaming = ModRenaming {
- modRenamingWithImplicit :: Bool
- modRenamings :: [(ModuleName, ModuleName)]
}
pattern ExposePackage :: String -> PackageArg -> ModRenaming -> PackageFlag
parseDynamicFlagsCmdLine :: MonadIO m => DynFlags -> [Located String] -> m (DynFlags, [Located String], [Warn])
parseDynamicFilePragma :: MonadIO m => DynFlags -> [Located String] -> m (DynFlags, [Located String], [Warn])
data WarnReason
- = NoReason
- | Reason !WarningFlag
- | ErrReason !(Maybe WarningFlag)
wWarningFlags :: [FlagSpec WarningFlag]
updOptLevel :: Int -> DynFlags -> DynFlags
setUnsafeGlobalDynFlags :: DynFlags -> IO ()
type Scaled a = a
unrestricted :: a -> Scaled a
scaledThing :: Scaled a -> a
type IfaceExport = AvailInfo
data IfaceTyCon = IfaceTyCon {
- ifaceTyConName :: IfExtName
- ifaceTyConInfo :: IfaceTyConInfo
}
type ModIface = ModIface_ 'ModIfaceFinal
data ModIface_ (phase :: ModIfacePhase) = ModIface {
- mi_module :: !Module
- mi_sig_of :: !(Maybe Module)
- mi_hsc_src :: !HscSource
- mi_deps :: Dependencies
- mi_usages :: [Usage]
- mi_exports :: ![IfaceExport]
- mi_used_th :: !Bool
- mi_fixities :: [(OccName, Fixity)]
- mi_warns :: Warnings
- mi_anns :: [IfaceAnnotation]
- mi_decls :: [IfaceDeclExts phase]
- mi_globals :: !(Maybe GlobalRdrEnv)
- mi_insts :: [IfaceClsInst]
- mi_fam_insts :: [IfaceFamInst]
- mi_rules :: [IfaceRule]
- mi_hpc :: !AnyHpcUsage
- mi_trust :: !IfaceTrustInfo
- mi_trust_pkg :: !Bool
- mi_complete_sigs :: [IfaceCompleteMatch]
- mi_doc_hdr :: Maybe HsDocString
- mi_decl_docs :: DeclDocMap
- mi_arg_docs :: ArgDocMap
- mi_final_exts :: !(IfaceBackendExts phase)
}
data HscSource
- = HsSrcFile
- | HsBootFile
- | HsigFile
data WhereFrom
- = ImportByUser IsBootInterface
- | ImportBySystem
- | ImportByPlugin
loadInterface :: SDoc -> Module -> WhereFrom -> IfM lcl (MaybeErr MsgDoc ModIface)
data SourceModified
- = SourceModified
- | SourceUnmodified
- | SourceUnmodifiedAndStable
loadModuleInterface :: SDoc -> Module -> TcM ModIface
data RecompileRequired
- = UpToDate
- | MustCompile
- | RecompBecause String
mkPartialIface :: HscEnv -> ModDetails -> ModGuts -> PartialModIface
mkFullIface :: HscEnv -> PartialModIface -> IO ModIface
checkOldIface :: HscEnv -> ModSummary -> SourceModified -> Maybe ModIface -> IO (RecompileRequired, Maybe ModIface)
pattern IsBoot :: IsBootInterface
pattern NotBoot :: IsBootInterface
data LexicalFixity
- = Prefix
- | Infix
data ModSummary = ModSummary {
- ms_mod :: Module
- ms_hsc_src :: HscSource
- ms_location :: ModLocation
- ms_hs_date :: UTCTime
- ms_obj_date :: Maybe UTCTime
- ms_iface_date :: Maybe UTCTime
- ms_hie_date :: Maybe UTCTime
- ms_srcimps :: [(Maybe FastString, Located ModuleName)]
- ms_textual_imps :: [(Maybe FastString, Located ModuleName)]
- ms_parsed_mod :: Maybe HsParsedModule
- ms_hspp_file :: FilePath
- ms_hspp_opts :: DynFlags
- ms_hspp_buf :: Maybe StringBuffer
}
data HomeModInfo = HomeModInfo {
- hm_iface :: !ModIface
- hm_details :: !ModDetails
- hm_linkable :: !(Maybe Linkable)
}
data ModGuts = ModGuts {
- mg_module :: !Module
- mg_hsc_src :: HscSource
- mg_loc :: SrcSpan
- mg_exports :: ![AvailInfo]
- mg_deps :: !Dependencies
- mg_usages :: ![Usage]
- mg_used_th :: !Bool
- mg_rdr_env :: !GlobalRdrEnv
- mg_fix_env :: !FixityEnv
- mg_tcs :: ![TyCon]
- mg_insts :: ![ClsInst]
- mg_fam_insts :: ![FamInst]
- mg_patsyns :: ![PatSyn]
- mg_rules :: ![CoreRule]
- mg_binds :: !CoreProgram
- mg_foreign :: !ForeignStubs
- mg_foreign_files :: ![(ForeignSrcLang, FilePath)]
- mg_warns :: !Warnings
- mg_anns :: [Annotation]
- mg_complete_sigs :: [CompleteMatch]
- mg_hpc_info :: !HpcInfo
- mg_modBreaks :: !(Maybe ModBreaks)
- mg_inst_env :: InstEnv
- mg_fam_inst_env :: FamInstEnv
- mg_safe_haskell :: SafeHaskellMode
- mg_trust_pkg :: Bool
- mg_doc_hdr :: !(Maybe HsDocString)
- mg_decl_docs :: !DeclDocMap
- mg_arg_docs :: !ArgDocMap
}
data CgGuts = CgGuts {
- cg_module :: !Module
- cg_tycons :: [TyCon]
- cg_binds :: CoreProgram
- cg_foreign :: !ForeignStubs
- cg_foreign_files :: ![(ForeignSrcLang, FilePath)]
- cg_dep_pkgs :: ![InstalledUnitId]
- cg_hpc_info :: !HpcInfo
- cg_modBreaks :: !(Maybe ModBreaks)
- cg_spt_entries :: [SptEntry]
}
data ModDetails = ModDetails {
- md_exports :: [AvailInfo]
- md_types :: !TypeEnv
- md_insts :: ![ClsInst]
- md_fam_insts :: ![FamInst]
- md_rules :: ![CoreRule]
- md_anns :: ![Annotation]
- md_complete_sigs :: [CompleteMatch]
}
pattern HsLet :: XLet p -> SrcSpanLess (LHsLocalBinds p) -> LHsExpr p -> HsExpr p
pattern LetStmt :: XLetStmt idL idR body -> SrcSpanLess (LHsLocalBindsLR idL idR) -> StmtLR idL idR body
data Type
- = TyVarTy Var
- | AppTy Type Type
- | TyConApp TyCon [KindOrType]
- | ForAllTy !TyCoVarBinder Type
- | LitTy TyLit
- | CastTy Type KindCoercion
- | CoercionTy Coercion
pattern FunTy :: Type -> Type -> Type
pattern ConPatIn :: Located (IdP p) -> HsConPatDetails p -> Pat p
splitForAllTyCoVars :: Type -> ([TyCoVar], Type)
mkVisFunTys :: [Scaled Type] -> Type -> Type
mkInfForAllTys :: [TyVar] -> Type -> Type
data ImpDeclSpec = ImpDeclSpec {
- is_mod :: ModuleName
- is_as :: ModuleName
- is_qual :: Bool
- is_dloc :: SrcSpan
}
data ImportSpec = ImpSpec {
- is_decl :: ImpDeclSpec
- is_item :: ImpItemSpec
}
data SourceText
- = SourceText String
- | NoSourceText
rationalFromFractionalLit :: FractionalLit -> Rational
tyThingParent_maybe :: TyThing -> Maybe TyThing
data Way
wayGeneralFlags :: Platform -> Way -> [GeneralFlag]
wayUnsetGeneralFlags :: Platform -> Way -> [GeneralFlag]
data AvailInfo
pattern AvailName :: Name -> AvailInfo
pattern AvailFL :: FieldLabel -> AvailInfo
pattern AvailTC :: Name -> [Name] -> [FieldLabel] -> AvailInfo
availName :: AvailInfo -> Name
availNames :: AvailInfo -> [Name]
availNamesWithSelectors :: AvailInfo -> [Name]
availsToNameSet :: [AvailInfo] -> NameSet
data TcGblEnv = TcGblEnv {
- tcg_mod :: Module
- tcg_semantic_mod :: Module
- tcg_src :: HscSource
- tcg_rdr_env :: GlobalRdrEnv
- tcg_default :: Maybe [Type]
- tcg_fix_env :: FixityEnv
- tcg_field_env :: RecFieldEnv
- tcg_type_env :: TypeEnv
- tcg_type_env_var :: TcRef TypeEnv
- tcg_inst_env :: !InstEnv
- tcg_fam_inst_env :: !FamInstEnv
- tcg_ann_env :: AnnEnv
- tcg_exports :: [AvailInfo]
- tcg_imports :: ImportAvails
- tcg_dus :: DefUses
- tcg_used_gres :: TcRef [GlobalRdrElt]
- tcg_keep :: TcRef NameSet
- tcg_th_used :: TcRef Bool
- tcg_th_splice_used :: TcRef Bool
- tcg_th_top_level_locs :: TcRef (Set RealSrcSpan)
- tcg_dfun_n :: TcRef OccSet
- tcg_merged :: [(Module, Fingerprint)]
- tcg_rn_exports :: Maybe [(Located (IE GhcRn), Avails)]
- tcg_rn_imports :: [LImportDecl GhcRn]
- tcg_rn_decls :: Maybe (HsGroup GhcRn)
- tcg_dependent_files :: TcRef [FilePath]
- tcg_th_topdecls :: TcRef [LHsDecl GhcPs]
- tcg_th_foreign_files :: TcRef [(ForeignSrcLang, FilePath)]
- tcg_th_topnames :: TcRef NameSet
- tcg_th_modfinalizers :: TcRef [(TcLclEnv, ThModFinalizers)]
- tcg_th_coreplugins :: TcRef [String]
- tcg_th_state :: TcRef (Map TypeRep Dynamic)
- tcg_th_remote_state :: TcRef (Maybe (ForeignRef (IORef QState)))
- tcg_ev_binds :: Bag EvBind
- tcg_tr_module :: Maybe Id
- tcg_binds :: LHsBinds GhcTc
- tcg_sigs :: NameSet
- tcg_imp_specs :: [LTcSpecPrag]
- tcg_warns :: Warnings
- tcg_anns :: [Annotation]
- tcg_tcs :: [TyCon]
- tcg_insts :: [ClsInst]
- tcg_fam_insts :: [FamInst]
- tcg_rules :: [LRuleDecl GhcTc]
- tcg_fords :: [LForeignDecl GhcTc]
- tcg_patsyns :: [PatSyn]
- tcg_doc_hdr :: Maybe LHsDocString
- tcg_hpc :: !AnyHpcUsage
- tcg_self_boot :: SelfBootInfo
- tcg_main :: Maybe Name
- tcg_safeInfer :: TcRef (Bool, WarningMessages)
- tcg_tc_plugins :: [TcPluginSolver]
- tcg_hf_plugins :: [HoleFitPlugin]
- tcg_top_loc :: RealSrcSpan
- tcg_static_wc :: TcRef WantedConstraints
- tcg_complete_matches :: [CompleteMatch]
- tcg_cc_st :: TcRef CostCentreState
}
data HsModule pass = HsModule {
- hsmodName :: Maybe (Located ModuleName)
- hsmodExports :: Maybe (Located [LIE pass])
- hsmodImports :: [LImportDecl pass]
- hsmodDecls :: [LHsDecl pass]
- hsmodDeprecMessage :: Maybe (Located WarningTxt)
- hsmodHaddockModHeader :: Maybe LHsDocString
}
type ParsedSource = Located (HsModule GhcPs)
type RenamedSource = (HsGroup GhcRn, [LImportDecl GhcRn], Maybe [(LIE GhcRn, Avails)], Maybe LHsDocString)
data HscEnv
runGhc :: Maybe FilePath -> Ghc a -> IO a
unGhc :: Ghc a -> Session -> IO a
data Session = Session !(IORef HscEnv)
modifySession :: GhcMonad m => (HscEnv -> HscEnv) -> m ()
getSession :: GhcMonad m => m HscEnv
setSessionDynFlags :: GhcMonad m => DynFlags -> m [InstalledUnitId]
getSessionDynFlags :: GhcMonad m => m DynFlags
class (Functor m, MonadIO m, ExceptionMonad m, HasDynFlags m) => GhcMonad (m :: Type -> Type)
data Ghc a
runHsc :: HscEnv -> Hsc a -> IO a
compileFile :: HscEnv -> Phase -> (FilePath, Maybe Phase) -> IO FilePath
data Phase
- = Unlit HscSource
- | Cpp HscSource
- | HsPp HscSource
- | Hsc HscSource
- | Ccxx
- | Cc
- | Cobjc
- | Cobjcxx
- | HCc
- | As Bool
- | LlvmOpt
- | LlvmLlc
- | LlvmMangle
- | CmmCpp
- | Cmm
- | MergeForeign
- | StopLn
hscDesugar :: HscEnv -> ModSummary -> TcGblEnv -> IO ModGuts
hscGenHardCode :: HscEnv -> CgGuts -> ModLocation -> FilePath -> IO (FilePath, Maybe FilePath, [(ForeignSrcLang, FilePath)])
hscInteractive :: HscEnv -> CgGuts -> ModLocation -> IO (Maybe FilePath, CompiledByteCode, [SptEntry])
hscSimplify :: HscEnv -> [String] -> ModGuts -> IO ModGuts
hscTypecheckRename :: HscEnv -> ModSummary -> HsParsedModule -> IO (TcGblEnv, RenamedStuff)
makeSimpleDetails :: HscEnv -> TcGblEnv -> IO ModDetails
tcSplitForAllTyVars :: Type -> ([TyVar], Type)
tcSplitForAllTyVarBinder_maybe :: Type -> Maybe (TyVarBinder, Type)
typecheckIface :: ModIface -> IfG ModDetails
mkIfaceTc :: HscEnv -> SafeHaskellMode -> ModDetails -> TcGblEnv -> IO ModIface
data ImportedModsVal = ImportedModsVal {
- imv_name :: ModuleName
- imv_span :: SrcSpan
- imv_is_safe :: IsSafeImport
- imv_is_hiding :: Bool
- imv_all_exports :: !GlobalRdrEnv
- imv_qualified :: Bool
}
importedByUser :: [ImportedBy] -> [ImportedModsVal]
type TypecheckedSource = LHsBinds GhcTc
type HasSrcSpan = HasSrcSpan
type Located = GenLocated SrcSpan
unLoc :: HasSrcSpan a => a -> SrcSpanLess a
getLoc :: HasSrcSpan a => a -> SrcSpan
getLocA :: HasSrcSpan a => a -> SrcSpan
locA :: a -> a
noLocA :: a -> LocatedAn an a
type LocatedAn a = Located
type AnnListItem = SrcSpan
type NameAnn = SrcSpan
type RealLocated = GenLocated RealSrcSpan
data GenLocated l e = L l e
data SrcSpan = UnhelpfulSpan !FastString
data RealSrcSpan
pattern RealSrcSpan :: RealSrcSpan -> Maybe BufSpan -> SrcSpan
data RealSrcLoc
pattern RealSrcLoc :: RealSrcLoc -> Maybe BufPos -> SrcLoc
data SrcLoc = UnhelpfulLoc FastString
type BufSpan = ()
leftmost_smallest :: SrcSpan -> SrcSpan -> Ordering
containsSpan :: RealSrcSpan -> RealSrcSpan -> Bool
mkGeneralSrcSpan :: FastString -> SrcSpan
mkRealSrcSpan :: RealSrcLoc -> RealSrcLoc -> RealSrcSpan
mkRealSrcLoc :: FastString -> Int -> Int -> RealSrcLoc
getRealSrcSpan :: RealLocated a -> RealSrcSpan
realSrcLocSpan :: RealSrcLoc -> RealSrcSpan
realSrcSpanStart :: RealSrcSpan -> RealSrcLoc
realSrcSpanEnd :: RealSrcSpan -> RealSrcLoc
isSubspanOfA :: LocatedAn la a -> LocatedAn lb b -> Bool
isSubspanOf :: SrcSpan -> SrcSpan -> Bool
wiredInSrcSpan :: SrcSpan
mkSrcSpan :: SrcLoc -> SrcLoc -> SrcSpan
srcSpanStart :: SrcSpan -> SrcLoc
srcSpanStartLine :: RealSrcSpan -> Int
srcSpanStartCol :: RealSrcSpan -> Int
srcSpanEnd :: SrcSpan -> SrcLoc
srcSpanEndLine :: RealSrcSpan -> Int
srcSpanEndCol :: RealSrcSpan -> Int
srcSpanFile :: RealSrcSpan -> FastString
srcLocCol :: RealSrcLoc -> Int
srcLocFile :: RealSrcLoc -> FastString
srcLocLine :: RealSrcLoc -> Int
noSrcSpan :: SrcSpan
noSrcLoc :: SrcLoc
noLoc :: HasSrcSpan a => SrcSpanLess a -> a
data FindResult
- = Found ModLocation Module
- | NoPackage UnitId
- | FoundMultiple [(Module, ModuleOrigin)]
- | NotFound {
  - fr_paths :: [FilePath]
  - fr_pkg :: Maybe UnitId
  - fr_mods_hidden :: [UnitId]
  - fr_pkgs_hidden :: [UnitId]
  - fr_unusables :: [(UnitId, UnusablePackageReason)]
  - fr_suggestions :: [ModuleSuggestion]
  }
mkHomeModLocation :: DynFlags -> ModuleName -> FilePath -> IO ModLocation
addBootSuffixLocnOut :: ModLocation -> ModLocation
findObjectLinkableMaybe :: Module -> ModLocation -> IO (Maybe Linkable)
data InstalledFindResult
- = InstalledFound ModLocation InstalledModule
- | InstalledNoPackage InstalledUnitId
- | InstalledNotFound [FilePath] (Maybe InstalledUnitId)
data ModuleOrigin
- = ModHidden
- | ModUnusable UnusablePackageReason
- | ModOrigin {
  - fromOrigPackage :: Maybe Bool
  - fromExposedReexport :: [PackageConfig]
  - fromHiddenReexport :: [PackageConfig]
  - fromPackageFlag :: Bool
  }
newtype PackageName = PackageName FastString
data Unlinked
- = DotO FilePath
- | DotA FilePath
- | DotDLL FilePath
- | BCOs CompiledByteCode [SptEntry]
data Linkable = LM {
- linkableTime :: UTCTime
- linkableModule :: Module
- linkableUnlinked :: [Unlinked]
}
unload :: HscEnv -> [Linkable] -> IO ()
initDynLinker :: HscEnv -> IO ()
data Hooks
runMetaHook :: Hooks -> Maybe (MetaHook TcM)
type MetaHook (f :: Type -> Type) = MetaRequest -> LHsExpr GhcTc -> f MetaResult
data MetaRequest
- = MetaE (LHsExpr GhcPs -> MetaResult)
- | MetaP (LPat GhcPs -> MetaResult)
- | MetaT (LHsType GhcPs -> MetaResult)
- | MetaD ([LHsDecl GhcPs] -> MetaResult)
- | MetaAW (Serialized -> MetaResult)
metaRequestE :: Functor f => MetaHook f -> LHsExpr GhcTc -> f (LHsExpr GhcPs)
metaRequestP :: Functor f => MetaHook f -> LHsExpr GhcTc -> f (LPat GhcPs)
metaRequestT :: Functor f => MetaHook f -> LHsExpr GhcTc -> f (LHsType GhcPs)
metaRequestD :: Functor f => MetaHook f -> LHsExpr GhcTc -> f [LHsDecl GhcPs]
metaRequestAW :: Functor f => MetaHook f -> LHsExpr GhcTc -> f Serialized
addToHpt :: HomePackageTable -> ModuleName -> HomeModInfo -> HomePackageTable
addListToHpt :: HomePackageTable -> [(ModuleName, HomeModInfo)] -> HomePackageTable
data Target = Target {
- targetId :: TargetId
- targetAllowObjCode :: Bool
- targetContents :: Maybe (InputFileBuffer, UTCTime)
}
data TargetId
- = TargetModule ModuleName
- | TargetFile FilePath (Maybe Phase)
mkModuleGraph :: [ModSummary] -> ModuleGraph
initObjLinker :: HscEnv -> IO ()
loadDLL :: HscEnv -> String -> IO (Maybe String)
data InteractiveImport
- = IIDecl (ImportDecl GhcPs)
- | IIModule ModuleName
getContext :: GhcMonad m => m [InteractiveImport]
setContext :: GhcMonad m => [InteractiveImport] -> m ()
parseImportDecl :: GhcMonad m => String -> m (ImportDecl GhcPs)
runDecls :: GhcMonad m => String -> m [Name]
data Warn = Warn {
- warnReason :: WarnReason
- warnMsg :: Located String
}
data ModLocation
pattern ModLocation :: Maybe FilePath -> FilePath -> FilePath -> ModLocation
ml_hs_file :: ModLocation -> Maybe FilePath
ml_obj_file :: ModLocation -> FilePath
ml_hi_file :: ModLocation -> FilePath
ml_hie_file :: ModLocation -> FilePath
dataConExTyCoVars :: DataCon -> [TyCoVar]
data Role
- = Nominal
- | Representational
- | Phantom
type PlainGhcException = PlainGhcException
panic :: String -> a
data CoreModule = CoreModule {
- cm_module :: !Module
- cm_types :: !TypeEnv
- cm_binds :: CoreProgram
- cm_safe :: SafeHaskellMode
}
data SafeHaskellMode
- = Sf_None
- | Sf_Unsafe
- | Sf_Trustworthy
- | Sf_Safe
- | Sf_SafeInferred
- | Sf_Ignore
pattern GRE :: Name -> Parent -> Bool -> [ImportSpec] -> GlobalRdrElt
gre_name :: GlobalRdrElt -> Name
gre_imp :: GlobalRdrElt -> [ImportSpec]
gre_lcl :: GlobalRdrElt -> Bool
gre_par :: GlobalRdrElt -> Parent
isKindLevel :: TypeOrKind -> Bool
isTypeLevel :: TypeOrKind -> Bool
mkIntWithInf :: Int -> IntWithInf
treatZeroAsInf :: Int -> IntWithInf
intGtLimit :: Int -> IntWithInf -> Bool
infinity :: IntWithInf
integralFractionalLit :: Bool -> Integer -> FractionalLit
negateFractionalLit :: FractionalLit -> FractionalLit
mkFractionalLit :: Real a => a -> FractionalLit
negateIntegralLit :: IntegralLit -> IntegralLit
mkIntegralLit :: Integral a => a -> IntegralLit
isEarlyActive :: Activation -> Bool
isAlwaysActive :: Activation -> Bool
isNeverActive :: Activation -> Bool
competesWith :: Activation -> Activation -> Bool
isActiveIn :: PhaseNum -> Activation -> Bool
isActive :: CompilerPhase -> Activation -> Bool
pprInlineDebug :: InlinePragma -> SDoc
pprInline :: InlinePragma -> SDoc
setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma
setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma
inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo
inlinePragmaActivation :: InlinePragma -> Activation
inlinePragmaSat :: InlinePragma -> Maybe Arity
isAnyInlinePragma :: InlinePragma -> Bool
isInlinablePragma :: InlinePragma -> Bool
isInlinePragma :: InlinePragma -> Bool
isDefaultInlinePragma :: InlinePragma -> Bool
dfunInlinePragma :: InlinePragma
inlinePragmaSpec :: InlinePragma -> InlineSpec
neverInlinePragma :: InlinePragma
alwaysInlinePragma :: InlinePragma
defaultInlinePragma :: InlinePragma
noUserInlineSpec :: InlineSpec -> Bool
isFunLike :: RuleMatchInfo -> Bool
isConLike :: RuleMatchInfo -> Bool
activeDuringFinal :: Activation
activeAfterInitial :: Activation
pprWithSourceText :: SourceText -> SDoc -> SDoc
failed :: SuccessFlag -> Bool
succeeded :: SuccessFlag -> Bool
successIf :: Bool -> SuccessFlag
zapFragileOcc :: OccInfo -> OccInfo
isOneOcc :: OccInfo -> Bool
isDeadOcc :: OccInfo -> Bool
isStrongLoopBreaker :: OccInfo -> Bool
isWeakLoopBreaker :: OccInfo -> Bool
weakLoopBreaker :: OccInfo
strongLoopBreaker :: OccInfo
isAlwaysTailCalled :: OccInfo -> Bool
zapOccTailCallInfo :: OccInfo -> OccInfo
tailCallInfo :: OccInfo -> TailCallInfo
notOneBranch :: OneBranch
oneBranch :: OneBranch
notInsideLam :: InsideLam
insideLam :: InsideLam
seqOccInfo :: OccInfo -> ()
isManyOccs :: OccInfo -> Bool
noOccInfo :: OccInfo
pprAlternative :: (a -> SDoc) -> a -> ConTag -> Arity -> SDoc
sumParens :: SDoc -> SDoc
tupleParens :: TupleSort -> SDoc -> SDoc
boxityTupleSort :: Boxity -> TupleSort
tupleSortBoxity :: TupleSort -> Boxity
maybeParen :: PprPrec -> PprPrec -> SDoc -> SDoc
appPrec :: PprPrec
opPrec :: PprPrec
funPrec :: PprPrec
sigPrec :: PprPrec
topPrec :: PprPrec
hasOverlappingFlag :: OverlapMode -> Bool
hasOverlappableFlag :: OverlapMode -> Bool
hasIncoherentFlag :: OverlapMode -> Bool
setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlag
isGenerated :: Origin -> Bool
boolToRecFlag :: Bool -> RecFlag
isNonRec :: RecFlag -> Bool
isRec :: RecFlag -> Bool
isBoxed :: Boxity -> Bool
isTopLevel :: TopLevelFlag -> Bool
isNotTopLevel :: TopLevelFlag -> Bool
compareFixity :: Fixity -> Fixity -> (Bool, Bool)
funTyFixity :: Fixity
negateFixity :: Fixity
defaultFixity :: Fixity
minPrecedence :: Int
maxPrecedence :: Int
pprRuleName :: RuleName -> SDoc
pprWarningTxtForMsg :: WarningTxt -> SDoc
initialVersion :: Version
bumpVersion :: Version -> Version
isPromoted :: PromotionFlag -> Bool
unSwap :: SwapFlag -> (a -> a -> b) -> a -> a -> b
isSwapped :: SwapFlag -> Bool
flipSwap :: SwapFlag -> SwapFlag
bestOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
worstOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
hasNoOneShotInfo :: OneShotInfo -> Bool
isOneShotInfo :: OneShotInfo -> Bool
noOneShotInfo :: OneShotInfo
alignmentOf :: Int -> Alignment
mkAlignment :: Int -> Alignment
fIRST_TAG :: ConTag
pickLR :: LeftOrRight -> (a, a) -> a
data LeftOrRight
- = CLeft
- | CRight
type Arity = Int
type RepArity = Int
type JoinArity = Int
type ConTag = Int
type ConTagZ = Int
data Alignment
data OneShotInfo
- = NoOneShotInfo
- | OneShotLam
data SwapFlag
- = NotSwapped
- | IsSwapped
data PromotionFlag
- = NotPromoted
- | IsPromoted
data FunctionOrData
- = IsFunction
- | IsData
data StringLiteral = StringLiteral {
- sl_st :: SourceText
- sl_fs :: FastString
}
data WarningTxt
- = WarningTxt (Located SourceText) [Located StringLiteral]
- | DeprecatedTxt (Located SourceText) [Located StringLiteral]
type RuleName = FastString
data Fixity = Fixity SourceText Int FixityDirection
data FixityDirection
- = InfixL
- | InfixR
- | InfixN
data LexicalFixity
- = Prefix
- | Infix
data TopLevelFlag
- = TopLevel
- | NotTopLevel
data Boxity
- = Boxed
- | Unboxed
data RecFlag
- = Recursive
- | NonRecursive
data Origin
- = FromSource
- | Generated
data OverlapFlag = OverlapFlag {
- overlapMode :: OverlapMode
- isSafeOverlap :: Bool
}
data OverlapMode
- = NoOverlap SourceText
- | Overlappable SourceText
- | Overlapping SourceText
- | Overlaps SourceText
- | Incoherent SourceText
newtype PprPrec = PprPrec Int
data TupleSort
- = BoxedTuple
- | UnboxedTuple
- | ConstraintTuple
data EP a = EP {
- fromEP :: a
- toEP :: a
}
data OccInfo
- = ManyOccs {
  - occ_tail :: !TailCallInfo
  }
- | IAmDead
- | OneOcc {
  - occ_in_lam :: !InsideLam
  - occ_one_br :: !OneBranch
  - occ_int_cxt :: !InterestingCxt
  - occ_tail :: !TailCallInfo
  }
- | IAmALoopBreaker {
  - occ_rules_only :: !RulesOnly
  - occ_tail :: !TailCallInfo
  }
type InterestingCxt = Bool
type InsideLam = Bool
type OneBranch = Bool
data TailCallInfo
- = AlwaysTailCalled JoinArity
- | NoTailCallInfo
data DefMethSpec ty
- = VanillaDM
- | GenericDM ty
data SuccessFlag
- = Succeeded
- | Failed
data SourceText
- = SourceText String
- | NoSourceText
type PhaseNum = Int
data CompilerPhase
- = Phase PhaseNum
- | InitialPhase
data Activation
- = NeverActive
- | AlwaysActive
- | ActiveBefore SourceText PhaseNum
- | ActiveAfter SourceText PhaseNum
data RuleMatchInfo
- = ConLike
- | FunLike
data InlinePragma = InlinePragma {
- inl_src :: SourceText
- inl_inline :: InlineSpec
- inl_sat :: Maybe Arity
- inl_act :: Activation
- inl_rule :: RuleMatchInfo
}
data InlineSpec
- = Inline
- | Inlinable
- | NoInline
- | NoUserInline
data IntegralLit = IL {
- il_text :: SourceText
- il_neg :: Bool
- il_value :: Integer
}
data FractionalLit = FL {
- fl_text :: SourceText
- fl_neg :: Bool
- fl_value :: Rational
}
data IntWithInf
data SpliceExplicitFlag
- = ExplicitSplice
- | ImplicitSplice
data TypeOrKind
- = TypeLevel
- | KindLevel
module Class
coercionKind :: Coercion -> Pair Type
module Predicate
module ConLike
module CoreUtils
buildSynTyCon :: Name -> [KnotTied TyConBinder] -> Kind -> [Role] -> KnotTied Type -> TyCon
buildAlgTyCon :: Name -> [TyVar] -> [Role] -> Maybe CType -> ThetaType -> AlgTyConRhs -> Bool -> AlgTyConFlav -> TyCon
splitDataProductType_maybe :: Type -> Maybe (TyCon, [Type], DataCon, [Type])
promoteDataCon :: DataCon -> TyCon
dataConUserTyVarsArePermuted :: DataCon -> Bool
dataConCannotMatch :: [Type] -> DataCon -> Bool
classDataCon :: Class -> DataCon
specialPromotedDc :: DataCon -> Bool
isVanillaDataCon :: DataCon -> Bool
isUnboxedTupleCon :: DataCon -> Bool
isTupleDataCon :: DataCon -> Bool
dataConIdentity :: DataCon -> ByteString
dataConRepArgTys :: DataCon -> [Type]
dataConOrigArgTys :: DataCon -> [Type]
dataConInstArgTys :: DataCon -> [Type] -> [Type]
dataConUserType :: DataCon -> Type
dataConOrigResTy :: DataCon -> Type
dataConInstSig :: DataCon -> [Type] -> ([TyCoVar], ThetaType, [Type])
dataConSig :: DataCon -> ([TyCoVar], ThetaType, [Type], Type)
dataConBoxer :: DataCon -> Maybe DataConBoxer
dataConImplBangs :: DataCon -> [HsImplBang]
dataConRepStrictness :: DataCon -> [StrictnessMark]
isNullaryRepDataCon :: DataCon -> Bool
isNullarySrcDataCon :: DataCon -> Bool
dataConRepArity :: DataCon -> Arity
dataConSrcBangs :: DataCon -> [HsSrcBang]
dataConFieldType_maybe :: DataCon -> FieldLabelString -> Maybe (FieldLabel, Type)
dataConFieldType :: DataCon -> FieldLabelString -> Type
dataConImplicitTyThings :: DataCon -> [TyThing]
dataConWrapId :: DataCon -> Id
dataConWrapId_maybe :: DataCon -> Maybe Id
dataConWorkId :: DataCon -> Id
dataConTheta :: DataCon -> ThetaType
dataConEqSpec :: DataCon -> [EqSpec]
dataConUnivAndExTyCoVars :: DataCon -> [TyCoVar]
dataConUnivTyVars :: DataCon -> [TyVar]
dataConIsInfix :: DataCon -> Bool
dataConRepType :: DataCon -> Type
dataConOrigTyCon :: DataCon -> TyCon
dataConTagZ :: DataCon -> ConTagZ
dataConTag :: DataCon -> ConTag
mkDataCon :: Name -> Bool -> TyConRepName -> [HsSrcBang] -> [FieldLabel] -> [TyVar] -> [TyCoVar] -> [TyVarBinder] -> [EqSpec] -> KnotTied ThetaType -> [KnotTied Type] -> KnotTied Type -> RuntimeRepInfo -> KnotTied TyCon -> ConTag -> ThetaType -> Id -> DataConRep -> DataCon
isMarkedStrict :: StrictnessMark -> Bool
isSrcUnpacked :: SrcUnpackedness -> Bool
isSrcStrict :: SrcStrictness -> Bool
isBanged :: HsImplBang -> Bool
eqHsBang :: HsImplBang -> HsImplBang -> Bool
filterEqSpec :: [EqSpec] -> [TyVar] -> [TyVar]
substEqSpec :: TCvSubst -> EqSpec -> EqSpec
eqSpecPreds :: [EqSpec] -> ThetaType
eqSpecPair :: EqSpec -> (TyVar, Type)
eqSpecType :: EqSpec -> Type
eqSpecTyVar :: EqSpec -> TyVar
mkEqSpec :: TyVar -> Type -> EqSpec
data HsSrcBang = HsSrcBang SourceText SrcUnpackedness SrcStrictness
data HsImplBang
- = HsLazy
- | HsStrict
- | HsUnpack (Maybe Coercion)
data SrcStrictness
- = SrcLazy
- | SrcStrict
- | NoSrcStrict
data SrcUnpackedness
- = SrcUnpack
- | SrcNoUnpack
- | NoSrcUnpack
data StrictnessMark
- = MarkedStrict
- | NotMarkedStrict
dataConName :: DataCon -> Name
dataConTyCon :: DataCon -> TyCon
dataConUserTyVars :: DataCon -> [TyVar]
dataConUserTyVarBinders :: DataCon -> [TyVarBinder]
dataConSourceArity :: DataCon -> Arity
dataConFieldLabels :: DataCon -> [FieldLabel]
dataConInstOrigArgTys :: DataCon -> [Type] -> [Type]
dataConStupidTheta :: DataCon -> ThetaType
dataConFullSig :: DataCon -> ([TyVar], [TyCoVar], [EqSpec], ThetaType, [Type], Type)
isUnboxedSumCon :: DataCon -> Bool
data DataCon
data DataConRep
- = NoDataConRep
- | DCR {
  - dcr_wrap_id :: Id
  - dcr_boxer :: DataConBoxer
  - dcr_arg_tys :: [Type]
  - dcr_stricts :: [StrictnessMark]
  - dcr_bangs :: [HsImplBang]
  }
data EqSpec
type FieldLabelString = FastString
type FieldLabel = FieldLbl Name
data FieldLbl a = FieldLabel {
- flLabel :: FieldLabelString
- flIsOverloaded :: Bool
- flSelector :: a
}
fIRST_TAG :: ConTag
type ConTag = Int
module DsExpr
class Functor f => Applicative (f :: Type -> Type) where
- pure :: a -> f a
- (<*>) :: f (a -> b) -> f a -> f b
- liftA2 :: (a -> b -> c) -> f a -> f b -> f c
- (*>) :: f a -> f b -> f b
- (<*) :: f a -> f b -> f a
mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
mapAndUnzipM :: Applicative m => (a -> m (b, c)) -> [a] -> m ([b], [c])
(<$>) :: Functor f => (a -> b) -> f a -> f b
foldlM :: (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b
pprRuntimeTrace :: String -> SDoc -> CoreExpr -> DsM CoreExpr
dsWhenNoErrs :: DsM a -> (a -> CoreExpr) -> DsM CoreExpr
dsNoLevPolyExpr :: CoreExpr -> SDoc -> DsM ()
dsNoLevPoly :: Type -> SDoc -> DsM ()
discardWarningsDs :: DsM a -> DsM a
dsExtendMetaEnv :: DsMetaEnv -> DsM a -> DsM a
dsLookupMetaEnv :: Name -> DsM (Maybe DsMetaVal)
dsGetCompleteMatches :: TyCon -> DsM [CompleteMatch]
dsGetMetaEnv :: DsM (NameEnv DsMetaVal)
dsGetFamInstEnvs :: DsM FamInstEnvs
dsLookupConLike :: Name -> DsM ConLike
dsLookupDataCon :: Name -> DsM DataCon
dsLookupTyCon :: Name -> DsM TyCon
dsLookupGlobalId :: Name -> DsM Id
dsLookupGlobal :: Name -> DsM TyThing
mkPrintUnqualifiedDs :: DsM PrintUnqualified
askNoErrsDs :: DsM a -> DsM (a, Bool)
failDs :: DsM a
failWithDs :: SDoc -> DsM a
errDsCoreExpr :: SDoc -> DsM CoreExpr
errDs :: SDoc -> DsM ()
warnIfSetDs :: WarningFlag -> SDoc -> DsM ()
warnDs :: WarnReason -> SDoc -> DsM ()
putSrcSpanDs :: SrcSpan -> DsM a -> DsM a
getSrcSpanDs :: DsM SrcSpan
updPmDelta :: Delta -> DsM a -> DsM a
getPmDelta :: DsM Delta
getGhcModeDs :: DsM GhcMode
newSysLocalsDs :: [Type] -> DsM [Id]
newSysLocalsDsNoLP :: [Type] -> DsM [Id]
newFailLocalDs :: Type -> DsM Id
newSysLocalDs :: Type -> DsM Id
newSysLocalDsNoLP :: Type -> DsM Id
newPredVarDs :: PredType -> DsM Var
duplicateLocalDs :: Id -> DsM Id
newUniqueId :: Id -> Type -> DsM Id
initTcDsForSolver :: TcM a -> DsM (Messages, Maybe a)
initDsWithModGuts :: HscEnv -> ModGuts -> DsM a -> IO (Messages, Maybe a)
initDs :: HscEnv -> TcGblEnv -> DsM a -> IO (Messages, Maybe a)
initDsTc :: DsM a -> TcM a
fixDs :: (a -> DsM a) -> DsM a
orFail :: CanItFail -> CanItFail -> CanItFail
idDsWrapper :: DsWrapper
data DsMatchContext = DsMatchContext (HsMatchContext Name) SrcSpan
data EquationInfo = EqnInfo {
- eqn_pats :: [Pat GhcTc]
- eqn_orig :: Origin
- eqn_rhs :: MatchResult
}
type DsWrapper = CoreExpr -> CoreExpr
data MatchResult = MatchResult CanItFail (CoreExpr -> DsM CoreExpr)
data CanItFail
- = CanFail
- | CantFail
type DsWarning = (SrcSpan, SDoc)
newUniqueSupply :: TcRnIf gbl lcl UniqSupply
newUnique :: TcRnIf gbl lcl Unique
whenGOptM :: GeneralFlag -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
unsetWOptM :: WarningFlag -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
unsetGOptM :: GeneralFlag -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
xoptM :: Extension -> TcRnIf gbl lcl Bool
type DsM = TcRnIf DsGblEnv DsLclEnv
type DsMetaEnv = NameEnv DsMetaVal
data DsMetaVal
- = DsBound Id
- | DsSplice (HsExpr GhcTc)
data UniqSupply
traceCmd :: DynFlags -> String -> String -> IO a -> IO a
isWarnMsgFatal :: DynFlags -> WarnMsg -> Maybe (Maybe WarningFlag)
prettyPrintGhcErrors :: ExceptionMonad m => DynFlags -> m a -> m a
logOutput :: DynFlags -> PprStyle -> MsgDoc -> IO ()
printOutputForUser :: DynFlags -> PrintUnqualified -> MsgDoc -> IO ()
printInfoForUser :: DynFlags -> PrintUnqualified -> MsgDoc -> IO ()
putMsg :: DynFlags -> MsgDoc -> IO ()
debugTraceMsg :: DynFlags -> Int -> MsgDoc -> IO ()
withTimingSilentD :: (MonadIO m, HasDynFlags m) => SDoc -> (a -> ()) -> m a -> m a
withTimingSilent :: MonadIO m => DynFlags -> SDoc -> (a -> ()) -> m a -> m a
withTimingD :: (MonadIO m, HasDynFlags m) => SDoc -> (a -> ()) -> m a -> m a
withTiming :: MonadIO m => DynFlags -> SDoc -> (a -> ()) -> m a -> m a
showPass :: DynFlags -> String -> IO ()
compilationProgressMsg :: DynFlags -> String -> IO ()
fatalErrorMsg'' :: FatalMessager -> String -> IO ()
fatalErrorMsg :: DynFlags -> MsgDoc -> IO ()
warningMsg :: DynFlags -> MsgDoc -> IO ()
errorMsg :: DynFlags -> MsgDoc -> IO ()
dumpSDocWithStyle :: PprStyle -> DynFlags -> DumpFlag -> String -> SDoc -> IO ()
dumpSDocForUser :: DynFlags -> PrintUnqualified -> DumpFlag -> String -> SDoc -> IO ()
mkDumpDoc :: String -> SDoc -> SDoc
dumpIfSet_dyn_printer :: PrintUnqualified -> DynFlags -> DumpFlag -> SDoc -> IO ()
dumpIfSet_dyn :: DynFlags -> DumpFlag -> String -> SDoc -> IO ()
dumpIfSet :: DynFlags -> Bool -> String -> SDoc -> IO ()
doIfSet_dyn :: DynFlags -> GeneralFlag -> IO () -> IO ()
doIfSet :: Bool -> IO () -> IO ()
ghcExit :: DynFlags -> Int -> IO ()
pprLocErrMsg :: ErrMsg -> SDoc
pprErrMsgBagWithLoc :: Bag ErrMsg -> [SDoc]
formatErrDoc :: DynFlags -> ErrDoc -> SDoc
printBagOfErrors :: DynFlags -> Bag ErrMsg -> IO ()
warningsToMessages :: DynFlags -> WarningMessages -> Messages
errorsFound :: DynFlags -> Messages -> Bool
isEmptyMessages :: Messages -> Bool
emptyMessages :: Messages
mkPlainWarnMsg :: DynFlags -> SrcSpan -> MsgDoc -> ErrMsg
mkLongWarnMsg :: DynFlags -> SrcSpan -> PrintUnqualified -> MsgDoc -> MsgDoc -> ErrMsg
mkPlainErrMsg :: DynFlags -> SrcSpan -> MsgDoc -> ErrMsg
mkErrMsg :: DynFlags -> SrcSpan -> PrintUnqualified -> MsgDoc -> ErrMsg
mkLongErrMsg :: DynFlags -> SrcSpan -> PrintUnqualified -> MsgDoc -> MsgDoc -> ErrMsg
mkErrDoc :: DynFlags -> SrcSpan -> PrintUnqualified -> ErrDoc -> ErrMsg
makeIntoWarning :: WarnReason -> ErrMsg -> ErrMsg
pprMessageBag :: Bag MsgDoc -> SDoc
errDoc :: [MsgDoc] -> [MsgDoc] -> [MsgDoc] -> ErrDoc
unionMessages :: Messages -> Messages -> Messages
orValid :: Validity -> Validity -> Validity
getInvalids :: [Validity] -> [MsgDoc]
allValid :: [Validity] -> Validity
andValid :: Validity -> Validity -> Validity
isValid :: Validity -> Bool
data Validity
- = IsValid
- | NotValid MsgDoc
type Messages = (WarningMessages, ErrorMessages)
type WarningMessages = Bag WarnMsg
type ErrorMessages = Bag ErrMsg
data ErrMsg
data ErrDoc
type WarnMsg = ErrMsg
mkLocMessage :: Severity -> SrcSpan -> MsgDoc -> MsgDoc
mkLocMessageAnn :: Maybe String -> Severity -> SrcSpan -> MsgDoc -> MsgDoc
getCaretDiagnostic :: Severity -> SrcSpan -> IO MsgDoc
dumpSDoc :: DynFlags -> PrintUnqualified -> DumpFlag -> String -> SDoc -> IO ()
data Severity
- = SevOutput
- | SevFatal
- | SevInteractive
- | SevDump
- | SevInfo
- | SevWarning
- | SevError
type MsgDoc = SDoc
module FamInst
module FamInstEnv
optionsErrorMsgs :: DynFlags -> [String] -> [Located String] -> FilePath -> Messages
checkProcessArgsResult :: MonadIO m => DynFlags -> [Located String] -> m ()
getOptions :: DynFlags -> StringBuffer -> FilePath -> [Located String]
getOptionsFromFile :: DynFlags -> FilePath -> IO [Located String]
mkPrelImports :: ModuleName -> SrcSpan -> Bool -> [LImportDecl GhcPs] -> [LImportDecl GhcPs]
module Id
module InstEnv
module IfaceSyn
unitModuleSet :: Module -> ModuleSet
unionModuleSet :: ModuleSet -> ModuleSet -> ModuleSet
delModuleSet :: ModuleSet -> Module -> ModuleSet
minusModuleSet :: ModuleSet -> ModuleSet -> ModuleSet
intersectModuleSet :: ModuleSet -> ModuleSet -> ModuleSet
elemModuleSet :: Module -> ModuleSet -> Bool
moduleSetElts :: ModuleSet -> [Module]
emptyModuleSet :: ModuleSet
extendModuleSetList :: ModuleSet -> [Module] -> ModuleSet
extendModuleSet :: ModuleSet -> Module -> ModuleSet
mkModuleSet :: [Module] -> ModuleSet
isEmptyModuleEnv :: ModuleEnv a -> Bool
unitModuleEnv :: Module -> a -> ModuleEnv a
moduleEnvToList :: ModuleEnv a -> [(Module, a)]
moduleEnvElts :: ModuleEnv a -> [a]
moduleEnvKeys :: ModuleEnv a -> [Module]
emptyModuleEnv :: ModuleEnv a
mkModuleEnv :: [(Module, a)] -> ModuleEnv a
mapModuleEnv :: (a -> b) -> ModuleEnv a -> ModuleEnv b
lookupWithDefaultModuleEnv :: ModuleEnv a -> a -> Module -> a
lookupModuleEnv :: ModuleEnv a -> Module -> Maybe a
plusModuleEnv :: ModuleEnv a -> ModuleEnv a -> ModuleEnv a
delModuleEnv :: ModuleEnv a -> Module -> ModuleEnv a
delModuleEnvList :: ModuleEnv a -> [Module] -> ModuleEnv a
plusModuleEnv_C :: (a -> a -> a) -> ModuleEnv a -> ModuleEnv a -> ModuleEnv a
extendModuleEnvList_C :: (a -> a -> a) -> ModuleEnv a -> [(Module, a)] -> ModuleEnv a
extendModuleEnvList :: ModuleEnv a -> [(Module, a)] -> ModuleEnv a
extendModuleEnvWith :: (a -> a -> a) -> ModuleEnv a -> Module -> a -> ModuleEnv a
extendModuleEnv :: ModuleEnv a -> Module -> a -> ModuleEnv a
elemModuleEnv :: Module -> ModuleEnv a -> Bool
filterModuleEnv :: (Module -> a -> Bool) -> ModuleEnv a -> ModuleEnv a
wiredInUnitIds :: [UnitId]
isHoleModule :: Module -> Bool
isInteractiveModule :: Module -> Bool
mainUnitId :: UnitId
interactiveUnitId :: UnitId
thisGhcUnitId :: UnitId
thUnitId :: UnitId
rtsUnitId :: UnitId
baseUnitId :: UnitId
integerUnitId :: UnitId
primUnitId :: UnitId
parseModSubst :: ReadP [(ModuleName, Module)]
parseModuleId :: ReadP Module
parseComponentId :: ReadP ComponentId
parseUnitId :: ReadP UnitId
parseModuleName :: ReadP ModuleName
generalizeIndefModule :: IndefModule -> IndefModule
generalizeIndefUnitId :: IndefUnitId -> IndefUnitId
splitUnitIdInsts :: UnitId -> (InstalledUnitId, Maybe IndefUnitId)
splitModuleInsts :: Module -> (InstalledModule, Maybe IndefModule)
renameHoleUnitId' :: PackageConfigMap -> ShHoleSubst -> UnitId -> UnitId
renameHoleModule' :: PackageConfigMap -> ShHoleSubst -> Module -> Module
renameHoleUnitId :: DynFlags -> ShHoleSubst -> UnitId -> UnitId
renameHoleModule :: DynFlags -> ShHoleSubst -> Module -> Module
stringToUnitId :: String -> UnitId
fsToUnitId :: FastString -> UnitId
newSimpleUnitId :: ComponentId -> UnitId
stableUnitIdCmp :: UnitId -> UnitId -> Ordering
newUnitId :: ComponentId -> [(ModuleName, Module)] -> UnitId
hashUnitId :: ComponentId -> [(ModuleName, Module)] -> FastString
unitIdIsDefinite :: UnitId -> Bool
unitIdFreeHoles :: UnitId -> UniqDSet ModuleName
delInstalledModuleEnv :: InstalledModuleEnv a -> InstalledModule -> InstalledModuleEnv a
filterInstalledModuleEnv :: (InstalledModule -> a -> Bool) -> InstalledModuleEnv a -> InstalledModuleEnv a
extendInstalledModuleEnv :: InstalledModuleEnv a -> InstalledModule -> a -> InstalledModuleEnv a
lookupInstalledModuleEnv :: InstalledModuleEnv a -> InstalledModule -> Maybe a
emptyInstalledModuleEnv :: InstalledModuleEnv a
installedUnitIdEq :: InstalledUnitId -> UnitId -> Bool
installedModuleEq :: InstalledModule -> Module -> Bool
stringToInstalledUnitId :: String -> InstalledUnitId
componentIdToInstalledUnitId :: ComponentId -> InstalledUnitId
fsToInstalledUnitId :: FastString -> InstalledUnitId
installedUnitIdString :: InstalledUnitId -> String
toInstalledUnitId :: UnitId -> InstalledUnitId
indefModuleToModule :: DynFlags -> IndefModule -> Module
indefUnitIdToUnitId :: DynFlags -> IndefUnitId -> UnitId
newIndefUnitId :: ComponentId -> [(ModuleName, Module)] -> IndefUnitId
unitIdKey :: UnitId -> Unique
unitIdFS :: UnitId -> FastString
pprModule :: Module -> SDoc
mkModule :: UnitId -> ModuleName -> Module
stableModuleCmp :: Module -> Module -> Ordering
mkHoleModule :: ModuleName -> Module
moduleIsDefinite :: Module -> Bool
moduleFreeHoles :: Module -> UniqDSet ModuleName
moduleNameColons :: ModuleName -> String
moduleNameSlashes :: ModuleName -> String
mkModuleNameFS :: FastString -> ModuleName
mkModuleName :: String -> ModuleName
moduleStableString :: Module -> String
moduleNameString :: ModuleName -> String
moduleNameFS :: ModuleName -> FastString
pprModuleName :: ModuleName -> SDoc
stableModuleNameCmp :: ModuleName -> ModuleName -> Ordering
addBootSuffixLocn :: ModLocation -> ModLocation
addBootSuffix_maybe :: Bool -> FilePath -> FilePath
addBootSuffix :: FilePath -> FilePath
class ContainsModule t where
- extractModule :: t -> Module
class HasModule (m :: Type -> Type) where
- getModule :: m Module
data IndefUnitId = IndefUnitId {
- indefUnitIdFS :: FastString
- indefUnitIdKey :: Unique
- indefUnitIdComponentId :: !ComponentId
- indefUnitIdInsts :: ![(ModuleName, Module)]
- indefUnitIdFreeHoles :: UniqDSet ModuleName
}
data IndefModule = IndefModule {
- indefModuleUnitId :: IndefUnitId
- indefModuleName :: ModuleName
}
data InstalledModule = InstalledModule {
- installedModuleUnitId :: !InstalledUnitId
- installedModuleName :: !ModuleName
}
newtype DefUnitId = DefUnitId {
- unDefUnitId :: InstalledUnitId
}
data InstalledModuleEnv elt
type ShHoleSubst = ModuleNameEnv Module
data ModuleEnv elt
type ModuleSet = Set NDModule
type ModuleNameEnv elt = UniqFM elt
type DModuleNameEnv elt = UniqDFM elt
unitIdString :: UnitId -> String
data Module = Module !UnitId !ModuleName
data ModuleName
pattern IndefiniteUnitId :: !IndefUnitId -> UnitId
pattern DefiniteUnitId :: !DefUnitId -> UnitId
newtype InstalledUnitId = InstalledUnitId {
- installedUnitIdFS :: FastString
}
newtype ComponentId = ComponentId FastString
pprPrefixName :: NamedThing a => a -> SDoc
pprInfixName :: (Outputable a, NamedThing a) => a -> SDoc
getOccFS :: NamedThing a => a -> FastString
getOccString :: NamedThing a => a -> String
getSrcSpan :: NamedThing a => a -> SrcSpan
getSrcLoc :: NamedThing a => a -> SrcLoc
nameStableString :: Name -> String
pprNameDefnLoc :: Name -> SDoc
pprDefinedAt :: Name -> SDoc
pprModulePrefix :: PprStyle -> Module -> OccName -> SDoc
pprNameUnqualified :: Name -> SDoc
stableNameCmp :: Name -> Name -> Ordering
localiseName :: Name -> Name
tidyNameOcc :: Name -> OccName -> Name
setNameLoc :: Name -> SrcSpan -> Name
setNameUnique :: Name -> Unique -> Name
mkFCallName :: Unique -> String -> Name
mkSysTvName :: Unique -> FastString -> Name
mkSystemVarName :: Unique -> FastString -> Name
mkSystemNameAt :: Unique -> OccName -> SrcSpan -> Name
mkSystemName :: Unique -> OccName -> Name
mkWiredInName :: Module -> OccName -> Unique -> TyThing -> BuiltInSyntax -> Name
mkExternalName :: Unique -> Module -> OccName -> SrcSpan -> Name
mkDerivedInternalName :: (OccName -> OccName) -> Unique -> Name -> Name
mkClonedInternalName :: Unique -> Name -> Name
mkInternalName :: Unique -> OccName -> SrcSpan -> Name
isSystemName :: Name -> Bool
isVarName :: Name -> Bool
isValName :: Name -> Bool
isDataConName :: Name -> Bool
isTyConName :: Name -> Bool
isTyVarName :: Name -> Bool
nameIsFromExternalPackage :: UnitId -> Name -> Bool
nameIsHomePackageImport :: Module -> Name -> Bool
nameIsHomePackage :: Module -> Name -> Bool
nameIsLocalOrFrom :: Module -> Name -> Bool
nameModule_maybe :: Name -> Maybe Module
nameModule :: HasDebugCallStack => Name -> Module
isHoleName :: Name -> Bool
isInternalName :: Name -> Bool
isExternalName :: Name -> Bool
isBuiltInSyntax :: Name -> Bool
wiredInNameTyThing_maybe :: Name -> Maybe TyThing
isWiredInName :: Name -> Bool
nameSrcSpan :: Name -> SrcSpan
nameSrcLoc :: Name -> SrcLoc
nameNameSpace :: Name -> NameSpace
nameOccName :: Name -> OccName
nameUnique :: Name -> Unique
data BuiltInSyntax
- = BuiltInSyntax
- | UserSyntax
class NamedThing a where
- getOccName :: a -> OccName
- getName :: a -> Name
tidyOccName :: TidyOccEnv -> OccName -> (TidyOccEnv, OccName)
avoidClashesOccEnv :: TidyOccEnv -> [OccName] -> TidyOccEnv
initTidyOccEnv :: [OccName] -> TidyOccEnv
emptyTidyOccEnv :: TidyOccEnv
mkMethodOcc :: OccName -> OccName
mkDataCOcc :: OccName -> OccSet -> OccName
mkDataTOcc :: OccName -> OccSet -> OccName
mkDFunOcc :: String -> Bool -> OccSet -> OccName
mkInstTyTcOcc :: String -> OccSet -> OccName
mkLocalOcc :: Unique -> OccName -> OccName
mkSuperDictSelOcc :: Int -> OccName -> OccName
mkSuperDictAuxOcc :: Int -> OccName -> OccName
mkDataConWorkerOcc :: OccName -> OccName
mkRecFldSelOcc :: String -> OccName
mkGen1R :: OccName -> OccName
mkGenR :: OccName -> OccName
mkTyConRepOcc :: OccName -> OccName
mkMaxTagOcc :: OccName -> OccName
mkTag2ConOcc :: OccName -> OccName
mkCon2TagOcc :: OccName -> OccName
mkEqPredCoOcc :: OccName -> OccName
mkInstTyCoOcc :: OccName -> OccName
mkNewTyCoOcc :: OccName -> OccName
mkClassDataConOcc :: OccName -> OccName
mkRepEqOcc :: OccName -> OccName
mkForeignExportOcc :: OccName -> OccName
mkSpecOcc :: OccName -> OccName
mkIPOcc :: OccName -> OccName
mkDictOcc :: OccName -> OccName
mkClassOpAuxOcc :: OccName -> OccName
mkDefaultMethodOcc :: OccName -> OccName
mkBuilderOcc :: OccName -> OccName
mkMatcherOcc :: OccName -> OccName
mkWorkerOcc :: OccName -> OccName
mkDataConWrapperOcc :: OccName -> OccName
isTypeableBindOcc :: OccName -> Bool
isDefaultMethodOcc :: OccName -> Bool
isDerivedOccName :: OccName -> Bool
startsWithUnderscore :: OccName -> Bool
parenSymOcc :: OccName -> SDoc -> SDoc
isSymOcc :: OccName -> Bool
isDataSymOcc :: OccName -> Bool
isDataOcc :: OccName -> Bool
isValOcc :: OccName -> Bool
isTcOcc :: OccName -> Bool
isTvOcc :: OccName -> Bool
isVarOcc :: OccName -> Bool
setOccNameSpace :: NameSpace -> OccName -> OccName
occNameString :: OccName -> String
filterOccSet :: (OccName -> Bool) -> OccSet -> OccSet
intersectsOccSet :: OccSet -> OccSet -> Bool
intersectOccSet :: OccSet -> OccSet -> OccSet
isEmptyOccSet :: OccSet -> Bool
elemOccSet :: OccName -> OccSet -> Bool
minusOccSet :: OccSet -> OccSet -> OccSet
unionManyOccSets :: [OccSet] -> OccSet
unionOccSets :: OccSet -> OccSet -> OccSet
extendOccSetList :: OccSet -> [OccName] -> OccSet
extendOccSet :: OccSet -> OccName -> OccSet
mkOccSet :: [OccName] -> OccSet
unitOccSet :: OccName -> OccSet
emptyOccSet :: OccSet
pprOccEnv :: (a -> SDoc) -> OccEnv a -> SDoc
alterOccEnv :: (Maybe elt -> Maybe elt) -> OccEnv elt -> OccName -> OccEnv elt
filterOccEnv :: (elt -> Bool) -> OccEnv elt -> OccEnv elt
delListFromOccEnv :: OccEnv a -> [OccName] -> OccEnv a
delFromOccEnv :: OccEnv a -> OccName -> OccEnv a
mkOccEnv_C :: (a -> a -> a) -> [(OccName, a)] -> OccEnv a
mapOccEnv :: (a -> b) -> OccEnv a -> OccEnv b
extendOccEnv_Acc :: (a -> b -> b) -> (a -> b) -> OccEnv b -> OccName -> a -> OccEnv b
extendOccEnv_C :: (a -> a -> a) -> OccEnv a -> OccName -> a -> OccEnv a
plusOccEnv_C :: (a -> a -> a) -> OccEnv a -> OccEnv a -> OccEnv a
plusOccEnv :: OccEnv a -> OccEnv a -> OccEnv a
occEnvElts :: OccEnv a -> [a]
foldOccEnv :: (a -> b -> b) -> b -> OccEnv a -> b
elemOccEnv :: OccName -> OccEnv a -> Bool
mkOccEnv :: [(OccName, a)] -> OccEnv a
lookupOccEnv :: OccEnv a -> OccName -> Maybe a
extendOccEnvList :: OccEnv a -> [(OccName, a)] -> OccEnv a
extendOccEnv :: OccEnv a -> OccName -> a -> OccEnv a
unitOccEnv :: OccName -> a -> OccEnv a
emptyOccEnv :: OccEnv a
nameSpacesRelated :: NameSpace -> NameSpace -> Bool
demoteOccName :: OccName -> Maybe OccName
mkClsOccFS :: FastString -> OccName
mkClsOcc :: String -> OccName
mkTcOccFS :: FastString -> OccName
mkTcOcc :: String -> OccName
mkTyVarOccFS :: FastString -> OccName
mkTyVarOcc :: String -> OccName
mkDataOccFS :: FastString -> OccName
mkDataOcc :: String -> OccName
mkVarOccFS :: FastString -> OccName
mkVarOcc :: String -> OccName
mkOccNameFS :: NameSpace -> FastString -> OccName
mkOccName :: NameSpace -> String -> OccName
pprOccName :: OccName -> SDoc
pprNameSpaceBrief :: NameSpace -> SDoc
pprNonVarNameSpace :: NameSpace -> SDoc
pprNameSpace :: NameSpace -> SDoc
isValNameSpace :: NameSpace -> Bool
isVarNameSpace :: NameSpace -> Bool
isTvNameSpace :: NameSpace -> Bool
isTcClsNameSpace :: NameSpace -> Bool
isDataConNameSpace :: NameSpace -> Bool
tvName :: NameSpace
srcDataName :: NameSpace
dataName :: NameSpace
tcClsName :: NameSpace
clsName :: NameSpace
tcName :: NameSpace
data NameSpace
class HasOccName name where
- occName :: name -> OccName
data OccEnv a
type OccSet = UniqSet OccName
type TidyOccEnv = UniqFM Int
mkFsEnv :: [(FastString, a)] -> FastStringEnv a
lookupFsEnv :: FastStringEnv a -> FastString -> Maybe a
extendFsEnv :: FastStringEnv a -> FastString -> a -> FastStringEnv a
emptyFsEnv :: FastStringEnv a
type FastStringEnv a = UniqFM a
data OccName
data Name
module NameCache
module NameEnv
module NameSet
module PatSyn
pprTypeForUser :: Type -> SDoc
pprTyThing :: ShowSub -> TyThing -> SDoc
pprTyThingInContextLoc :: TyThing -> SDoc
pprTyThingInContext :: ShowSub -> TyThing -> SDoc
pprTyThingHdr :: TyThing -> SDoc
pprTyThingLoc :: TyThing -> SDoc
module PrelInfo
pretendNameIsInScope :: Name -> Bool
interactiveClassKeys :: [Unique]
interactiveClassNames :: [Name]
derivableClassKeys :: [Unique]
standardClassKeys :: [Unique]
fractionalClassKeys :: [Unique]
numericClassKeys :: [Unique]
wordToNaturalIdKey :: Unique
naturalSDataConKey :: Unique
mkNaturalIdKey :: Unique
timesNaturalIdKey :: Unique
minusNaturalIdKey :: Unique
plusNaturalIdKey :: Unique
naturalToIntegerIdKey :: Unique
naturalFromIntegerIdKey :: Unique
makeStaticKey :: Unique
fromStaticPtrClassOpKey :: Unique
pushCallStackKey :: Unique
emptyCallStackKey :: Unique
mconcatClassOpKey :: Unique
mappendClassOpKey :: Unique
memptyClassOpKey :: Unique
sappendClassOpKey :: Unique
coercibleSCSelIdKey :: Unique
heqSCSelIdKey :: Unique
eqSCSelIdKey :: Unique
bitIntegerIdKey :: Unique
toDynIdKey :: Unique
starArrStarArrStarKindRepKey :: Unique
starArrStarKindRepKey :: Unique
starKindRepKey :: Unique
tr'PtrRepLiftedKey :: Unique
trRuntimeRepKey :: Unique
trTYPE'PtrRepLiftedKey :: Unique
trTYPEKey :: Unique
mkTrFunKey :: Unique
typeRepIdKey :: Unique
typeSymbolTypeRepKey :: Unique
typeNatTypeRepKey :: Unique
mkTrAppKey :: Unique
mkTrConKey :: Unique
mkTrTypeKey :: Unique
mkTyConKey :: Unique
proxyHashKey :: Unique
toListClassOpKey :: Unique
fromListNClassOpKey :: Unique
fromListClassOpKey :: Unique
isListClassKey :: Unique
ghciStepIoMClassOpKey :: Unique
mzipIdKey :: Unique
liftMIdKey :: Unique
guardMIdKey :: Unique
toRationalClassOpKey :: Unique
toIntegerClassOpKey :: Unique
realToFracIdKey :: Unique
fromIntegralIdKey :: Unique
toAnnotationWrapperIdKey :: Unique
fromStringClassOpKey :: Unique
loopAIdKey :: Unique
choiceAIdKey :: Unique
appAIdKey :: Unique
firstAIdKey :: Unique
composeAIdKey :: Unique
arrAIdKey :: Unique
failMClassOpKey :: Unique
mfixIdKey :: Unique
returnMClassOpKey :: Unique
fmapClassOpKey :: Unique
thenMClassOpKey :: Unique
bindMClassOpKey :: Unique
negateClassOpKey :: Unique
geClassOpKey :: Unique
eqClassOpKey :: Unique
enumFromThenToClassOpKey :: Unique
enumFromToClassOpKey :: Unique
enumFromThenClassOpKey :: Unique
enumFromClassOpKey :: Unique
fromRationalClassOpKey :: Unique
minusClassOpKey :: Unique
fromIntegerClassOpKey :: Unique
unboundKey :: Unique
coerceKey :: Unique
magicDictKey :: Unique
undefinedKey :: Unique
checkDotnetResNameIdKey :: Unique
unmarshalStringIdKey :: Unique
marshalStringIdKey :: Unique
marshalObjectIdKey :: Unique
unmarshalObjectIdKey :: Unique
rationalToDoubleIdKey :: Unique
rationalToFloatIdKey :: Unique
noinlineIdKey :: Unique
coercionTokenIdKey :: Unique
dollarIdKey :: Unique
groupWithIdKey :: Unique
mapIdKey :: Unique
inlineIdKey :: Unique
breakpointCondIdKey :: Unique
breakpointIdKey :: Unique
traceKey :: Unique
runRWKey :: Unique
oneShotKey :: Unique
assertErrorIdKey :: Unique
lazyIdKey :: Unique
thenIOIdKey :: Unique
runMainKey :: Unique
rootMainKey :: Unique
decodeDoubleIntegerIdKey :: Unique
int64ToIntegerIdKey :: Unique
word64ToIntegerIdKey :: Unique
wordToIntegerIdKey :: Unique
shiftRIntegerIdKey :: Unique
shiftLIntegerIdKey :: Unique
complementIntegerIdKey :: Unique
xorIntegerIdKey :: Unique
orIntegerIdKey :: Unique
andIntegerIdKey :: Unique
lcmIntegerIdKey :: Unique
gcdIntegerIdKey :: Unique
encodeDoubleIntegerIdKey :: Unique
encodeFloatIntegerIdKey :: Unique
doubleFromIntegerIdKey :: Unique
floatFromIntegerIdKey :: Unique
quotRemIntegerIdKey :: Unique
divModIntegerIdKey :: Unique
modIntegerIdKey :: Unique
divIntegerIdKey :: Unique
remIntegerIdKey :: Unique
quotIntegerIdKey :: Unique
compareIntegerIdKey :: Unique
geIntegerPrimIdKey :: Unique
ltIntegerPrimIdKey :: Unique
gtIntegerPrimIdKey :: Unique
leIntegerPrimIdKey :: Unique
signumIntegerIdKey :: Unique
absIntegerIdKey :: Unique
neqIntegerPrimIdKey :: Unique
eqIntegerPrimIdKey :: Unique
negateIntegerIdKey :: Unique
minusIntegerIdKey :: Unique
timesIntegerIdKey :: Unique
plusIntegerIdKey :: Unique
integerToInt64IdKey :: Unique
integerToWord64IdKey :: Unique
integerToIntIdKey :: Unique
integerToWordIdKey :: Unique
smallIntegerIdKey :: Unique
mkIntegerIdKey :: Unique
assertIdKey :: Unique
otherwiseIdKey :: Unique
sndIdKey :: Unique
fstIdKey :: Unique
voidArgIdKey :: Unique
nullAddrIdKey :: Unique
failIOIdKey :: Unique
printIdKey :: Unique
newStablePtrIdKey :: Unique
returnIOIdKey :: Unique
bindIOIdKey :: Unique
zipIdKey :: Unique
filterIdKey :: Unique
concatIdKey :: Unique
unsafeCoerceIdKey :: Unique
absentSumFieldErrorIdKey :: Unique
modIntIdKey :: Unique
divIntIdKey :: Unique
typeErrorIdKey :: Unique
voidPrimIdKey :: Unique
unpackCStringIdKey :: Unique
unpackCStringFoldrIdKey :: Unique
unpackCStringAppendIdKey :: Unique
unpackCStringUtf8IdKey :: Unique
recConErrorIdKey :: Unique
realWorldPrimIdKey :: Unique
patErrorIdKey :: Unique
runtimeErrorIdKey :: Unique
nonExhaustiveGuardsErrorIdKey :: Unique
noMethodBindingErrorIdKey :: Unique
eqStringIdKey :: Unique
seqIdKey :: Unique
recSelErrorIdKey :: Unique
foldrIdKey :: Unique
errorIdKey :: Unique
buildIdKey :: Unique
appendIdKey :: Unique
augmentIdKey :: Unique
absentErrorIdKey :: Unique
wildCardKey :: Unique
typeLitNatDataConKey :: Unique
typeLitSymbolDataConKey :: Unique
kindRepTypeLitDDataConKey :: Unique
kindRepTypeLitSDataConKey :: Unique
kindRepTYPEDataConKey :: Unique
kindRepFunDataConKey :: Unique
kindRepAppDataConKey :: Unique
kindRepVarDataConKey :: Unique
kindRepTyConAppDataConKey :: Unique
vecElemDataConKeys :: [Unique]
vecCountDataConKeys :: [Unique]
unliftedRepDataConKeys :: [Unique]
unliftedSimpleRepDataConKeys :: [Unique]
liftedRepDataConKey :: Unique
runtimeRepSimpleDataConKeys :: [Unique]
sumRepDataConKey :: Unique
tupleRepDataConKey :: Unique
vecRepDataConKey :: Unique
metaSelDataConKey :: Unique
metaConsDataConKey :: Unique
metaDataDataConKey :: Unique
decidedUnpackDataConKey :: Unique
decidedStrictDataConKey :: Unique
decidedLazyDataConKey :: Unique
noSourceStrictnessDataConKey :: Unique
sourceStrictDataConKey :: Unique
sourceLazyDataConKey :: Unique
noSourceUnpackednessDataConKey :: Unique
sourceNoUnpackDataConKey :: Unique
sourceUnpackDataConKey :: Unique
notAssociativeDataConKey :: Unique
rightAssociativeDataConKey :: Unique
leftAssociativeDataConKey :: Unique
infixIDataConKey :: Unique
prefixIDataConKey :: Unique
typeErrorShowTypeDataConKey :: Unique
typeErrorVAppendDataConKey :: Unique
typeErrorAppendDataConKey :: Unique
typeErrorTextDataConKey :: Unique
typeLitSortTyConKey :: Unique
kindRepTyConKey :: Unique
trGhcPrimModuleKey :: Unique
trNameDDataConKey :: Unique
trNameSDataConKey :: Unique
trNameTyConKey :: Unique
trModuleDataConKey :: Unique
trModuleTyConKey :: Unique
trTyConDataConKey :: Unique
trTyConTyConKey :: Unique
srcLocDataConKey :: Unique
fingerprintDataConKey :: Unique
staticPtrInfoDataConKey :: Unique
staticPtrDataConKey :: Unique
coercibleDataConKey :: Unique
ordGTDataConKey :: Unique
ordEQDataConKey :: Unique
ordLTDataConKey :: Unique
rightDataConKey :: Unique
leftDataConKey :: Unique
genUnitDataConKey :: Unique
inrDataConKey :: Unique
inlDataConKey :: Unique
crossDataConKey :: Unique
heqDataConKey :: Unique
integerDataConKey :: Unique
ioDataConKey :: Unique
wordDataConKey :: Unique
trueDataConKey :: Unique
stableNameDataConKey :: Unique
word8DataConKey :: Unique
ratioDataConKey :: Unique
nilDataConKey :: Unique
eqDataConKey :: Unique
justDataConKey :: Unique
nothingDataConKey :: Unique
integerSDataConKey :: Unique
intDataConKey :: Unique
floatDataConKey :: Unique
falseDataConKey :: Unique
doubleDataConKey :: Unique
consDataConKey :: Unique
charDataConKey :: Unique
doubleX8PrimTyConKey :: Unique
floatX16PrimTyConKey :: Unique
doubleX4PrimTyConKey :: Unique
floatX8PrimTyConKey :: Unique
doubleX2PrimTyConKey :: Unique
floatX4PrimTyConKey :: Unique
word64X8PrimTyConKey :: Unique
word32X16PrimTyConKey :: Unique
word16X32PrimTyConKey :: Unique
word8X64PrimTyConKey :: Unique
word64X4PrimTyConKey :: Unique
word32X8PrimTyConKey :: Unique
word16X16PrimTyConKey :: Unique
word8X32PrimTyConKey :: Unique
word64X2PrimTyConKey :: Unique
word32X4PrimTyConKey :: Unique
word16X8PrimTyConKey :: Unique
word8X16PrimTyConKey :: Unique
int64X8PrimTyConKey :: Unique
int32X16PrimTyConKey :: Unique
int16X32PrimTyConKey :: Unique
int8X64PrimTyConKey :: Unique
int64X4PrimTyConKey :: Unique
int32X8PrimTyConKey :: Unique
int16X16PrimTyConKey :: Unique
int8X32PrimTyConKey :: Unique
int64X2PrimTyConKey :: Unique
int32X4PrimTyConKey :: Unique
int16X8PrimTyConKey :: Unique
int8X16PrimTyConKey :: Unique
typeSymbolAppendFamNameKey :: Unique
someTypeRepDataConKey :: Unique
someTypeRepTyConKey :: Unique
typeRepTyConKey :: Unique
callStackTyConKey :: Unique
staticPtrInfoTyConKey :: Unique
staticPtrTyConKey :: Unique
smallMutableArrayPrimTyConKey :: Unique
smallArrayPrimTyConKey :: Unique
anyTyConKey :: Unique
specTyConKey :: Unique
proxyPrimTyConKey :: Unique
coercibleTyConKey :: Unique
ntTyConKey :: Unique
errorMessageTypeErrorFamKey :: Unique
typeNatLogTyFamNameKey :: Unique
typeNatModTyFamNameKey :: Unique
typeNatDivTyFamNameKey :: Unique
typeNatCmpTyFamNameKey :: Unique
typeSymbolCmpTyFamNameKey :: Unique
typeNatSubTyFamNameKey :: Unique
typeNatLeqTyFamNameKey :: Unique
typeNatExpTyFamNameKey :: Unique
typeNatMulTyFamNameKey :: Unique
typeNatAddTyFamNameKey :: Unique
typeSymbolKindConNameKey :: Unique
typeNatKindConNameKey :: Unique
uWordTyConKey :: Unique
uIntTyConKey :: Unique
uFloatTyConKey :: Unique
uDoubleTyConKey :: Unique
uCharTyConKey :: Unique
uAddrTyConKey :: Unique
uRecTyConKey :: Unique
rep1TyConKey :: Unique
repTyConKey :: Unique
noSelTyConKey :: Unique
s1TyConKey :: Unique
c1TyConKey :: Unique
d1TyConKey :: Unique
rec0TyConKey :: Unique
sTyConKey :: Unique
cTyConKey :: Unique
dTyConKey :: Unique
rTyConKey :: Unique
compTyConKey :: Unique
prodTyConKey :: Unique
sumTyConKey :: Unique
m1TyConKey :: Unique
k1TyConKey :: Unique
rec1TyConKey :: Unique
par1TyConKey :: Unique
u1TyConKey :: Unique
v1TyConKey :: Unique
opaqueTyConKey :: Unique
unknown3TyConKey :: Unique
unknown2TyConKey :: Unique
unknown1TyConKey :: Unique
unknownTyConKey :: Unique
frontendPluginTyConKey :: Unique
pluginTyConKey :: Unique
vecElemTyConKey :: Unique
vecCountTyConKey :: Unique
runtimeRepTyConKey :: Unique
constraintKindTyConKey :: Unique
tYPETyConKey :: Unique
eitherTyConKey :: Unique
objectTyConKey :: Unique
compactPrimTyConKey :: Unique
tVarPrimTyConKey :: Unique
funPtrTyConKey :: Unique
ptrTyConKey :: Unique
bcoPrimTyConKey :: Unique
threadIdPrimTyConKey :: Unique
typeConKey :: Unique
boxityConKey :: Unique
kindConKey :: Unique
anyBoxConKey :: Unique
unliftedConKey :: Unique
liftedConKey :: Unique
word64TyConKey :: Unique
word64PrimTyConKey :: Unique
word32TyConKey :: Unique
word32PrimTyConKey :: Unique
word16TyConKey :: Unique
word16PrimTyConKey :: Unique
word8TyConKey :: Unique
word8PrimTyConKey :: Unique
wordTyConKey :: Unique
wordPrimTyConKey :: Unique
voidPrimTyConKey :: Unique
ioTyConKey :: Unique
mutVarPrimTyConKey :: Unique
eqPhantPrimTyConKey :: Unique
eqReprPrimTyConKey :: Unique
eqPrimTyConKey :: Unique
stableNameTyConKey :: Unique
stableNamePrimTyConKey :: Unique
statePrimTyConKey :: Unique
mutableArrayArrayPrimTyConKey :: Unique
arrayArrayPrimTyConKey :: Unique
heqTyConKey :: Unique
eqTyConKey :: Unique
stablePtrTyConKey :: Unique
stablePtrPrimTyConKey :: Unique
realWorldTyConKey :: Unique
rationalTyConKey :: Unique
ratioTyConKey :: Unique
mVarPrimTyConKey :: Unique
orderingTyConKey :: Unique
mutableByteArrayPrimTyConKey :: Unique
mutableArrayPrimTyConKey :: Unique
weakPrimTyConKey :: Unique
maybeTyConKey :: Unique
foreignObjPrimTyConKey :: Unique
listTyConKey :: Unique
naturalTyConKey :: Unique
integerTyConKey :: Unique
int64TyConKey :: Unique
int64PrimTyConKey :: Unique
int32TyConKey :: Unique
int32PrimTyConKey :: Unique
int16TyConKey :: Unique
int16PrimTyConKey :: Unique
int8TyConKey :: Unique
int8PrimTyConKey :: Unique
intTyConKey :: Unique
intPrimTyConKey :: Unique
funTyConKey :: Unique
floatTyConKey :: Unique
floatPrimTyConKey :: Unique
doubleTyConKey :: Unique
doublePrimTyConKey :: Unique
charTyConKey :: Unique
charPrimTyConKey :: Unique
byteArrayPrimTyConKey :: Unique
boolTyConKey :: Unique
arrayPrimTyConKey :: Unique
addrPrimTyConKey :: Unique
hasFieldClassNameKey :: Unique
ipClassKey :: Unique
monoidClassKey :: Unique
semigroupClassKey :: Unique
isLabelClassNameKey :: Unique
ghciIoClassKey :: Unique
knownSymbolClassNameKey :: Unique
knownNatClassNameKey :: Unique
selectorClassKey :: Unique
constructorClassKey :: Unique
datatypeClassKey :: Unique
gen1ClassKey :: Unique
genClassKey :: Unique
traversableClassKey :: Unique
foldableClassKey :: Unique
applicativeClassKey :: Unique
isStringClassKey :: Unique
randomGenClassKey :: Unique
randomClassKey :: Unique
monadPlusClassKey :: Unique
monadFailClassKey :: Unique
monadFixClassKey :: Unique
typeable7ClassKey :: Unique
typeable6ClassKey :: Unique
typeable5ClassKey :: Unique
typeable4ClassKey :: Unique
typeable3ClassKey :: Unique
typeable2ClassKey :: Unique
typeable1ClassKey :: Unique
typeableClassKey :: Unique
ixClassKey :: Unique
showClassKey :: Unique
realFracClassKey :: Unique
realFloatClassKey :: Unique
realClassKey :: Unique
readClassKey :: Unique
ordClassKey :: Unique
numClassKey :: Unique
functorClassKey :: Unique
dataClassKey :: Unique
monadClassKey :: Unique
integralClassKey :: Unique
fractionalClassKey :: Unique
floatingClassKey :: Unique
eqClassKey :: Unique
enumClassKey :: Unique
boundedClassKey :: Unique
mk_known_key_name :: NameSpace -> Module -> FastString -> Unique -> Name
dcQual :: Module -> FastString -> Unique -> Name
clsQual :: Module -> FastString -> Unique -> Name
tcQual :: Module -> FastString -> Unique -> Name
varQual :: Module -> FastString -> Unique -> Name
fingerprintDataConName :: Name
fromStaticPtrName :: Name
staticPtrDataConName :: Name
staticPtrTyConName :: Name
staticPtrInfoDataConName :: Name
staticPtrInfoTyConName :: Name
makeStaticName :: Name
frontendPluginTyConName :: Name
pluginTyConName :: Name
pLUGINS :: Module
srcLocDataConName :: Name
pushCallStackName :: Name
emptyCallStackName :: Name
callStackTyConName :: Name
hasFieldClassName :: Name
ipClassName :: Name
isLabelClassName :: Name
knownSymbolClassName :: Name
knownNatClassName :: Name
isStringClassName :: Name
randomGenClassName :: Name
randomClassName :: Name
monadPlusClassName :: Name
toAnnotationWrapperName :: Name
mzipName :: Name
liftMName :: Name
guardMName :: Name
loopAName :: Name
choiceAName :: Name
appAName :: Name
firstAName :: Name
composeAName :: Name
arrAName :: Name
mfixName :: Name
monadFixClassName :: Name
newStablePtrName :: Name
stablePtrTyConName :: Name
funPtrTyConName :: Name
ptrTyConName :: Name
word64TyConName :: Name
word32TyConName :: Name
word16TyConName :: Name
int64TyConName :: Name
int32TyConName :: Name
int16TyConName :: Name
int8TyConName :: Name
failIOName :: Name
returnIOName :: Name
bindIOName :: Name
thenIOName :: Name
ioDataConName :: Name
ioTyConName :: Name
ghciStepIoMName :: Name
ghciIoClassName :: Name
genericClassNames :: [Name]
selectorClassName :: Name
constructorClassName :: Name
datatypeClassName :: Name
gen1ClassName :: Name
genClassName :: Name
readClassName :: Name
showClassName :: Name
toListName :: Name
fromListNName :: Name
fromListName :: Name
isListClassName :: Name
zipName :: Name
filterName :: Name
concatName :: Name
boundedClassName :: Name
enumFromThenToName :: Name
enumFromThenName :: Name
enumFromToName :: Name
enumFromName :: Name
enumClassName :: Name
traceName :: Name
assertErrorName :: Name
dataClassName :: Name
toDynName :: Name
typeErrorShowTypeDataConName :: Name
typeErrorVAppendDataConName :: Name
typeErrorAppendDataConName :: Name
typeErrorTextDataConName :: Name
errorMessageTypeErrorFamName :: Name
starArrStarArrStarKindRepName :: Name
starArrStarKindRepName :: Name
starKindRepName :: Name
trGhcPrimModuleName :: Name
typeSymbolTypeRepName :: Name
typeNatTypeRepName :: Name
mkTrFunName :: Name
mkTrAppName :: Name
mkTrConName :: Name
mkTrTypeName :: Name
typeRepIdName :: Name
someTypeRepDataConName :: Name
someTypeRepTyConName :: Name
typeRepTyConName :: Name
typeableClassName :: Name
typeLitNatDataConName :: Name
typeLitSymbolDataConName :: Name
typeLitSortTyConName :: Name
kindRepTypeLitDDataConName :: Name
kindRepTypeLitSDataConName :: Name
kindRepTYPEDataConName :: Name
kindRepFunDataConName :: Name
kindRepAppDataConName :: Name
kindRepVarDataConName :: Name
kindRepTyConAppDataConName :: Name
kindRepTyConName :: Name
trTyConDataConName :: Name
trTyConTyConName :: Name
trNameDDataConName :: Name
trNameSDataConName :: Name
trNameTyConName :: Name
trModuleDataConName :: Name
trModuleTyConName :: Name
ixClassName :: Name
rationalToDoubleName :: Name
rationalToFloatName :: Name
realFloatClassName :: Name
floatingClassName :: Name
realToFracName :: Name
fromIntegralName :: Name
toRationalName :: Name
toIntegerName :: Name
fromRationalName :: Name
fractionalClassName :: Name
realFracClassName :: Name
integralClassName :: Name
realClassName :: Name
ratioDataConName :: Name
ratioTyConName :: Name
rationalTyConName :: Name
wordToNaturalName :: Name
mkNaturalName :: Name
timesNaturalName :: Name
minusNaturalName :: Name
plusNaturalName :: Name
naturalToIntegerName :: Name
naturalFromIntegerName :: Name
naturalSDataConName :: Name
naturalTyConName :: Name
bitIntegerName :: Name
shiftRIntegerName :: Name
shiftLIntegerName :: Name
complementIntegerName :: Name
xorIntegerName :: Name
orIntegerName :: Name
andIntegerName :: Name
lcmIntegerName :: Name
gcdIntegerName :: Name
decodeDoubleIntegerName :: Name
encodeDoubleIntegerName :: Name
encodeFloatIntegerName :: Name
doubleFromIntegerName :: Name
floatFromIntegerName :: Name
modIntegerName :: Name
divIntegerName :: Name
remIntegerName :: Name
quotIntegerName :: Name
divModIntegerName :: Name
quotRemIntegerName :: Name
compareIntegerName :: Name
geIntegerPrimName :: Name
ltIntegerPrimName :: Name
gtIntegerPrimName :: Name
leIntegerPrimName :: Name
signumIntegerName :: Name
absIntegerName :: Name
neqIntegerPrimName :: Name
eqIntegerPrimName :: Name
negateIntegerName :: Name
minusIntegerName :: Name
integerToIntName :: Name
integerToWordName :: Name
wordToIntegerName :: Name
smallIntegerName :: Name
timesIntegerName :: Name
plusIntegerName :: Name
int64ToIntegerName :: Name
word64ToIntegerName :: Name
integerToInt64Name :: Name
integerToWord64Name :: Name
mkIntegerName :: Name
integerSDataConName :: Name
integerTyConName :: Name
negateName :: Name
minusName :: Name
fromIntegerName :: Name
numClassName :: Name
sndName :: Name
fstName :: Name
fromStringName :: Name
opaqueTyConName :: Name
breakpointCondName :: Name
breakpointName :: Name
assertName :: Name
appendName :: Name
mapName :: Name
augmentName :: Name
buildName :: Name
foldrName :: Name
otherwiseIdName :: Name
dollarName :: Name
groupWithName :: Name
alternativeClassKey :: Unique
thenAClassOpKey :: Unique
pureAClassOpKey :: Unique
apAClassOpKey :: Unique
joinMIdKey :: Unique
alternativeClassName :: Name
joinMName :: Name
mconcatName :: Name
mappendName :: Name
memptyName :: Name
monoidClassName :: Name
sappendName :: Name
semigroupClassName :: Name
traversableClassName :: Name
foldableClassName :: Name
thenAName :: Name
pureAName :: Name
apAName :: Name
applicativeClassName :: Name
failMName :: Name
monadFailClassName :: Name
returnMName :: Name
bindMName :: Name
thenMName :: Name
monadClassName :: Name
fmapName :: Name
functorClassName :: Name
geName :: Name
ordClassName :: Name
eqName :: Name
eqClassName :: Name
inlineIdName :: Name
eqStringName :: Name
unpackCStringUtf8Name :: Name
unpackCStringFoldrName :: Name
unpackCStringName :: Name
modIntName :: Name
divIntName :: Name
metaSelDataConName :: Name
metaConsDataConName :: Name
metaDataDataConName :: Name
decidedUnpackDataConName :: Name
decidedStrictDataConName :: Name
decidedLazyDataConName :: Name
noSourceStrictnessDataConName :: Name
sourceStrictDataConName :: Name
sourceLazyDataConName :: Name
noSourceUnpackednessDataConName :: Name
sourceNoUnpackDataConName :: Name
sourceUnpackDataConName :: Name
notAssociativeDataConName :: Name
rightAssociativeDataConName :: Name
leftAssociativeDataConName :: Name
infixIDataConName :: Name
prefixIDataConName :: Name
uWordTyConName :: Name
uIntTyConName :: Name
uFloatTyConName :: Name
uDoubleTyConName :: Name
uCharTyConName :: Name
uAddrTyConName :: Name
uRecTyConName :: Name
rep1TyConName :: Name
repTyConName :: Name
noSelTyConName :: Name
s1TyConName :: Name
c1TyConName :: Name
d1TyConName :: Name
rec0TyConName :: Name
sTyConName :: Name
cTyConName :: Name
dTyConName :: Name
rTyConName :: Name
compTyConName :: Name
prodTyConName :: Name
sumTyConName :: Name
m1TyConName :: Name
k1TyConName :: Name
rec1TyConName :: Name
par1TyConName :: Name
u1TyConName :: Name
v1TyConName :: Name
rightDataConName :: Name
leftDataConName :: Name
eitherTyConName :: Name
specTyConName :: Name
ordGTDataConName :: Name
ordEQDataConName :: Name
ordLTDataConName :: Name
orderingTyConName :: Name
runRWName :: Name
runMainIOName :: Name
wildCardName :: Name
dataQual_RDR :: Module -> FastString -> RdrName
clsQual_RDR :: Module -> FastString -> RdrName
tcQual_RDR :: Module -> FastString -> RdrName
varQual_RDR :: Module -> FastString -> RdrName
mappend_RDR :: RdrName
mempty_RDR :: RdrName
traverse_RDR :: RdrName
all_RDR :: RdrName
null_RDR :: RdrName
foldMap_RDR :: RdrName
foldable_foldr_RDR :: RdrName
liftA2_RDR :: RdrName
ap_RDR :: RdrName
pure_RDR :: RdrName
replace_RDR :: RdrName
fmap_RDR :: RdrName
uWordHash_RDR :: RdrName
uIntHash_RDR :: RdrName
uFloatHash_RDR :: RdrName
uDoubleHash_RDR :: RdrName
uCharHash_RDR :: RdrName
uAddrHash_RDR :: RdrName
uWordDataCon_RDR :: RdrName
uIntDataCon_RDR :: RdrName
uFloatDataCon_RDR :: RdrName
uDoubleDataCon_RDR :: RdrName
uCharDataCon_RDR :: RdrName
uAddrDataCon_RDR :: RdrName
notAssocDataCon_RDR :: RdrName
rightAssocDataCon_RDR :: RdrName
leftAssocDataCon_RDR :: RdrName
infixDataCon_RDR :: RdrName
prefixDataCon_RDR :: RdrName
conIsRecord_RDR :: RdrName
conFixity_RDR :: RdrName
conName_RDR :: RdrName
selName_RDR :: RdrName
isNewtypeName_RDR :: RdrName
packageName_RDR :: RdrName
moduleName_RDR :: RdrName
datatypeName_RDR :: RdrName
to1_RDR :: RdrName
to_RDR :: RdrName
from1_RDR :: RdrName
from_RDR :: RdrName
unComp1_RDR :: RdrName
unK1_RDR :: RdrName
unRec1_RDR :: RdrName
unPar1_RDR :: RdrName
comp1DataCon_RDR :: RdrName
prodDataCon_RDR :: RdrName
r1DataCon_RDR :: RdrName
l1DataCon_RDR :: RdrName
m1DataCon_RDR :: RdrName
k1DataCon_RDR :: RdrName
rec1DataCon_RDR :: RdrName
par1DataCon_RDR :: RdrName
u1DataCon_RDR :: RdrName
error_RDR :: RdrName
undefined_RDR :: RdrName
showParen_RDR :: RdrName
showCommaSpace_RDR :: RdrName
showSpace_RDR :: RdrName
showString_RDR :: RdrName
shows_RDR :: RdrName
showsPrec_RDR :: RdrName
pfail_RDR :: RdrName
prec_RDR :: RdrName
reset_RDR :: RdrName
alt_RDR :: RdrName
step_RDR :: RdrName
symbol_RDR :: RdrName
ident_RDR :: RdrName
punc_RDR :: RdrName
readSymField_RDR :: RdrName
readFieldHash_RDR :: RdrName
readField_RDR :: RdrName
expectP_RDR :: RdrName
lexP_RDR :: RdrName
choose_RDR :: RdrName
parens_RDR :: RdrName
readPrec_RDR :: RdrName
readListPrecDefault_RDR :: RdrName
readListPrec_RDR :: RdrName
readListDefault_RDR :: RdrName
readList_RDR :: RdrName
unsafeRangeSize_RDR :: RdrName
unsafeIndex_RDR :: RdrName
index_RDR :: RdrName
inRange_RDR :: RdrName
range_RDR :: RdrName
maxBound_RDR :: RdrName
minBound_RDR :: RdrName
pred_RDR :: RdrName
succ_RDR :: RdrName
getTag_RDR :: RdrName
not_RDR :: RdrName
and_RDR :: RdrName
compose_RDR :: RdrName
toList_RDR :: RdrName
fromListN_RDR :: RdrName
fromList_RDR :: RdrName
fromString_RDR :: RdrName
stringTy_RDR :: RdrName
fromIntegral_RDR :: RdrName
toRational_RDR :: RdrName
toInteger_RDR :: RdrName
plus_RDR :: RdrName
times_RDR :: RdrName
minus_RDR :: RdrName
fromRational_RDR :: RdrName
fromInteger_RDR :: RdrName
returnIO_RDR :: RdrName
bindIO_RDR :: RdrName
newStablePtr_RDR :: RdrName
unpackCStringUtf8_RDR :: RdrName
unpackCStringFoldr_RDR :: RdrName
unpackCString_RDR :: RdrName
eqString_RDR :: RdrName
ioDataCon_RDR :: RdrName
timesInteger_RDR :: RdrName
plusInteger_RDR :: RdrName
ratioDataCon_RDR :: RdrName
enumFromThenTo_RDR :: RdrName
enumFromThen_RDR :: RdrName
enumFromTo_RDR :: RdrName
enumFrom_RDR :: RdrName
toEnum_RDR :: RdrName
fromEnum_RDR :: RdrName
right_RDR :: RdrName
left_RDR :: RdrName
failM_RDR :: RdrName
bindM_RDR :: RdrName
returnM_RDR :: RdrName
build_RDR :: RdrName
foldr_RDR :: RdrName
append_RDR :: RdrName
map_RDR :: RdrName
monadClass_RDR :: RdrName
enumClass_RDR :: RdrName
ordClass_RDR :: RdrName
numClass_RDR :: RdrName
eqClass_RDR :: RdrName
gtTag_RDR :: RdrName
eqTag_RDR :: RdrName
ltTag_RDR :: RdrName
compare_RDR :: RdrName
gt_RDR :: RdrName
lt_RDR :: RdrName
le_RDR :: RdrName
ge_RDR :: RdrName
eq_RDR :: RdrName
main_RDR_Unqual :: RdrName
mkMainModule_ :: ModuleName -> Module
mkMainModule :: FastString -> Module
mkThisGhcModule_ :: ModuleName -> Module
mkThisGhcModule :: FastString -> Module
mkBaseModule_ :: ModuleName -> Module
mkBaseModule :: FastString -> Module
mkIntegerModule :: FastString -> Module
mkPrimModule :: FastString -> Module
dATA_ARRAY_PARALLEL_PRIM_NAME :: ModuleName
dATA_ARRAY_PARALLEL_NAME :: ModuleName
mAIN_NAME :: ModuleName
pRELUDE_NAME :: ModuleName
mkInteractiveModule :: Int -> Module
rOOT_MAIN :: Module
gHC_RECORDS :: Module
gHC_OVER_LABELS :: Module
gHC_FINGERPRINT_TYPE :: Module
gHC_STATICPTR_INTERNAL :: Module
gHC_STATICPTR :: Module
gHC_STACK_TYPES :: Module
gHC_STACK :: Module
gHC_SRCLOC :: Module
dEBUG_TRACE :: Module
dATA_COERCE :: Module
dATA_TYPE_EQUALITY :: Module
gHC_TYPENATS :: Module
gHC_TYPELITS :: Module
gHC_GENERICS :: Module
cONTROL_EXCEPTION_BASE :: Module
gHC_EXTS :: Module
rANDOM :: Module
gHC_DESUGAR :: Module
cONTROL_APPLICATIVE :: Module
aRROW :: Module
mONAD_FAIL :: Module
mONAD_ZIP :: Module
mONAD_FIX :: Module
mONAD :: Module
gHC_WORD :: Module
gHC_INT :: Module
lEX :: Module
rEAD_PREC :: Module
gENERICS :: Module
tYPEABLE_INTERNAL :: Module
tYPEABLE :: Module
dYNAMIC :: Module
sYSTEM_IO :: Module
gHC_TOP_HANDLER :: Module
gHC_FLOAT :: Module
gHC_REAL :: Module
gHC_ERR :: Module
gHC_PTR :: Module
gHC_STABLE :: Module
gHC_IX :: Module
gHC_ST :: Module
gHC_IO_Exception :: Module
gHC_IO :: Module
gHC_CONC :: Module
dATA_TRAVERSABLE :: Module
dATA_FOLDABLE :: Module
dATA_STRING :: Module
dATA_LIST :: Module
dATA_EITHER :: Module
dATA_TUPLE :: Module
gHC_TUPLE :: Module
gHC_LIST :: Module
gHC_NATURAL :: Module
gHC_INTEGER_TYPE :: Module
gHC_MAYBE :: Module
gHC_NUM :: Module
gHC_READ :: Module
gHC_SHOW :: Module
gHC_GHCI_HELPERS :: Module
gHC_GHCI :: Module
gHC_ENUM :: Module
gHC_BASE :: Module
gHC_PRIMOPWRAPPERS :: Module
gHC_CLASSES :: Module
gHC_CSTRING :: Module
gHC_MAGIC :: Module
gHC_TYPES :: Module
gHC_PRIM :: Module
pRELUDE :: Module
genericTyConNames :: [Name]
basicKnownKeyNames :: [Name]
isUnboundName :: Name -> Bool
mkUnboundName :: OccName -> Name
itName :: Unique -> SrcSpan -> Name
allNameStrings :: [String]
mAIN :: Module
liftedTypeKindTyConKey :: Unique
hasKey :: Uniquable a => a -> Unique -> Bool
class Uniquable a where
- getUnique :: a -> Unique
starInfo :: Bool -> RdrName -> SDoc
pprNameProvenance :: GlobalRdrElt -> SDoc
isExplicitItem :: ImpItemSpec -> Bool
importSpecModule :: ImportSpec -> ModuleName
importSpecLoc :: ImportSpec -> SrcSpan
qualSpecOK :: ModuleName -> ImportSpec -> Bool
unQualSpecOK :: ImportSpec -> Bool
bestImport :: [ImportSpec] -> ImportSpec
shadowNames :: GlobalRdrEnv -> [Name] -> GlobalRdrEnv
extendGlobalRdrEnv :: GlobalRdrEnv -> GlobalRdrElt -> GlobalRdrEnv
transformGREs :: (GlobalRdrElt -> GlobalRdrElt) -> [OccName] -> GlobalRdrEnv -> GlobalRdrEnv
mkGlobalRdrEnv :: [GlobalRdrElt] -> GlobalRdrEnv
plusGlobalRdrEnv :: GlobalRdrEnv -> GlobalRdrEnv -> GlobalRdrEnv
pickGREsModExp :: ModuleName -> [GlobalRdrElt] -> [(GlobalRdrElt, GlobalRdrElt)]
pickGREs :: RdrName -> [GlobalRdrElt] -> [GlobalRdrElt]
unQualOK :: GlobalRdrElt -> Bool
greLabel :: GlobalRdrElt -> Maybe FieldLabelString
isOverloadedRecFldGRE :: GlobalRdrElt -> Bool
isRecFldGRE :: GlobalRdrElt -> Bool
isLocalGRE :: GlobalRdrElt -> Bool
getGRE_NameQualifier_maybes :: GlobalRdrEnv -> Name -> [Maybe [ModuleName]]
lookupGRE_Name_OccName :: GlobalRdrEnv -> Name -> OccName -> Maybe GlobalRdrElt
lookupGRE_FieldLabel :: GlobalRdrEnv -> FieldLabel -> Maybe GlobalRdrElt
lookupGRE_Name :: GlobalRdrEnv -> Name -> Maybe GlobalRdrElt
lookupGRE_RdrName :: RdrName -> GlobalRdrEnv -> [GlobalRdrElt]
greOccName :: GlobalRdrElt -> OccName
lookupGlobalRdrEnv :: GlobalRdrEnv -> OccName -> [GlobalRdrElt]
pprGlobalRdrEnv :: Bool -> GlobalRdrEnv -> SDoc
globalRdrEnvElts :: GlobalRdrEnv -> [GlobalRdrElt]
emptyGlobalRdrEnv :: GlobalRdrEnv
availFromGRE :: GlobalRdrElt -> AvailInfo
gresToAvailInfo :: [GlobalRdrElt] -> [AvailInfo]
greParent_maybe :: GlobalRdrElt -> Maybe Name
greSrcSpan :: GlobalRdrElt -> SrcSpan
greRdrNames :: GlobalRdrElt -> [RdrName]
greQualModName :: GlobalRdrElt -> ModuleName
gresFromAvail :: (Name -> Maybe ImportSpec) -> AvailInfo -> [GlobalRdrElt]
localGREsFromAvail :: AvailInfo -> [GlobalRdrElt]
gresFromAvails :: Maybe ImportSpec -> [AvailInfo] -> [GlobalRdrElt]
delLocalRdrEnvList :: LocalRdrEnv -> [OccName] -> LocalRdrEnv
inLocalRdrEnvScope :: Name -> LocalRdrEnv -> Bool
localRdrEnvElts :: LocalRdrEnv -> [Name]
elemLocalRdrEnv :: RdrName -> LocalRdrEnv -> Bool
lookupLocalRdrOcc :: LocalRdrEnv -> OccName -> Maybe Name
lookupLocalRdrEnv :: LocalRdrEnv -> RdrName -> Maybe Name
extendLocalRdrEnvList :: LocalRdrEnv -> [Name] -> LocalRdrEnv
extendLocalRdrEnv :: LocalRdrEnv -> Name -> LocalRdrEnv
emptyLocalRdrEnv :: LocalRdrEnv
isExact_maybe :: RdrName -> Maybe Name
isExact :: RdrName -> Bool
isOrig_maybe :: RdrName -> Maybe (Module, OccName)
isOrig :: RdrName -> Bool
isQual_maybe :: RdrName -> Maybe (ModuleName, OccName)
isQual :: RdrName -> Bool
isUnqual :: RdrName -> Bool
isSrcRdrName :: RdrName -> Bool
isRdrTc :: RdrName -> Bool
isRdrTyVar :: RdrName -> Bool
isRdrDataCon :: RdrName -> Bool
nameRdrName :: Name -> RdrName
getRdrName :: NamedThing thing => thing -> RdrName
mkQual :: NameSpace -> (FastString, FastString) -> RdrName
mkVarUnqual :: FastString -> RdrName
mkUnqual :: NameSpace -> FastString -> RdrName
mkOrig :: Module -> OccName -> RdrName
mkRdrQual :: ModuleName -> OccName -> RdrName
mkRdrUnqual :: OccName -> RdrName
demoteRdrName :: RdrName -> Maybe RdrName
rdrNameSpace :: RdrName -> NameSpace
rdrNameOcc :: RdrName -> OccName
data RdrName
- = Unqual OccName
- | Qual ModuleName OccName
- | Orig Module OccName
- | Exact Name
data LocalRdrEnv
type GlobalRdrEnv = OccEnv [GlobalRdrElt]
data GlobalRdrElt
data Parent
- = NoParent
- | ParentIs {
  - par_is :: Name
  }
- | FldParent {
  - par_is :: Name
  - par_lbl :: Maybe FieldLabelString
  }
data ImportSpec = ImpSpec {
- is_decl :: ImpDeclSpec
- is_item :: ImpItemSpec
}
data ImpDeclSpec = ImpDeclSpec {
- is_mod :: ModuleName
- is_as :: ModuleName
- is_qual :: Bool
- is_dloc :: SrcSpan
}
data ImpItemSpec
- = ImpAll
- | ImpSome {
  - is_explicit :: Bool
  - is_iloc :: SrcSpan
  }
module RnSplice
module RnNames
module TcEnv
wrapIP :: Type -> CoercionR
unwrapIP :: Type -> CoercionR
pprHsWrapper :: HsWrapper -> (Bool -> SDoc) -> SDoc
evVarsOfTerm :: EvTerm -> VarSet
findNeededEvVars :: EvBindMap -> VarSet -> VarSet
evTermCoercion :: EvTerm -> TcCoercion
evTermCoercion_maybe :: EvTerm -> Maybe TcCoercion
isEmptyTcEvBinds :: TcEvBinds -> Bool
emptyTcEvBinds :: TcEvBinds
mkEvScSelectors :: Class -> [TcType] -> [(TcPredType, EvExpr)]
mkEvCast :: EvExpr -> TcCoercion -> EvTerm
evTypeable :: Type -> EvTypeable -> EvTerm
evSelector :: Id -> [Type] -> [EvExpr] -> EvExpr
evDataConApp :: DataCon -> [Type] -> [EvExpr] -> EvTerm
evDFunApp :: DFunId -> [Type] -> [EvExpr] -> EvTerm
evCast :: EvExpr -> TcCoercion -> EvTerm
evCoercion :: TcCoercion -> EvTerm
evId :: EvId -> EvExpr
mkGivenEvBind :: EvVar -> EvTerm -> EvBind
mkWantedEvBind :: EvVar -> EvTerm -> EvBind
evBindVar :: EvBind -> EvVar
filterEvBindMap :: (EvBind -> Bool) -> EvBindMap -> EvBindMap
foldEvBindMap :: (EvBind -> a -> a) -> a -> EvBindMap -> a
evBindMapBinds :: EvBindMap -> Bag EvBind
lookupEvBind :: EvBindMap -> EvVar -> Maybe EvBind
isEmptyEvBindMap :: EvBindMap -> Bool
extendEvBinds :: EvBindMap -> EvBind -> EvBindMap
emptyEvBindMap :: EvBindMap
isCoEvBindsVar :: EvBindsVar -> Bool
collectHsWrapBinders :: HsWrapper -> ([Var], HsWrapper)
isErasableHsWrapper :: HsWrapper -> Bool
isIdHsWrapper :: HsWrapper -> Bool
idHsWrapper :: HsWrapper
mkWpLet :: TcEvBinds -> HsWrapper
mkWpLams :: [Var] -> HsWrapper
mkWpTyLams :: [TyVar] -> HsWrapper
mkWpEvVarApps :: [EvVar] -> HsWrapper
mkWpEvApps :: [EvTerm] -> HsWrapper
mkWpTyApps :: [Type] -> HsWrapper
mkWpCastN :: TcCoercionN -> HsWrapper
mkWpCastR :: TcCoercionR -> HsWrapper
mkWpFun :: HsWrapper -> HsWrapper -> TcType -> TcType -> SDoc -> HsWrapper
maybeTcSubCo :: EqRel -> TcCoercion -> TcCoercion
tcCoToMCo :: TcCoercion -> TcMCoercion
isTcReflexiveCo :: TcCoercion -> Bool
isTcGReflMCo :: TcMCoercion -> Bool
isTcReflCo :: TcCoercion -> Bool
coVarsOfTcCo :: TcCoercion -> TcTyCoVarSet
tcCoercionRole :: TcCoercion -> Role
tcCoercionKind :: TcCoercion -> Pair TcType
mkTcCoVarCo :: CoVar -> TcCoercion
mkTcKindCo :: TcCoercion -> TcCoercionN
mkTcPhantomCo :: TcCoercionN -> TcType -> TcType -> TcCoercionP
mkTcCoherenceRightCo :: Role -> TcType -> TcCoercionN -> TcCoercion -> TcCoercion
mkTcCoherenceLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion -> TcCoercion
mkTcGReflLeftCo :: Role -> TcType -> TcCoercionN -> TcCoercion
mkTcGReflRightCo :: Role -> TcType -> TcCoercionN -> TcCoercion
mkTcAxiomRuleCo :: CoAxiomRule -> [TcCoercion] -> TcCoercionR
tcDowngradeRole :: Role -> Role -> TcCoercion -> TcCoercion
mkTcSubCo :: TcCoercionN -> TcCoercionR
mkTcLRCo :: LeftOrRight -> TcCoercion -> TcCoercion
mkTcNthCo :: Role -> Int -> TcCoercion -> TcCoercion
mkTcForAllCos :: [(TyVar, TcCoercionN)] -> TcCoercion -> TcCoercion
mkTcForAllCo :: TyVar -> TcCoercionN -> TcCoercion -> TcCoercion
mkTcUnbranchedAxInstCo :: CoAxiom Unbranched -> [TcType] -> [TcCoercion] -> TcCoercionR
mkTcAxInstCo :: forall (br :: BranchFlag). Role -> CoAxiom br -> BranchIndex -> [TcType] -> [TcCoercion] -> TcCoercion
mkTcFunCo :: Role -> TcCoercion -> TcCoercion -> TcCoercion
mkTcAppCo :: TcCoercion -> TcCoercionN -> TcCoercion
mkTcTyConAppCo :: Role -> TyCon -> [TcCoercion] -> TcCoercion
mkTcRepReflCo :: TcType -> TcCoercionR
mkTcNomReflCo :: TcType -> TcCoercionN
mkTcTransCo :: TcCoercion -> TcCoercion -> TcCoercion
mkTcSymCo :: TcCoercion -> TcCoercion
mkTcReflCo :: Role -> TcType -> TcCoercion
type TcCoercion = Coercion
type TcCoercionN = CoercionN
type TcCoercionR = CoercionR
type TcCoercionP = CoercionP
type TcMCoercion = MCoercion
data HsWrapper
- = WpHole
- | WpCompose HsWrapper HsWrapper
- | WpFun HsWrapper HsWrapper TcType SDoc
- | WpCast TcCoercionR
- | WpEvLam EvVar
- | WpEvApp EvTerm
- | WpTyLam TyVar
- | WpTyApp KindOrType
- | WpLet TcEvBinds
data TcEvBinds
- = TcEvBinds EvBindsVar
- | EvBinds (Bag EvBind)
data EvBindsVar
- = EvBindsVar {
  - ebv_uniq :: Unique
  - ebv_binds :: IORef EvBindMap
  - ebv_tcvs :: IORef CoVarSet
  }
- | CoEvBindsVar {
  - ebv_uniq :: Unique
  - ebv_tcvs :: IORef CoVarSet
  }
newtype EvBindMap = EvBindMap {
- ev_bind_varenv :: DVarEnv EvBind
}
data EvBind = EvBind {
- eb_lhs :: EvVar
- eb_rhs :: EvTerm
- eb_is_given :: Bool
}
data EvTerm
- = EvExpr EvExpr
- | EvTypeable Type EvTypeable
- | EvFun {
  - et_tvs :: [TyVar]
  - et_given :: [EvVar]
  - et_binds :: TcEvBinds
  - et_body :: EvVar
  }
type EvExpr = CoreExpr
data EvTypeable
- = EvTypeableTyCon TyCon [EvTerm]
- | EvTypeableTyApp EvTerm EvTerm
- | EvTypeableTrFun EvTerm EvTerm
- | EvTypeableTyLit EvTerm
data EvCallStack
- = EvCsEmpty
- | EvCsPushCall Name RealSrcSpan EvExpr
data CoercionHole
data Role
- = Nominal
- | Representational
- | Phantom
pickLR :: LeftOrRight -> (a, a) -> a
data LeftOrRight
- = CLeft
- | CRight
isNextArgVisible :: TcType -> Bool
isNextTyConArgVisible :: TyCon -> [Type] -> Bool
tcTyConVisibilities :: TyCon -> [Bool]
sizeTypes :: [Type] -> TypeSize
sizeType :: Type -> TypeSize
isFunPtrTy :: Type -> Bool
isFFIPrimResultTy :: DynFlags -> Type -> Validity
isFFIPrimArgumentTy :: DynFlags -> Type -> Validity
isFFILabelTy :: Type -> Validity
isFFIDynTy :: Type -> Type -> Validity
isFFIExportResultTy :: Type -> Validity
isFFIImportResultTy :: DynFlags -> Type -> Validity
isFFIExternalTy :: Type -> Validity
isFFIArgumentTy :: DynFlags -> Safety -> Type -> Validity
isFFITy :: Type -> Bool
tcSplitIOType_maybe :: Type -> Maybe (TyCon, Type)
deNoteType :: Type -> Type
isAlmostFunctionFree :: TcType -> Bool
isRigidTy :: TcType -> Bool
isTyVarHead :: TcTyVar -> TcType -> Bool
isCallStackPred :: Class -> [Type] -> Maybe FastString
isCallStackTy :: Type -> Bool
isStringTy :: Type -> Bool
isFloatingTy :: Type -> Bool
isCharTy :: Type -> Bool
isUnitTy :: Type -> Bool
isBoolTy :: Type -> Bool
isWordTy :: Type -> Bool
isIntTy :: Type -> Bool
isIntegerTy :: Type -> Bool
isDoubleTy :: Type -> Bool
isFloatTy :: Type -> Bool
isOverloadedTy :: Type -> Bool
isRhoExpTy :: ExpType -> Bool
isRhoTy :: TcType -> Bool
isSigmaTy :: TcType -> Bool
isInsolubleOccursCheck :: EqRel -> TcTyVar -> TcType -> Bool
isImprovementPred :: PredType -> Bool
immSuperClasses :: Class -> [Type] -> [PredType]
transSuperClasses :: PredType -> [PredType]
mkMinimalBySCs :: (a -> PredType) -> [a] -> [a]
pickCapturedPreds :: TyVarSet -> TcThetaType -> TcThetaType
boxEqPred :: EqRel -> Type -> Type -> Maybe (Class, [Type])
pickQuantifiablePreds :: TyVarSet -> TcThetaType -> TcThetaType
evVarPred :: EvVar -> PredType
hasTyVarHead :: Type -> Bool
checkValidClsArgs :: Bool -> Class -> [KindOrType] -> Bool
isTyVarClassPred :: PredType -> Bool
pickyEqType :: TcType -> TcType -> Bool
tcEqTypeVis :: TcType -> TcType -> Bool
tcEqTypeNoKindCheck :: TcType -> TcType -> Bool
tcEqType :: HasDebugCallStack => TcType -> TcType -> Bool
tcEqKind :: HasDebugCallStack => TcKind -> TcKind -> Bool
tcSplitMethodTy :: Type -> ([TyVar], PredType, Type)
tcSplitDFunHead :: Type -> (Class, [Type])
tcSplitDFunTy :: Type -> ([TyVar], [Type], Class, [Type])
tcIsTyVarTy :: Type -> Bool
tcGetTyVar :: String -> Type -> TyVar
tcGetTyVar_maybe :: Type -> Maybe TyVar
tcGetCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)
tcRepGetNumAppTys :: Type -> Arity
tcSplitAppTys :: Type -> (Type, [Type])
tcSplitAppTy :: Type -> (Type, Type)
tcSplitAppTy_maybe :: Type -> Maybe (Type, Type)
tcFunResultTyN :: HasDebugCallStack => Arity -> Type -> Type
tcFunResultTy :: Type -> Type
tcFunArgTy :: Type -> Type
tcSplitFunTysN :: Arity -> TcRhoType -> Either Arity ([TcSigmaType], TcSigmaType)
tcSplitFunTy_maybe :: Type -> Maybe (Type, Type)
tcSplitFunTys :: Type -> ([Type], Type)
tcSplitTyConApp :: Type -> (TyCon, [Type])
tcTyConAppArgs :: Type -> [Type]
tcTyConAppTyCon_maybe :: Type -> Maybe TyCon
tcTyConAppTyCon :: Type -> TyCon
tcDeepSplitSigmaTy_maybe :: TcSigmaType -> Maybe ([TcType], [TyVar], ThetaType, TcSigmaType)
tcSplitNestedSigmaTys :: Type -> ([TyVar], ThetaType, Type)
tcSplitSigmaTy :: Type -> ([TyVar], ThetaType, Type)
tcSplitPhiTy :: Type -> (ThetaType, Type)
tcSplitPredFunTy_maybe :: Type -> Maybe (PredType, Type)
tcIsForAllTy :: Type -> Bool
tcSplitForAllVarBndrs :: Type -> ([TyVarBinder], Type)
tcSplitForAllTysSameVis :: ArgFlag -> Type -> ([TyVar], Type)
tcSplitForAllTys :: Type -> ([TyVar], Type)
tcSplitForAllTy_maybe :: Type -> Maybe (TyVarBinder, Type)
tcSplitPiTy_maybe :: Type -> Maybe (TyBinder, Type)
tcSplitPiTys :: Type -> ([TyBinder], Type)
mkTcCastTy :: Type -> Coercion -> Type
mkTcAppTy :: Type -> Type -> Type
mkTcAppTys :: Type -> [Type] -> Type
getDFunTyKey :: Type -> OccName
mkPhiTy :: [PredType] -> Type -> Type
mkSpecSigmaTy :: [TyVar] -> [PredType] -> Type -> Type
mkInfSigmaTy :: [TyCoVar] -> [PredType] -> Type -> Type
mkSigmaTy :: [TyCoVarBinder] -> [PredType] -> Type -> Type
findDupTyVarTvs :: [(Name, TcTyVar)] -> [(Name, Name)]
mkTyVarNamePairs :: [TyVar] -> [(Name, TyVar)]
isRuntimeUnkSkol :: TyVar -> Bool
isIndirect :: MetaDetails -> Bool
isFlexi :: MetaDetails -> Bool
isTyVarTyVar :: Var -> Bool
setMetaTyVarTcLevel :: TcTyVar -> TcLevel -> TcTyVar
metaTyVarRef :: TyVar -> IORef MetaDetails
metaTyVarTcLevel_maybe :: TcTyVar -> Maybe TcLevel
metaTyVarTcLevel :: TcTyVar -> TcLevel
metaTyVarInfo :: TcTyVar -> MetaInfo
isMetaTyVarTy :: TcType -> Bool
isAmbiguousTyVar :: TcTyVar -> Bool
isMetaTyVar :: TcTyVar -> Bool
isOverlappableTyVar :: TcTyVar -> Bool
isSkolemTyVar :: TcTyVar -> Bool
isFlattenTyVar :: TcTyVar -> Bool
isFskTyVar :: TcTyVar -> Bool
isFmvTyVar :: TcTyVar -> Bool
isTyConableTyVar :: TcTyVar -> Bool
isImmutableTyVar :: TyVar -> Bool
isFloatedTouchableMetaTyVar :: TcLevel -> TcTyVar -> Bool
isTouchableMetaTyVar :: TcLevel -> TcTyVar -> Bool
tcIsTcTyVar :: TcTyVar -> Bool
anyRewritableTyVar :: Bool -> EqRel -> (EqRel -> TcTyVar -> Bool) -> TcType -> Bool
isTyFamFree :: Type -> Bool
tcTyConAppTyFamInstsAndVis :: TyCon -> [Type] -> [(Bool, TyCon, [Type])]
tcTyFamInstsAndVis :: Type -> [(Bool, TyCon, [Type])]
tcTyFamInsts :: Type -> [(TyCon, [Type])]
promoteSkolemsX :: TcLevel -> TCvSubst -> [TcTyVar] -> (TCvSubst, [TcTyVar])
promoteSkolemX :: TcLevel -> TCvSubst -> TcTyVar -> (TCvSubst, TcTyVar)
promoteSkolem :: TcLevel -> TcTyVar -> TcTyVar
tcTypeLevel :: TcType -> TcLevel
tcTyVarLevel :: TcTyVar -> TcLevel
sameDepthAs :: TcLevel -> TcLevel -> Bool
strictlyDeeperThan :: TcLevel -> TcLevel -> Bool
pushTcLevel :: TcLevel -> TcLevel
isTopTcLevel :: TcLevel -> Bool
topTcLevel :: TcLevel
maxTcLevel :: TcLevel -> TcLevel -> TcLevel
superSkolemTv :: TcTyVarDetails
mkSynFunTys :: [SyntaxOpType] -> ExpType -> SyntaxOpType
synKnownType :: TcType -> SyntaxOpType
mkCheckExpType :: TcType -> ExpType
type TcCoVar = CoVar
type TcType = Type
type TcTyCoVar = Var
type TcTyVarBinder = TyVarBinder
type TcTyCon = TyCon
type TcPredType = PredType
type TcThetaType = ThetaType
type TcSigmaType = TcType
type TcRhoType = TcType
type TcTauType = TcType
type TcKind = Kind
type TcTyVarSet = TyVarSet
type TcTyCoVarSet = TyCoVarSet
type TcDTyVarSet = DTyVarSet
type TcDTyCoVarSet = DTyCoVarSet
data ExpType
- = Check TcType
- | Infer !InferResult
data InferResult = IR {
- ir_uniq :: Unique
- ir_lvl :: TcLevel
- ir_inst :: Bool
- ir_ref :: IORef (Maybe TcType)
}
type ExpSigmaType = ExpType
type ExpRhoType = ExpType
data SyntaxOpType
- = SynAny
- | SynRho
- | SynList
- | SynFun SyntaxOpType SyntaxOpType
- | SynType ExpType
data MetaInfo
- = TauTv
- | TyVarTv
- | FlatMetaTv
- | FlatSkolTv
newtype TcLevel = TcLevel Int
type TypeSize = IntWithInf
orphNamesOfCoCon :: forall (br :: BranchFlag). CoAxiom br -> NameSet
orphNamesOfCo :: Coercion -> NameSet
orphNamesOfTypes :: [Type] -> NameSet
orphNamesOfType :: Type -> NameSet
hasIPPred :: PredType -> Bool
isIPPred :: PredType -> Bool
isEqPrimPred :: PredType -> Bool
isEqPred :: PredType -> Bool
isClassPred :: PredType -> Bool
isEqPredClass :: Class -> Bool
mkClassPred :: Class -> [Type] -> PredType
classifiesTypeWithValues :: Kind -> Bool
isKindLevPoly :: Kind -> Bool
tcTypeKind :: HasDebugCallStack => Type -> Kind
nonDetCmpTypes :: [Type] -> [Type] -> Ordering
nonDetCmpType :: Type -> Type -> Ordering
eqTypes :: [Type] -> [Type] -> Bool
eqTypeX :: RnEnv2 -> Type -> Type -> Bool
isPrimitiveType :: Type -> Bool
isUnboxedTupleType :: Type -> Bool
isUnliftedType :: HasDebugCallStack => Type -> Bool
closeOverKindsDSet :: DTyVarSet -> DTyVarSet
closeOverKinds :: TyVarSet -> TyVarSet
isTauTy :: Type -> Bool
mkSpecForAllTys :: [TyVar] -> Type -> Type
mkInvForAllTys :: [TyVar] -> Type -> Type
mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Type
mkInvForAllTy :: TyVar -> Type -> Type
mkTyCoInvForAllTy :: TyCoVar -> Type -> Type
nextRole :: Type -> Role
tcSplitTyConApp_maybe :: HasCallStack => Type -> Maybe (TyCon, [Type])
mkTyConApp :: TyCon -> [Type] -> Type
tcRepSplitAppTy_maybe :: Type -> Maybe (Type, Type)
mkAppTys :: Type -> [Type] -> Type
isTyVarTy :: Type -> Bool
getTyVar :: String -> Type -> TyVar
isRuntimeRepVar :: TyVar -> Bool
isUnliftedTypeKind :: Kind -> Bool
substTyVarBndr :: HasCallStack => TCvSubst -> TyVar -> (TCvSubst, TyVar)
substCoUnchecked :: TCvSubst -> Coercion -> Coercion
lookupTyVar :: TCvSubst -> TyVar -> Maybe Type
substThetaUnchecked :: TCvSubst -> ThetaType -> ThetaType
substTheta :: HasCallStack => TCvSubst -> ThetaType -> ThetaType
substTysUnchecked :: TCvSubst -> [Type] -> [Type]
substTys :: HasCallStack => TCvSubst -> [Type] -> [Type]
substTyUnchecked :: TCvSubst -> Type -> Type
substTy :: HasCallStack => TCvSubst -> Type -> Type
substTyAddInScope :: TCvSubst -> Type -> Type
substTyWithCoVars :: [CoVar] -> [Coercion] -> Type -> Type
substCoWithUnchecked :: [TyVar] -> [Type] -> Coercion -> Coercion
substTyWithUnchecked :: [TyVar] -> [Type] -> Type -> Type
substTyWith :: HasCallStack => [TyVar] -> [Type] -> Type -> Type
zipCoEnv :: HasDebugCallStack => [CoVar] -> [Coercion] -> CvSubstEnv
zipTyEnv :: HasDebugCallStack => [TyVar] -> [Type] -> TvSubstEnv
mkTvSubstPrs :: [(TyVar, Type)] -> TCvSubst
zipTvSubst :: HasDebugCallStack => [TyVar] -> [Type] -> TCvSubst
unionTCvSubst :: TCvSubst -> TCvSubst -> TCvSubst
extendTvSubstAndInScope :: TCvSubst -> TyVar -> Type -> TCvSubst
extendTvSubst :: TCvSubst -> TyVar -> Type -> TCvSubst
extendTCvSubst :: TCvSubst -> TyCoVar -> Type -> TCvSubst
extendTCvInScopeSet :: TCvSubst -> VarSet -> TCvSubst
extendTCvInScopeList :: TCvSubst -> [Var] -> TCvSubst
extendTCvInScope :: TCvSubst -> Var -> TCvSubst
setTvSubstEnv :: TCvSubst -> TvSubstEnv -> TCvSubst
notElemTCvSubst :: Var -> TCvSubst -> Bool
isInScope :: Var -> TCvSubst -> Bool
getTCvInScope :: TCvSubst -> InScopeSet
getTvSubstEnv :: TCvSubst -> TvSubstEnv
mkTvSubst :: InScopeSet -> TvSubstEnv -> TCvSubst
mkTCvSubst :: InScopeSet -> (TvSubstEnv, CvSubstEnv) -> TCvSubst
mkEmptyTCvSubst :: InScopeSet -> TCvSubst
emptyTCvSubst :: TCvSubst
data TCvSubst = TCvSubst InScopeSet TvSubstEnv CvSubstEnv
type TvSubstEnv = TyVarEnv Type
pprTypeApp :: TyCon -> [Type] -> SDoc
pprTCvBndr :: TyCoVarBinder -> SDoc
pprTCvBndrs :: [TyCoVarBinder] -> SDoc
pprSigmaType :: Type -> SDoc
pprThetaArrowTy :: ThetaType -> SDoc
pprParendTheta :: ThetaType -> SDoc
pprTheta :: ThetaType -> SDoc
pprClassPred :: Class -> [Type] -> SDoc
pprParendKind :: Kind -> SDoc
pprParendType :: Type -> SDoc
scopedSort :: [TyCoVar] -> [TyCoVar]
noFreeVarsOfType :: Type -> Bool
tyCoFVsOfTypes :: [Type] -> FV
tyCoFVsOfType :: Type -> FV
exactTyCoVarsOfTypes :: [Type] -> TyVarSet
exactTyCoVarsOfType :: Type -> TyCoVarSet
tyCoVarsOfTypesList :: [Type] -> [TyCoVar]
tyCoVarsOfTypesDSet :: [Type] -> DTyCoVarSet
tyCoVarsOfTypeList :: Type -> [TyCoVar]
tyCoVarsOfTypeDSet :: Type -> DTyCoVarSet
tyCoVarsOfTypes :: [Type] -> TyCoVarSet
tyCoVarsOfType :: Type -> TyCoVarSet
mkTyConTy :: TyCon -> Type
mkForAllTys :: [TyCoVarBinder] -> Type -> Type
mkInvisFunTys :: [Type] -> Type -> Type
mkInvisFunTy :: Type -> Type -> Type
mkVisFunTy :: Type -> Type -> Type
mkTyCoVarTys :: [TyCoVar] -> [Type]
mkTyCoVarTy :: TyCoVar -> Type
mkTyVarTys :: [TyVar] -> [Type]
mkTyVarTy :: TyVar -> Type
isVisibleBinder :: TyCoBinder -> Bool
isInvisibleBinder :: TyCoBinder -> Bool
tyThingCategory :: TyThing -> String
pprTyThingCategory :: TyThing -> SDoc
type KnotTied ty = ty
isPredTy :: HasDebugCallStack => Type -> Bool
mkAppTy :: Type -> Type -> Type
eqType :: Type -> Type -> Bool
coreView :: Type -> Maybe Type
tcView :: Type -> Maybe Type
isLiftedTypeKind :: Kind -> Bool
isTauTyCon :: TyCon -> Bool
type TcTyVar = Var
data ForallVisFlag
- = ForallVis
- | ForallInvis
liftedTypeKind :: Kind
constraintKind :: Kind
pprType :: Type -> SDoc
pprKind :: Kind -> SDoc
mkForAllTy :: TyCoVar -> ArgFlag -> Type -> Type
data Type
data TyCoBinder
type PredType = Type
type Kind = Type
type ThetaType = [PredType]
data ArgFlag
- = Inferred
- | Specified
- | Required
data AnonArgFlag
- = VisArg
- | InvisArg
pprTcTyVarDetails :: TcTyVarDetails -> SDoc
vanillaSkolemTv :: TcTyVarDetails
data MetaDetails
- = Flexi
- | Indirect TcType
data TcTyVarDetails
- = SkolemTv TcLevel Bool
- | RuntimeUnk
- | MetaTv {
  - mtv_info :: MetaInfo
  - mtv_ref :: IORef MetaDetails
  - mtv_tclvl :: TcLevel
  }
module TcRnTypes
module TcRnDriver
mapAndUnzipM :: Applicative m => (a -> m (b, c)) -> [a] -> m ([b], [c])
foldlM :: (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b
getCCIndexM :: ContainsCostCentreState gbl => FastString -> TcRnIf gbl lcl CostCentreIndex
setImplicitEnvM :: TypeEnv -> IfL a -> IfL a
forkM :: SDoc -> IfL a -> IfL a
forkM_maybe :: SDoc -> IfL a -> IfL (Maybe a)
failIfM :: MsgDoc -> IfL a
getIfModule :: IfL Module
initIfaceLclWithSubst :: Module -> SDoc -> Bool -> NameShape -> IfL a -> IfM lcl a
initIfaceLcl :: Module -> SDoc -> Bool -> IfL a -> IfM lcl a
initIfaceCheck :: SDoc -> HscEnv -> IfG a -> IO a
initIfaceLoad :: HscEnv -> IfG a -> IO a
initIfaceTcRn :: IfG a -> TcRn a
mkIfLclEnv :: Module -> SDoc -> Bool -> IfLclEnv
setLocalRdrEnv :: LocalRdrEnv -> RnM a -> RnM a
getLocalRdrEnv :: RnM LocalRdrEnv
fixSafeInstances :: SafeHaskellMode -> [ClsInst] -> [ClsInst]
finalSafeMode :: DynFlags -> TcGblEnv -> IO SafeHaskellMode
recordUnsafeInfer :: WarningMessages -> TcM ()
addModFinalizersWithLclEnv :: ThModFinalizers -> TcM ()
setStage :: ThStage -> TcM a -> TcRn a
getStageAndBindLevel :: Name -> TcRn (Maybe (TopLevelFlag, ThLevel, ThStage))
getStage :: TcM ThStage
keepAlive :: Name -> TcRn ()
getTopLevelSpliceLocs :: TcM (Set RealSrcSpan)
recordTopLevelSpliceLoc :: SrcSpan -> TcM ()
recordThSpliceUse :: TcM ()
recordThUse :: TcM ()
emitNamedWildCardHoleConstraints :: [(Name, TcTyVar)] -> TcM ()
emitAnonWildCardHoleConstraint :: TcTyVar -> TcM ()
traceTcConstraints :: String -> TcM ()
setLclTypeEnv :: TcLclEnv -> TcM a -> TcM a
getLclTypeEnv :: TcM TcTypeEnv
isTouchableTcM :: TcTyVar -> TcM Bool
setTcLevel :: TcLevel -> TcM a -> TcM a
getTcLevel :: TcM TcLevel
pushTcLevelsM :: Int -> TcM a -> TcM (a, TcLevel)
pushTcLevelM :: TcM a -> TcM (TcLevel, a)
pushTcLevelM_ :: TcM a -> TcM a
pushLevelAndCaptureConstraints :: TcM a -> TcM (TcLevel, WantedConstraints, a)
discardConstraints :: TcM a -> TcM a
emitInsoluble :: Ct -> TcM ()
emitImplications :: Bag Implication -> TcM ()
emitImplication :: Implication -> TcM ()
emitSimples :: Cts -> TcM ()
emitSimple :: Ct -> TcM ()
emitConstraints :: WantedConstraints -> TcM ()
emitStaticConstraints :: WantedConstraints -> TcM ()
setConstraintVar :: TcRef WantedConstraints -> TcM a -> TcM a
getConstraintVar :: TcM (TcRef WantedConstraints)
chooseUniqueOccTc :: (OccSet -> OccName) -> TcM OccName
addTcEvBind :: EvBindsVar -> EvBind -> TcM ()
setTcEvBindsMap :: EvBindsVar -> EvBindMap -> TcM ()
getTcEvBindsMap :: EvBindsVar -> TcM EvBindMap
getTcEvTyCoVars :: EvBindsVar -> TcM TyCoVarSet
cloneEvBindsVar :: EvBindsVar -> TcM EvBindsVar
newNoTcEvBinds :: TcM EvBindsVar
newTcEvBinds :: TcM EvBindsVar
addTopEvBinds :: Bag EvBind -> TcM a -> TcM a
debugTc :: TcM () -> TcM ()
mkErrInfo :: TidyEnv -> [ErrCtxt] -> TcM SDoc
add_warn :: WarnReason -> MsgDoc -> MsgDoc -> TcRn ()
addWarnAt :: WarnReason -> SrcSpan -> MsgDoc -> TcRn ()
addWarn :: WarnReason -> MsgDoc -> TcRn ()
addWarnTcM :: WarnReason -> (TidyEnv, MsgDoc) -> TcM ()
addWarnTc :: WarnReason -> MsgDoc -> TcM ()
warnTcM :: WarnReason -> Bool -> (TidyEnv, MsgDoc) -> TcM ()
warnTc :: WarnReason -> Bool -> MsgDoc -> TcM ()
warnIf :: Bool -> MsgDoc -> TcRn ()
warnIfFlag :: WarningFlag -> Bool -> MsgDoc -> TcRn ()
failIfTcM :: Bool -> (TidyEnv, MsgDoc) -> TcM ()
failIfTc :: Bool -> MsgDoc -> TcM ()
checkTcM :: Bool -> (TidyEnv, MsgDoc) -> TcM ()
checkTc :: Bool -> MsgDoc -> TcM ()
failWithTcM :: (TidyEnv, MsgDoc) -> TcM a
failWithTc :: MsgDoc -> TcM a
mkErrTc :: MsgDoc -> TcM ErrMsg
mkErrTcM :: (TidyEnv, MsgDoc) -> TcM ErrMsg
addErrTcM :: (TidyEnv, MsgDoc) -> TcM ()
addErrsTc :: [MsgDoc] -> TcM ()
addErrTc :: MsgDoc -> TcM ()
tryTcDiscardingErrs :: TcM r -> TcM r -> TcM r
discardErrs :: TcRn a -> TcRn a
tryTc :: TcRn a -> TcRn (Maybe a, Messages)
foldAndRecoverM :: (b -> a -> TcRn b) -> b -> [a] -> TcRn b
mapAndReportM :: (a -> TcRn b) -> [a] -> TcRn [b]
mapAndRecoverM :: (a -> TcRn b) -> [a] -> TcRn [b]
recoverM :: TcRn r -> TcRn r -> TcRn r
attemptM :: TcRn r -> TcRn (Maybe r)
captureConstraints :: TcM a -> TcM (a, WantedConstraints)
tryCaptureConstraints :: TcM a -> TcM (Maybe a, WantedConstraints)
askNoErrs :: TcRn a -> TcRn (a, Bool)
setCtLocM :: CtLoc -> TcM a -> TcM a
getCtLocM :: CtOrigin -> Maybe TypeOrKind -> TcM CtLoc
popErrCtxt :: TcM a -> TcM a
updCtxt :: ([ErrCtxt] -> [ErrCtxt]) -> TcM a -> TcM a
addLandmarkErrCtxtM :: (TidyEnv -> TcM (TidyEnv, MsgDoc)) -> TcM a -> TcM a
addLandmarkErrCtxt :: MsgDoc -> TcM a -> TcM a
addErrCtxtM :: (TidyEnv -> TcM (TidyEnv, MsgDoc)) -> TcM a -> TcM a
addErrCtxt :: MsgDoc -> TcM a -> TcM a
setErrCtxt :: [ErrCtxt] -> TcM a -> TcM a
getErrCtxt :: TcM [ErrCtxt]
failIfErrsM :: TcRn ()
ifErrsM :: TcRn r -> TcRn r -> TcRn r
whenNoErrs :: TcM () -> TcM ()
checkNoErrs :: TcM r -> TcM r
reportWarning :: WarnReason -> ErrMsg -> TcRn ()
reportError :: ErrMsg -> TcRn ()
reportErrors :: [ErrMsg] -> TcM ()
addLongErrAt :: SrcSpan -> MsgDoc -> MsgDoc -> TcRn ()
mkErrDocAt :: SrcSpan -> ErrDoc -> TcRn ErrMsg
mkLongErrAt :: SrcSpan -> MsgDoc -> MsgDoc -> TcRn ErrMsg
discardWarnings :: TcRn a -> TcRn a
addMessages :: Messages -> TcRn ()
checkErr :: Bool -> MsgDoc -> TcRn ()
addErrs :: [(SrcSpan, MsgDoc)] -> TcRn ()
addErrAt :: SrcSpan -> MsgDoc -> TcRn ()
failAt :: SrcSpan -> MsgDoc -> TcRn a
failWith :: MsgDoc -> TcRn a
addErr :: MsgDoc -> TcRn ()
setErrsVar :: TcRef Messages -> TcRn a -> TcRn a
getErrsVar :: TcRn (TcRef Messages)
wrapLocM_ :: HasSrcSpan a => (SrcSpanLess a -> TcM ()) -> a -> TcM ()
wrapLocSndM :: (HasSrcSpan a, HasSrcSpan c) => (SrcSpanLess a -> TcM (b, SrcSpanLess c)) -> a -> TcM (b, c)
wrapLocFstM :: (HasSrcSpan a, HasSrcSpan b) => (SrcSpanLess a -> TcM (SrcSpanLess b, c)) -> a -> TcM (b, c)
wrapLocM :: (HasSrcSpan a, HasSrcSpan b) => (SrcSpanLess a -> TcM (SrcSpanLess b)) -> a -> TcM b
addLocM :: HasSrcSpan a => (SrcSpanLess a -> TcM b) -> a -> TcM b
setSrcSpan :: SrcSpan -> TcRn a -> TcRn a
getSrcSpanM :: TcRn SrcSpan
addDependentFiles :: [FilePath] -> TcRn ()
getDeclaredDefaultTys :: TcRn (Maybe [Type])
getRecFieldEnv :: TcRn RecFieldEnv
extendFixityEnv :: [(Name, FixItem)] -> RnM a -> RnM a
getFixityEnv :: TcRn FixityEnv
getImports :: TcRn ImportAvails
getRdrEnvs :: TcRn (GlobalRdrEnv, LocalRdrEnv)
getGlobalRdrEnv :: TcRn GlobalRdrEnv
tcSelfBootInfo :: TcRn SelfBootInfo
tcIsHsig :: TcRn Bool
tcIsHsBootOrSig :: TcRn Bool
getInteractivePrintName :: TcRn Name
getGHCiMonad :: TcRn Name
getIsGHCi :: TcRn Bool
traceOptIf :: DumpFlag -> SDoc -> TcRnIf m n ()
traceHiDiffs :: SDoc -> TcRnIf m n ()
traceIf :: SDoc -> TcRnIf m n ()
printForUserTcRn :: SDoc -> TcRn ()
getPrintUnqualified :: DynFlags -> TcRn PrintUnqualified
traceTcRnWithStyle :: PprStyle -> DynFlags -> DumpFlag -> SDoc -> TcRn ()
traceTcRnForUser :: DumpFlag -> SDoc -> TcRn ()
traceTcRn :: DumpFlag -> SDoc -> TcRn ()
traceOptTcRn :: DumpFlag -> SDoc -> TcRn ()
traceRn :: String -> SDoc -> TcRn ()
traceTc :: String -> SDoc -> TcRn ()
updTcRef :: TcRef a -> (a -> a) -> TcRnIf gbl lcl ()
writeTcRef :: TcRef a -> a -> TcRnIf gbl lcl ()
readTcRef :: TcRef a -> TcRnIf gbl lcl a
newTcRef :: a -> TcRnIf gbl lcl (TcRef a)
newSysLocalIds :: FastString -> [TcType] -> TcRnIf gbl lcl [TcId]
newSysLocalId :: FastString -> TcType -> TcRnIf gbl lcl TcId
newSysName :: OccName -> TcRnIf gbl lcl Name
newNameAt :: OccName -> SrcSpan -> TcM Name
newName :: OccName -> TcM Name
cloneLocalName :: Name -> TcM Name
newUniqueSupply :: TcRnIf gbl lcl UniqSupply
newUnique :: TcRnIf gbl lcl Unique
escapeArrowScope :: TcM a -> TcM a
newArrowScope :: TcM a -> TcM a
withException :: TcRnIf gbl lcl (MaybeErr MsgDoc a) -> TcRnIf gbl lcl a
getEpsAndHpt :: TcRnIf gbl lcl (ExternalPackageState, HomePackageTable)
getHpt :: TcRnIf gbl lcl HomePackageTable
updateEps_ :: (ExternalPackageState -> ExternalPackageState) -> TcRnIf gbl lcl ()
updateEps :: (ExternalPackageState -> (ExternalPackageState, a)) -> TcRnIf gbl lcl a
getEps :: TcRnIf gbl lcl ExternalPackageState
getEpsVar :: TcRnIf gbl lcl (TcRef ExternalPackageState)
withDoDynamicToo :: TcRnIf gbl lcl a -> TcRnIf gbl lcl a
getGhcMode :: TcRnIf gbl lcl GhcMode
unlessXOptM :: Extension -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
whenXOptM :: Extension -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
whenWOptM :: WarningFlag -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
whenGOptM :: GeneralFlag -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
whenDOptM :: DumpFlag -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
unsetWOptM :: WarningFlag -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
unsetGOptM :: GeneralFlag -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
unsetXOptM :: Extension -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
setXOptM :: Extension -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
woptM :: WarningFlag -> TcRnIf gbl lcl Bool
goptM :: GeneralFlag -> TcRnIf gbl lcl Bool
doptM :: DumpFlag -> TcRnIf gbl lcl Bool
xoptM :: Extension -> TcRnIf gbl lcl Bool
setEnvs :: (gbl', lcl') -> TcRnIf gbl' lcl' a -> TcRnIf gbl lcl a
getEnvs :: TcRnIf gbl lcl (gbl, lcl)
setLclEnv :: lcl' -> TcRnIf gbl lcl' a -> TcRnIf gbl lcl a
updLclEnv :: (lcl -> lcl) -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
getLclEnv :: TcRnIf gbl lcl lcl
setGblEnv :: gbl -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
updGblEnv :: (gbl -> gbl) -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
getGblEnv :: TcRnIf gbl lcl gbl
updTopEnv :: (HscEnv -> HscEnv) -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
getTopEnv :: TcRnIf gbl lcl HscEnv
discardResult :: TcM a -> TcM ()
initTcRnIf :: Char -> HscEnv -> gbl -> lcl -> TcRnIf gbl lcl a -> IO a
initTcInteractive :: HscEnv -> TcM a -> IO (Messages, Maybe a)
initTcWithGbl :: HscEnv -> TcGblEnv -> RealSrcSpan -> TcM r -> IO (Messages, Maybe r)
initTc :: HscEnv -> HscSource -> Bool -> Module -> RealSrcSpan -> TcM r -> IO (Messages, Maybe r)
class ContainsCostCentreState e where
- extractCostCentreState :: e -> TcRef CostCentreState
getRoleAnnots :: [Name] -> RoleAnnotEnv -> [LRoleAnnotDecl GhcRn]
lookupRoleAnnot :: RoleAnnotEnv -> Name -> Maybe (LRoleAnnotDecl GhcRn)
emptyRoleAnnotEnv :: RoleAnnotEnv
mkRoleAnnotEnv :: [LRoleAnnotDecl GhcRn] -> RoleAnnotEnv
getEvBindsTcPluginM :: TcPluginM EvBindsVar
unsafeTcPluginTcM :: TcM a -> TcPluginM a
runTcPluginM :: TcPluginM a -> EvBindsVar -> TcM a
hasCompleteSig :: TcSigFun -> Name -> Bool
isPartialSig :: TcIdSigInst -> Bool
plusImportAvails :: ImportAvails -> ImportAvails -> ImportAvails
emptyImportAvails :: ImportAvails
modDepsElts :: ModuleNameEnv (ModuleName, IsBootInterface) -> [(ModuleName, IsBootInterface)]
mkModDeps :: [(ModuleName, IsBootInterface)] -> ModuleNameEnv (ModuleName, IsBootInterface)
pprPECategory :: PromotionErr -> SDoc
pprTcTyThingCategory :: TcTyThing -> SDoc
thLevel :: ThStage -> ThLevel
outerLevel :: ThLevel
impLevel :: ThLevel
topSpliceStage :: ThStage
topAnnStage :: ThStage
topStage :: ThStage
removeBindingShadowing :: HasOccName a => [a] -> [a]
pushErrCtxtSameOrigin :: ErrCtxt -> CtLoc -> CtLoc
pushErrCtxt :: CtOrigin -> ErrCtxt -> CtLoc -> CtLoc
tcVisibleOrphanMods :: TcGblEnv -> ModuleSet
data NameShape = NameShape {
- ns_mod_name :: ModuleName
- ns_exports :: [AvailInfo]
- ns_map :: OccEnv Name
}
type TcRnIf a b = IOEnv (Env a b)
type TcRn = TcRnIf TcGblEnv TcLclEnv
type IfM lcl = TcRnIf IfGblEnv lcl
type IfG = IfM ()
type IfL = IfM IfLclEnv
type DsM = TcRnIf DsGblEnv DsLclEnv
type RnM = TcRn
type TcM = TcRn
data Env gbl lcl = Env {
- env_top :: !HscEnv
- env_um :: !Char
- env_gbl :: gbl
- env_lcl :: lcl
}
data IfGblEnv = IfGblEnv {
- if_doc :: SDoc
- if_rec_types :: Maybe (Module, IfG TypeEnv)
}
data IfLclEnv = IfLclEnv {
- if_mod :: Module
- if_boot :: Bool
- if_loc :: SDoc
- if_nsubst :: Maybe NameShape
- if_implicits_env :: Maybe TypeEnv
- if_tv_env :: FastStringEnv TyVar
- if_id_env :: FastStringEnv Id
}
data DsGblEnv = DsGblEnv {
- ds_mod :: Module
- ds_fam_inst_env :: FamInstEnv
- ds_unqual :: PrintUnqualified
- ds_msgs :: IORef Messages
- ds_if_env :: (IfGblEnv, IfLclEnv)
- ds_complete_matches :: CompleteMatchMap
- ds_cc_st :: IORef CostCentreState
}
data DsLclEnv = DsLclEnv {
- dsl_meta :: DsMetaEnv
- dsl_loc :: RealSrcSpan
- dsl_delta :: Delta
}
type DsMetaEnv = NameEnv DsMetaVal
data DsMetaVal
- = DsBound Id
- | DsSplice (HsExpr GhcTc)
data FrontendResult = FrontendTypecheck TcGblEnv
data TcGblEnv = TcGblEnv {
- tcg_mod :: Module
- tcg_semantic_mod :: Module
- tcg_src :: HscSource
- tcg_rdr_env :: GlobalRdrEnv
- tcg_default :: Maybe [Type]
- tcg_fix_env :: FixityEnv
- tcg_field_env :: RecFieldEnv
- tcg_type_env :: TypeEnv
- tcg_type_env_var :: TcRef TypeEnv
- tcg_inst_env :: !InstEnv
- tcg_fam_inst_env :: !FamInstEnv
- tcg_ann_env :: AnnEnv
- tcg_exports :: [AvailInfo]
- tcg_imports :: ImportAvails
- tcg_dus :: DefUses
- tcg_used_gres :: TcRef [GlobalRdrElt]
- tcg_keep :: TcRef NameSet
- tcg_th_used :: TcRef Bool
- tcg_th_splice_used :: TcRef Bool
- tcg_th_top_level_locs :: TcRef (Set RealSrcSpan)
- tcg_dfun_n :: TcRef OccSet
- tcg_merged :: [(Module, Fingerprint)]
- tcg_rn_exports :: Maybe [(Located (IE GhcRn), Avails)]
- tcg_rn_imports :: [LImportDecl GhcRn]
- tcg_rn_decls :: Maybe (HsGroup GhcRn)
- tcg_dependent_files :: TcRef [FilePath]
- tcg_th_topdecls :: TcRef [LHsDecl GhcPs]
- tcg_th_foreign_files :: TcRef [(ForeignSrcLang, FilePath)]
- tcg_th_topnames :: TcRef NameSet
- tcg_th_modfinalizers :: TcRef [(TcLclEnv, ThModFinalizers)]
- tcg_th_coreplugins :: TcRef [String]
- tcg_th_state :: TcRef (Map TypeRep Dynamic)
- tcg_th_remote_state :: TcRef (Maybe (ForeignRef (IORef QState)))
- tcg_ev_binds :: Bag EvBind
- tcg_tr_module :: Maybe Id
- tcg_binds :: LHsBinds GhcTc
- tcg_sigs :: NameSet
- tcg_imp_specs :: [LTcSpecPrag]
- tcg_warns :: Warnings
- tcg_anns :: [Annotation]
- tcg_tcs :: [TyCon]
- tcg_insts :: [ClsInst]
- tcg_fam_insts :: [FamInst]
- tcg_rules :: [LRuleDecl GhcTc]
- tcg_fords :: [LForeignDecl GhcTc]
- tcg_patsyns :: [PatSyn]
- tcg_doc_hdr :: Maybe LHsDocString
- tcg_hpc :: !AnyHpcUsage
- tcg_self_boot :: SelfBootInfo
- tcg_main :: Maybe Name
- tcg_safeInfer :: TcRef (Bool, WarningMessages)
- tcg_tc_plugins :: [TcPluginSolver]
- tcg_hf_plugins :: [HoleFitPlugin]
- tcg_top_loc :: RealSrcSpan
- tcg_static_wc :: TcRef WantedConstraints
- tcg_complete_matches :: [CompleteMatch]
- tcg_cc_st :: TcRef CostCentreState
}
type RecFieldEnv = NameEnv [FieldLabel]
data SelfBootInfo
- = NoSelfBoot
- | SelfBoot {
  - sb_mds :: ModDetails
  - sb_tcs :: NameSet
  }
type ErrCtxt = (Bool, TidyEnv -> TcM (TidyEnv, MsgDoc))
type TcTypeEnv = NameEnv TcTyThing
type TcRef a = IORef a
type TcId = Id
type TcIdSet = IdSet
type TcBinderStack = [TcBinder]
data TcBinder
- = TcIdBndr TcId TopLevelFlag
- | TcIdBndr_ExpType Name ExpType TopLevelFlag
- | TcTvBndr Name TyVar
data SpliceType
- = Typed
- | Untyped
data ThStage
- = Splice SpliceType
- | RunSplice (TcRef [ForeignRef (Q ())])
- | Comp
- | Brack ThStage PendingStuff
data PendingStuff
- = RnPendingUntyped (TcRef [PendingRnSplice])
- | RnPendingTyped
- | TcPending (TcRef [PendingTcSplice]) (TcRef WantedConstraints)
type ThLevel = Int
data ArrowCtxt
- = NoArrowCtxt
- | ArrowCtxt LocalRdrEnv (TcRef WantedConstraints)
data TcTyThing
- = AGlobal TyThing
- | ATcId {
  - tct_id :: TcId
  - tct_info :: IdBindingInfo
  }
- | ATyVar Name TcTyVar
- | ATcTyCon TyCon
- | APromotionErr PromotionErr
data PromotionErr
- = TyConPE
- | ClassPE
- | FamDataConPE
- | ConstrainedDataConPE PredType
- | PatSynPE
- | RecDataConPE
- | NoDataKindsTC
- | NoDataKindsDC
data IdBindingInfo
- = NotLetBound
- | ClosedLet
- | NonClosedLet RhsNames ClosedTypeId
data IsGroupClosed = IsGroupClosed (NameEnv RhsNames) ClosedTypeId
type RhsNames = NameSet
type ClosedTypeId = Bool
data ImportAvails = ImportAvails {
- imp_mods :: ImportedMods
- imp_dep_mods :: ModuleNameEnv (ModuleName, IsBootInterface)
- imp_dep_pkgs :: Set InstalledUnitId
- imp_trust_pkgs :: Set InstalledUnitId
- imp_trust_own_pkg :: Bool
- imp_orphs :: [Module]
- imp_finsts :: [Module]
}
data WhereFrom
- = ImportByUser IsBootInterface
- | ImportBySystem
- | ImportByPlugin
type TcSigFun = Name -> Maybe TcSigInfo
data TcSigInfo
- = TcIdSig TcIdSigInfo
- | TcPatSynSig TcPatSynInfo
data TcIdSigInfo
- = CompleteSig {
  - sig_bndr :: TcId
  - sig_ctxt :: UserTypeCtxt
  - sig_loc :: SrcSpan
  }
- | PartialSig {
  - psig_name :: Name
  - psig_hs_ty :: LHsSigWcType GhcRn
  - sig_ctxt :: UserTypeCtxt
  - sig_loc :: SrcSpan
  }
data TcIdSigInst = TISI {
- sig_inst_sig :: TcIdSigInfo
- sig_inst_skols :: [(Name, TcTyVar)]
- sig_inst_theta :: TcThetaType
- sig_inst_tau :: TcSigmaType
- sig_inst_wcs :: [(Name, TcTyVar)]
- sig_inst_wcx :: Maybe TcType
}
data TcPatSynInfo = TPSI {
- patsig_name :: Name
- patsig_implicit_bndrs :: [TyVarBinder]
- patsig_univ_bndrs :: [TyVar]
- patsig_req :: TcThetaType
- patsig_ex_bndrs :: [TyVar]
- patsig_prov :: TcThetaType
- patsig_body_ty :: TcSigmaType
}
type TcPluginSolver = [Ct] -> [Ct] -> [Ct] -> TcPluginM TcPluginResult
data TcPluginM a
data TcPlugin = TcPlugin {
- tcPluginInit :: TcPluginM s
- tcPluginSolve :: s -> TcPluginSolver
- tcPluginStop :: s -> TcPluginM ()
}
data TcPluginResult
- = TcPluginContradiction [Ct]
- | TcPluginOk [(EvTerm, Ct)] [Ct]
type RoleAnnotEnv = NameEnv (LRoleAnnotDecl GhcRn)
holeOcc :: Hole -> OccName
data Hole
- = ExprHole UnboundVar
- | TypeHole OccName
extendCompleteMatchMap :: CompleteMatchMap -> [CompleteMatch] -> CompleteMatchMap
mkCompleteMatchMap :: [CompleteMatch] -> CompleteMatchMap
data CompleteMatch = CompleteMatch {
- completeMatchConLikes :: [Name]
- completeMatchTyCon :: Name
}
type CompleteMatchMap = UniqFM [CompleteMatch]
setLclEnvTcLevel :: TcLclEnv -> TcLevel -> TcLclEnv
getLclEnvTcLevel :: TcLclEnv -> TcLevel
setLclEnvLoc :: TcLclEnv -> RealSrcSpan -> TcLclEnv
getLclEnvLoc :: TcLclEnv -> RealSrcSpan
data TcLclEnv = TcLclEnv {
- tcl_loc :: RealSrcSpan
- tcl_ctxt :: [ErrCtxt]
- tcl_tclvl :: TcLevel
- tcl_th_ctxt :: ThStage
- tcl_th_bndrs :: ThBindEnv
- tcl_arrow_ctxt :: ArrowCtxt
- tcl_rdr :: LocalRdrEnv
- tcl_env :: TcTypeEnv
- tcl_bndrs :: TcBinderStack
- tcl_lie :: TcRef WantedConstraints
- tcl_errs :: TcRef Messages
}
updEnv :: (env -> env') -> IOEnv env' a -> IOEnv env a
setEnv :: env' -> IOEnv env' a -> IOEnv env a
getEnv :: IOEnv env env
atomicUpdMutVar' :: IORef a -> (a -> (a, b)) -> IOEnv env b
atomicUpdMutVar :: IORef a -> (a -> (a, b)) -> IOEnv env b
updMutVar :: IORef a -> (a -> a) -> IOEnv env ()
readMutVar :: IORef a -> IOEnv env a
writeMutVar :: IORef a -> a -> IOEnv env ()
newMutVar :: a -> IOEnv env (IORef a)
uninterruptibleMaskM_ :: IOEnv env a -> IOEnv env a
unsafeInterleaveM :: IOEnv env a -> IOEnv env a
tryMostM :: IOEnv env r -> IOEnv env (Either SomeException r)
tryAllM :: IOEnv env r -> IOEnv env (Either SomeException r)
tryM :: IOEnv env r -> IOEnv env (Either IOEnvFailure r)
fixM :: (a -> IOEnv env a) -> IOEnv env a
runIOEnv :: env -> IOEnv env a -> IO a
failWithM :: String -> IOEnv env a
failM :: IOEnv env a
data IOEnv env a
data IOEnvFailure = IOEnvFailure
filterOutM :: Applicative m => (a -> m Bool) -> [a] -> m [a]
unlessM :: Monad m => m Bool -> m () -> m ()
whenM :: Monad m => m Bool -> m () -> m ()
maybeMapM :: Monad m => (a -> m b) -> Maybe a -> m (Maybe b)
foldlM_ :: (Monad m, Foldable t) => (a -> b -> m a) -> a -> t b -> m ()
orM :: Monad m => m Bool -> m Bool -> m Bool
fmapEitherM :: Monad m => (a -> m b) -> (c -> m d) -> Either a c -> m (Either b d)
fmapMaybeM :: Monad m => (a -> m b) -> Maybe a -> m (Maybe b)
mapSndM :: Monad m => (b -> m c) -> [(a, b)] -> m [(a, c)]
mapAccumLM :: Monad m => (acc -> x -> m (acc, y)) -> acc -> [x] -> m (acc, [y])
mapAndUnzip5M :: Monad m => (a -> m (b, c, d, e, f)) -> [a] -> m ([b], [c], [d], [e], [f])
mapAndUnzip4M :: Monad m => (a -> m (b, c, d, e)) -> [a] -> m ([b], [c], [d], [e])
mapAndUnzip3M :: Monad m => (a -> m (b, c, d)) -> [a] -> m ([b], [c], [d])
zipWithAndUnzipM :: Monad m => (a -> b -> m (c, d)) -> [a] -> [b] -> m ([c], [d])
zipWith4M :: Monad m => (a -> b -> c -> d -> m e) -> [a] -> [b] -> [c] -> [d] -> m [e]
zipWith3M_ :: Monad m => (a -> b -> c -> m d) -> [a] -> [b] -> [c] -> m ()
zipWith3M :: Monad m => (a -> b -> c -> m d) -> [a] -> [b] -> [c] -> m [d]
data ForeignSrcLang
- = LangC
- | LangCxx
- | LangObjc
- | LangObjcxx
- | LangAsm
- | RawObject
module TidyPgm
module TyCon
module TysPrim
module TysWiredIn
tyConAppNeedsKindSig :: Bool -> TyCon -> Int -> Bool
classifiesTypeWithValues :: Kind -> Bool
isKindLevPoly :: Kind -> Bool
isConstraintKindCon :: TyCon -> Bool
setJoinResTy :: Int -> Type -> Type -> Type
modifyJoinResTy :: Int -> (Type -> Type) -> Type -> Type
splitVisVarsOfTypes :: [Type] -> Pair TyCoVarSet
splitVisVarsOfType :: Type -> Pair TyCoVarSet
synTyConResKind :: TyCon -> Kind
tyConsOfType :: Type -> UniqSet TyCon
occCheckExpand :: [Var] -> Type -> Maybe Type
resultIsLevPoly :: Type -> Bool
isTypeLevPoly :: Type -> Bool
tcReturnsConstraintKind :: Kind -> Bool
tcIsRuntimeTypeKind :: Kind -> Bool
tcIsLiftedTypeKind :: Kind -> Bool
tcIsConstraintKind :: Kind -> Bool
tcTypeKind :: HasDebugCallStack => Type -> Kind
typeKind :: HasDebugCallStack => Type -> Kind
nonDetCmpTc :: TyCon -> TyCon -> Ordering
nonDetCmpTypesX :: RnEnv2 -> [Type] -> [Type] -> Ordering
nonDetCmpTypeX :: RnEnv2 -> Type -> Type -> Ordering
nonDetCmpTypes :: [Type] -> [Type] -> Ordering
nonDetCmpType :: Type -> Type -> Ordering
eqVarBndrs :: RnEnv2 -> [Var] -> [Var] -> Maybe RnEnv2
eqTypes :: [Type] -> [Type] -> Bool
eqTypeX :: RnEnv2 -> Type -> Type -> Bool
seqTypes :: [Type] -> ()
seqType :: Type -> ()
isValidJoinPointType :: JoinArity -> Type -> Bool
isPrimitiveType :: Type -> Bool
isStrictType :: HasDebugCallStack => Type -> Bool
isDataFamilyAppType :: Type -> Bool
isAlgType :: Type -> Bool
isUnboxedSumType :: Type -> Bool
isUnboxedTupleType :: Type -> Bool
getRuntimeRep :: HasDebugCallStack => Type -> Type
getRuntimeRep_maybe :: HasDebugCallStack => Type -> Maybe Type
dropRuntimeRepArgs :: [Type] -> [Type]
isRuntimeRepKindedTy :: Type -> Bool
mightBeUnliftedType :: Type -> Bool
isUnliftedType :: HasDebugCallStack => Type -> Bool
isLiftedType_maybe :: HasDebugCallStack => Type -> Maybe Bool
isCoVarType :: Type -> Bool
isFamFreeTy :: Type -> Bool
coAxNthLHS :: forall (br :: BranchFlag). CoAxiom br -> Int -> Type
mkFamilyTyConApp :: TyCon -> [Type] -> Type
closeOverKindsDSet :: DTyVarSet -> DTyVarSet
closeOverKindsList :: [TyVar] -> [TyVar]
closeOverKindsFV :: [TyVar] -> FV
closeOverKinds :: TyVarSet -> TyVarSet
binderRelevantType_maybe :: TyCoBinder -> Maybe Type
tyBinderType :: TyBinder -> Type
tyCoBinderType :: TyCoBinder -> Type
tyCoBinderVar_maybe :: TyCoBinder -> Maybe TyCoVar
isAnonTyCoBinder :: TyCoBinder -> Bool
mkAnonBinder :: AnonArgFlag -> Type -> TyCoBinder
isTauTy :: Type -> Bool
appTyArgFlags :: Type -> [Type] -> [ArgFlag]
tyConArgFlags :: TyCon -> [Type] -> [ArgFlag]
partitionInvisibles :: [(a, ArgFlag)] -> ([a], [a])
filterOutInferredTypes :: TyCon -> [Type] -> [Type]
filterOutInvisibleTypes :: TyCon -> [Type] -> [Type]
splitPiTysInvisibleN :: Int -> Type -> ([TyCoBinder], Type)
splitPiTysInvisible :: Type -> ([TyCoBinder], Type)
invisibleTyBndrCount :: Type -> Int
splitForAllVarBndrs :: Type -> ([TyCoVarBinder], Type)
splitPiTys :: Type -> ([TyCoBinder], Type)
splitPiTy :: Type -> (TyCoBinder, Type)
splitPiTy_maybe :: Type -> Maybe (TyCoBinder, Type)
splitForAllTy_co_maybe :: Type -> Maybe (TyCoVar, Type)
splitForAllTy_ty_maybe :: Type -> Maybe (TyCoVar, Type)
splitForAllTy_maybe :: Type -> Maybe (TyCoVar, Type)
dropForAlls :: Type -> Type
splitForAllTy :: Type -> (TyCoVar, Type)
isFunTy :: Type -> Bool
isPiTy :: Type -> Bool
isForAllTy_co :: Type -> Bool
isForAllTy_ty :: Type -> Bool
isForAllTy :: Type -> Bool
splitForAllTysSameVis :: ArgFlag -> Type -> ([TyCoVar], Type)
splitForAllTys :: Type -> ([TyCoVar], Type)
mkTyConBindersPreferAnon :: [TyVar] -> TyCoVarSet -> [TyConBinder]
mkLamTypes :: [Var] -> Type -> Type
mkLamType :: Var -> Type -> Type
mkVisForAllTys :: [TyVar] -> Type -> Type
mkSpecForAllTys :: [TyVar] -> Type -> Type
mkSpecForAllTy :: TyVar -> Type -> Type
mkInvForAllTys :: [TyVar] -> Type -> Type
mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Type
mkInvForAllTy :: TyVar -> Type -> Type
mkTyCoInvForAllTy :: TyCoVar -> Type -> Type
stripCoercionTy :: Type -> Coercion
isCoercionTy_maybe :: Type -> Maybe Coercion
mkCoercionTy :: Coercion -> Type
discardCast :: Type -> Type
tyConBindersTyCoBinders :: [TyConBinder] -> [TyCoBinder]
splitCastTy_maybe :: Type -> Maybe (Type, Coercion)
newTyConInstRhs :: TyCon -> [Type] -> Type
nextRole :: Type -> Role
splitListTyConApp_maybe :: Type -> Maybe Type
repSplitTyConApp_maybe :: HasDebugCallStack => Type -> Maybe (TyCon, [Type])
tcSplitTyConApp_maybe :: HasCallStack => Type -> Maybe (TyCon, [Type])
splitTyConApp :: Type -> (TyCon, [Type])
tyConAppArgN :: Int -> Type -> Type
tyConAppArgs :: Type -> [Type]
tyConAppArgs_maybe :: Type -> Maybe [Type]
tyConAppTyCon :: Type -> TyCon
tyConAppTyCon_maybe :: Type -> Maybe TyCon
tyConAppTyConPicky_maybe :: Type -> Maybe TyCon
mkTyConApp :: TyCon -> [Type] -> Type
applyTysX :: [TyVar] -> Type -> [Type] -> Type
piResultTys :: HasDebugCallStack => Type -> [Type] -> Type
funArgTy :: Type -> Type
funResultTy :: Type -> Type
splitFunTys :: Type -> ([Type], Type)
splitFunTy_maybe :: Type -> Maybe (Type, Type)
splitFunTy :: Type -> (Type, Type)
pprUserTypeErrorTy :: Type -> SDoc
userTypeError_maybe :: Type -> Maybe Type
isLitTy :: Type -> Maybe TyLit
isStrLitTy :: Type -> Maybe FastString
mkStrLitTy :: FastString -> Type
isNumLitTy :: Type -> Maybe Integer
mkNumLitTy :: Integer -> Type
repSplitAppTys :: HasDebugCallStack => Type -> (Type, [Type])
splitAppTys :: Type -> (Type, [Type])
splitAppTy :: Type -> (Type, Type)
tcRepSplitAppTy_maybe :: Type -> Maybe (Type, Type)
repSplitAppTy_maybe :: HasDebugCallStack => Type -> Maybe (Type, Type)
splitAppTy_maybe :: Type -> Maybe (Type, Type)
mkAppTys :: Type -> [Type] -> Type
repGetTyVar_maybe :: Type -> Maybe TyVar
getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)
getTyVar_maybe :: Type -> Maybe TyVar
isTyVarTy :: Type -> Bool
getTyVar :: String -> Type -> TyVar
mapCoercion :: Monad m => TyCoMapper env m -> env -> Coercion -> m Coercion
mapType :: Monad m => TyCoMapper env m -> env -> Type -> m Type
isRuntimeRepVar :: TyVar -> Bool
isUnliftedRuntimeRep :: Type -> Bool
isUnliftedTypeKind :: Kind -> Bool
isLiftedRuntimeRep :: Type -> Bool
kindRep_maybe :: HasDebugCallStack => Kind -> Maybe Type
kindRep :: HasDebugCallStack => Kind -> Type
expandTypeSynonyms :: Type -> Type
data TyCoMapper env (m :: Type -> Type) = TyCoMapper {
- tcm_tyvar :: env -> TyVar -> m Type
- tcm_covar :: env -> CoVar -> m Coercion
- tcm_hole :: env -> CoercionHole -> m Coercion
- tcm_tycobinder :: env -> TyCoVar -> ArgFlag -> m (env, TyCoVar)
- tcm_tycon :: TyCon -> m TyCon
}
cloneTyVarBndrs :: TCvSubst -> [TyVar] -> UniqSupply -> (TCvSubst, [TyVar])
cloneTyVarBndr :: TCvSubst -> TyVar -> Unique -> (TCvSubst, TyVar)
substVarBndrs :: HasCallStack => TCvSubst -> [TyCoVar] -> (TCvSubst, [TyCoVar])
substVarBndr :: HasCallStack => TCvSubst -> TyCoVar -> (TCvSubst, TyCoVar)
substTyVarBndrs :: HasCallStack => TCvSubst -> [TyVar] -> (TCvSubst, [TyVar])
substTyVarBndr :: HasCallStack => TCvSubst -> TyVar -> (TCvSubst, TyVar)
substCoUnchecked :: TCvSubst -> Coercion -> Coercion
lookupTyVar :: TCvSubst -> TyVar -> Maybe Type
substTyVars :: TCvSubst -> [TyVar] -> [Type]
substTyVar :: TCvSubst -> TyVar -> Type
substThetaUnchecked :: TCvSubst -> ThetaType -> ThetaType
substTheta :: HasCallStack => TCvSubst -> ThetaType -> ThetaType
substTysUnchecked :: TCvSubst -> [Type] -> [Type]
substTys :: HasCallStack => TCvSubst -> [Type] -> [Type]
substTyUnchecked :: TCvSubst -> Type -> Type
substTy :: HasCallStack => TCvSubst -> Type -> Type
substTyAddInScope :: TCvSubst -> Type -> Type
substTysWith :: [TyVar] -> [Type] -> [Type] -> [Type]
substCoWithUnchecked :: [TyVar] -> [Type] -> Coercion -> Coercion
substTyWithUnchecked :: [TyVar] -> [Type] -> Type -> Type
substTyWith :: HasCallStack => [TyVar] -> [Type] -> Type -> Type
zipCoEnv :: HasDebugCallStack => [CoVar] -> [Coercion] -> CvSubstEnv
zipTyEnv :: HasDebugCallStack => [TyVar] -> [Type] -> TvSubstEnv
mkTvSubstPrs :: [(TyVar, Type)] -> TCvSubst
zipTCvSubst :: HasDebugCallStack => [TyCoVar] -> [Type] -> TCvSubst
zipTvSubst :: HasDebugCallStack => [TyVar] -> [Type] -> TCvSubst
unionTCvSubst :: TCvSubst -> TCvSubst -> TCvSubst
extendTCvSubstList :: TCvSubst -> [Var] -> [Type] -> TCvSubst
extendTvSubstList :: TCvSubst -> [Var] -> [Type] -> TCvSubst
extendTvSubstAndInScope :: TCvSubst -> TyVar -> Type -> TCvSubst
extendCvSubst :: TCvSubst -> CoVar -> Coercion -> TCvSubst
extendTvSubstWithClone :: TCvSubst -> TyVar -> TyVar -> TCvSubst
extendTvSubstBinderAndInScope :: TCvSubst -> TyCoBinder -> Type -> TCvSubst
extendTvSubst :: TCvSubst -> TyVar -> Type -> TCvSubst
extendTCvSubstWithClone :: TCvSubst -> TyCoVar -> TyCoVar -> TCvSubst
extendTCvSubst :: TCvSubst -> TyCoVar -> Type -> TCvSubst
extendTCvInScopeSet :: TCvSubst -> VarSet -> TCvSubst
extendTCvInScopeList :: TCvSubst -> [Var] -> TCvSubst
extendTCvInScope :: TCvSubst -> Var -> TCvSubst
zapTCvSubst :: TCvSubst -> TCvSubst
setTvSubstEnv :: TCvSubst -> TvSubstEnv -> TCvSubst
notElemTCvSubst :: Var -> TCvSubst -> Bool
isInScope :: Var -> TCvSubst -> Bool
getTCvSubstRangeFVs :: TCvSubst -> VarSet
getTCvInScope :: TCvSubst -> InScopeSet
getTvSubstEnv :: TCvSubst -> TvSubstEnv
mkTCvSubst :: InScopeSet -> (TvSubstEnv, CvSubstEnv) -> TCvSubst
isEmptyTCvSubst :: TCvSubst -> Bool
mkEmptyTCvSubst :: InScopeSet -> TCvSubst
emptyTCvSubst :: TCvSubst
composeTCvSubst :: TCvSubst -> TCvSubst -> TCvSubst
composeTCvSubstEnv :: InScopeSet -> (TvSubstEnv, CvSubstEnv) -> (TvSubstEnv, CvSubstEnv) -> (TvSubstEnv, CvSubstEnv)
emptyTvSubstEnv :: TvSubstEnv
data TCvSubst = TCvSubst InScopeSet TvSubstEnv CvSubstEnv
type TvSubstEnv = TyVarEnv Type
tidyKind :: TidyEnv -> Kind -> Kind
tidyOpenKind :: TidyEnv -> Kind -> (TidyEnv, Kind)
tidyTopType :: Type -> Type
tidyOpenType :: TidyEnv -> Type -> (TidyEnv, Type)
tidyOpenTypes :: TidyEnv -> [Type] -> (TidyEnv, [Type])
tidyType :: TidyEnv -> Type -> Type
tidyTypes :: TidyEnv -> [Type] -> [Type]
tidyTyCoVarOcc :: TidyEnv -> TyCoVar -> TyCoVar
tidyOpenTyCoVar :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)
tidyOpenTyCoVars :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])
tidyFreeTyCoVars :: TidyEnv -> [TyCoVar] -> TidyEnv
tidyTyCoVarBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])
tidyTyCoVarBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)
tidyVarBndr :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)
tidyVarBndrs :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])
tyCoVarsOfTypesWellScoped :: [Type] -> [TyVar]
tyCoVarsOfTypeWellScoped :: Type -> [TyVar]
scopedSort :: [TyCoVar] -> [TyCoVar]
noFreeVarsOfType :: Type -> Bool
coVarsOfTypes :: [Type] -> TyCoVarSet
coVarsOfType :: Type -> CoVarSet
tyCoFVsVarBndr :: Var -> FV -> FV
tyCoFVsVarBndrs :: [Var] -> FV -> FV
tyCoFVsBndr :: TyCoVarBinder -> FV -> FV
tyCoFVsOfType :: Type -> FV
tyCoVarsOfTypeDSet :: Type -> DTyCoVarSet
tyCoVarsOfTypes :: [Type] -> TyCoVarSet
tyCoVarsOfType :: Type -> TyCoVarSet
funTyCon :: TyCon
typeSize :: Type -> Int
mkTyConTy :: TyCon -> Type
mkPiTys :: [TyCoBinder] -> Type -> Type
mkPiTy :: TyCoBinder -> Type -> Type
mkForAllTys :: [TyCoVarBinder] -> Type -> Type
mkInvisFunTys :: [Type] -> Type -> Type
mkInvisFunTy :: Type -> Type -> Type
mkVisFunTy :: Type -> Type -> Type
mkTyVarTys :: [TyVar] -> [Type]
mkTyVarTy :: TyVar -> Type
isNamedBinder :: TyCoBinder -> Bool
isVisibleBinder :: TyCoBinder -> Bool
isInvisibleBinder :: TyCoBinder -> Bool
type KindOrType = Type
type KnotTied ty = ty
isPredTy :: HasDebugCallStack => Type -> Bool
isCoercionTy :: Type -> Bool
mkAppTy :: Type -> Type -> Type
mkCastTy :: Type -> Coercion -> Type
piResultTy :: HasDebugCallStack => Type -> Type -> Type
eqType :: Type -> Type -> Bool
coreView :: Type -> Maybe Type
tcView :: Type -> Maybe Type
isRuntimeRepTy :: Type -> Bool
isLiftedTypeKind :: Kind -> Bool
splitTyConApp_maybe :: HasDebugCallStack => Type -> Maybe (TyCon, [Type])
partitionInvisibleTypes :: TyCon -> [Type] -> ([Type], [Type])
isTyVar :: Var -> Bool
tyVarKind :: TyVar -> Kind
mkTyVarBinders :: ArgFlag -> [TyVar] -> [TyVarBinder]
mkTyCoVarBinders :: ArgFlag -> [TyCoVar] -> [TyCoVarBinder]
mkTyCoVarBinder :: ArgFlag -> TyCoVar -> TyCoVarBinder
binderType :: VarBndr TyCoVar argf -> Type
binderArgFlag :: VarBndr tv argf -> argf
binderVars :: [VarBndr tv argf] -> [tv]
binderVar :: VarBndr tv argf -> tv
sameVis :: ArgFlag -> ArgFlag -> Bool
isInvisibleArgFlag :: ArgFlag -> Bool
isVisibleArgFlag :: ArgFlag -> Bool
type TyVar = Var
type TyCoVar = Id
data ForallVisFlag
- = ForallVis
- | ForallInvis
type TyCoVarBinder = VarBndr TyCoVar ArgFlag
type TyVarBinder = VarBndr TyVar ArgFlag
liftedTypeKind :: Kind
mkForAllTy :: TyCoVar -> ArgFlag -> Type -> Type
data Type
data TyThing
- = AnId Id
- | AConLike ConLike
- | ATyCon TyCon
- | ACoAxiom (CoAxiom Branched)
data TyCoBinder
type PredType = Type
type Kind = Type
type ThetaType = [PredType]
data ArgFlag
- = Inferred
- | Specified
- | Required
data AnonArgFlag
- = VisArg
- | InvisArg
data Var
module Unify
module UniqFM
module UniqSupply
setTyVarUnique :: TyVar -> Unique -> TyVar
setVarUnique :: Var -> Unique -> Var
data Var
data HsModule pass = HsModule {
- hsmodName :: Maybe (Located ModuleName)
- hsmodExports :: Maybe (Located [LIE pass])
- hsmodImports :: [LImportDecl pass]
- hsmodDecls :: [LHsDecl pass]
- hsmodDeprecMessage :: Maybe (Located WarningTxt)
- hsmodHaddockModHeader :: Maybe LHsDocString
}
lPatImplicits :: LPat GhcRn -> [(SrcSpan, [Name])]
hsValBindsImplicits :: forall (idR :: Pass). HsValBindsLR GhcRn (GhcPass idR) -> [(SrcSpan, [Name])]
lStmtsImplicits :: forall (idR :: Pass) body. [LStmtLR GhcRn (GhcPass idR) (Located (body (GhcPass idR)))] -> [(SrcSpan, [Name])]
hsDataFamInstBinders :: forall (p :: Pass). DataFamInstDecl (GhcPass p) -> ([Located (IdP (GhcPass p))], [LFieldOcc (GhcPass p)])
getPatSynBinds :: [(RecFlag, LHsBinds id)] -> [PatSynBind id id]
hsPatSynSelectors :: forall (p :: Pass). HsValBinds (GhcPass p) -> [IdP (GhcPass p)]
hsForeignDeclsBinders :: [LForeignDecl pass] -> [Located (IdP pass)]
hsLTyClDeclBinders :: forall (p :: Pass). Located (TyClDecl (GhcPass p)) -> ([Located (IdP (GhcPass p))], [LFieldOcc (GhcPass p)])
hsTyClForeignBinders :: [TyClGroup GhcRn] -> [LForeignDecl GhcRn] -> [Name]
hsGroupBinders :: HsGroup GhcRn -> [Name]
collectPatsBinders :: forall (p :: Pass). [LPat (GhcPass p)] -> [IdP (GhcPass p)]
collectPatBinders :: forall (p :: Pass). LPat (GhcPass p) -> [IdP (GhcPass p)]
collectStmtBinders :: forall (idL :: Pass) (idR :: Pass) body. StmtLR (GhcPass idL) (GhcPass idR) body -> [IdP (GhcPass idL)]
collectLStmtBinders :: forall (idL :: Pass) (idR :: Pass) body. LStmtLR (GhcPass idL) (GhcPass idR) body -> [IdP (GhcPass idL)]
collectStmtsBinders :: forall (idL :: Pass) (idR :: Pass) body. [StmtLR (GhcPass idL) (GhcPass idR) body] -> [IdP (GhcPass idL)]
collectLStmtsBinders :: forall (idL :: Pass) (idR :: Pass) body. [LStmtLR (GhcPass idL) (GhcPass idR) body] -> [IdP (GhcPass idL)]
collectMethodBinders :: LHsBindsLR idL idR -> [Located (IdP idL)]
collectHsBindListBinders :: forall (p :: Pass) idR. [LHsBindLR (GhcPass p) idR] -> [IdP (GhcPass p)]
collectHsBindsBinders :: forall (p :: Pass) idR. LHsBindsLR (GhcPass p) idR -> [IdP (GhcPass p)]
collectHsBindBinders :: (SrcSpanLess (LPat p) ~ Pat p, HasSrcSpan (LPat p)) => HsBindLR p idR -> [IdP p]
collectHsValBinders :: forall (idL :: Pass) (idR :: Pass). HsValBindsLR (GhcPass idL) (GhcPass idR) -> [IdP (GhcPass idL)]
collectHsIdBinders :: forall (idL :: Pass) (idR :: Pass). HsValBindsLR (GhcPass idL) (GhcPass idR) -> [IdP (GhcPass idL)]
collectLocalBinders :: forall (idL :: Pass) (idR :: Pass). HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> [IdP (GhcPass idL)]
isBangedHsBind :: HsBind GhcTc -> Bool
isUnliftedHsBind :: HsBind GhcTc -> Bool
mkMatch :: forall (p :: Pass). HsMatchContext (NameOrRdrName (IdP (GhcPass p))) -> [LPat (GhcPass p)] -> LHsExpr (GhcPass p) -> Located (HsLocalBinds (GhcPass p)) -> LMatch (GhcPass p) (LHsExpr (GhcPass p))
mkPrefixFunRhs :: Located id -> HsMatchContext id
mkSimpleGeneratedFunBind :: SrcSpan -> RdrName -> [LPat GhcPs] -> LHsExpr GhcPs -> LHsBind GhcPs
isInfixFunBind :: HsBindLR id1 id2 -> Bool
mkPatSynBind :: Located RdrName -> HsPatSynDetails (Located RdrName) -> LPat GhcPs -> HsPatSynDir GhcPs -> HsBind GhcPs
mkVarBind :: forall (p :: Pass). IdP (GhcPass p) -> LHsExpr (GhcPass p) -> LHsBind (GhcPass p)
mkHsVarBind :: SrcSpan -> RdrName -> LHsExpr GhcPs -> LHsBind GhcPs
mkTopFunBind :: Origin -> Located Name -> [LMatch GhcRn (LHsExpr GhcRn)] -> HsBind GhcRn
mkFunBind :: Origin -> Located RdrName -> [LMatch GhcPs (LHsExpr GhcPs)] -> HsBind GhcPs
mkHsDictLet :: TcEvBinds -> LHsExpr GhcTc -> LHsExpr GhcTc
mkHsWrapPatCo :: forall (id :: Pass). TcCoercionN -> Pat (GhcPass id) -> Type -> Pat (GhcPass id)
mkHsWrapPat :: forall (id :: Pass). HsWrapper -> Pat (GhcPass id) -> Type -> Pat (GhcPass id)
mkLHsCmdWrap :: forall (p :: Pass). HsWrapper -> LHsCmd (GhcPass p) -> LHsCmd (GhcPass p)
mkHsCmdWrap :: forall (p :: Pass). HsWrapper -> HsCmd (GhcPass p) -> HsCmd (GhcPass p)
mkLHsWrapCo :: forall (id :: Pass). TcCoercionN -> LHsExpr (GhcPass id) -> LHsExpr (GhcPass id)
mkHsWrapCoR :: forall (id :: Pass). TcCoercionR -> HsExpr (GhcPass id) -> HsExpr (GhcPass id)
mkHsWrapCo :: forall (id :: Pass). TcCoercionN -> HsExpr (GhcPass id) -> HsExpr (GhcPass id)
mkHsWrap :: forall (id :: Pass). HsWrapper -> HsExpr (GhcPass id) -> HsExpr (GhcPass id)
mkLHsWrap :: forall (id :: Pass). HsWrapper -> LHsExpr (GhcPass id) -> LHsExpr (GhcPass id)
typeToLHsType :: Type -> LHsType GhcPs
mkClassOpSigs :: [LSig GhcPs] -> [LSig GhcPs]
mkHsSigEnv :: (LSig GhcRn -> Maybe ([Located Name], a)) -> [LSig GhcRn] -> NameEnv a
mkLHsSigWcType :: LHsType GhcPs -> LHsSigWcType GhcPs
mkLHsSigType :: LHsType GhcPs -> LHsSigType GhcPs
chunkify :: [a] -> [[a]]
mkChunkified :: ([a] -> a) -> [a] -> a
mkBigLHsPatTup :: [LPat GhcRn] -> LPat GhcRn
mkBigLHsVarPatTup :: [IdP GhcRn] -> LPat GhcRn
mkBigLHsTup :: forall (id :: Pass). [LHsExpr (GhcPass id)] -> LHsExpr (GhcPass id)
mkBigLHsVarTup :: forall (id :: Pass). [IdP (GhcPass<