<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>InteractiveEval</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_InteractiveEval.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">InteractiveEval</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:RunResult">RunResult</a> <ul class="subs"><li>= <a href="#v:RunOk">RunOk</a> [<a href="Name.html#t:Name">Name</a>] </li><li>| <a href="#v:RunException">RunException</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a> </li><li>| <a href="#v:RunBreak">RunBreak</a> <a href="../base-4.5.1.0/Control-Concurrent.html#t:ThreadId">ThreadId</a> [<a href="Name.html#t:Name">Name</a>] (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a>) </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Status">Status</a> <ul class="subs"><li>= <a href="#v:Break">Break</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="ByteCodeLink.html#t:HValue">HValue</a> <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a> <a href="../base-4.5.1.0/Control-Concurrent.html#t:ThreadId">ThreadId</a> </li><li>| <a href="#v:Complete">Complete</a> (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a> [<a href="ByteCodeLink.html#t:HValue">HValue</a>]) </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Resume">Resume</a> = <a href="#v:Resume">Resume</a> {<ul class="subs"><li><a href="#v:resumeStmt">resumeStmt</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></li><li><a href="#v:resumeThreadId">resumeThreadId</a> :: <a href="../base-4.5.1.0/Control-Concurrent.html#t:ThreadId">ThreadId</a></li><li><a href="#v:resumeBreakMVar">resumeBreakMVar</a> :: <a href="../base-4.5.1.0/Control-Concurrent-MVar.html#t:MVar">MVar</a> ()</li><li><a href="#v:resumeStatMVar">resumeStatMVar</a> :: <a href="../base-4.5.1.0/Control-Concurrent-MVar.html#t:MVar">MVar</a> <a href="InteractiveEval.html#t:Status">Status</a></li><li><a href="#v:resumeBindings">resumeBindings</a> :: ([<a href="Type.html#t:TyThing">TyThing</a>], <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a>)</li><li><a href="#v:resumeFinalIds">resumeFinalIds</a> :: [<a href="Var.html#t:Id">Id</a>]</li><li><a href="#v:resumeApStack">resumeApStack</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></li><li><a href="#v:resumeBreakInfo">resumeBreakInfo</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a></li><li><a href="#v:resumeSpan">resumeSpan</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></li><li><a href="#v:resumeHistory">resumeHistory</a> :: [<a href="InteractiveEval.html#t:History">History</a>]</li><li><a href="#v:resumeHistoryIx">resumeHistoryIx</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:History">History</a> = <a href="#v:History">History</a> {<ul class="subs"><li><a href="#v:historyApStack">historyApStack</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></li><li><a href="#v:historyBreakInfo">historyBreakInfo</a> :: <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a></li><li><a href="#v:historyEnclosingDecls">historyEnclosingDecls</a> :: [<a href="../base-4.5.1.0/Data-String.html#t:String">String</a>]</li></ul>}</li><li class="src short"><a href="#v:runStmt">runStmt</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="InteractiveEval.html#t:SingleStep">SingleStep</a> -> m <a href="InteractiveEval.html#t:RunResult">RunResult</a></li><li class="src short"><a href="#v:runStmtWithLocation">runStmtWithLocation</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="InteractiveEval.html#t:SingleStep">SingleStep</a> -> m <a href="InteractiveEval.html#t:RunResult">RunResult</a></li><li class="src short"><a href="#v:runDecls">runDecls</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:runDeclsWithLocation">runDeclsWithLocation</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:parseImportDecl">parseImportDecl</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m (<a href="HsImpExp.html#t:ImportDecl">ImportDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</li><li class="src short"><span class="keyword">data</span> <a href="#t:SingleStep">SingleStep</a> <ul class="subs"><li>= <a href="#v:RunToCompletion">RunToCompletion</a> </li><li>| <a href="#v:SingleStep">SingleStep</a> </li><li>| <a href="#v:RunAndLogSteps">RunAndLogSteps</a> </li></ul></li><li class="src short"><a href="#v:resume">resume</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => (<a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="InteractiveEval.html#t:SingleStep">SingleStep</a> -> m <a href="InteractiveEval.html#t:RunResult">RunResult</a></li><li class="src short"><a href="#v:abandon">abandon</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:abandonAll">abandonAll</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:getResumeContext">getResumeContext</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="InteractiveEval.html#t:Resume">Resume</a>]</li><li class="src short"><a href="#v:getHistorySpan">getHistorySpan</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="InteractiveEval.html#t:History">History</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></li><li class="src short"><a href="#v:getModBreaks">getModBreaks</a> :: <a href="HscTypes.html#t:HomeModInfo">HomeModInfo</a> -> <a href="HscTypes.html#t:ModBreaks">ModBreaks</a></li><li class="src short"><a href="#v:getHistoryModule">getHistoryModule</a> :: <a href="InteractiveEval.html#t:History">History</a> -> <a href="Module.html#t:Module">Module</a></li><li class="src short"><a href="#v:back">back</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m ([<a href="Name.html#t:Name">Name</a>], <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a>, <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a>)</li><li class="src short"><a href="#v:forward">forward</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m ([<a href="Name.html#t:Name">Name</a>], <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a>, <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a>)</li><li class="src short"><a href="#v:setContext">setContext</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => [<a href="HscTypes.html#t:InteractiveImport">InteractiveImport</a>] -> m ()</li><li class="src short"><a href="#v:getContext">getContext</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="HscTypes.html#t:InteractiveImport">InteractiveImport</a>]</li><li class="src short"><a href="#v:availsToGlobalRdrEnv">availsToGlobalRdrEnv</a> :: <a href="Module.html#t:ModuleName">ModuleName</a> -> [<a href="Avail.html#t:AvailInfo">AvailInfo</a>] -> <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a></li><li class="src short"><a href="#v:getNamesInScope">getNamesInScope</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:getRdrNamesInScope">getRdrNamesInScope</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="RdrName.html#t:RdrName">RdrName</a>]</li><li class="src short"><a href="#v:moduleIsInterpreted">moduleIsInterpreted</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="Module.html#t:Module">Module</a> -> m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:getInfo">getInfo</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="Name.html#t:Name">Name</a> -> m (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Type.html#t:TyThing">TyThing</a>, <a href="BasicTypes.html#t:Fixity">Fixity</a>, [<a href="InstEnv.html#t:Instance">Instance</a>]))</li><li class="src short"><a href="#v:exprType">exprType</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:typeKind">typeKind</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m (<a href="Type.html#t:Type">Type</a>, <a href="Kind.html#t:Kind">Kind</a>)</li><li class="src short"><a href="#v:parseName">parseName</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:showModule">showModule</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="HscTypes.html#t:ModSummary">ModSummary</a> -> m <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:isModuleInterpreted">isModuleInterpreted</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="HscTypes.html#t:ModSummary">ModSummary</a> -> m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:compileExpr">compileExpr</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m <a href="ByteCodeLink.html#t:HValue">HValue</a></li><li class="src short"><a href="#v:dynCompileExpr">dynCompileExpr</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m <a href="../base-4.5.1.0/Data-Dynamic.html#t:Dynamic">Dynamic</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Term">Term</a> <ul class="subs"><li>= <a href="#v:Term">Term</a> { <ul class="subs"><li><a href="#v:ty">ty</a> :: RttiType</li><li><a href="#v:dc">dc</a> :: <a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="DataCon.html#t:DataCon">DataCon</a></li><li><a href="#v:val">val</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></li><li><a href="#v:subTerms">subTerms</a> :: [<a href="InteractiveEval.html#t:Term">Term</a>]</li></ul> }</li><li>| <a href="#v:Prim">Prim</a> { <ul class="subs"><li><a href="#v:ty">ty</a> :: RttiType</li><li><a href="#v:value">value</a> :: [<a href="../base-4.5.1.0/Data-Word.html#t:Word">Word</a>]</li></ul> }</li><li>| <a href="#v:Suspension">Suspension</a> { <ul class="subs"><li><a href="#v:ctype">ctype</a> :: <a href="RtClosureInspect.html#t:ClosureType">ClosureType</a></li><li><a href="#v:ty">ty</a> :: RttiType</li><li><a href="#v:val">val</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></li><li><a href="#v:bound_to">bound_to</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Name.html#t:Name">Name</a></li></ul> }</li><li>| <a href="#v:NewtypeWrap">NewtypeWrap</a> { <ul class="subs"><li><a href="#v:ty">ty</a> :: RttiType</li><li><a href="#v:dc">dc</a> :: <a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="DataCon.html#t:DataCon">DataCon</a></li><li><a href="#v:wrapped_term">wrapped_term</a> :: <a href="InteractiveEval.html#t:Term">Term</a></li></ul> }</li><li>| <a href="#v:RefWrap">RefWrap</a> { <ul class="subs"><li><a href="#v:ty">ty</a> :: RttiType</li><li><a href="#v:wrapped_term">wrapped_term</a> :: <a href="InteractiveEval.html#t:Term">Term</a></li></ul> }</li></ul></li><li class="src short"><a href="#v:obtainTermFromId">obtainTermFromId</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Var.html#t:Id">Id</a> -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> <a href="InteractiveEval.html#t:Term">Term</a></li><li class="src short"><a href="#v:obtainTermFromVal">obtainTermFromVal</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Type.html#t:Type">Type</a> -> a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> <a href="InteractiveEval.html#t:Term">Term</a></li><li class="src short"><a href="#v:reconstructType">reconstructType</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Var.html#t:Id">Id</a> -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Type.html#t:Type">Type</a>)</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:RunResult" class="def">RunResult</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:RunOk" class="def">RunOk</a> [<a href="Name.html#t:Name">Name</a>]</td><td class="doc"><p>names bound by this evaluation
</p></td></tr><tr><td class="src"><a name="v:RunException" class="def">RunException</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a></td><td class="doc"><p>statement raised an exception
</p></td></tr><tr><td class="src"><a name="v:RunBreak" class="def">RunBreak</a> <a href="../base-4.5.1.0/Control-Concurrent.html#t:ThreadId">ThreadId</a> [<a href="Name.html#t:Name">Name</a>] (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a>)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Status" class="def">Status</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Break" class="def">Break</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="ByteCodeLink.html#t:HValue">HValue</a> <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a> <a href="../base-4.5.1.0/Control-Concurrent.html#t:ThreadId">ThreadId</a></td><td class="doc"><p>the computation hit a breakpoint (Bool <a href="=">=</a> was an exception)
</p></td></tr><tr><td class="src"><a name="v:Complete" class="def">Complete</a> (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a> [<a href="ByteCodeLink.html#t:HValue">HValue</a>])</td><td class="doc"><p>the computation completed with either an exception or a value
</p></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Resume" class="def">Resume</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Resume" class="def">Resume</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:resumeStmt" class="def">resumeStmt</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeThreadId" class="def">resumeThreadId</a> :: <a href="../base-4.5.1.0/Control-Concurrent.html#t:ThreadId">ThreadId</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeBreakMVar" class="def">resumeBreakMVar</a> :: <a href="../base-4.5.1.0/Control-Concurrent-MVar.html#t:MVar">MVar</a> ()</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeStatMVar" class="def">resumeStatMVar</a> :: <a href="../base-4.5.1.0/Control-Concurrent-MVar.html#t:MVar">MVar</a> <a href="InteractiveEval.html#t:Status">Status</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeBindings" class="def">resumeBindings</a> :: ([<a href="Type.html#t:TyThing">TyThing</a>], <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a>)</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeFinalIds" class="def">resumeFinalIds</a> :: [<a href="Var.html#t:Id">Id</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeApStack" class="def">resumeApStack</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeBreakInfo" class="def">resumeBreakInfo</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeSpan" class="def">resumeSpan</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeHistory" class="def">resumeHistory</a> :: [<a href="InteractiveEval.html#t:History">History</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:resumeHistoryIx" class="def">resumeHistoryIx</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:History" class="def">History</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:History" class="def">History</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:historyApStack" class="def">historyApStack</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:historyBreakInfo" class="def">historyBreakInfo</a> :: <a href="ByteCodeInstr.html#t:BreakInfo">BreakInfo</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:historyEnclosingDecls" class="def">historyEnclosingDecls</a> :: [<a href="../base-4.5.1.0/Data-String.html#t:String">String</a>]</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><a name="v:runStmt" class="def">runStmt</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="InteractiveEval.html#t:SingleStep">SingleStep</a> -> m <a href="InteractiveEval.html#t:RunResult">RunResult</a></p><div class="doc"><p>Run a statement in the current interactive context. Statement
may bind multple values.
</p></div></div><div class="top"><p class="src"><a name="v:runStmtWithLocation" class="def">runStmtWithLocation</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="InteractiveEval.html#t:SingleStep">SingleStep</a> -> m <a href="InteractiveEval.html#t:RunResult">RunResult</a></p><div class="doc"><p>Run a statement in the current interactive context. Passing debug information
Statement may bind multple values.
</p></div></div><div class="top"><p class="src"><a name="v:runDecls" class="def">runDecls</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m [<a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:runDeclsWithLocation" class="def">runDeclsWithLocation</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m [<a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:parseImportDecl" class="def">parseImportDecl</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m (<a href="HsImpExp.html#t:ImportDecl">ImportDecl</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:SingleStep" class="def">SingleStep</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:RunToCompletion" class="def">RunToCompletion</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SingleStep" class="def">SingleStep</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:RunAndLogSteps" class="def">RunAndLogSteps</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a name="v:resume" class="def">resume</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => (<a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="InteractiveEval.html#t:SingleStep">SingleStep</a> -> m <a href="InteractiveEval.html#t:RunResult">RunResult</a></p></div><div class="top"><p class="src"><a name="v:abandon" class="def">abandon</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:abandonAll" class="def">abandonAll</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:getResumeContext" class="def">getResumeContext</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="InteractiveEval.html#t:Resume">Resume</a>]</p></div><div class="top"><p class="src"><a name="v:getHistorySpan" class="def">getHistorySpan</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="InteractiveEval.html#t:History">History</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></p></div><div class="top"><p class="src"><a name="v:getModBreaks" class="def">getModBreaks</a> :: <a href="HscTypes.html#t:HomeModInfo">HomeModInfo</a> -> <a href="HscTypes.html#t:ModBreaks">ModBreaks</a></p></div><div class="top"><p class="src"><a name="v:getHistoryModule" class="def">getHistoryModule</a> :: <a href="InteractiveEval.html#t:History">History</a> -> <a href="Module.html#t:Module">Module</a></p></div><div class="top"><p class="src"><a name="v:back" class="def">back</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m ([<a href="Name.html#t:Name">Name</a>], <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a>, <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a>)</p></div><div class="top"><p class="src"><a name="v:forward" class="def">forward</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m ([<a href="Name.html#t:Name">Name</a>], <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a>, <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a>)</p></div><div class="top"><p class="src"><a name="v:setContext" class="def">setContext</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => [<a href="HscTypes.html#t:InteractiveImport">InteractiveImport</a>] -> m ()</p><div class="doc"><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></div></div><div class="top"><p class="src"><a name="v:getContext" class="def">getContext</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="HscTypes.html#t:InteractiveImport">InteractiveImport</a>]</p><div class="doc"><p>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.
</p></div></div><div class="top"><p class="src"><a name="v:availsToGlobalRdrEnv" class="def">availsToGlobalRdrEnv</a> :: <a href="Module.html#t:ModuleName">ModuleName</a> -> [<a href="Avail.html#t:AvailInfo">AvailInfo</a>] -> <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a></p></div><div class="top"><p class="src"><a name="v:getNamesInScope" class="def">getNamesInScope</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="Name.html#t:Name">Name</a>]</p><div class="doc"><p>Returns all names in scope in the current interactive context
</p></div></div><div class="top"><p class="src"><a name="v:getRdrNamesInScope" class="def">getRdrNamesInScope</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => m [<a href="RdrName.html#t:RdrName">RdrName</a>]</p></div><div class="top"><p class="src"><a name="v:moduleIsInterpreted" class="def">moduleIsInterpreted</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="Module.html#t:Module">Module</a> -> m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p><div class="doc"><p>Returns <code>True</code> if the specified module is interpreted, and hence has
its full top-level scope available.
</p></div></div><div class="top"><p class="src"><a name="v:getInfo" class="def">getInfo</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="Name.html#t:Name">Name</a> -> m (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Type.html#t:TyThing">TyThing</a>, <a href="BasicTypes.html#t:Fixity">Fixity</a>, [<a href="InstEnv.html#t:Instance">Instance</a>]))</p><div class="doc"><p>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)
</p></div></div><div class="top"><p class="src"><a name="v:exprType" class="def">exprType</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m <a href="Type.html#t:Type">Type</a></p><div class="doc"><p>Get the type of an expression
</p></div></div><div class="top"><p class="src"><a name="v:typeKind" class="def">typeKind</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m (<a href="Type.html#t:Type">Type</a>, <a href="Kind.html#t:Kind">Kind</a>)</p><div class="doc"><p>Get the kind of a type
</p></div></div><div class="top"><p class="src"><a name="v:parseName" class="def">parseName</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m [<a href="Name.html#t:Name">Name</a>]</p><div class="doc"><p>Parses a string as an identifier, and returns the list of <code><a href="Name.html#t:Name">Name</a></code>s that
the identifier can refer to in the current interactive context.
</p></div></div><div class="top"><p class="src"><a name="v:showModule" class="def">showModule</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="HscTypes.html#t:ModSummary">ModSummary</a> -> m <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></p></div><div class="top"><p class="src"><a name="v:isModuleInterpreted" class="def">isModuleInterpreted</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="HscTypes.html#t:ModSummary">ModSummary</a> -> m <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:compileExpr" class="def">compileExpr</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m <a href="ByteCodeLink.html#t:HValue">HValue</a></p></div><div class="top"><p class="src"><a name="v:dynCompileExpr" class="def">dynCompileExpr</a> :: <a href="GhcMonad.html#t:GhcMonad">GhcMonad</a> m => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> m <a href="../base-4.5.1.0/Data-Dynamic.html#t:Dynamic">Dynamic</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Term" class="def">Term</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Term" class="def">Term</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:ty" class="def">ty</a> :: RttiType</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:dc" class="def">dc</a> :: <a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="DataCon.html#t:DataCon">DataCon</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:val" class="def">val</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:subTerms" class="def">subTerms</a> :: [<a href="InteractiveEval.html#t:Term">Term</a>]</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:Prim" class="def">Prim</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:ty" class="def">ty</a> :: RttiType</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:value" class="def">value</a> :: [<a href="../base-4.5.1.0/Data-Word.html#t:Word">Word</a>]</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:Suspension" class="def">Suspension</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:ctype" class="def">ctype</a> :: <a href="RtClosureInspect.html#t:ClosureType">ClosureType</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ty" class="def">ty</a> :: RttiType</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:val" class="def">val</a> :: <a href="ByteCodeLink.html#t:HValue">HValue</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:bound_to" class="def">bound_to</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Name.html#t:Name">Name</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:NewtypeWrap" class="def">NewtypeWrap</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:ty" class="def">ty</a> :: RttiType</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:dc" class="def">dc</a> :: <a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="DataCon.html#t:DataCon">DataCon</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:wrapped_term" class="def">wrapped_term</a> :: <a href="InteractiveEval.html#t:Term">Term</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:RefWrap" class="def">RefWrap</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:ty" class="def">ty</a> :: RttiType</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:wrapped_term" class="def">wrapped_term</a> :: <a href="InteractiveEval.html#t:Term">Term</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Term" class="caption collapser" onclick="toggleSection('i:Term')">Instances</p><div id="section.i:Term" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="InteractiveEval.html#t:Term">Term</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:obtainTermFromId" class="def">obtainTermFromId</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Var.html#t:Id">Id</a> -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> <a href="InteractiveEval.html#t:Term">Term</a></p></div><div class="top"><p class="src"><a name="v:obtainTermFromVal" class="def">obtainTermFromVal</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Type.html#t:Type">Type</a> -> a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> <a href="InteractiveEval.html#t:Term">Term</a></p></div><div class="top"><p class="src"><a name="v:reconstructType" class="def">reconstructType</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Var.html#t:Id">Id</a> -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Type.html#t:Type">Type</a>)</p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2919
