Sophie: ghc-0:6.10.4-1mdv2010.0 i586

ghc-6.10.4-1mdv2010.0.i586.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--Rendered using the Haskell Html Library v0.2-->
<HTML
><HEAD
><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
><TITLE
>InteractiveEval</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
><SCRIPT TYPE="text/javascript"
>window.onload = function () {setSynopsis("mini_InteractiveEval.html")};</SCRIPT
></HEAD
><BODY
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topbar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
></TD
><TD CLASS="title"
>ghc-6.10.4: The GHC API</TD
><TD CLASS="topbut"
><A HREF="index.html"
>Contents</A
></TD
><TD CLASS="topbut"
><A HREF="doc-index.html"
>Index</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="modulebar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><FONT SIZE="6"
>InteractiveEval</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Synopsis</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ARunResult"
>RunResult</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ARunOk"
>RunOk</A
> [<A HREF="Name.html#t%3AName"
>Name</A
>]</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARunFailed"
>RunFailed</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARunException"
>RunException</A
> <A HREF="../base/Control-Exception-Base.html#t%3ASomeException"
>SomeException</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARunBreak"
>RunBreak</A
> <A HREF="../base/Control-Concurrent.html#t%3AThreadId"
>ThreadId</A
> [<A HREF="Name.html#t%3AName"
>Name</A
>] (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
>)</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AStatus"
>Status</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ABreak"
>Break</A
> <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
> <A HREF="../base/Control-Concurrent.html#t%3AThreadId"
>ThreadId</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AComplete"
>Complete</A
> (<A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Control-Exception-Base.html#t%3ASomeException"
>SomeException</A
> [<A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
>])</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AResume"
>Resume</A
>  = <A HREF="#v%3AResume"
>Resume</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeStmt"
>resumeStmt</A
> :: <A HREF="../base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeThreadId"
>resumeThreadId</A
> :: <A HREF="../base/Control-Concurrent.html#t%3AThreadId"
>ThreadId</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeBreakMVar"
>resumeBreakMVar</A
> :: <A HREF="../base/Control-Concurrent-MVar.html#t%3AMVar"
>MVar</A
> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeStatMVar"
>resumeStatMVar</A
> :: <A HREF="../base/Control-Concurrent-MVar.html#t%3AMVar"
>MVar</A
> <A HREF="InteractiveEval.html#t%3AStatus"
>Status</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeBindings"
>resumeBindings</A
> :: ([<A HREF="Var.html#t%3AId"
>Id</A
>], <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
>)</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeFinalIds"
>resumeFinalIds</A
> :: [<A HREF="Var.html#t%3AId"
>Id</A
>]</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeApStack"
>resumeApStack</A
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeBreakInfo"
>resumeBreakInfo</A
> :: <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeSpan"
>resumeSpan</A
> :: <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeHistory"
>resumeHistory</A
> :: [<A HREF="InteractiveEval.html#t%3AHistory"
>History</A
>]</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AresumeHistoryIx"
>resumeHistoryIx</A
> :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AHistory"
>History</A
>  = <A HREF="#v%3AHistory"
>History</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3AhistoryApStack"
>historyApStack</A
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AhistoryBreakInfo"
>historyBreakInfo</A
> :: <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AhistoryEnclosingDecl"
>historyEnclosingDecl</A
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ArunStmt"
>runStmt</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="InteractiveEval.html#t%3ASingleStep"
>SingleStep</A
> -&gt; m <A HREF="InteractiveEval.html#t%3ARunResult"
>RunResult</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ASingleStep"
>SingleStep</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ARunToCompletion"
>RunToCompletion</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ASingleStep"
>SingleStep</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARunAndLogSteps"
>RunAndLogSteps</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aresume"
>resume</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; (<A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>) -&gt; <A HREF="InteractiveEval.html#t%3ASingleStep"
>SingleStep</A
> -&gt; m <A HREF="InteractiveEval.html#t%3ARunResult"
>RunResult</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aabandon"
>abandon</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AabandonAll"
>abandonAll</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetResumeContext"
>getResumeContext</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m [<A HREF="InteractiveEval.html#t%3AResume"
>Resume</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetHistorySpan"
>getHistorySpan</A
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="InteractiveEval.html#t%3AHistory"
>History</A
> -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetModBreaks"
>getModBreaks</A
> :: <A HREF="HscTypes.html#t%3AHomeModInfo"
>HomeModInfo</A
> -&gt; <A HREF="HscTypes.html#t%3AModBreaks"
>ModBreaks</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetHistoryModule"
>getHistoryModule</A
> :: <A HREF="InteractiveEval.html#t%3AHistory"
>History</A
> -&gt; <A HREF="Module.html#t%3AModule"
>Module</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aback"
>back</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m ([<A HREF="Name.html#t%3AName"
>Name</A
>], <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
>, <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aforward"
>forward</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m ([<A HREF="Name.html#t%3AName"
>Name</A
>], <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
>, <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AsetContext"
>setContext</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; [<A HREF="Module.html#t%3AModule"
>Module</A
>] -&gt; [<A HREF="Module.html#t%3AModule"
>Module</A
>] -&gt; m <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetContext"
>getContext</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m ([<A HREF="Module.html#t%3AModule"
>Module</A
>], [<A HREF="Module.html#t%3AModule"
>Module</A
>])</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnameSetToGlobalRdrEnv"
>nameSetToGlobalRdrEnv</A
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
> -&gt; <A HREF="Module.html#t%3AModuleName"
>ModuleName</A
> -&gt; <A HREF="RdrName.html#t%3AGlobalRdrEnv"
>GlobalRdrEnv</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetNamesInScope"
>getNamesInScope</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m [<A HREF="Name.html#t%3AName"
>Name</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetRdrNamesInScope"
>getRdrNamesInScope</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m [<A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmoduleIsInterpreted"
>moduleIsInterpreted</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="Module.html#t%3AModule"
>Module</A
> -&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetInfo"
>getInfo</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; m (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Type.html#t%3ATyThing"
>TyThing</A
>, <A HREF="BasicTypes.html#t%3AFixity"
>Fixity</A
>, [<A HREF="InstEnv.html#t%3AInstance"
>Instance</A
>]))</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AexprType"
>exprType</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AtypeKind"
>typeKind</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="Type.html#t%3AKind"
>Kind</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AparseName"
>parseName</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m [<A HREF="Name.html#t%3AName"
>Name</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AshowModule"
>showModule</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="HscTypes.html#t%3AModSummary"
>ModSummary</A
> -&gt; m <A HREF="../base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisModuleInterpreted"
>isModuleInterpreted</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="HscTypes.html#t%3AModSummary"
>ModSummary</A
> -&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcompileExpr"
>compileExpr</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdynCompileExpr"
>dynCompileExpr</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="../base/Data-Dynamic.html#t%3ADynamic"
>Dynamic</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AlookupName"
>lookupName</A
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; m (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3ATyThing"
>TyThing</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ATerm"
>Term</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ATerm"
>Term</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adc"
>dc</A
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aval"
>val</A
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AsubTerms"
>subTerms</A
> :: [<A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
>]</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3APrim"
>Prim</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Avalue"
>value</A
> :: [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>]</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ASuspension"
>Suspension</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Actype"
>ctype</A
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aval"
>val</A
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Abound_to"
>bound_to</A
> :: <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ANewtypeWrap"
>NewtypeWrap</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adc"
>dc</A
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Awrapped_term"
>wrapped_term</A
> :: <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARefWrap"
>RefWrap</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Awrapped_term"
>wrapped_term</A
> :: <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
></TR
></TABLE
>}</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AobtainTermFromId"
>obtainTermFromId</A
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AobtainTermFromVal"
>obtainTermFromVal</A
> ::  <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; a -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AreconstructType"
>reconstructType</A
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3AType"
>Type</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AskolemiseSubst"
>skolemiseSubst</A
> :: <A HREF="Type.html#t%3ATvSubst"
>TvSubst</A
> -&gt; (<A HREF="Type.html#t%3ATvSubst"
>TvSubst</A
>, <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AskolemiseTy"
>skolemiseTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; (<A HREF="Type.html#t%3AType"
>Type</A
>, <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
>)</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Documentation</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:RunResult"
><A NAME="t%3ARunResult"
></A
></A
><B
>RunResult</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:RunOk"
><A NAME="v%3ARunOk"
></A
></A
><B
>RunOk</B
> [<A HREF="Name.html#t%3AName"
>Name</A
>]</TD
><TD CLASS="rdoc"
>names bound by this evaluation
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RunFailed"
><A NAME="v%3ARunFailed"
></A
></A
><B
>RunFailed</B
></TD
><TD CLASS="rdoc"
>statement failed compilation
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RunException"
><A NAME="v%3ARunException"
></A
></A
><B
>RunException</B
> <A HREF="../base/Control-Exception-Base.html#t%3ASomeException"
>SomeException</A
></TD
><TD CLASS="rdoc"
>statement raised an exception
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RunBreak"
><A NAME="v%3ARunBreak"
></A
></A
><B
>RunBreak</B
> <A HREF="../base/Control-Concurrent.html#t%3AThreadId"
>ThreadId</A
> [<A HREF="Name.html#t%3AName"
>Name</A
>] (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
>)</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Status"
><A NAME="t%3AStatus"
></A
></A
><B
>Status</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:Break"
><A NAME="v%3ABreak"
></A
></A
><B
>Break</B
> <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
> <A HREF="../base/Control-Concurrent.html#t%3AThreadId"
>ThreadId</A
></TD
><TD CLASS="rdoc"
>the computation hit a breakpoint (Bool <A HREF="="
>=</A
> was an exception)
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Complete"
><A NAME="v%3AComplete"
></A
></A
><B
>Complete</B
> (<A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Control-Exception-Base.html#t%3ASomeException"
>SomeException</A
> [<A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
>])</TD
><TD CLASS="rdoc"
>the computation completed with either an exception or a value
</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Resume"
><A NAME="t%3AResume"
></A
></A
><B
>Resume</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:Resume"
><A NAME="v%3AResume"
></A
></A
><B
>Resume</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:resumeStmt"
><A NAME="v%3AresumeStmt"
></A
></A
><B
>resumeStmt</B
> :: <A HREF="../base/Data-Char.html#t%3AString"
>String</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeThreadId"
><A NAME="v%3AresumeThreadId"
></A
></A
><B
>resumeThreadId</B
> :: <A HREF="../base/Control-Concurrent.html#t%3AThreadId"
>ThreadId</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeBreakMVar"
><A NAME="v%3AresumeBreakMVar"
></A
></A
><B
>resumeBreakMVar</B
> :: <A HREF="../base/Control-Concurrent-MVar.html#t%3AMVar"
>MVar</A
> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeStatMVar"
><A NAME="v%3AresumeStatMVar"
></A
></A
><B
>resumeStatMVar</B
> :: <A HREF="../base/Control-Concurrent-MVar.html#t%3AMVar"
>MVar</A
> <A HREF="InteractiveEval.html#t%3AStatus"
>Status</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeBindings"
><A NAME="v%3AresumeBindings"
></A
></A
><B
>resumeBindings</B
> :: ([<A HREF="Var.html#t%3AId"
>Id</A
>], <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
>)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeFinalIds"
><A NAME="v%3AresumeFinalIds"
></A
></A
><B
>resumeFinalIds</B
> :: [<A HREF="Var.html#t%3AId"
>Id</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeApStack"
><A NAME="v%3AresumeApStack"
></A
></A
><B
>resumeApStack</B
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeBreakInfo"
><A NAME="v%3AresumeBreakInfo"
></A
></A
><B
>resumeBreakInfo</B
> :: <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeSpan"
><A NAME="v%3AresumeSpan"
></A
></A
><B
>resumeSpan</B
> :: <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeHistory"
><A NAME="v%3AresumeHistory"
></A
></A
><B
>resumeHistory</B
> :: [<A HREF="InteractiveEval.html#t%3AHistory"
>History</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:resumeHistoryIx"
><A NAME="v%3AresumeHistoryIx"
></A
></A
><B
>resumeHistoryIx</B
> :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:History"
><A NAME="t%3AHistory"
></A
></A
><B
>History</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:History"
><A NAME="v%3AHistory"
></A
></A
><B
>History</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:historyApStack"
><A NAME="v%3AhistoryApStack"
></A
></A
><B
>historyApStack</B
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:historyBreakInfo"
><A NAME="v%3AhistoryBreakInfo"
></A
></A
><B
>historyBreakInfo</B
> :: <A HREF="ByteCodeInstr.html#t%3ABreakInfo"
>BreakInfo</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:historyEnclosingDecl"
><A NAME="v%3AhistoryEnclosingDecl"
></A
></A
><B
>historyEnclosingDecl</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
><TD CLASS="rdoc"
>^ A cache of the enclosing top level declaration, for convenience
</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:runStmt"
><A NAME="v%3ArunStmt"
></A
></A
><B
>runStmt</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="InteractiveEval.html#t%3ASingleStep"
>SingleStep</A
> -&gt; m <A HREF="InteractiveEval.html#t%3ARunResult"
>RunResult</A
></TD
></TR
><TR
><TD CLASS="doc"
>Run a statement in the current interactive context.  Statement
 may bind multple values.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:SingleStep"
><A NAME="t%3ASingleStep"
></A
></A
><B
>SingleStep</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:RunToCompletion"
><A NAME="v%3ARunToCompletion"
></A
></A
><B
>RunToCompletion</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:SingleStep"
><A NAME="v%3ASingleStep"
></A
></A
><B
>SingleStep</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RunAndLogSteps"
><A NAME="v%3ARunAndLogSteps"
></A
></A
><B
>RunAndLogSteps</B
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:resume"
><A NAME="v%3Aresume"
></A
></A
><B
>resume</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; (<A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>) -&gt; <A HREF="InteractiveEval.html#t%3ASingleStep"
>SingleStep</A
> -&gt; m <A HREF="InteractiveEval.html#t%3ARunResult"
>RunResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:abandon"
><A NAME="v%3Aabandon"
></A
></A
><B
>abandon</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:abandonAll"
><A NAME="v%3AabandonAll"
></A
></A
><B
>abandonAll</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getResumeContext"
><A NAME="v%3AgetResumeContext"
></A
></A
><B
>getResumeContext</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m [<A HREF="InteractiveEval.html#t%3AResume"
>Resume</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getHistorySpan"
><A NAME="v%3AgetHistorySpan"
></A
></A
><B
>getHistorySpan</B
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="InteractiveEval.html#t%3AHistory"
>History</A
> -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getModBreaks"
><A NAME="v%3AgetModBreaks"
></A
></A
><B
>getModBreaks</B
> :: <A HREF="HscTypes.html#t%3AHomeModInfo"
>HomeModInfo</A
> -&gt; <A HREF="HscTypes.html#t%3AModBreaks"
>ModBreaks</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getHistoryModule"
><A NAME="v%3AgetHistoryModule"
></A
></A
><B
>getHistoryModule</B
> :: <A HREF="InteractiveEval.html#t%3AHistory"
>History</A
> -&gt; <A HREF="Module.html#t%3AModule"
>Module</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:back"
><A NAME="v%3Aback"
></A
></A
><B
>back</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m ([<A HREF="Name.html#t%3AName"
>Name</A
>], <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
>, <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:forward"
><A NAME="v%3Aforward"
></A
></A
><B
>forward</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m ([<A HREF="Name.html#t%3AName"
>Name</A
>], <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
>, <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:setContext"
><A NAME="v%3AsetContext"
></A
></A
><B
>setContext</B
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="arg"
>:: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
>=&gt; [<A HREF="Module.html#t%3AModule"
>Module</A
>]</TD
><TD CLASS="rdoc"
>entire top level scope of these modules
</TD
></TR
><TR
><TD CLASS="arg"
>-&gt; [<A HREF="Module.html#t%3AModule"
>Module</A
>]</TD
><TD CLASS="rdoc"
>exports only of these modules
</TD
></TR
><TR
><TD CLASS="arg"
>-&gt; m <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="ndoc" COLSPAN="2"
><P
>Set the interactive evaluation context.
</P
><P
>Setting the context doesn't throw away any bindings; the bindings
 we've built up in the InteractiveContext simply move to the new
 module.  They always shadow anything in scope in the current context.
</P
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getContext"
><A NAME="v%3AgetContext"
></A
></A
><B
>getContext</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m ([<A HREF="Module.html#t%3AModule"
>Module</A
>], [<A HREF="Module.html#t%3AModule"
>Module</A
>])</TD
></TR
><TR
><TD CLASS="doc"
>Get the interactive evaluation context, consisting of a pair of the
 set of modules from which we take the full top-level scope, and the set
 of modules from which we take just the exports respectively.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:nameSetToGlobalRdrEnv"
><A NAME="v%3AnameSetToGlobalRdrEnv"
></A
></A
><B
>nameSetToGlobalRdrEnv</B
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
> -&gt; <A HREF="Module.html#t%3AModuleName"
>ModuleName</A
> -&gt; <A HREF="RdrName.html#t%3AGlobalRdrEnv"
>GlobalRdrEnv</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getNamesInScope"
><A NAME="v%3AgetNamesInScope"
></A
></A
><B
>getNamesInScope</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m [<A HREF="Name.html#t%3AName"
>Name</A
>]</TD
></TR
><TR
><TD CLASS="doc"
>Returns all names in scope in the current interactive context
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getRdrNamesInScope"
><A NAME="v%3AgetRdrNamesInScope"
></A
></A
><B
>getRdrNamesInScope</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; m [<A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:moduleIsInterpreted"
><A NAME="v%3AmoduleIsInterpreted"
></A
></A
><B
>moduleIsInterpreted</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="Module.html#t%3AModule"
>Module</A
> -&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="doc"
>Returns <TT
>True</TT
> if the specified module is interpreted, and hence has
 its full top-level scope available.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getInfo"
><A NAME="v%3AgetInfo"
></A
></A
><B
>getInfo</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; m (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Type.html#t%3ATyThing"
>TyThing</A
>, <A HREF="BasicTypes.html#t%3AFixity"
>Fixity</A
>, [<A HREF="InstEnv.html#t%3AInstance"
>Instance</A
>]))</TD
></TR
><TR
><TD CLASS="doc"
>Looks up an identifier in the current interactive context (for :info)
 Filter the instances by the ones whose tycons (or clases resp) 
 are in scope (qualified or otherwise).  Otherwise we list a whole lot too many!
 The exact choice of which ones to show, and which to hide, is a judgement call.
 	(see Trac #1581)
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:exprType"
><A NAME="v%3AexprType"
></A
></A
><B
>exprType</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="doc"
>Get the type of an expression
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:typeKind"
><A NAME="v%3AtypeKind"
></A
></A
><B
>typeKind</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="Type.html#t%3AKind"
>Kind</A
></TD
></TR
><TR
><TD CLASS="doc"
>Get the kind of a  type
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:parseName"
><A NAME="v%3AparseName"
></A
></A
><B
>parseName</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m [<A HREF="Name.html#t%3AName"
>Name</A
>]</TD
></TR
><TR
><TD CLASS="doc"
>Parses a string as an identifier, and returns the list of <TT
><A HREF="Name.html#t%3AName"
>Name</A
></TT
>s that
 the identifier can refer to in the current interactive context.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:showModule"
><A NAME="v%3AshowModule"
></A
></A
><B
>showModule</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="HscTypes.html#t%3AModSummary"
>ModSummary</A
> -&gt; m <A HREF="../base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isModuleInterpreted"
><A NAME="v%3AisModuleInterpreted"
></A
></A
><B
>isModuleInterpreted</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="HscTypes.html#t%3AModSummary"
>ModSummary</A
> -&gt; m <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:compileExpr"
><A NAME="v%3AcompileExpr"
></A
></A
><B
>compileExpr</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dynCompileExpr"
><A NAME="v%3AdynCompileExpr"
></A
></A
><B
>dynCompileExpr</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; m <A HREF="../base/Data-Dynamic.html#t%3ADynamic"
>Dynamic</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:lookupName"
><A NAME="v%3AlookupName"
></A
></A
><B
>lookupName</B
> :: <A HREF="HscTypes.html#t%3AGhcMonad"
>GhcMonad</A
> m =&gt; <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; m (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3ATyThing"
>TyThing</A
>)</TD
></TR
><TR
><TD CLASS="doc"
>Returns the <TT
><A HREF="Type.html#t%3ATyThing"
>TyThing</A
></TT
> for a <TT
><A HREF="Name.html#t%3AName"
>Name</A
></TT
>.  The <TT
><A HREF="Name.html#t%3AName"
>Name</A
></TT
> may refer to any
 entity known to GHC, including <TT
><A HREF="Name.html#t%3AName"
>Name</A
></TT
>s defined using <TT
><A HREF="InteractiveEval.html#v%3ArunStmt"
>runStmt</A
></TT
>.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Term"
><A NAME="t%3ATerm"
></A
></A
><B
>Term</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:Term"
><A NAME="v%3ATerm"
></A
></A
><B
>Term</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dc"
><A NAME="v%3Adc"
></A
></A
><B
>dc</B
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:val"
><A NAME="v%3Aval"
></A
></A
><B
>val</B
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:subTerms"
><A NAME="v%3AsubTerms"
></A
></A
><B
>subTerms</B
> :: [<A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Prim"
><A NAME="v%3APrim"
></A
></A
><B
>Prim</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:value"
><A NAME="v%3Avalue"
></A
></A
><B
>value</B
> :: [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Suspension"
><A NAME="v%3ASuspension"
></A
></A
><B
>Suspension</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ctype"
><A NAME="v%3Actype"
></A
></A
><B
>ctype</B
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:val"
><A NAME="v%3Aval"
></A
></A
><B
>val</B
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:bound_to"
><A NAME="v%3Abound_to"
></A
></A
><B
>bound_to</B
> :: <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:NewtypeWrap"
><A NAME="v%3ANewtypeWrap"
></A
></A
><B
>NewtypeWrap</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dc"
><A NAME="v%3Adc"
></A
></A
><B
>dc</B
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:wrapped_term"
><A NAME="v%3Awrapped_term"
></A
></A
><B
>wrapped_term</B
> :: <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RefWrap"
><A NAME="v%3ARefWrap"
></A
></A
><B
>RefWrap</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:wrapped_term"
><A NAME="v%3Awrapped_term"
></A
></A
><B
>wrapped_term</B
> :: <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Term')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Term" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:obtainTermFromId"
><A NAME="v%3AobtainTermFromId"
></A
></A
><B
>obtainTermFromId</B
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:obtainTermFromVal"
><A NAME="v%3AobtainTermFromVal"
></A
></A
><B
>obtainTermFromVal</B
> ::  <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; a -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="InteractiveEval.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:reconstructType"
><A NAME="v%3AreconstructType"
></A
></A
><B
>reconstructType</B
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3AType"
>Type</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:skolemiseSubst"
><A NAME="v%3AskolemiseSubst"
></A
></A
><B
>skolemiseSubst</B
> :: <A HREF="Type.html#t%3ATvSubst"
>TvSubst</A
> -&gt; (<A HREF="Type.html#t%3ATvSubst"
>TvSubst</A
>, <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:skolemiseTy"
><A NAME="v%3AskolemiseTy"
></A
></A
><B
>skolemiseTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; (<A HREF="Type.html#t%3AType"
>Type</A
>, <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="botbar"
>Produced by <A HREF="http://www.haskell.org/haddock/"
>Haddock</A
> version 2.4.2</TD
></TR
></TABLE
></BODY
></HTML
>