interact package:ghc

interact :: (String -> String) -> IO ()
ghc GHC.Prelude.Basic
interactivePrint :: DynFlags -> Maybe String
ghc GHC GHC.Driver.DynFlags GHC.Driver.Session
interactiveClassKeys :: [Unique]
ghc GHC.Builtin.Names
interactiveClassNames :: [Name]
ghc GHC.Builtin.Names
interactiveInScope :: InteractiveContext -> [Var]
ghc GHC.Core.Lint.Interactive
interactiveSrcLoc :: SrcLoc
ghc GHC.Types.SrcLoc
Built-in "bad" SrcLoc values for particular locations
interactiveSrcSpan :: SrcSpan
ghc GHC.Types.SrcLoc
Built-in "bad" SrcSpans for common sources of location uncertainty
interactiveUnit :: Unit
ghc GHC.Unit.Types
interactiveUnitId :: UnitId
ghc GHC.Unit.Types
data InteractiveImport
ghc GHC GHC.Runtime.Context
InteractiveName :: GetDocsFailure
ghc GHC GHC.Runtime.Eval
The Name was defined interactively.
module GHC.Core.Lint.Interactive
ghc
module GHC.Driver.Config.Core.Lint.Interactive
ghc
data InteractiveContext
ghc GHC.Runtime.Context
Interactive context, recording information about the state of the context in which statements are executed in a GHCi session.
InteractiveContext :: DynFlags -> Int -> [InteractiveImport] -> [TyThing] -> IcGlobalRdrEnv -> (InstEnv, [FamInst]) -> FixityEnv -> DefaultEnv -> [Resume] -> Name -> Name -> Maybe FilePath -> Plugins -> InteractiveContext
ghc GHC.Runtime.Context
data InteractResult
ghc GHC.Tc.Solver.InertSet
getInteractiveDynFlags :: GhcMonad m => m DynFlags
ghc GHC
Get the DynFlags used to evaluate interactive expressions.
runTcInteractive :: HscEnv -> TcRn a -> IO (Messages TcRnMessage, Maybe a)
ghc GHC
setInteractiveDynFlags :: GhcMonad m => DynFlags -> m ()
ghc GHC
Set the DynFlags used to evaluate interactive expressions. Also initialise (load) plugins. Note: this cannot be used for changes to packages. Use setSessionDynFlags, or setProgramDynFlags and then copy the unitState into the interactive DynFlags.
mkInteractiveModule :: String -> Module
ghc GHC.Builtin.Names
sfInteract :: BuiltInSynFamily -> [BuiltInFamInjectivity]
ghc GHC.Builtin.Types.Literals GHC.Core.Coercion.Axiom
tryInteractInertFam :: BuiltInSynFamily -> TyCon -> [Type] -> [Type] -> [(CoAxiomRule, TypeEqn)]
ghc GHC.Builtin.Types.Literals
tryInteractTopFam :: BuiltInSynFamily -> TyCon -> [Type] -> Type -> [(CoAxiomRule, TypeEqn)]
ghc GHC.Builtin.Types.Literals
BIF_Interact :: FastString -> CoAxiomRule -> (TypeEqn -> Maybe TypeEqn) -> BuiltInFamInjectivity
ghc GHC.Core.Coercion.Axiom
getInteractiveContext :: CoreM InteractiveContext
ghc GHC.Core.Opt.Monad